बीजगणितीय चक्रों पर मानक अनुमान: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(4 intermediate revisions by 3 users not shown)
Line 9: Line 9:
अनुमान ए, अनुमान बी के सामान्तर है (देखें)। {{harvtxt|ग्रोथेंडिक|1969}}, पृष्ठ 196), और इसलिए सूचीबद्ध नहीं है।
अनुमान ए, अनुमान बी के सामान्तर है (देखें)। {{harvtxt|ग्रोथेंडिक|1969}}, पृष्ठ 196), और इसलिए सूचीबद्ध नहीं है।


== लेफ्शेट्ज़ प्रकार मानक अनुमान (अनुमान बी)==
== '''लेफ्शेट्ज़ प्रकार मानक अनुमान (अनुमान बी)'''==
वेइल सिद्धांत के सिद्धांतों में से तथाकथित [[कठिन लेफ्शेट्ज़ प्रमेय]] (या स्वयंसिद्ध) है:
वेइल सिद्धांत के सिद्धांतों में से तथाकथित [[कठिन लेफ्शेट्ज़ प्रमेय]] (या स्वयंसिद्ध) है:


एक निश्चित चिकने [[ हाइपरप्लेन अनुभाग |हाइपरप्लेन अनुभाग]] से शुरुआत करें
एक निश्चित चिकने [[ हाइपरप्लेन अनुभाग |हाइपरप्लेन अनुभाग]] से प्रारम्भ करें


:{{math|''W'' {{=}} ''H'' ∩ ''X''}},
:{{math|''W'' {{=}} ''H'' ∩ ''X''}},


कहाँ {{mvar|X}}परिवेशीय प्रक्षेप्य स्थान में दी गई सहज प्रक्षेप्य विविधता है {{math|'''P'''<sup>&thinsp;''N''</sup>}} और {{mvar|H}} हाइपरप्लेन है. फिर के लिए {{math|''i'' ≤ ''n'' {{=}} dim(''X'')}}, लेफ्शेट्ज़ ऑपरेटर
कहाँ {{mvar|X}} परिवेशीय प्रक्षेप्य स्थान में दी गई सहज प्रक्षेप्य विविधता है {{math|'''P'''<sup>&thinsp;''N''</sup>}} और {{mvar|H}} हाइपरप्लेन है. फिर के लिए {{math|''i'' ≤ ''n'' {{=}} dim(''X'')}}, लेफ्शेट्ज़ ऑपरेटर


:{{math|''L'' : ''H<sup>&thinsp;i</sup>''(''X'') → ''H''<sup>&thinsp;''i''+2</sup>(''X'')}},
:{{math|''L'' : ''H<sup>&thinsp;i</sup>''(''X'') → ''H''<sup>&thinsp;''i''+2</sup>(''X'')}},


जिसे कोहोमोलोजी वर्गों के साथ प्रतिच्छेद करके परिभाषित किया गया है {{mvar|W}}, समरूपता देता है
जिसे {{mvar|W}} के साथ सह-समरूपता वर्गों के साथ प्रतिच्छेद करके परिभाषित किया गया है, इस प्रकार जो एक समरूपता देता है


:{{math|''L''<sup>''n''−''i''</sup> : ''H<sup>&thinsp;i</sup>''(''X'') → ''H''<sup>&thinsp;2''n''−''i''</sup>(''X'')}}.
:{{math|''L''<sup>''n''−''i''</sup> : ''H<sup>&thinsp;i</sup>''(''X'') → ''H''<sup>&thinsp;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>&thinsp;2''n''−''i''+2</sup>(''X'') → ''H''<sup>&thinsp;2''n''−''i''</sup>(''X'')}}
:{{math|Λ {{=}} (''L''<sup>''n''−''i''</sup>) ∘ ''L'' ∘ (''L''<sup>''n''−''i''+2</sup>)<sup>−1</sup> : ''H''<sup>&thinsp;2''n''−''i''+2</sup>(''X'') → ''H''<sup>&thinsp;2''n''−''i''</sup>(''X'')}}


अनुमान में कहा गया है कि लेफ्शेट्ज़ ऑपरेटर ({{math|Λ}}) बीजगणितीय चक्र से प्रेरित है।
अनुमान में कहा गया है कि '''लेफ्शेट्ज़ ऑपरेटर ({{math|Λ}})''' बीजगणितीय चक्र से प्रेरित है।


