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

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 3 users not shown)
Line 1: Line 1:
गणित में, [[बीजगणितीय चक्र|बीजगणितीय चकों]] के बारे में मानक [[अनुमान]] बीजगणितीय चक्रों और [[वेइल कोहोमोलॉजी सिद्धांत]] के संबंध का वर्णन करने वाले अनेक अनुमान हैं। इन अनुमानों के मूल अनुप्रयोगों में से एक, [[अलेक्जेंडर ग्रोथेंडिक]] द्वारा परिकल्पित, यह सिद्ध करना करना था कि उनके [[मकसद (बीजगणितीय ज्यामिति)]] के निर्माण ने [[एबेलियन श्रेणी]] दी जो कि [[अर्धसरल श्रेणी]] है। इसके अतिरिक्त, जैसा कि उन्होंने बताया, मानक अनुमान वेइल अनुमान का सबसे कठिन हिस्सा भी दर्शाते हैं, अर्थात् रीमैन परिकल्पना अनुमान जो 1960 के दशक के अंत में खुला रहा और पश्चात् में पियरे डेलिग्ने द्वारा सिद्ध किया गया; वेइल और मानक अनुमानों के मध्य लिंक पर विवरण के लिए देखें {{harvtxt|Kleiman|1968}}. मानक अनुमान खुली समस्याएँ बने रहते हैं, जिससे उनका अनुप्रयोग केवल परिणामों का [[सशर्त प्रमाण]] देता है। वेइल अनुमान सहित कुछ स्थितियों में, ऐसे परिणामों को बिना शर्त सिद्ध करना करने के लिए अन्य तरीके पाए गए हैं।
गणित में, [[बीजगणितीय चक्र|बीजगणितीय चक्रों]] के बारे में '''मानक [[अनुमान]]''' बीजगणितीय चक्रों और [[वेइल कोहोमोलॉजी सिद्धांत|वेइल कोहोमोलॉजी सिद्धांतों]] के संबंध का वर्णन करने वाले अनेक अनुमान हैं। इन अनुमानों के मूल अनुप्रयोगों में से एक, [[अलेक्जेंडर ग्रोथेंडिक]] द्वारा परिकल्पित, यह सिद्ध करना करना था कि उनके [[मकसद (बीजगणितीय ज्यामिति)|शुद्ध उद्देश्यों]] के निर्माण ने [[एबेलियन श्रेणी]] दी जो कि [[अर्धसरल श्रेणी]] है। इसके अतिरिक्त, जैसा कि उन्होंने बताया, मानक अनुमान वेइल अनुमान का सबसे कठिन हिस्सा भी दर्शाते हैं, अर्थात् '''"रीमैन परिकल्पना"''' अनुमान जो सत्र 1960 के दशक के अंत में खुला रहा और पश्चात् में पियरे डेलिग्ने द्वारा सिद्ध किया गया; वेइल और मानक अनुमानों के मध्य लिंक पर विवरण के लिए देखें {{harvtxt|क्लेमन|1968}} देखें। मानक अनुमान खुली समस्याएँ बने रहते हैं, जिससे उनका अनुप्रयोग केवल परिणामों का [[सशर्त प्रमाण]] देता है। वेइल अनुमान सहित कुछ स्थितियों में, ऐसे परिणामों को बिना शर्त सिद्ध करना करने के लिए अन्य तरीके पाए गए हैं।


मानक अनुमानों के मौलिक सूत्रीकरण में निश्चित वेइल कोहोमोलॉजी सिद्धांत सम्मिलित होता है {{mvar|H}}. सभी अनुमान बीजगणितीय सह-समरूपता वर्गों से संबंधित हैं, जिसका अर्थ है सुचारु [[प्रक्षेप्य किस्म|प्रक्षेप्य]] प्रकार के सह-समरूपता पर रूपवाद
मानक अनुमानों के मौलिक सूत्रीकरण में निश्चित वेइल कोहोमोलॉजी सिद्धांत सम्मिलित होता है। सभी अनुमान '''"बीजगणितीय"''' सह-समरूपता वर्गों से संबंधित हैं, जिसका अर्थ है सुचारु [[प्रक्षेप्य किस्म|प्रक्षेप्य]] प्रकार के सह-समरूपता पर रूपवाद


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


उत्पाद पर तर्कसंगत गुणांकों के साथ बीजगणितीय चक्र द्वारा प्रेरित {{math|''X'' × ''X''}} चक्र वर्ग मानचित्र के माध्यम से, जो वेइल कोहोमोलॉजी सिद्धांत की संरचना का हिस्सा है।
उत्पाद पर तर्कसंगत गुणांकों के साथ बीजगणितीय चक्र द्वारा प्रेरित {{math|''X'' × ''X''}} चक्र वर्ग मानचित्र के माध्यम से, जो वेइल कोहोमोलॉजी सिद्धांत की संरचना का एक भाग है।


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


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


==मानक अनुमानों के स्थायित्व गुण==
हॉज मानक अनुमान को [[हॉज अनुमान]] के साथ भ्रमित नहीं किया जाना चाहिए जो बताता है कि चिकनी प्रक्षेप्य प्रकारो के लिए {{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}}


* {{Citation|first=Giuseppe|last=Ancona|journal=Invent. Math.|doi= 10.1007/s00222-020-00990-7|title=Standard conjectures for abelian fourfolds|arxiv=1806.03216|year=2020|s2cid=119579196}}
* {{Citation|first=ग्यूसेप|last=एंकोना|journal=आविष्कार करना। गणित।|doi= 10.1007/s00222-020-00990-7|title=एबेलियन फोरफ़ोल्ड्स के लिए मानक अनुमान|arxiv=1806.03216|year=2020|s2cid=119579196}}


