क्रिस्टलीय सहसंरचना: Difference between revisions
No edit summary |
No edit summary |
||
(9 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
गणित में, क्रिस्टलीय | गणित में, क्रिस्टलीय सह-समरुपता के आधार क्षेत्र ''k'' पर स्कीम (गणित) के ''X'' के लिए [[वेइल कोहोमोलॉजी सिद्धांत|वेइल सह-समरुपता सिद्धांत]] है। इसके मान ''H<sup>n</sup>(X/W)'' पर [[विट वेक्टर|विट सदिश]] वलय W के ऊपर [[मॉड्यूल (गणित)]] के होते है, इसे [[सिकंदर ग्रोथेडाइक]] (1966, 1968) द्वारा आरंभ किया गया था और इसे 1974 में [[पियर बर्थलॉट]] द्वारा विकसित किया गया है। | ||
क्रिस्टलीय | वर्ष 1960 में, क्रिस्टलीय सह-समरुपता आंशिक रूप से वेइल अनुमानों के भाग [[डवर्क]] में पी-एडिक के प्रमाण से प्रेरित है और यह डी [[रेहम सहसंरचना|रेहम सह-समरुपता]] के बीजीय संस्करण से बहुत निकटता से संबंधित है, जो [[अलेक्जेंडर ग्रोथेंडिक]] (1963) द्वारा शुरू किया गया था और इस प्रकार सामान्य रूप में कहें तो, विशिष्ट ''पी'' में बीजगणितीय किस्म ''एक्स'' की क्रिस्टलीय सह-समरुपता ''एक्स'' की विशिष्टता 0 तक एक स्मूथ सीधी लिफ्ट डी रैम [[कठोर सहसंरचना|सह-समरुपता]] के रूप में है, जबकि ''एक्स'' का डी रैम सह-समरुपता उच्च टोर्स को ध्यान में रखने के बाद क्रिस्टलीय सह-समरुपता कम मॉड ''p'' के रूप में होते है । | ||
क्रिस्टलीय | क्रिस्टलीय सह-समरुपता का सुझाव, सामान्यतः एक योजना के [[ज़ारिस्की टोपोलॉजी]] को [[विभाजित शक्ति संरचना|विभाजित शक्ति संरचनाओं]] के साथ ज़ारिस्की विवृत समुच्चय की अनंत मोटाई के रूप में प्रतिस्थापित किया जाता है। इसके लिए प्रेरणा यह है कि इसकी गणना किसी योजना को विशिष्टता ''p'' से विशिष्टता ''0'' तक स्थानीय रूप से उठाकर और बीजगणितीय डी रेहम सह-समरुपता के उचित संस्करण को नियोजित करके की जाती है। | ||
क्रिस्टलीय | क्रिस्टलीय सह-समरुपता केवल सुचारू योजनाओं के लिए ही अच्छा काम करती है और इस प्रकार रिजिड सह-समरुपता इसे अधिक सामान्य योजनाओं तक विस्तारित करती है। | ||
==अनुप्रयोग== | ==अनुप्रयोग== | ||
सकारात्मक विशिष्टता वाली योजनाओं के लिए, क्रिस्टलीय | सकारात्मक विशिष्टता वाली योजनाओं के लिए, क्रिस्टलीय सह-समरुपता सिद्धांत p[[पी-एडिक एटले|-एडिक एटले]] सह-समरुपता की तुलना में सह-समरुपता समूहों में पी-टोरसन के बारे में प्रश्नों को बहुत अच्छे ढंग से संभाल सकता है। यह इसे p[[पी-एडिक एल-फंक्शन|-एडिक L-फलन]] पर अधिकांश काम के लिए एक स्वाभाविक पृष्ठभूमि के रूप में बनाता है। | ||
क्रिस्टलीय | क्रिस्टलीय सह-समरुपता संख्या सिद्धांत की दृष्टि से L-एडिक सह-समरुपता सूचना के अंतराल को भरता है, जो ठीक उसी जगह होती है जहां 'समान विशिष्टता वाले प्राइमस' होते हैं और इस प्रकार पारंपरिक रूप से [[प्रभाव सिद्धांत]] का संरक्षण के बाद क्रिस्टलीय कोहोलॉजी इस स्थिति को डायडोने मॉड्यूल सिद्धांत में परिवर्तित करता है, जिससे अंकगणितीय समस्याओं पर एक महत्वपूर्ण नियंत्रण मिलता है। इसे औपचारिक बयानों के रूप में व्यापक सीमा वाले अनुमान [[ जीन-मार्क फॉनटेन |जीन-मार्क फॉनटेन]] द्वारा प्रतिपादित किए गए थे, जिसके प्रस्ताव को [[पी-एडिक हॉज सिद्धांत]] कहा जाता है। | ||
==गुणांक== | ==गुणांक== | ||
विशिष्टता P > 0 के बीजगणितीय रूप से संवृत | विशिष्टता P > 0 के बीजगणितीय रूप से संवृत क्षेत्र पर एक किस्म X के लिए, <math>\ell</math>-एडिक सह-समरुपता समूहों के लिए <math>\ell</math> P के अतिरिक्त कोई भी प्राइमस संख्या वलय में गुणांक के साथ X के संतोषजनक सह-समरुपता समूह के रूप में होती है, <math>\mathbf{Z}_\ell</math> <math>\ell</math>-एडिक पूर्णांक. Q में गुणांक वाले समान सह-समरूपता समूहों को खोजना सामान्यतः संभव नहीं होता है, '''Q'''<sub>''p''</sub> (या '''Z'''<sub>''p''</sub>, या '''Q''', या '''Z''') के पास उचित गुण होते है। | ||
चिरसम्मत कारण सेरे का अर्थ यह है कि यदि ''X'' एक [[सुपरसिंगुलर अण्डाकार वक्र]] के रूप में होता है, तो इसकी [[एंडोमोर्फिज्म रिंग|एंडोमोर्फिज्म वलय]] | चिरसम्मत कारण सेरे का अर्थ यह है कि यदि ''X'' एक [[सुपरसिंगुलर अण्डाकार वक्र]] के रूप में होता है, तो इसकी [[एंडोमोर्फिज्म रिंग|एंडोमोर्फिज्म वलय]] Q के ऊपर चतुर्धातुक बीजगणित ''B'' में [[अधिकतम क्रम]] के रूप में होता है, जो ''p'' और ∞ पर विस्तृत है। यदि ''X'' के पास Q{{sub|''p''}} के ऊपर एक सह-समरुपता समूह है और इस प्रकार अपेक्षित आयाम 2 बीजगणित के विपरीत B 'Q{{sub|''p''}}' के ऊपर इस 2-आयामी स्थान पर कार्य करता है, जो असंभव है क्योंकि B का प्रभाव p पर होता है।<ref>A quite subtle point is that if ''X'' is a supersingular elliptic curve over the field '''F'''{{sub|''p''}} of ''p'' elements, then its crystalline cohomology is a free rank 2 module over '''Z'''{{sub|''p''}}. The argument given does not apply in this case, because some of the endomorphisms of such a curve ''X'' are defined only over '''F'''{{sub|''p''{{sup|2}}}}.</ref> | ||
ग्रोथेंडिक का क्रिस्टलीय | ग्रोथेंडिक का क्रिस्टलीय सह-समरुपता सिद्धांत इस बाधा को दूर करता है क्योंकि यह मूल क्षेत्र के विट सदिश की वलय पर मॉड्यूल का उत्पादन करता है। तो यदि [[ज़मीनी मैदान|मूल क्षेत्र]] परिमित क्षेत्र का [[बीजगणितीय समापन]] है| F{{sub|''p''}}, इसके मान 'Z'{{sub|''p''}}, के [[असंबद्ध विस्तार]] के पी-एडिक पूर्णता पर मॉड्यूल के रूप में होते है, एक बहुत बड़ा वलय जिसमें सभी n के लिए यूनिटी की nवीं रुट के रूप में सम्मलित हैं, जो 'Z{{sub|''p''}}.' के अतिरिक्त p से विभाज्य नहीं है | ||
==प्रेरणा== | ==प्रेरणा== | ||
वेइल | वेइल सह-समरुपता के सिद्धांत को एक विशिष्ट क्षेत्र K के ऊपर X प्रकार के X को परिभाषित करने का एक विचार है 'लिफ्ट', X 'प्रकार के k के वेट्स सदिश के ऊपर जिसे X घटा हुआ p पर वापस देता है और फिर इस लिफ्ट का डी रैम सह-समरुपता में समस्या यह है कि यह स्पष्ट नहीं है कि यह सहयोजन के रूप में स्वतंत्र होता है। | ||
विशिष्टता 0 में क्रिस्टलीय सह-समरुपता का विचार एक उपयुक्त [[साइट (शीफ सिद्धांत)]] पर निरंतर शीव्स के सह-समरुपता के रूप में सह-समरुपता सिद्धांत की सीधी परिभाषा ढूंढना है। | |||
विशिष्टता 0 में क्रिस्टलीय | |||
:Inf(''X'') | :Inf(''X'') | ||
: | : | ||
X के ऊपर, [[अनन्तिमल साइट]] कहा जाता है और फिर दिखाया जाता है कि यह किसी भी लिफ्ट के डी रएम | X के ऊपर, [[अनन्तिमल साइट]] कहा जाता है और फिर दिखाया जाता है कि यह किसी भी लिफ्ट के डी रएम सह-समरुपता के समान होते है। | ||
साइट Inf(X) एक श्रेणी है जिसकी वस्तुओं को X के पारंपरिक विवृत समुच्चय के कुछ प्रकार के सामान्यीकरण के रूप में सोचा जा सकता है और इस प्रकार विशिष्टता 0 में इसकी वस्तुएं X के ज़ारिस्की विवृत उपसमुच्चय U→T की अनंत मोटाई वाली होती है। इसका अर्थ यह है कि U एक योजना T की संवृत | साइट Inf(X) एक श्रेणी है जिसकी वस्तुओं को X के पारंपरिक विवृत समुच्चय के कुछ प्रकार के सामान्यीकरण के रूप में सोचा जा सकता है और इस प्रकार विशिष्टता 0 में इसकी वस्तुएं X के ज़ारिस्की विवृत उपसमुच्चय U→T की अनंत मोटाई वाली होती है। इसका अर्थ यह है कि U एक योजना T की संवृत उपयोजना है जिसे T पर आदर्शों के शून्य-शक्तिशाली शीफ द्वारा परिभाषित किया जाता है; उदाहरण के लिए इस प्रकार दर्शाया गया है, Spec(k)→ Spec(k[x]/(x<sup>2</sup>)). | ||
ग्रोथेंडिक ने दिखाया कि 'C' पर | ग्रोथेंडिक ने दिखाया कि 'C' पर स्मूथ योजनाओं X के लिए, शीफ O<sub>''X''</sub> की सह-समरुपता Inf(X) पर सामान्य सुचारू या बीजगणितीय रैम सह-समरुपता के समान होती है। | ||
==क्रिस्टलीय | ==क्रिस्टलीय सह-समरुपता == | ||
विशिष्टता | विशिष्टता p में विशिष्टता 0 में ऊपर परिभाषित क्रिस्टलीय साइट का सबसे स्पष्ट एनालॉग काम नहीं करता है। इसका कारण सामान्यतः यह है कि डी रैम कॉम्प्लेक्स की सटीकता को साबित करने के लिए किसी को किसी प्रकार के पोंकारे लेम्मा की आवश्यकता होती है, जिसका प्रमाण बदले में एकीकरण का उपयोग करता है और एकीकरण के लिए विभिन्न विभाजित शक्तियों की आवश्यकता होती है, जो विशिष्टता 0 के रूप में उपस्थित होती हैं लेकिन अधिकांशतः विशिष्टता p में नहीं होती है। ग्रोथेंडिक ने X के क्रिस्टलीय स्थल की वस्तुओं को X के ज़ारिस्की विवृत उपसमुच्चयों की लगभग असीम मोटाई के रूप में परिभाषित करके, एक विभाजित शक्ति संरचना के साथ आवश्यक विभाजित शक्तियां प्रदान करके इस समस्या को हल किया जाता है। | ||
हम | हम विशेषता p>0 के एक पूर्ण क्षेत्र k पर लंबाई n के [[विट वैक्टर|विट]] सदिश के वलय ''W<sub>n</sub>'' = ''W''/''p<sup>n</sup>W'' पर काम करते है। उदाहरण के लिए, k क्रम p और ''W<sub>n</sub>'' का परिमित क्षेत्र हो सकता है, तो वलय '''Z'''/''p<sup>n</sup>'''''Z'''.के रूप में होता है और इस प्रकार सामान्यतः कोई आधार योजना S पर काम कर सकता है जिसमें विभाजित शक्ति संरचना के साथ आदर्शों की एक निश्चित शीफ होती है I यदि X, k पर एक योजना है, तो '''W<sub>n</sub>'' के सापेक्ष 'X' की 'क्रिस्टलीय साइट' चिह्नित Cris(''X''/''W<sub>n</sub>'') में इसकी वस्तुओं के जोड़े U→T के रूप में X के ज़ारिस्की विवृत उपसमुच्चय U का कुछ W<sub>''n''</sub> में संवृत इमर्शन के रूप में सम्मलित है, डिफाइन टी आदर्शों J के एक समूह द्वारा परिभाषित J पर विभाजित शक्ति संरचना के साथ-साथ W<sub>''n''</sub>. पर संगत रूप में होते है। | ||
U→T में X के ज़ारिस्की विवृत उपसमुच्चय U का कुछ W | |||
आदर्शों J के एक समूह द्वारा परिभाषित | |||
किसी स्कीम X ओवर k की क्रिस्टलीय सहसंगति को व्युत्क्रम सीमा के रूप में परिभाषित किया | किसी स्कीम X ओवर k की क्रिस्टलीय सहसंगति को व्युत्क्रम सीमा के रूप में परिभाषित किया जाता है, | ||
:<math>H^i(X/W)=\varprojlim H^i(X/W_n)</math> | :<math>H^i(X/W)=\varprojlim H^i(X/W_n)</math> | ||
जहाँ | |||
:<math>H^i(X/W_n)= H^i(\operatorname{Cris}(X/W_n),O)</math> | :<math>H^i(X/W_n)= H^i(\operatorname{Cris}(X/W_n),O)</math> | ||
X/W के क्रिस्टलीय स्थल की सह-समरूपता है | ''X''/''W<sub>n</sub>'' के क्रिस्टलीय स्थल की सह-समरूपता है और इस प्रकार वलय के शीफ़ में मान ''O'' := ''O<sub>Wn</sub>''. के रूप में होते है<sub>. | ||
सिद्धांत का एक मुख्य बिंदु यह है कि एक सुचारु योजना | सिद्धांत का एक मुख्य बिंदु यह है कि एक सुचारु योजना के रूप में होते है | ||
:<math>H^i(X/W) = H^i_{DR}(Z/W) \quad(= H^i(Z,\Omega_{Z/W}^*)= \varprojlim H^i(Z,\Omega_{Z/W_n}^*))</math> | :<math>H^i(X/W) = H^i_{DR}(Z/W) \quad(= H^i(Z,\Omega_{Z/W}^*)= \varprojlim H^i(Z,\Omega_{Z/W_n}^*))</math> | ||
डब्ल्यू की [[औपचारिक योजना]] पर | डब्ल्यू की [[औपचारिक योजना]] पर Z के डी रैम सह-समरुपता के साथ X के क्रिस्टलीय सह-समरूपता का अवकलन रूपों की जटिलताओं के हाइपर सह-समरुपता की एक व्युत्क्रम सीमा इसके विपरीत, X की डी रैम सह-समरुपता को इसके क्रिस्टलीय सह-समरुपता के रिडक्शन मॉड p के रूप में उच्च टोर्स को ध्यान में रखने के बाद पुनर्प्राप्त किया जा सकता है। | ||
इसके विपरीत, | |||
==क्रिस्टल== | ==क्रिस्टल== | ||
{{main| | {{main|क्रिस्टल (गणित)}} | ||
यदि X, S के ऊपर एक योजना है तो शीफ़ O<sub>''X''/''S''</sub> द्वारा परिभाषित किया | यदि X, S के ऊपर एक योजना है तो शीफ़ O<sub>''X''/''S''</sub> द्वारा परिभाषित किया जाता है और इस प्रकार ''O<sub>X</sub>''<sub>/''S''</sub>(''T'') = निर्देशांक का समन्वय वलय के रूप में होता है, जहां हम T को संक्षिप्त रूप में लिखते हैं Cris(''X''/''S'') की एक वस्तु ''U'' → ''T के रूप में होता है''। | ||
साइट | साइट Cris(''X''/''S'') पर एक 'क्रिस्टल', ''O<sub>X</sub>''<sub>/''S''</sub> का एक शीफ F के रूप में परिभाषित किया जाता है और मॉड्यूल जो निम्नलिखित अर्थों में रिजिड के रूप में होता है | ||
: | :Cris(''X''/''S'') की वस्तुओं ''T'', ''T'''' के बीच किसी भी मानचित्र ''f'' के लिए, ''f'' से प्राकृतिक मानचित्र<sup>*</sup>F(T) से F(T') एक समरूपता के रूप में होती है। | ||
यह ज़ारिस्की टोपोलॉजी में मॉड्यूल के [[क्वासिकोहेरेंट शीफ]] की परिभाषा के समान है। | यह ज़ारिस्की टोपोलॉजी में मॉड्यूल के [[क्वासिकोहेरेंट शीफ]] की परिभाषा के समान होता है। | ||
क्रिस्टल का एक उदाहरण शीफ़ O | क्रिस्टल का एक उदाहरण शीफ़ ''O<sub>X</sub>''<sub>/''S''</sub> है | ||
[[जॉन टेट (गणितज्ञ)]] (1966) को ग्रोथेंडिक के पत्र में समझाया गया सिद्धांत से जुड़ा क्रिस्टल शब्द, [[बीजगणितीय अंतर समीकरण]] | [[जॉन टेट (गणितज्ञ)]] (1966) को ग्रोथेंडिक के पत्र में समझाया गया सिद्धांत से जुड़ा क्रिस्टल शब्द, [[बीजगणितीय अंतर समीकरण]] के कुछ गुणों से प्रेरित एक रूपक के रूप में था। इन्होंने विशेष रूप से डवर्क के काम में पी-एडिक सह-समरुपता सिद्धांतों में भूमिका निभाई थी और इस प्रकार क्रिस्टलीय सिद्धांत के पूर्ववर्ती, [[बर्नार्ड डवर्क]], [[पॉल मोंस्की]], वॉशनिट्जर, लबकिन और [[निक काट्ज़]] द्वारा विभिन्न रूपों में प्रस्तुत किए गए थे, ऐसे अंतर समीकरणों को बीजगणितीय [[कनेक्शन शर्ट|कोस्ज़ुल कनेक्शन]] के माध्यम से आसानी से तैयार किया जा सकता है, लेकिन पी-एडिक सिद्धांत में [[विश्लेषणात्मक निरंतरता]] का एनालॉग अधिक रहस्यमय रूप में होता है, चूंकि पी-एडिक डिस्क ओवरलैप के अतिरिक्त असंयुक्त रूप में होते हैं और इस प्रकार डिक्री द्वारा जटिल विश्लेषणात्मक कार्यों की विश्लेषणात्मक निरंतरता की स्थितियों में एक क्रिस्टल में 'कठोरता' और 'प्रसार' उल्लेखनीय रूप में होता है। Cf. 1960 के दशक में जॉन टेट (गणितज्ञ) द्वारा प्रस्तुत किए गए है और इस प्रकार [[कठोर विश्लेषणात्मक स्थान|रिजिड विश्लेषणात्मक स्थान]] की इन स्थितियों पर सक्रिय रूप से बहस होती है। | ||
== यह भी देखें == | == यह भी देखें == | ||
*[[मोटिविक कोहोमोलॉजी|मोटिविक | *[[मोटिविक कोहोमोलॉजी|मोटिविक सह-समरुपता]] | ||
*डी | *डी रैम सह-समरुपता | ||
==संदर्भ== | ==संदर्भ== | ||
Line 86: | Line 79: | ||
* {{Citation | last1=Illusie | first1=Luc | title=Motives (Seattle, WA, 1991) | publisher=Amer. Math. Soc. | location=Providence, RI | series=Proc. Sympos. Pure Math. | mr=1265522 | year=1994 | volume=55 | chapter=Crystalline cohomology | pages=43–70}} | * {{Citation | last1=Illusie | first1=Luc | title=Motives (Seattle, WA, 1991) | publisher=Amer. Math. Soc. | location=Providence, RI | series=Proc. Sympos. Pure Math. | mr=1265522 | year=1994 | volume=55 | chapter=Crystalline cohomology | pages=43–70}} | ||
*{{Citation |last1=Kedlaya |first1=Kiran S. |editor1-last=Abramovich |editor1-first=Dan |author-link=Kiran Kedlaya |editor2-last=Bertram |editor2-first=A. |editor3-last=Katzarkov |editor3-first=L. |editor4-last=Pandharipande |editor4-first=Rahul |editor5-last=Thaddeus. |editor5-first=M. |title=Algebraic geometry---Seattle 2005. Part 2 |publisher=Amer. Math. Soc. |location=Providence, R.I. |series=Proc. Sympos. Pure Math. |isbn=978-0-8218-4703-9 |mr=2483951 |year=2009 |volume=80 |chapter=p-adic cohomology |arxiv=math/0601507 |pages=667–684 |bibcode=2006math......1507K}} | *{{Citation |last1=Kedlaya |first1=Kiran S. |editor1-last=Abramovich |editor1-first=Dan |author-link=Kiran Kedlaya |editor2-last=Bertram |editor2-first=A. |editor3-last=Katzarkov |editor3-first=L. |editor4-last=Pandharipande |editor4-first=Rahul |editor5-last=Thaddeus. |editor5-first=M. |title=Algebraic geometry---Seattle 2005. Part 2 |publisher=Amer. Math. Soc. |location=Providence, R.I. |series=Proc. Sympos. Pure Math. |isbn=978-0-8218-4703-9 |mr=2483951 |year=2009 |volume=80 |chapter=p-adic cohomology |arxiv=math/0601507 |pages=667–684 |bibcode=2006math......1507K}} | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page]] | ||
[[Category:Created On 08/07/2023]] | [[Category:Created On 08/07/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:बीजगणितीय ज्यामिति]] | |||
[[Category:सजातीय बीजगणित]] | |||
[[Category:सहसंगति सिद्धांत]] |
Latest revision as of 10:25, 27 July 2023
गणित में, क्रिस्टलीय सह-समरुपता के आधार क्षेत्र k पर स्कीम (गणित) के X के लिए वेइल सह-समरुपता सिद्धांत है। इसके मान Hn(X/W) पर विट सदिश वलय W के ऊपर मॉड्यूल (गणित) के होते है, इसे सिकंदर ग्रोथेडाइक (1966, 1968) द्वारा आरंभ किया गया था और इसे 1974 में पियर बर्थलॉट द्वारा विकसित किया गया है।
वर्ष 1960 में, क्रिस्टलीय सह-समरुपता आंशिक रूप से वेइल अनुमानों के भाग डवर्क में पी-एडिक के प्रमाण से प्रेरित है और यह डी रेहम सह-समरुपता के बीजीय संस्करण से बहुत निकटता से संबंधित है, जो अलेक्जेंडर ग्रोथेंडिक (1963) द्वारा शुरू किया गया था और इस प्रकार सामान्य रूप में कहें तो, विशिष्ट पी में बीजगणितीय किस्म एक्स की क्रिस्टलीय सह-समरुपता एक्स की विशिष्टता 0 तक एक स्मूथ सीधी लिफ्ट डी रैम सह-समरुपता के रूप में है, जबकि एक्स का डी रैम सह-समरुपता उच्च टोर्स को ध्यान में रखने के बाद क्रिस्टलीय सह-समरुपता कम मॉड p के रूप में होते है ।
क्रिस्टलीय सह-समरुपता का सुझाव, सामान्यतः एक योजना के ज़ारिस्की टोपोलॉजी को विभाजित शक्ति संरचनाओं के साथ ज़ारिस्की विवृत समुच्चय की अनंत मोटाई के रूप में प्रतिस्थापित किया जाता है। इसके लिए प्रेरणा यह है कि इसकी गणना किसी योजना को विशिष्टता p से विशिष्टता 0 तक स्थानीय रूप से उठाकर और बीजगणितीय डी रेहम सह-समरुपता के उचित संस्करण को नियोजित करके की जाती है।
क्रिस्टलीय सह-समरुपता केवल सुचारू योजनाओं के लिए ही अच्छा काम करती है और इस प्रकार रिजिड सह-समरुपता इसे अधिक सामान्य योजनाओं तक विस्तारित करती है।
अनुप्रयोग
सकारात्मक विशिष्टता वाली योजनाओं के लिए, क्रिस्टलीय सह-समरुपता सिद्धांत p-एडिक एटले सह-समरुपता की तुलना में सह-समरुपता समूहों में पी-टोरसन के बारे में प्रश्नों को बहुत अच्छे ढंग से संभाल सकता है। यह इसे p-एडिक L-फलन पर अधिकांश काम के लिए एक स्वाभाविक पृष्ठभूमि के रूप में बनाता है।
क्रिस्टलीय सह-समरुपता संख्या सिद्धांत की दृष्टि से L-एडिक सह-समरुपता सूचना के अंतराल को भरता है, जो ठीक उसी जगह होती है जहां 'समान विशिष्टता वाले प्राइमस' होते हैं और इस प्रकार पारंपरिक रूप से प्रभाव सिद्धांत का संरक्षण के बाद क्रिस्टलीय कोहोलॉजी इस स्थिति को डायडोने मॉड्यूल सिद्धांत में परिवर्तित करता है, जिससे अंकगणितीय समस्याओं पर एक महत्वपूर्ण नियंत्रण मिलता है। इसे औपचारिक बयानों के रूप में व्यापक सीमा वाले अनुमान जीन-मार्क फॉनटेन द्वारा प्रतिपादित किए गए थे, जिसके प्रस्ताव को पी-एडिक हॉज सिद्धांत कहा जाता है।
गुणांक
विशिष्टता P > 0 के बीजगणितीय रूप से संवृत क्षेत्र पर एक किस्म X के लिए, -एडिक सह-समरुपता समूहों के लिए P के अतिरिक्त कोई भी प्राइमस संख्या वलय में गुणांक के साथ X के संतोषजनक सह-समरुपता समूह के रूप में होती है, -एडिक पूर्णांक. Q में गुणांक वाले समान सह-समरूपता समूहों को खोजना सामान्यतः संभव नहीं होता है, Qp (या Zp, या Q, या Z) के पास उचित गुण होते है।
चिरसम्मत कारण सेरे का अर्थ यह है कि यदि X एक सुपरसिंगुलर अण्डाकार वक्र के रूप में होता है, तो इसकी एंडोमोर्फिज्म वलय Q के ऊपर चतुर्धातुक बीजगणित B में अधिकतम क्रम के रूप में होता है, जो p और ∞ पर विस्तृत है। यदि X के पास Qp के ऊपर एक सह-समरुपता समूह है और इस प्रकार अपेक्षित आयाम 2 बीजगणित के विपरीत B 'Qp' के ऊपर इस 2-आयामी स्थान पर कार्य करता है, जो असंभव है क्योंकि B का प्रभाव p पर होता है।[1]
ग्रोथेंडिक का क्रिस्टलीय सह-समरुपता सिद्धांत इस बाधा को दूर करता है क्योंकि यह मूल क्षेत्र के विट सदिश की वलय पर मॉड्यूल का उत्पादन करता है। तो यदि मूल क्षेत्र परिमित क्षेत्र का बीजगणितीय समापन है| Fp, इसके मान 'Z'p, के असंबद्ध विस्तार के पी-एडिक पूर्णता पर मॉड्यूल के रूप में होते है, एक बहुत बड़ा वलय जिसमें सभी n के लिए यूनिटी की nवीं रुट के रूप में सम्मलित हैं, जो 'Zp.' के अतिरिक्त p से विभाज्य नहीं है
प्रेरणा
वेइल सह-समरुपता के सिद्धांत को एक विशिष्ट क्षेत्र K के ऊपर X प्रकार के X को परिभाषित करने का एक विचार है 'लिफ्ट', X 'प्रकार के k के वेट्स सदिश के ऊपर जिसे X घटा हुआ p पर वापस देता है और फिर इस लिफ्ट का डी रैम सह-समरुपता में समस्या यह है कि यह स्पष्ट नहीं है कि यह सहयोजन के रूप में स्वतंत्र होता है।
विशिष्टता 0 में क्रिस्टलीय सह-समरुपता का विचार एक उपयुक्त साइट (शीफ सिद्धांत) पर निरंतर शीव्स के सह-समरुपता के रूप में सह-समरुपता सिद्धांत की सीधी परिभाषा ढूंढना है।
- Inf(X)
X के ऊपर, अनन्तिमल साइट कहा जाता है और फिर दिखाया जाता है कि यह किसी भी लिफ्ट के डी रएम सह-समरुपता के समान होते है।
साइट Inf(X) एक श्रेणी है जिसकी वस्तुओं को X के पारंपरिक विवृत समुच्चय के कुछ प्रकार के सामान्यीकरण के रूप में सोचा जा सकता है और इस प्रकार विशिष्टता 0 में इसकी वस्तुएं X के ज़ारिस्की विवृत उपसमुच्चय U→T की अनंत मोटाई वाली होती है। इसका अर्थ यह है कि U एक योजना T की संवृत उपयोजना है जिसे T पर आदर्शों के शून्य-शक्तिशाली शीफ द्वारा परिभाषित किया जाता है; उदाहरण के लिए इस प्रकार दर्शाया गया है, Spec(k)→ Spec(k[x]/(x2)).
ग्रोथेंडिक ने दिखाया कि 'C' पर स्मूथ योजनाओं X के लिए, शीफ OX की सह-समरुपता Inf(X) पर सामान्य सुचारू या बीजगणितीय रैम सह-समरुपता के समान होती है।
क्रिस्टलीय सह-समरुपता
विशिष्टता p में विशिष्टता 0 में ऊपर परिभाषित क्रिस्टलीय साइट का सबसे स्पष्ट एनालॉग काम नहीं करता है। इसका कारण सामान्यतः यह है कि डी रैम कॉम्प्लेक्स की सटीकता को साबित करने के लिए किसी को किसी प्रकार के पोंकारे लेम्मा की आवश्यकता होती है, जिसका प्रमाण बदले में एकीकरण का उपयोग करता है और एकीकरण के लिए विभिन्न विभाजित शक्तियों की आवश्यकता होती है, जो विशिष्टता 0 के रूप में उपस्थित होती हैं लेकिन अधिकांशतः विशिष्टता p में नहीं होती है। ग्रोथेंडिक ने X के क्रिस्टलीय स्थल की वस्तुओं को X के ज़ारिस्की विवृत उपसमुच्चयों की लगभग असीम मोटाई के रूप में परिभाषित करके, एक विभाजित शक्ति संरचना के साथ आवश्यक विभाजित शक्तियां प्रदान करके इस समस्या को हल किया जाता है।
हम विशेषता p>0 के एक पूर्ण क्षेत्र k पर लंबाई n के विट सदिश के वलय Wn = W/pnW पर काम करते है। उदाहरण के लिए, k क्रम p और Wn का परिमित क्षेत्र हो सकता है, तो वलय Z'/pnZ.के रूप में होता है और इस प्रकार सामान्यतः कोई आधार योजना S पर काम कर सकता है जिसमें विभाजित शक्ति संरचना के साथ आदर्शों की एक निश्चित शीफ होती है I यदि X, k पर एक योजना है, तो Wn के सापेक्ष 'X' की 'क्रिस्टलीय साइट' चिह्नित Cris(X/Wn) में इसकी वस्तुओं के जोड़े U→T के रूप में X के ज़ारिस्की विवृत उपसमुच्चय U का कुछ Wn में संवृत इमर्शन के रूप में सम्मलित है, डिफाइन टी आदर्शों J के एक समूह द्वारा परिभाषित J पर विभाजित शक्ति संरचना के साथ-साथ Wn. पर संगत रूप में होते है।
किसी स्कीम X ओवर k की क्रिस्टलीय सहसंगति को व्युत्क्रम सीमा के रूप में परिभाषित किया जाता है,
जहाँ
X/Wn के क्रिस्टलीय स्थल की सह-समरूपता है और इस प्रकार वलय के शीफ़ में मान O := OWn. के रूप में होते है.
सिद्धांत का एक मुख्य बिंदु यह है कि एक सुचारु योजना के रूप में होते है
डब्ल्यू की औपचारिक योजना पर Z के डी रैम सह-समरुपता के साथ X के क्रिस्टलीय सह-समरूपता का अवकलन रूपों की जटिलताओं के हाइपर सह-समरुपता की एक व्युत्क्रम सीमा इसके विपरीत, X की डी रैम सह-समरुपता को इसके क्रिस्टलीय सह-समरुपता के रिडक्शन मॉड p के रूप में उच्च टोर्स को ध्यान में रखने के बाद पुनर्प्राप्त किया जा सकता है।
क्रिस्टल
यदि X, S के ऊपर एक योजना है तो शीफ़ OX/S द्वारा परिभाषित किया जाता है और इस प्रकार OX/S(T) = निर्देशांक का समन्वय वलय के रूप में होता है, जहां हम T को संक्षिप्त रूप में लिखते हैं Cris(X/S) की एक वस्तु U → T के रूप में होता है।
साइट Cris(X/S) पर एक 'क्रिस्टल', OX/S का एक शीफ F के रूप में परिभाषित किया जाता है और मॉड्यूल जो निम्नलिखित अर्थों में रिजिड के रूप में होता है
- Cris(X/S) की वस्तुओं T, T'' के बीच किसी भी मानचित्र f के लिए, f से प्राकृतिक मानचित्र*F(T) से F(T') एक समरूपता के रूप में होती है।
यह ज़ारिस्की टोपोलॉजी में मॉड्यूल के क्वासिकोहेरेंट शीफ की परिभाषा के समान होता है।
क्रिस्टल का एक उदाहरण शीफ़ OX/S है
जॉन टेट (गणितज्ञ) (1966) को ग्रोथेंडिक के पत्र में समझाया गया सिद्धांत से जुड़ा क्रिस्टल शब्द, बीजगणितीय अंतर समीकरण के कुछ गुणों से प्रेरित एक रूपक के रूप में था। इन्होंने विशेष रूप से डवर्क के काम में पी-एडिक सह-समरुपता सिद्धांतों में भूमिका निभाई थी और इस प्रकार क्रिस्टलीय सिद्धांत के पूर्ववर्ती, बर्नार्ड डवर्क, पॉल मोंस्की, वॉशनिट्जर, लबकिन और निक काट्ज़ द्वारा विभिन्न रूपों में प्रस्तुत किए गए थे, ऐसे अंतर समीकरणों को बीजगणितीय कोस्ज़ुल कनेक्शन के माध्यम से आसानी से तैयार किया जा सकता है, लेकिन पी-एडिक सिद्धांत में विश्लेषणात्मक निरंतरता का एनालॉग अधिक रहस्यमय रूप में होता है, चूंकि पी-एडिक डिस्क ओवरलैप के अतिरिक्त असंयुक्त रूप में होते हैं और इस प्रकार डिक्री द्वारा जटिल विश्लेषणात्मक कार्यों की विश्लेषणात्मक निरंतरता की स्थितियों में एक क्रिस्टल में 'कठोरता' और 'प्रसार' उल्लेखनीय रूप में होता है। Cf. 1960 के दशक में जॉन टेट (गणितज्ञ) द्वारा प्रस्तुत किए गए है और इस प्रकार रिजिड विश्लेषणात्मक स्थान की इन स्थितियों पर सक्रिय रूप से बहस होती है।
यह भी देखें
- मोटिविक सह-समरुपता
- डी रैम सह-समरुपता
संदर्भ
- ↑ A quite subtle point is that if X is a supersingular elliptic curve over the field Fp of p elements, then its crystalline cohomology is a free rank 2 module over Zp. The argument given does not apply in this case, because some of the endomorphisms of such a curve X are defined only over Fp2.
- Berthelot, Pierre (1974), Cohomologie cristalline des schémas de caractéristique p>0, Lecture Notes in Mathematics, Vol. 407, vol. 407, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0068636, ISBN 978-3-540-06852-5, MR 0384804
- Berthelot, Pierre; Ogus, Arthur (1978), Notes on crystalline cohomology, Princeton University Press, ISBN 978-0-691-08218-9, MR 0491705
- Chambert-Loir, Antoine (1998), "Cohomologie cristalline: un survol", Expositiones Mathematicae, 16 (4): 333–382, ISSN 0723-0869, MR 1654786, archived from the original on 2011-07-21
- Dwork, Bernard (1960), "On the rationality of the zeta function of an algebraic variety", American Journal of Mathematics, The Johns Hopkins University Press, 82 (3): 631–648, doi:10.2307/2372974, ISSN 0002-9327, JSTOR 2372974, MR 0140494
- Grothendieck, Alexander (1966), "On the de Rham cohomology of algebraic varieties", Institut des Hautes Études Scientifiques. Publications Mathématiques, 29 (29): 95–103, doi:10.1007/BF02684807, ISSN 0073-8301, MR 0199194 (letter to Atiyah, Oct. 14 1963)
- Grothendieck, Alexander (1966), Letter to J. Tate (PDF), archived from the original (PDF) on 2021-07-21.
- Grothendieck, Alexander (1968), "Crystals and the de Rham cohomology of schemes" (PDF), in Giraud, Jean; Grothendieck, Alexander; Kleiman, Steven L.; et al. (eds.), Dix Exposés sur la Cohomologie des Schémas, Advanced studies in pure mathematics, vol. 3, Amsterdam: North-Holland, pp. 306–358, MR 0269663, archived from the original (PDF) on 2022-02-08
- Illusie, Luc (1975), "Report on crystalline cohomology", Algebraic geometry, Proc. Sympos. Pure Math., vol. 29, Providence, R.I.: Amer. Math. Soc., pp. 459–478, MR 0393034
- Illusie, Luc (1976), "Cohomologie cristalline (d'après P. Berthelot)", Séminaire Bourbaki (1974/1975: Exposés Nos. 453-470), Exp. No. 456, Lecture Notes in Math., vol. 514, Berlin, New York: Springer-Verlag, pp. 53–60, MR 0444668, archived from the original on 2012-02-10, retrieved 2007-09-20
- Illusie, Luc (1994), "Crystalline cohomology", Motives (Seattle, WA, 1991), Proc. Sympos. Pure Math., vol. 55, Providence, RI: Amer. Math. Soc., pp. 43–70, MR 1265522
- Kedlaya, Kiran S. (2009), "p-adic cohomology", in Abramovich, Dan; Bertram, A.; Katzarkov, L.; Pandharipande, Rahul; Thaddeus., M. (eds.), Algebraic geometry---Seattle 2005. Part 2, Proc. Sympos. Pure Math., vol. 80, Providence, R.I.: Amer. Math. Soc., pp. 667–684, arXiv:math/0601507, Bibcode:2006math......1507K, ISBN 978-0-8218-4703-9, MR 2483951