== कुनेथ प्रकार मानक अनुमान (अनुमान सी)==
== '''कुनेथ प्रकार मानक अनुमान (अनुमान सी)'''==
यह अनुमान लगाया गया है कि प्रोजेक्टर
यह अनुमान लगाया गया है कि प्रोजेक्टर


:{{math|''H''<sup>&thinsp;∗</sup>(''X'') ↠ ''H<sup>i</sup>''(''X'') ↣ ''H''<sup>&thinsp;∗</sup>(''X'')}}
:{{math|''H''<sup>&thinsp;∗</sup>(''X'') ↠ ''H<sup>i</sup>''(''X'') ↣ ''H''<sup>&thinsp;∗</sup>(''X'')}}


बीजगणितीय हैं, अर्थात चक्र से प्रेरित हैं {{math|''π<sup>&thinsp;i</sup>'' ⊂ ''X'' × ''X''}} तर्कसंगत गुणांक के साथ। इसका तात्पर्य यह है कि किसी भी सहज प्रक्षेप्य विविधता का मकसद (और अधिक सामान्यतः, हर मकसद (बीजगणितीय ज्यामिति)) के रूप में विघटित होता है
बीजगणितीय हैं, अर्थात तर्कसंगत गुणांक वाले चक्र {{math|''π<sup>&thinsp;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> इसे सदैव सीधे सारांश के रूप में विभाजित किया जा सकता है। इसलिए अनुमान तुरंत वक्रों के लिए मान्य होता है। यह सतहों के लिए सिद्ध करना हुआ था {{harvtxt|Murre|1990}}.
मकसद <math>h^0(X)</math> और <math>h^{2 dim(X)}</math> इसे सदैव सीधे सारांश के रूप में विभाजित किया जा सकता है। इसलिए अनुमान तुरंत वक्रों के लिए मान्य होता है। यह {{harvtxt|मुर्रे|1990}} द्वारा सतहों के लिए सिद्ध करना हुआ था .
  {{harvtxt|Katz|Messing|1974}} ने मनमाने आयाम में, सीमित क्षेत्रों में परिभाषित बीजगणितीय किस्मों के लिए अनुमान दिखाने के लिए वेइल अनुमान का उपयोग किया है।
  {{harvtxt|काट्ज़|मेसिंग|1974}} ने मनमाने आयाम में, सीमित क्षेत्रों में परिभाषित बीजगणितीय प्रकारो के लिए अनुमान दिखाने के लिए वेइल अनुमान का उपयोग किया है।


  {{harvtxt|Šermenev|1974}} एबेलियन किस्मों ए के लिए कुनेथ अपघटन सिद्ध करना हुआ।
  {{harvtxt|सेरमेनेव|1974}} एबेलियन प्रकारो ए के लिए कुनेथ अपघटन को सिद्ध करना हुआ।
{{harvtxt|Deninger|Murre|1991}} ने ए के [[चाउ मकसद]] के कार्यात्मक कुनेथ अपघटन को प्रदर्शित करके इस परिणाम को परिष्कृत किया, जैसे कि एबेलियन प्रकार पर एन-गुणा कार्य करता है <math>n^i</math> i-वें सारांश पर <math>h^i(A)</math>.
{{harvtxt|डेनिंगर|मुर्रे|1991}} ने ए के [[चाउ मकसद]] के कार्यात्मक कुनेथ अपघटन को प्रदर्शित करके इस परिणाम को परिष्कृत किया, जैसे कि एबेलियन प्रकार पर एन-गुणा कार्य करता है <math>n^i</math> i-वें सारांश पर <math>h^i(A)</math>.


{{harvtxt|de Cataldo|Migliorini|2002}} चिकनी सतह में बिंदुओं की [[हिल्बर्ट योजना]] के लिए कुनेथ अपघटन सिद्ध करना हुआ।
{{harvtxt|डी कैटाल्डो|मिग्लिओरिनी|2002}} चिकनी सतह में बिंदुओं की [[हिल्बर्ट योजना]] के लिए कुनेथ अपघटन सिद्ध करना हुआ।


== अनुमान डी (संख्यात्मक तुल्यता बनाम समरूप तुल्यता) ==
== '''अनुमान डी (संख्यात्मक तुल्यता बनाम समरूप तुल्यता)''' ==
अनुमान डी बताता है कि संख्यात्मक और समरूप पर्याप्त_समतुल्य_संबंध सहमत हैं। (इसका तात्पर्य यह है कि विशेष रूप से उत्तरार्द्ध वेइल कोहोमोलॉजी सिद्धांत की पसंद पर निर्भर नहीं करता है)। यह अनुमान लेफ्शेट्ज़ अनुमान का तात्पर्य है। यदि हॉज मानक अनुमान मान्य है, तब लेफ्शेट्ज़ अनुमान और अनुमान डी समकक्ष हैं।
अनुमान डी बताता है कि संख्यात्मक और घरेलू तुल्यता सहमत हैं। (इसका तात्पर्य यह है कि विशेष रूप से उत्तरार्द्ध वेइल कोहोमोलॉजी सिद्धांत की पसंद पर निर्भर नहीं करता है)। यह अनुमान लेफ्शेट्ज़ अनुमान का तात्पर्य है। यदि हॉज मानक अनुमान मान्य है, तब लेफ्शेट्ज़ अनुमान और अनुमान डी समकक्ष हैं।


यह अनुमान लिबरमैन द्वारा अधिकतम 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>
यह अनुमान लिबरमैन द्वारा अधिकतम 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|Grothendieck|1958}}) और आयाम 4 की एबेलियन किस्मों के लिए ({{harvtxt|Ancona|2020}}).
हॉज मानक अनुमान [[हॉज सूचकांक प्रमेय]] पर आधारित है। यह आदिम बीजगणितीय सहविज्ञान वर्गों पर कप उत्पाद युग्मन की निश्चितता (धनात्मक या ऋणात्मक, आयाम के अनुसार) बताता है। यदि यह मान्य है, तब लेफ्शेट्ज़ अनुमान अनुमान डी का तात्पर्य है। विशेषता शून्य में हॉज मानक अनुमान [[हॉज सिद्धांत]] का परिणाम है। धनात्मक विशेषता में हॉज मानक अनुमान सतहों के लिए जाना जाता है ({{harvtxt|ग्रोथेंडिक|1958}}) और आयाम 4 की एबेलियन प्रकारो के लिए ({{harvtxt|एंकोना|2020}} के लिए जाना जाता है।


हॉज मानक अनुमान को [[हॉज अनुमान]] के साथ भ्रमित नहीं किया जाना चाहिए जो बताता है कि चिकनी प्रक्षेप्य किस्मों के लिए {{math|'''C'''}}, हर तर्कसंगत {{math|(''p'', ''p'')}}-वर्ग बीजगणितीय है। हॉज अनुमान का तात्पर्य विशेषता शून्य के क्षेत्रों में किस्मों के लिए लेफ्शेट्ज़ और कुनेथ अनुमान और अनुमान डी से है। [[टेट अनुमान]] का तात्पर्य सभी क्षेत्रों में लेफ्शेट्ज़, कुनेथ और एटेल कोहोमोलॉजी|ℓ-एडिक कोहोमोलॉजी के लिए अनुमान डी से है।
हॉज मानक अनुमान को [[हॉज अनुमान]] के साथ भ्रमित नहीं किया जाना चाहिए जो बताता है कि चिकनी प्रक्षेप्य प्रकारो के लिए {{math|'''C'''}}, हर तर्कसंगत {{math|(''p'', ''p'')}}-वर्ग बीजगणितीय है। हॉज अनुमान का तात्पर्य विशेषता शून्य के क्षेत्रों में प्रकारो के लिए लेफ्शेट्ज़ और कुनेथ अनुमान और अनुमान डी से है। [[टेट अनुमान]] का तात्पर्य सभी क्षेत्रों में लेफ्शेट्ज़, कुनेथ और एटेल कोहोमोलॉजी|ℓ-एडिक कोहोमोलॉजी के लिए अनुमान डी से है।


==मानक अनुमानों के स्थायित्व गुण==
=='''मानक अनुमानों के स्थायित्व गुण'''==


दो बीजगणितीय किस्मों X और Y के लिए, {{harvtxt|Arapura|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> इस तथ्य को दिखाने के लिए प्रयुक्त किया जा सकता है, उदाहरण के लिए, [[बीजगणितीय सतह]] पर बिंदुओं की हिल्बर्ट योजना के लिए लेफ्शेट्ज़ अनुमान।
दो बीजगणितीय प्रकारो 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|Beilinson|2012}} ने दिखाया है कि उद्देश्यों की त्रिकोणीय श्रेणी पर तथाकथित मोटिविक टी-संरचना का (अनुमानात्मक) अस्तित्व लेफ्शेट्ज़ और कुनेथ मानक अनुमान बी और सी का तात्पर्य है।
{{harvtxt|बेइलिंसन|2012}} ने दिखाया है कि उद्देश्यों की त्रिकोणीय श्रेणी पर तथाकथित प्रेरक टी-संरचना का (अनुमानात्मक) अस्तित्व लेफ्शेट्ज़ और कुनेथ मानक अनुमान बी और सी का तात्पर्य है।


== संदर्भ ==
== '''संदर्भ''' ==
{{Reflist}}
{{Reflist}}


Line 91: Line 91:
*[https://mathoverflow.net/q/176122 बीजगणितीय चक्रों पर मानक अनुमानों पर प्रगति]
*[https://mathoverflow.net/q/176122 बीजगणितीय चक्रों पर मानक अनुमानों पर प्रगति]
* एनालॉग्स काहलेरीन्स डे निश्चित अनुमान डी वेइल। जे.-पी सेरे (एक्स्ट्रेट डी'यून लेट्रे ए ए. वेइल, 9 नवंबर 1959) [https://agrothendieck.github.io/divers/serre59kahscan.pdf स्कैन]
* एनालॉग्स काहलेरीन्स डे निश्चित अनुमान डी वेइल। जे.-पी सेरे (एक्स्ट्रेट डी'यून लेट्रे ए ए. वेइल, 9 नवंबर 1959) [https://agrothendieck.github.io/divers/serre59kahscan.pdf स्कैन]
[[Category: बीजगणितीय ज्यामिति]] [[Category: अनुमान]] [[Category: ज्यामिति में अनसुलझी समस्याएं]]


 
[[Category:CS1 errors]]
 
[[Category: Machine Translated Page]]
[[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 = HX,

कहाँ X परिवेशीय प्रक्षेप्य स्थान में दी गई सहज प्रक्षेप्य विविधता है PN और H हाइपरप्लेन है. फिर के लिए in = dim(X), लेफ्शेट्ज़ ऑपरेटर

L : H i(X) → Hi+2(X),

जिसे W के साथ सह-समरूपता वर्गों के साथ प्रतिच्छेद करके परिभाषित किया गया है, इस प्रकार जो एक समरूपता देता है

Lni : H i(X) → H 2ni(X).

अभी, के लिए in परिभाषित करना:

Λ = (Lni+2)−1L ∘ (Lni) : H i(X) → Hi−2(X)
Λ = (Lni) ∘ L ∘ (Lni+2)−1 : H 2ni+2(X) → H 2ni(X)

अनुमान में कहा गया है कि लेफ्शेट्ज़ ऑपरेटर (Λ) बीजगणितीय चक्र से प्रेरित है।

कुनेथ प्रकार मानक अनुमान (अनुमान सी)

यह अनुमान लगाया गया है कि प्रोजेक्टर

H ∗(X) ↠ Hi(X) ↣ H ∗(X)

बीजगणितीय हैं, अर्थात तर्कसंगत गुणांक वाले चक्र π iX × 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) ने दिखाया है कि उद्देश्यों की त्रिकोणीय श्रेणी पर तथाकथित प्रेरक टी-संरचना का (अनुमानात्मक) अस्तित्व लेफ्शेट्ज़ और कुनेथ मानक अनुमान बी और सी का तात्पर्य है।

संदर्भ

  1. 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
  2. Arapura (2006, Cor. 1.2)
  3. Arapura (2006, Lemma 4.2)
  • Beilinson, A. (2012), "ग्रोथेंडिक के मानक अनुमानों पर टिप्पणियाँ", नियामक, समकालीन. गणित।, vol. 571, आमेर. गणित। सोसाइटी, प्रोविडेंस, आरआई, pp. 25–32, arXiv:1006.1116, doi:10.1090/conm/571/11319, ISBN 9780821853221, MR 2953406, S2CID 119687821
  • Deninger, क्रिस्टोफर; Murre, Jacob (1991), "एबेलियन योजनाओं का मोटिविक अपघटन और फूरियर परिवर्तन", J. Reine Angew. Math., 422: 201–219, MR 1133323
  • क्लेमन, स्टीवन एल. (1994), "मानक अनुमान", उद्देश्य (सिएटल, WA, 1991), शुद्ध गणित में संगोष्ठी की कार्यवाही, vol. 55, अमेरिकन गणितीय सोसायटी, pp. 3–20, MR 1265519.
  • Šermenev, A. M. (1974), "एबेलियन किस्म का मोटिफ", कार्यात्मक. गुदा. मैं प्रिलोज़ेन, 8 (1): 55–61, MR 0335523

बाहरी संबंध