* {{Citation|last=Arapura|first=Donu|title=Motivation for Hodge cycles|journal=[[Advances in Mathematics]]|volume=207|year=2006|issue=2|pages=762–781|mr=2271985|doi=10.1016/j.aim.2006.01.005|doi-access=free|arxiv=math/0501348|s2cid=13897239}}
* {{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=Remarks on Grothendieck's standard conjectures|title=Regulators|series=Contemp. Math.|volume=571|pages=25–32|publisher=Amer. Math. Soc., Providence, RI|year=2012|mr=2953406|doi=10.1090/conm/571/11319|arxiv=1006.1116|isbn=9780821853221|s2cid=119687821}}
* {{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=Mark de Cataldo|last1=de Cataldo|first1=Mark Andrea A.|last2=Migliorini|first2=Luca|title=The Chow groups and the motive of the Hilbert scheme of points on a surface|journal=Journal of Algebra|volume=251|year=2002|issue=2|pages=824–848|mr=1919155|doi=10.1006/jabr.2001.9105|arxiv=math/0005249|s2cid=16431761}}
* {{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=Christopher|last2=Murre|first2=Jacob|author-link2=Jaap Murre|title=Motivic decomposition of abelian schemes and the Fourier transform|journal=J. Reine Angew. Math.|volume=422|year=1991|pages=201–219|mr=1133323}}
* {{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 = Grothendieck | authorlink = Alexander Grothendieck | url = http://www.math.jussieu.fr/~leila/grothendieckcircle/StandardConjs.pdf | contribution = Standard Conjectures on Algebraic Cycles | title = Algebraic Geometry (Internat. Colloq., Tata Inst. Fund. Res., Bombay, 1968) | publisher = Oxford University Press | year = 1969 | pages = 193–199 | mr = 0268189}}.
*{{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=Grothendieck|title=Sur une note de Mattuck-Tate|journal=J. Reine Angew. Math.|volume=1958|year=1958|issue=200|pages=208–215|mr=136607|doi=10.1515/crll.1958.200.208|s2cid=115548848}}
*{{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=Nicholas M.|last1=Katz|author1-link=Nicholas Katz|first2=William|last2=Messing|author2-link=William Messing|title=Some consequences of the Riemann hypothesis for varieties over finite fields|journal=Inventiones Mathematicae|volume=23|year=1974|pages=73&ndash;77|mr=0332791|doi=10.1007/BF01405203|bibcode=1974InMat..23...73K|s2cid=121989640}}
*{{Citation|first1=निकोलस एम.|last1=Katz|author1-link=निकोलस काट्ज़|first2=विलियम|last2=Messing|author2-link=विलियम मेसिंग|title=सीमित क्षेत्रों में किस्मों के लिए रीमैन परिकल्पना के कुछ परिणाम|journal=आविष्कार गणित|volume=23|year=1974|pages=73&ndash;77|mr=0332791|doi=10.1007/BF01405203|bibcode=1974InMat..23...73K|s2cid=121989640}}
*{{citation | last1=Kleiman | first1=Steven L. | authorlink=Steven Kleiman | title=Dix exposés sur la cohomologie des schémas | publisher=North-Holland | location=Amsterdam | mr = 0292838 | year=1968 | chapter=Algebraic cycles and the Weil conjectures | pages=359–386}}.
*{{citation | last1=क्लेमन | first1=स्टीवन एल. | authorlink=स्टीवन क्लेमन | title=डिक्स ने स्कीमों के अनुरूपता को उजागर किया | publisher=उत्तर-हॉलैंड | location=एम्स्टर्डम | mr = 0292838 | year=1968 | chapter=बीजगणितीय चक्र और वेइल अनुमान | pages=359–386}}.


* {{Citation|last=Murre|first=J. P.|author-link=Jaap Murre|title=On the motive of an algebraic surface|journal=J. Reine Angew. Math.|volume=1990|year=1990|issue=409|pages=190–204|mr=1061525|doi=10.1515/crll.1990.409.190|s2cid=117483201}}
* {{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=Kleiman | first1=Steven L. | authorlink=Steven Kleiman | contribution=The standard conjectures | title = Motives (Seattle, WA, 1991) | year = 1994 | pages = 3–20 | series = Proceedings of Symposia in Pure Mathematics | volume = 55 | publisher = American Mathematical Society | mr = 1265519}}.
*{{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=Motif of an Abelian variety|journal=Funckcional. Anal. I Priložen|volume=8|year=1974|issue=1|pages=55–61|mr=0335523}}
*{{Citation|last=Šermenev|first=A. M.|title=एबेलियन किस्म का मोटिफ|journal=कार्यात्मक. गुदा. मैं प्रिलोज़ेन|volume=8|year=1974|issue=1|pages=55–61|mr=0335523}}
== बाहरी संबंध ==
== बाहरी संबंध ==
*[https://mathoverflow.net/q/176122 Progress on the standard conjectures on algebraic cycles]
*[https://mathoverflow.net/q/176122 बीजगणितीय चक्रों पर मानक अनुमानों पर प्रगति]
* Analogues Kähleriens de certaines conjectures de Weil. J.-P Serre (extrait d'une lettre a A. Weil, 9 Nov. 1959) [https://agrothendieck.github.io/divers/serre59kahscan.pdf scan]
* एनालॉग्स काहलेरीन्स डे निश्चित अनुमान डी वेइल। जे.-पी सेरे (एक्स्ट्रेट डी'यून लेट्रे ए ए. वेइल, 9 नवंबर 1959) [https://agrothendieck.github.io/divers/serre59kahscan.pdf स्कैन]
[[Category: बीजगणितीय ज्यामिति]] [[Category: अनुमान]] [[Category: ज्यामिति में अनसुलझी समस्याएं]]
 
 


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

बाहरी संबंध