बीजगणितीय चक्रों पर मानक अनुमान: Difference between revisions
No edit summary |
No edit summary |
||
(6 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
गणित में, [[बीजगणितीय चक्र|बीजगणितीय | गणित में, [[बीजगणितीय चक्र|बीजगणितीय चक्रों]] के बारे में '''मानक [[अनुमान]]''' बीजगणितीय चक्रों और [[वेइल कोहोमोलॉजी सिद्धांत|वेइल कोहोमोलॉजी सिद्धांतों]] के संबंध का वर्णन करने वाले अनेक अनुमान हैं। इन अनुमानों के मूल अनुप्रयोगों में से एक, [[अलेक्जेंडर ग्रोथेंडिक]] द्वारा परिकल्पित, यह सिद्ध करना करना था कि उनके [[मकसद (बीजगणितीय ज्यामिति)|शुद्ध उद्देश्यों]] के निर्माण ने [[एबेलियन श्रेणी]] दी जो कि [[अर्धसरल श्रेणी]] है। इसके अतिरिक्त, जैसा कि उन्होंने बताया, मानक अनुमान वेइल अनुमान का सबसे कठिन हिस्सा भी दर्शाते हैं, अर्थात् '''"रीमैन परिकल्पना"''' अनुमान जो सत्र 1960 के दशक के अंत में खुला रहा और पश्चात् में पियरे डेलिग्ने द्वारा सिद्ध किया गया; वेइल और मानक अनुमानों के मध्य लिंक पर विवरण के लिए देखें {{harvtxt|क्लेमन|1968}} देखें। मानक अनुमान खुली समस्याएँ बने रहते हैं, जिससे उनका अनुप्रयोग केवल परिणामों का [[सशर्त प्रमाण]] देता है। वेइल अनुमान सहित कुछ स्थितियों में, ऐसे परिणामों को बिना शर्त सिद्ध करना करने के लिए अन्य तरीके पाए गए हैं। | ||
मानक अनुमानों के मौलिक सूत्रीकरण में निश्चित वेइल कोहोमोलॉजी सिद्धांत सम्मिलित होता | मानक अनुमानों के मौलिक सूत्रीकरण में निश्चित वेइल कोहोमोलॉजी सिद्धांत सम्मिलित होता है। सभी अनुमान '''"बीजगणितीय"''' सह-समरूपता वर्गों से संबंधित हैं, जिसका अर्थ है सुचारु [[प्रक्षेप्य किस्म|प्रक्षेप्य]] प्रकार के सह-समरूपता पर रूपवाद | ||
:{{math|''H''<sup> ∗</sup>(''X'') → ''H''<sup> ∗</sup>(''X'')}} | :{{math|''H''<sup> ∗</sup>(''X'') → ''H''<sup> ∗</sup>(''X'')}} | ||
उत्पाद पर तर्कसंगत गुणांकों के साथ बीजगणितीय चक्र द्वारा प्रेरित {{math|''X'' × ''X''}} चक्र वर्ग मानचित्र के माध्यम से, जो वेइल कोहोमोलॉजी सिद्धांत की संरचना का | उत्पाद पर तर्कसंगत गुणांकों के साथ बीजगणितीय चक्र द्वारा प्रेरित {{math|''X'' × ''X''}} चक्र वर्ग मानचित्र के माध्यम से, जो वेइल कोहोमोलॉजी सिद्धांत की संरचना का एक भाग है। | ||
अनुमान ए, अनुमान बी के सामान्तर है (देखें)। {{harvtxt| | अनुमान ए, अनुमान बी के सामान्तर है (देखें)। {{harvtxt|ग्रोथेंडिक|1969}}, पृष्ठ 196), और इसलिए सूचीबद्ध नहीं है। | ||
== लेफ्शेट्ज़ प्रकार मानक अनुमान (अनुमान बी)== | == '''लेफ्शेट्ज़ प्रकार मानक अनुमान (अनुमान बी)'''== | ||
वेइल सिद्धांत के सिद्धांतों में से तथाकथित [[कठिन लेफ्शेट्ज़ प्रमेय]] (या स्वयंसिद्ध) है: | वेइल सिद्धांत के सिद्धांतों में से तथाकथित [[कठिन लेफ्शेट्ज़ प्रमेय]] (या स्वयंसिद्ध) है: | ||
एक निश्चित चिकने [[ हाइपरप्लेन अनुभाग |हाइपरप्लेन अनुभाग]] से | एक निश्चित चिकने [[ हाइपरप्लेन अनुभाग |हाइपरप्लेन अनुभाग]] से प्रारम्भ करें | ||
:{{math|''W'' {{=}} ''H'' ∩ ''X''}}, | :{{math|''W'' {{=}} ''H'' ∩ ''X''}}, | ||
कहाँ {{mvar|X}}परिवेशीय प्रक्षेप्य स्थान में दी गई सहज प्रक्षेप्य विविधता है {{math|'''P'''<sup> ''N''</sup>}} और {{mvar|H}} हाइपरप्लेन है. फिर के लिए {{math|''i'' ≤ ''n'' {{=}} dim(''X'')}}, लेफ्शेट्ज़ ऑपरेटर | कहाँ {{mvar|X}} परिवेशीय प्रक्षेप्य स्थान में दी गई सहज प्रक्षेप्य विविधता है {{math|'''P'''<sup> ''N''</sup>}} और {{mvar|H}} हाइपरप्लेन है. फिर के लिए {{math|''i'' ≤ ''n'' {{=}} dim(''X'')}}, लेफ्शेट्ज़ ऑपरेटर | ||
:{{math|''L'' : ''H<sup> i</sup>''(''X'') → ''H''<sup> ''i''+2</sup>(''X'')}}, | :{{math|''L'' : ''H<sup> i</sup>''(''X'') → ''H''<sup> ''i''+2</sup>(''X'')}}, | ||
जिसे | जिसे {{mvar|W}} के साथ सह-समरूपता वर्गों के साथ प्रतिच्छेद करके परिभाषित किया गया है, इस प्रकार जो एक समरूपता देता है | ||
:{{math|''L''<sup>''n''−''i''</sup> : ''H<sup> i</sup>''(''X'') → ''H''<sup> 2''n''−''i''</sup>(''X'')}}. | :{{math|''L''<sup>''n''−''i''</sup> : ''H<sup> i</sup>''(''X'') → ''H''<sup> 2''n''−''i''</sup>(''X'')}}. | ||
Line 30: | Line 30: | ||
:{{math|Λ {{=}} (''L''<sup>''n''−''i''</sup>) ∘ ''L'' ∘ (''L''<sup>''n''−''i''+2</sup>)<sup>−1</sup> : ''H''<sup> 2''n''−''i''+2</sup>(''X'') → ''H''<sup> 2''n''−''i''</sup>(''X'')}} | :{{math|Λ {{=}} (''L''<sup>''n''−''i''</sup>) ∘ ''L'' ∘ (''L''<sup>''n''−''i''+2</sup>)<sup>−1</sup> : ''H''<sup> 2''n''−''i''+2</sup>(''X'') → ''H''<sup> 2''n''−''i''</sup>(''X'')}} | ||
अनुमान में कहा गया है कि लेफ्शेट्ज़ ऑपरेटर ({{math|Λ}}) बीजगणितीय चक्र से प्रेरित है। | अनुमान में कहा गया है कि '''लेफ्शेट्ज़ ऑपरेटर ({{math|Λ}})''' बीजगणितीय चक्र से प्रेरित है। | ||
== कुनेथ प्रकार मानक अनुमान (अनुमान सी)== | == '''कुनेथ प्रकार मानक अनुमान (अनुमान सी)'''== | ||
यह अनुमान लगाया गया है कि प्रोजेक्टर | यह अनुमान लगाया गया है कि प्रोजेक्टर | ||
:{{math|''H''<sup> ∗</sup>(''X'') ↠ ''H<sup>i</sup>''(''X'') ↣ ''H''<sup> ∗</sup>(''X'')}} | :{{math|''H''<sup> ∗</sup>(''X'') ↠ ''H<sup>i</sup>''(''X'') ↣ ''H''<sup> ∗</sup>(''X'')}} | ||
बीजगणितीय हैं, अर्थात चक्र | बीजगणितीय हैं, अर्थात तर्कसंगत गुणांक वाले चक्र {{math|''π<sup> i</sup>'' ⊂ ''X'' × ''X''}} से प्रेरित हैं। इसका तात्पर्य यह है कि किसी भी सहज प्रक्षेप्य विविधता का मकसद (और अधिक सामान्यतः, हर मकसद (बीजगणितीय ज्यामिति)) के रूप में विघटित होता है | ||
:<math>h(X) = \bigoplus_{i=0}^{2 dim(X)} h^i(X).</math> | :<math>h(X) = \bigoplus_{i=0}^{2 dim(X)} h^i(X).</math> | ||
मकसद <math>h^0(X)</math> और <math>h^{2 dim(X)}</math> इसे सदैव सीधे सारांश के रूप में विभाजित किया जा सकता है। इसलिए अनुमान तुरंत वक्रों के लिए मान्य होता है। यह | मकसद <math>h^0(X)</math> और <math>h^{2 dim(X)}</math> इसे सदैव सीधे सारांश के रूप में विभाजित किया जा सकता है। इसलिए अनुमान तुरंत वक्रों के लिए मान्य होता है। यह {{harvtxt|मुर्रे|1990}} द्वारा सतहों के लिए सिद्ध करना हुआ था . | ||
{{harvtxt| | {{harvtxt|काट्ज़|मेसिंग|1974}} ने मनमाने आयाम में, सीमित क्षेत्रों में परिभाषित बीजगणितीय प्रकारो के लिए अनुमान दिखाने के लिए वेइल अनुमान का उपयोग किया है। | ||
{{harvtxt| | {{harvtxt|सेरमेनेव|1974}} एबेलियन प्रकारो ए के लिए कुनेथ अपघटन को सिद्ध करना हुआ। | ||
{{harvtxt| | {{harvtxt|डेनिंगर|मुर्रे|1991}} ने ए के [[चाउ मकसद]] के कार्यात्मक कुनेथ अपघटन को प्रदर्शित करके इस परिणाम को परिष्कृत किया, जैसे कि एबेलियन प्रकार पर एन-गुणा कार्य करता है <math>n^i</math> i-वें सारांश पर <math>h^i(A)</math>. | ||
{{harvtxt| | {{harvtxt|डी कैटाल्डो|मिग्लिओरिनी|2002}} चिकनी सतह में बिंदुओं की [[हिल्बर्ट योजना]] के लिए कुनेथ अपघटन सिद्ध करना हुआ। | ||
== अनुमान डी (संख्यात्मक तुल्यता बनाम समरूप तुल्यता) == | == '''अनुमान डी (संख्यात्मक तुल्यता बनाम समरूप तुल्यता)''' == | ||
अनुमान डी बताता है कि संख्यात्मक और | अनुमान डी बताता है कि संख्यात्मक और घरेलू तुल्यता सहमत हैं। (इसका तात्पर्य यह है कि विशेष रूप से उत्तरार्द्ध वेइल कोहोमोलॉजी सिद्धांत की पसंद पर निर्भर नहीं करता है)। यह अनुमान लेफ्शेट्ज़ अनुमान का तात्पर्य है। यदि हॉज मानक अनुमान मान्य है, तब लेफ्शेट्ज़ अनुमान और अनुमान डी समकक्ष हैं। | ||
यह अनुमान लिबरमैन द्वारा अधिकतम 4 आयाम | यह अनुमान लिबरमैन द्वारा अधिकतम 4 आयाम वाले प्रकारो और [[एबेलियन किस्म|एबेलियन]] प्रकार के लिए दिखाया गया था।<ref>{{citation|author=Lieberman, David I.|title=Numerical and homological equivalence of algebraic cycles on Hodge manifolds|journal=Amer. J. Math.|volume=90|year=1968|issue=2|pages=366–374|jstor=2373533|doi=10.2307/2373533}}</ref> | ||
== हॉज मानक अनुमान == | == '''हॉज मानक अनुमान''' == | ||
हॉज मानक अनुमान [[हॉज सूचकांक प्रमेय]] पर आधारित है। यह आदिम बीजगणितीय सहविज्ञान वर्गों पर कप उत्पाद युग्मन की निश्चितता (धनात्मक या ऋणात्मक, आयाम के अनुसार) बताता है। यदि यह मान्य है, तब लेफ्शेट्ज़ अनुमान अनुमान डी का तात्पर्य है। विशेषता शून्य में हॉज मानक अनुमान [[हॉज सिद्धांत]] का परिणाम है। धनात्मक विशेषता में हॉज मानक अनुमान सतहों के लिए जाना जाता है ({{harvtxt| | हॉज मानक अनुमान [[हॉज सूचकांक प्रमेय]] पर आधारित है। यह आदिम बीजगणितीय सहविज्ञान वर्गों पर कप उत्पाद युग्मन की निश्चितता (धनात्मक या ऋणात्मक, आयाम के अनुसार) बताता है। यदि यह मान्य है, तब लेफ्शेट्ज़ अनुमान अनुमान डी का तात्पर्य है। विशेषता शून्य में हॉज मानक अनुमान [[हॉज सिद्धांत]] का परिणाम है। धनात्मक विशेषता में हॉज मानक अनुमान सतहों के लिए जाना जाता है ({{harvtxt|ग्रोथेंडिक|1958}}) और आयाम 4 की एबेलियन प्रकारो के लिए ({{harvtxt|एंकोना|2020}} के लिए जाना जाता है। | ||
हॉज मानक अनुमान को [[हॉज अनुमान]] के साथ भ्रमित नहीं किया जाना चाहिए जो बताता है कि चिकनी प्रक्षेप्य | हॉज मानक अनुमान को [[हॉज अनुमान]] के साथ भ्रमित नहीं किया जाना चाहिए जो बताता है कि चिकनी प्रक्षेप्य प्रकारो के लिए {{math|'''C'''}}, हर तर्कसंगत {{math|(''p'', ''p'')}}-वर्ग बीजगणितीय है। हॉज अनुमान का तात्पर्य विशेषता शून्य के क्षेत्रों में प्रकारो के लिए लेफ्शेट्ज़ और कुनेथ अनुमान और अनुमान डी से है। [[टेट अनुमान]] का तात्पर्य सभी क्षेत्रों में लेफ्शेट्ज़, कुनेथ और एटेल कोहोमोलॉजी|ℓ-एडिक कोहोमोलॉजी के लिए अनुमान डी से है। | ||
==मानक अनुमानों के स्थायित्व गुण== | =='''मानक अनुमानों के स्थायित्व गुण'''== | ||
दो बीजगणितीय | दो बीजगणितीय प्रकारो X और Y के लिए, {{harvtxt|अरपुरा|2006}} ने शर्त प्रस्तुत की है कि Y, उदाहरण के लिए, यदि कोई विशेषण रूपवाद है तब Y प्रेरित होता है <math>X^n \to Y</math>.<ref>{{harvtxt|Arapura|2006|loc=Cor. 1.2}}</ref> यदि Y श्रेणी में नहीं पाया जाता है, तब यह उस संदर्भ में अप्रयुक्त है। सुचारु प्रक्षेप्य समष्टि बीजगणितीय प्रकारो X और Y के लिए, जैसे कि Y, X की सभी शक्तियाँ<ref>{{harvtxt|Arapura|2006|loc=Lemma 4.2}}</ref> इस तथ्य को दिखाने के लिए प्रयुक्त किया जा सकता है, उदाहरण के लिए, [[बीजगणितीय सतह]] पर बिंदुओं की हिल्बर्ट योजना के लिए लेफ्शेट्ज़ अनुमान। | ||
==अन्य अनुमानों से संबंध== | =='''अन्य अनुमानों से संबंध'''== | ||
{{harvtxt| | {{harvtxt|बेइलिंसन|2012}} ने दिखाया है कि उद्देश्यों की त्रिकोणीय श्रेणी पर तथाकथित प्रेरक टी-संरचना का (अनुमानात्मक) अस्तित्व लेफ्शेट्ज़ और कुनेथ मानक अनुमान बी और सी का तात्पर्य है। | ||
== संदर्भ == | == '''संदर्भ''' == | ||
{{Reflist}} | {{Reflist}} | ||
* {{Citation|first= | * {{Citation|first=ग्यूसेप|last=एंकोना|journal=आविष्कार करना। गणित।|doi= 10.1007/s00222-020-00990-7|title=एबेलियन फोरफ़ोल्ड्स के लिए मानक अनुमान|arxiv=1806.03216|year=2020|s2cid=119579196}} | ||
* {{Citation|last= | * {{Citation|last=अरपुरा|first=डोनु|title=हॉज चक्रों के लिए प्रेरणा|journal=[[गणित में प्रगति]]|volume=207|year=2006|issue=2|pages=762–781|mr=2271985|doi=10.1016/j.aim.2006.01.005|doi-access=मुक्त|arxiv=math/0501348|s2cid=13897239}} | ||
* {{Citation|last=Beilinson|first=A.|chapter= | * {{Citation|last=Beilinson|first=A.|chapter=ग्रोथेंडिक के मानक अनुमानों पर टिप्पणियाँ|title=नियामक|series=समकालीन. गणित।|volume=571|pages=25–32|publisher=आमेर. गणित। सोसाइटी, प्रोविडेंस, आरआई|year=2012|mr=2953406|doi=10.1090/conm/571/11319|arxiv=1006.1116|isbn=9780821853221|s2cid=119687821}} | ||
* {{Citation|author1-link= | * {{Citation|author1-link=मार्क डी कैटाल्डो|last1=डी कैटाल्डो|first1=मार्क एंड्रिया ए.|last2=मिग्लिओरिनी|first2=लुका|title=चाउ समूह और सतह पर बिंदुओं की हिल्बर्ट योजना का मकसद|journal=बीजगणित का जर्नल|volume=251|year=2002|issue=2|pages=824–848|mr=1919155|doi=10.1006/jabr.2001.9105|arxiv=math/0005249|s2cid=16431761}} | ||
* {{Citation|last1=Deninger|first1= | * {{Citation|last1=Deninger|first1=क्रिस्टोफर|last2=Murre|first2=Jacob|author-link2=जाप मुर्रे|title=एबेलियन योजनाओं का मोटिविक अपघटन और फूरियर परिवर्तन|journal=J. Reine Angew. Math.|volume=422|year=1991|pages=201–219|mr=1133323}} | ||
*{{citation | first = A. | last = | *{{citation | first = A. | last = ग्रोथेंडिक | authorlink = अलेक्जेंडर ग्रोथेंडिक | url = http://www.math.jussieu.fr/~leila/grothendieckcircle/StandardConjs.pdf | contribution = बीजगणितीय चक्रों पर मानक अनुमान | title = बीजगणितीय ज्यामिति (इंटरनेट। कोलोक।, टाटा इंस्टीट्यूट फंड। रेस।, बॉम्बे, 1968) | publisher = ऑक्सफोर्ड यूनिवरसिटि प्रेस | year = 1969 | pages = 193–199 | mr = 0268189}}. | ||
*{{Citation| first =A.|last= | *{{Citation| first =A.|last=ग्रोथेंडिक|title=मट्टक-टेट पर एक नोट|journal=जे. रेइन एंज्यू। गणित।|volume=1958|year=1958|issue=200|pages=208–215|mr=136607|doi=10.1515/crll.1958.200.208|s2cid=115548848}} | ||
*{{Citation|first1= | *{{Citation|first1=निकोलस एम.|last1=Katz|author1-link=निकोलस काट्ज़|first2=विलियम|last2=Messing|author2-link=विलियम मेसिंग|title=सीमित क्षेत्रों में किस्मों के लिए रीमैन परिकल्पना के कुछ परिणाम|journal=आविष्कार गणित|volume=23|year=1974|pages=73–77|mr=0332791|doi=10.1007/BF01405203|bibcode=1974InMat..23...73K|s2cid=121989640}} | ||
*{{citation | last1= | *{{citation | last1=क्लेमन | first1=स्टीवन एल. | authorlink=स्टीवन क्लेमन | title=डिक्स ने स्कीमों के अनुरूपता को उजागर किया | publisher=उत्तर-हॉलैंड | location=एम्स्टर्डम | mr = 0292838 | year=1968 | chapter=बीजगणितीय चक्र और वेइल अनुमान | pages=359–386}}. | ||
* {{Citation|last= | * {{Citation|last=मुरे|first=जे.पी.|author-link=जाप मुर्रे|title=एक बीजगणितीय सतह के मकसद पर|journal=जे. रेइन एंज्यू। गणित।|volume=1990|year=1990|issue=409|pages=190–204|mr=1061525|doi=10.1515/crll.1990.409.190|s2cid=117483201}} | ||
*{{citation | last1= | *{{citation | last1=क्लेमन | first1=स्टीवन एल. | authorlink=स्टीवन क्लेमन | contribution=मानक अनुमान | title = उद्देश्य (सिएटल, WA, 1991) | year = 1994 | pages = 3–20 | series = शुद्ध गणित में संगोष्ठी की कार्यवाही | volume = 55 | publisher = अमेरिकन गणितीय सोसायटी | mr = 1265519}}. | ||
*{{Citation|last=Šermenev|first=A. M.|title= | *{{Citation|last=Šermenev|first=A. M.|title=एबेलियन किस्म का मोटिफ|journal=कार्यात्मक. गुदा. मैं प्रिलोज़ेन|volume=8|year=1974|issue=1|pages=55–61|mr=0335523}} | ||
== बाहरी संबंध == | == बाहरी संबंध == | ||
*[https://mathoverflow.net/q/176122 | *[https://mathoverflow.net/q/176122 बीजगणितीय चक्रों पर मानक अनुमानों पर प्रगति] | ||
* | * एनालॉग्स काहलेरीन्स डे निश्चित अनुमान डी वेइल। जे.-पी सेरे (एक्स्ट्रेट डी'यून लेट्रे ए ए. वेइल, 9 नवंबर 1959) [https://agrothendieck.github.io/divers/serre59kahscan.pdf स्कैन] | ||
[[Category:CS1 errors]] | |||
[[Category: | |||
[[Category:Created On 14/07/2023]] | [[Category:Created On 14/07/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:अनुमान]] | |||
[[Category:ज्यामिति में अनसुलझी समस्याएं]] | |||
[[Category:बीजगणितीय ज्यामिति]] |
Latest revision as of 10:53, 26 July 2023
गणित में, बीजगणितीय चक्रों के बारे में मानक अनुमान बीजगणितीय चक्रों और वेइल कोहोमोलॉजी सिद्धांतों के संबंध का वर्णन करने वाले अनेक अनुमान हैं। इन अनुमानों के मूल अनुप्रयोगों में से एक, अलेक्जेंडर ग्रोथेंडिक द्वारा परिकल्पित, यह सिद्ध करना करना था कि उनके शुद्ध उद्देश्यों के निर्माण ने एबेलियन श्रेणी दी जो कि अर्धसरल श्रेणी है। इसके अतिरिक्त, जैसा कि उन्होंने बताया, मानक अनुमान वेइल अनुमान का सबसे कठिन हिस्सा भी दर्शाते हैं, अर्थात् "रीमैन परिकल्पना" अनुमान जो सत्र 1960 के दशक के अंत में खुला रहा और पश्चात् में पियरे डेलिग्ने द्वारा सिद्ध किया गया; वेइल और मानक अनुमानों के मध्य लिंक पर विवरण के लिए देखें क्लेमन (1968) देखें। मानक अनुमान खुली समस्याएँ बने रहते हैं, जिससे उनका अनुप्रयोग केवल परिणामों का सशर्त प्रमाण देता है। वेइल अनुमान सहित कुछ स्थितियों में, ऐसे परिणामों को बिना शर्त सिद्ध करना करने के लिए अन्य तरीके पाए गए हैं।
मानक अनुमानों के मौलिक सूत्रीकरण में निश्चित वेइल कोहोमोलॉजी सिद्धांत सम्मिलित होता है। सभी अनुमान "बीजगणितीय" सह-समरूपता वर्गों से संबंधित हैं, जिसका अर्थ है सुचारु प्रक्षेप्य प्रकार के सह-समरूपता पर रूपवाद
- H ∗(X) → H ∗(X)
उत्पाद पर तर्कसंगत गुणांकों के साथ बीजगणितीय चक्र द्वारा प्रेरित X × X चक्र वर्ग मानचित्र के माध्यम से, जो वेइल कोहोमोलॉजी सिद्धांत की संरचना का एक भाग है।
अनुमान ए, अनुमान बी के सामान्तर है (देखें)। ग्रोथेंडिक (1969), पृष्ठ 196), और इसलिए सूचीबद्ध नहीं है।
लेफ्शेट्ज़ प्रकार मानक अनुमान (अनुमान बी)
वेइल सिद्धांत के सिद्धांतों में से तथाकथित कठिन लेफ्शेट्ज़ प्रमेय (या स्वयंसिद्ध) है:
एक निश्चित चिकने हाइपरप्लेन अनुभाग से प्रारम्भ करें
- W = H ∩ X,
कहाँ X परिवेशीय प्रक्षेप्य स्थान में दी गई सहज प्रक्षेप्य विविधता है P N और H हाइपरप्लेन है. फिर के लिए i ≤ n = dim(X), लेफ्शेट्ज़ ऑपरेटर
- L : H i(X) → H i+2(X),
जिसे W के साथ सह-समरूपता वर्गों के साथ प्रतिच्छेद करके परिभाषित किया गया है, इस प्रकार जो एक समरूपता देता है
- Ln−i : H i(X) → H 2n−i(X).
अभी, के लिए i ≤ n परिभाषित करना:
- Λ = (Ln−i+2)−1 ∘ L ∘ (Ln−i) : H i(X) → H i−2(X)
- Λ = (Ln−i) ∘ L ∘ (Ln−i+2)−1 : H 2n−i+2(X) → H 2n−i(X)
अनुमान में कहा गया है कि लेफ्शेट्ज़ ऑपरेटर (Λ) बीजगणितीय चक्र से प्रेरित है।
कुनेथ प्रकार मानक अनुमान (अनुमान सी)
यह अनुमान लगाया गया है कि प्रोजेक्टर
- H ∗(X) ↠ Hi(X) ↣ H ∗(X)
बीजगणितीय हैं, अर्थात तर्कसंगत गुणांक वाले चक्र π i ⊂ X × X से प्रेरित हैं। इसका तात्पर्य यह है कि किसी भी सहज प्रक्षेप्य विविधता का मकसद (और अधिक सामान्यतः, हर मकसद (बीजगणितीय ज्यामिति)) के रूप में विघटित होता है
मकसद और इसे सदैव सीधे सारांश के रूप में विभाजित किया जा सकता है। इसलिए अनुमान तुरंत वक्रों के लिए मान्य होता है। यह मुर्रे (1990) द्वारा सतहों के लिए सिद्ध करना हुआ था .
काट्ज़ & मेसिंग (1974) ने मनमाने आयाम में, सीमित क्षेत्रों में परिभाषित बीजगणितीय प्रकारो के लिए अनुमान दिखाने के लिए वेइल अनुमान का उपयोग किया है।
सेरमेनेव (1974) एबेलियन प्रकारो ए के लिए कुनेथ अपघटन को सिद्ध करना हुआ।
डेनिंगर & मुर्रे (1991) ने ए के चाउ मकसद के कार्यात्मक कुनेथ अपघटन को प्रदर्शित करके इस परिणाम को परिष्कृत किया, जैसे कि एबेलियन प्रकार पर एन-गुणा कार्य करता है i-वें सारांश पर .
डी कैटाल्डो & मिग्लिओरिनी (2002) चिकनी सतह में बिंदुओं की हिल्बर्ट योजना के लिए कुनेथ अपघटन सिद्ध करना हुआ।
अनुमान डी (संख्यात्मक तुल्यता बनाम समरूप तुल्यता)
अनुमान डी बताता है कि संख्यात्मक और घरेलू तुल्यता सहमत हैं। (इसका तात्पर्य यह है कि विशेष रूप से उत्तरार्द्ध वेइल कोहोमोलॉजी सिद्धांत की पसंद पर निर्भर नहीं करता है)। यह अनुमान लेफ्शेट्ज़ अनुमान का तात्पर्य है। यदि हॉज मानक अनुमान मान्य है, तब लेफ्शेट्ज़ अनुमान और अनुमान डी समकक्ष हैं।
यह अनुमान लिबरमैन द्वारा अधिकतम 4 आयाम वाले प्रकारो और एबेलियन प्रकार के लिए दिखाया गया था।[1]
हॉज मानक अनुमान
हॉज मानक अनुमान हॉज सूचकांक प्रमेय पर आधारित है। यह आदिम बीजगणितीय सहविज्ञान वर्गों पर कप उत्पाद युग्मन की निश्चितता (धनात्मक या ऋणात्मक, आयाम के अनुसार) बताता है। यदि यह मान्य है, तब लेफ्शेट्ज़ अनुमान अनुमान डी का तात्पर्य है। विशेषता शून्य में हॉज मानक अनुमान हॉज सिद्धांत का परिणाम है। धनात्मक विशेषता में हॉज मानक अनुमान सतहों के लिए जाना जाता है (ग्रोथेंडिक (1958)) और आयाम 4 की एबेलियन प्रकारो के लिए (एंकोना (2020) के लिए जाना जाता है।
हॉज मानक अनुमान को हॉज अनुमान के साथ भ्रमित नहीं किया जाना चाहिए जो बताता है कि चिकनी प्रक्षेप्य प्रकारो के लिए C, हर तर्कसंगत (p, p)-वर्ग बीजगणितीय है। हॉज अनुमान का तात्पर्य विशेषता शून्य के क्षेत्रों में प्रकारो के लिए लेफ्शेट्ज़ और कुनेथ अनुमान और अनुमान डी से है। टेट अनुमान का तात्पर्य सभी क्षेत्रों में लेफ्शेट्ज़, कुनेथ और एटेल कोहोमोलॉजी|ℓ-एडिक कोहोमोलॉजी के लिए अनुमान डी से है।
मानक अनुमानों के स्थायित्व गुण
दो बीजगणितीय प्रकारो X और Y के लिए, अरपुरा (2006) ने शर्त प्रस्तुत की है कि Y, उदाहरण के लिए, यदि कोई विशेषण रूपवाद है तब Y प्रेरित होता है .[2] यदि Y श्रेणी में नहीं पाया जाता है, तब यह उस संदर्भ में अप्रयुक्त है। सुचारु प्रक्षेप्य समष्टि बीजगणितीय प्रकारो X और Y के लिए, जैसे कि Y, X की सभी शक्तियाँ[3] इस तथ्य को दिखाने के लिए प्रयुक्त किया जा सकता है, उदाहरण के लिए, बीजगणितीय सतह पर बिंदुओं की हिल्बर्ट योजना के लिए लेफ्शेट्ज़ अनुमान।
अन्य अनुमानों से संबंध
बेइलिंसन (2012) ने दिखाया है कि उद्देश्यों की त्रिकोणीय श्रेणी पर तथाकथित प्रेरक टी-संरचना का (अनुमानात्मक) अस्तित्व लेफ्शेट्ज़ और कुनेथ मानक अनुमान बी और सी का तात्पर्य है।
संदर्भ
- ↑ Lieberman, David I. (1968), "Numerical and homological equivalence of algebraic cycles on Hodge manifolds", Amer. J. Math., 90 (2): 366–374, doi:10.2307/2373533, JSTOR 2373533
- ↑ Arapura (2006, Cor. 1.2)
- ↑ Arapura (2006, Lemma 4.2)
- एंकोना, ग्यूसेप (2020), "एबेलियन फोरफ़ोल्ड्स के लिए मानक अनुमान", आविष्कार करना। गणित।, arXiv:1806.03216, doi:10.1007/s00222-020-00990-7, S2CID 119579196
- अरपुरा, डोनु (2006), "हॉज चक्रों के लिए प्रेरणा", गणित में प्रगति, 207 (2): 762–781, arXiv:math/0501348, doi:10.1016/j.aim.2006.01.005, MR 2271985, S2CID 13897239
{{citation}}
: Invalid|doi-access=मुक्त
(help)
- Beilinson, A. (2012), "ग्रोथेंडिक के मानक अनुमानों पर टिप्पणियाँ", नियामक, समकालीन. गणित।, vol. 571, आमेर. गणित। सोसाइटी, प्रोविडेंस, आरआई, pp. 25–32, arXiv:1006.1116, doi:10.1090/conm/571/11319, ISBN 9780821853221, MR 2953406, S2CID 119687821
- डी कैटाल्डो, मार्क एंड्रिया ए.; मिग्लिओरिनी, लुका (2002), "चाउ समूह और सतह पर बिंदुओं की हिल्बर्ट योजना का मकसद", बीजगणित का जर्नल, 251 (2): 824–848, arXiv:math/0005249, doi:10.1006/jabr.2001.9105, MR 1919155, S2CID 16431761
- Deninger, क्रिस्टोफर; Murre, Jacob (1991), "एबेलियन योजनाओं का मोटिविक अपघटन और फूरियर परिवर्तन", J. Reine Angew. Math., 422: 201–219, MR 1133323
- ग्रोथेंडिक, A. (1969), "बीजगणितीय चक्रों पर मानक अनुमान", बीजगणितीय ज्यामिति (इंटरनेट। कोलोक।, टाटा इंस्टीट्यूट फंड। रेस।, बॉम्बे, 1968) (PDF), ऑक्सफोर्ड यूनिवरसिटि प्रेस, pp. 193–199, MR 0268189.
- ग्रोथेंडिक, A. (1958), "मट्टक-टेट पर एक नोट", जे. रेइन एंज्यू। गणित।, 1958 (200): 208–215, doi:10.1515/crll.1958.200.208, MR 0136607, S2CID 115548848
- Katz, निकोलस एम.; Messing, विलियम (1974), "सीमित क्षेत्रों में किस्मों के लिए रीमैन परिकल्पना के कुछ परिणाम", आविष्कार गणित, 23: 73–77, Bibcode:1974InMat..23...73K, doi:10.1007/BF01405203, MR 0332791, S2CID 121989640
- क्लेमन, स्टीवन एल. (1968), "बीजगणितीय चक्र और वेइल अनुमान", डिक्स ने स्कीमों के अनुरूपता को उजागर किया, एम्स्टर्डम: उत्तर-हॉलैंड, pp. 359–386, MR 0292838.
- मुरे, जे.पी. (1990), "एक बीजगणितीय सतह के मकसद पर", जे. रेइन एंज्यू। गणित।, 1990 (409): 190–204, doi:10.1515/crll.1990.409.190, MR 1061525, S2CID 117483201
- क्लेमन, स्टीवन एल. (1994), "मानक अनुमान", उद्देश्य (सिएटल, WA, 1991), शुद्ध गणित में संगोष्ठी की कार्यवाही, vol. 55, अमेरिकन गणितीय सोसायटी, pp. 3–20, MR 1265519.
- Šermenev, A. M. (1974), "एबेलियन किस्म का मोटिफ", कार्यात्मक. गुदा. मैं प्रिलोज़ेन, 8 (1): 55–61, MR 0335523
बाहरी संबंध
- बीजगणितीय चक्रों पर मानक अनुमानों पर प्रगति
- एनालॉग्स काहलेरीन्स डे निश्चित अनुमान डी वेइल। जे.-पी सेरे (एक्स्ट्रेट डी'यून लेट्रे ए ए. वेइल, 9 नवंबर 1959) स्कैन