कैलाबी अनुमान: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{short description|Riemannian metrics, complex manifolds}}
{{short description|Riemannian metrics, complex manifolds}}
[[विभेदक ज्यामिति]] के गणितीय क्षेत्र में, कैलाबी अनुमान कुछ समष्टि मैनिफोल्ड्स पर कुछ प्रकार के [[ रीमैनियन मीट्रिक |रीमैनियन मीट्रिकस]] के अस्तित्व के बारे में अनुमान था, जो द्वारा बनाया गया था {{harvs |txt |authorlink=Eugenio Calabi |first=Eugenio |last=Calabi |year =1954 |year2=1957}}. से यह सिद्ध हो गया {{harvs |txt |authorlink=Shing-Tung Yau |first=Shing-Tung |last= Yau |year1=1977 |year2= 1978}}, जिन्होंने अपने प्रमाण के लिए ज्यामिति में [[फील्ड्स मेडल]] और ओसवाल्ड वेब्लेन पुरस्कार प्राप्त किया। उनका काम, मुख्य रूप से अण्डाकार आंशिक अंतर समीकरण का विश्लेषण जिसे मोंगे-एम्पीयर समीकरण | समष्टि मोंज-एम्पीयर समीकरण के रूप में जाना जाता है, [[ज्यामितीय विश्लेषण]] के क्षेत्र में प्रभावशाली प्रारंभिक परिणाम था।
[[विभेदक ज्यामिति]] के गणितीय क्षेत्र में, '''कैलाबी अनुमान''' {{harvs |txt |authorlink=यूजेनियो कैलाबी |first=यूगेनियो |last=कैलाबी |year =सत्र 1954 |year2=1957}} द्वारा बनाए गए कुछ समष्टि मैनिफोल्ड्स पर कुछ प्रकार के [[ रीमैनियन मीट्रिक |रीमैनियन मीट्रिकस]] के अस्तित्व के बारे में एक अनुमान था, इसे {{harvs |txt |authorlink=शिंग-तुंग याउ |first=शिंग-तुंग |last= याउ |year1=सत्र 1977 |year2= 1978}} ने सिद्ध किया था, जिन्होंने अपने प्रमाण के लिए आंशिक रूप से [[फील्ड्स मेडल]] और ओसवाल्ड वेब्लेन पुरस्कार प्राप्त किया। इस प्रकार उनका काम, मुख्य रूप से अण्डाकार आंशिक अंतर समीकरण का विश्लेषण जिसे मोंगे-एम्पीयर समीकरण के रूप में जाना जाता है, [[ज्यामितीय विश्लेषण]] के क्षेत्र में प्रभावशाली प्रारंभिक परिणाम था।


अधिक त्रुटिहीन रूप से, कैलाबी का अनुमान बंद मैनिफोल्ड कॉम्प्लेक्स मैनिफोल्ड्स पर काहलर मेट्रिक्स की समुच्चयिंग के अंदर [[निर्धारित रिक्की वक्रता समस्या]] के समाधान का प्रामाणित करता है। चेर्न-वेइल सिद्धांत के अनुसार, ऐसे किसी भी मीट्रिक का रिक्की वक्रता # काहलर मैनिफोल्ड्स [[विभेदक रूप]] है | बंद विभेदक 2-रूप जो पहले चेर्न वर्ग का प्रतिनिधित्व करता है। कैलाबी ने ऐसे किसी भी भिन्न रूप के लिए अनुमान लगाया {{mvar|R}}, प्रत्येक काहलर ज्यामिति में बिल्कुल काहलर मीट्रिक है|काहलर वर्ग जिसका रिक्की रूप है {{mvar|R}}. (कुछ कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स कोई काहलर वर्ग स्वीकार नहीं करते हैं, जिस स्थिति में अनुमान शून्य है।)
अधिक त्रुटिहीन रूप से, कैलाबी का अनुमान बंद मैनिफोल्ड कॉम्प्लेक्स मैनिफोल्ड्स पर काहलर मेट्रिक्स की समुच्चय के अंदर [[निर्धारित रिक्की वक्रता समस्या]] के समाधान का प्रामाणित करता है। चेर्न-वेइल सिद्धांत के अनुसार, ऐसे किसी भी मीट्रिक का रिक्की रूप एक बंद अंतर 2-रूप है जो पहले चेर्न वर्ग का प्रतिनिधित्व करता है। इस प्रकार कैलाबी ने अनुमान लगाया ऐसे किसी भी भिन्न रूप {{mvar|R}} के लिए, प्रत्येक काहलर ज्यामिति में बिल्कुल काहलर मीट्रिक है‚ जिसका रिक्की रूप {{mvar|R}} है (कुछ कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स कोई काहलर वर्ग स्वीकार नहीं करते हैं, जिस स्थिति में अनुमान शून्य है।)


विशेष स्थितियों में कि पहला चेर्न वर्ग गायब हो जाता है, इसका तात्पर्य यह है कि प्रत्येक काहलर वर्ग में बिल्कुल [[रिक्की-फ्लैट मैनिफोल्ड]]|रिक्की-फ्लैट मीट्रिक सम्मिलित है। इन्हें अधिकांशतः कैलाबी-याउ मैनिफोल्ड्स कहा जाता है। चूँकि, इस शब्द का प्रयोग अधिकांशतः विभिन्न लेखकों द्वारा थोड़े भिन्न तरीकों से किया जाता है - उदाहरण के लिए, कुछ उपयोग समष्टि मैनिफोल्ड को संदर्भित कर सकते हैं जबकि अन्य विशेष रिक्की-फ्लैट काहलर मीट्रिक के साथ समष्टि मैनिफोल्ड को संदर्भित कर सकते हैं।
विशेष स्थितियों में कि पहला चेर्न वर्ग गायब हो जाता है, इसका तात्पर्य यह है कि प्रत्येक काहलर वर्ग में बिल्कुल [[रिक्की-फ्लैट मैनिफोल्ड]]|रिक्की-फ्लैट मीट्रिक सम्मिलित है। इस प्रकार इन्हें अधिकांशतः कैलाबी-याउ मैनिफोल्ड्स कहा जाता है। चूँकि, इस शब्द का प्रयोग अधिकांशतः विभिन्न लेखकों द्वारा थोड़े भिन्न तरीकों से किया जाता है - उदाहरण के लिए, कुछ उपयोग समष्टि मैनिफोल्ड को संदर्भित कर सकते हैं जबकि अन्य विशेष रिक्की-फ्लैट काहलर मीट्रिक के साथ समष्टि मैनिफोल्ड को संदर्भित कर सकते हैं।


इस विशेष स्थितियों को कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स पर शून्य अदिश वक्रता के काहलर-आइंस्टीन मेट्रिक्स के लिए पूर्ण अस्तित्व और विशिष्टता सिद्धांत के रूप में माना जा सकता है। गैर-शून्य [[अदिश वक्रता]] का मामला कैलाबी के अनुमान के विशेष स्थितियों के रूप में अनुसरण नहीं करता है, क्योंकि काहलर-आइंस्टीन समस्या का 'दाहिना हाथ' 'अज्ञात' मीट्रिक पर निर्भर करता है, जिससे काहलर-आइंस्टीन समस्या को डोमेन के बाहर रखा जाता है। रिक्की वक्रता निर्धारित करना। स्थितियों , कैलाबी अनुमान को हल करने में समष्टि मोंज-एम्पीयर समीकरण का याउ का विश्लेषण पर्याप्त रूप से सामान्य था जिससे कि ऋणात्मक अदिश वक्रता के काहलर-आइंस्टीन मेट्रिक्स के अस्तित्व को भी हल किया जा सके। धनात्मक अदिश वक्रता का तीसरा और अंतिम मामला 2010 में आंशिक रूप से कैलाबी अनुमान का उपयोग करके हल किया गया था।
इस विशेष स्थितियों को कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स पर शून्य अदिश वक्रता के काहलर-आइंस्टीन मेट्रिक्स के लिए पूर्ण अस्तित्व और विशिष्टता सिद्धांत के रूप में माना जा सकता है। इस प्रकार गैर-शून्य [[अदिश वक्रता]] की स्थिति कैलाबी के अनुमान के विशेष स्थितियों के रूप में अनुसरण नहीं करता है, क्योंकि काहलर-आइंस्टीन समस्या का '''<nowiki/>'दाहिना हाथ' 'अज्ञात'''' मीट्रिक पर निर्भर करता है, जिससे काहलर-आइंस्टीन समस्या को डोमेन के बाहर रखा जाता है। रिक्की वक्रता निर्धारित करना स्थितियों, कैलाबी अनुमान को हल करने में समष्टि मोंज-एम्पीयर समीकरण का याउ का विश्लेषण पर्याप्त रूप से सामान्य था जिससे कि ऋणात्मक अदिश वक्रता के काहलर-आइंस्टीन मेट्रिक्स के अस्तित्व को भी हल किया जा सके। धनात्मक अदिश वक्रता का तीसरा और अंतिम स्थितियों सत्र 2010 में आंशिक रूप से कैलाबी अनुमान का उपयोग करके हल किया गया था।


==कैलाबी अनुमान के प्रमाण की रूपरेखा==
=='''कैलाबी अनुमान के प्रमाण की रूपरेखा'''==


कैलाबी ने कैलाबी अनुमान को समष्टि मोंगे-एम्पीयर समीकरण | मोंज-एम्पीयर प्रकार के गैर-रेखीय आंशिक अंतर समीकरण में बदल दिया, और दिखाया कि इस समीकरण में अधिकतम समाधान है, इस प्रकार आवश्यक काहलर मीट्रिक की विशिष्टता स्थापित होती है।
कैलाबी ने कैलाबी अनुमान को समष्टि मोंगे-एम्पीयर समीकरण एवं मोंज-एम्पीयर प्रकार के गैर-रेखीय आंशिक अंतर समीकरण में बदल दिया, और दिखाया कि इस समीकरण में अधिकतम समाधान है, इस प्रकार आवश्यक काहलर मीट्रिक की विशिष्टता स्थापित होती है।


याउ ने [[निरंतरता विधि]] का उपयोग करके इस समीकरण का समाधान बनाकर कैलाबी अनुमान को सिद्ध किया। इसमें पहले आसान समीकरण को हल करना और फिर यह दिखाना सम्मिलित है कि आसान समीकरण के समाधान को लगातार कठिन समीकरण के समाधान में विकृत किया जा सकता है। याउ के समाधान का सबसे कठिन हिस्सा समाधानों के व्युत्पन्नों के लिए निश्चित प्राथमिक अनुमानों को सिद्ध करना है।
याउ ने [[निरंतरता विधि]] का उपयोग करके इस समीकरण का समाधान बनाकर कैलाबी अनुमान को सिद्ध किया। इसमें पहले आसान समीकरण को हल करना और फिर यह दिखाना सम्मिलित है कि आसान समीकरण के समाधान को लगातार कठिन समीकरण के समाधान में विकृत किया जा सकता है। इस प्रकार याउ के समाधान का सबसे कठिन हिस्सा समाधानों के व्युत्पन्नों के लिए निश्चित प्राथमिक अनुमानों को सिद्ध करना है।


===कैलाबी अनुमान का विभेदक समीकरण में परिवर्तन===
===कैलाबी अनुमान का विभेदक समीकरण में परिवर्तन===
Line 27: Line 27:


यह एकल फलन के लिए समष्टि Monge-Ampère प्रकार का समीकरण है <math>\varphi</math>.
यह एकल फलन के लिए समष्टि Monge-Ampère प्रकार का समीकरण है <math>\varphi</math>.
इसे हल करना विशेष रूप से कठिन आंशिक अंतर समीकरण है, क्योंकि यह उच्चतम क्रम के संदर्भ में गैर-रैखिक है। जब इसे सुलझाना आसान होता है <math>f=0</math>, जैसा <math>\varphi = 0 </math> समाधान है. निरंतरता पद्धति का विचार यह दिखाना है कि इसे सभी के लिए हल किया जा सकता है <math>f</math> यह दिखाकर कि का समुच्चय <math>f</math> जिसके लिए इसे हल किया जा सकता है वह खुला और बंद दोनों है। के समुच्चय के पश्चात् से <math>f</math> जिसके लिए इसे हल किया जा सकता है वह गैर-रिक्त है, और सभी का समुच्चय है <math>f</math> जुड़ा हुआ है, इससे पता चलता है कि इसे सभी के लिए हल किया जा सकता है <math>f</math>.
 
इसे हल करना विशेष रूप से कठिन आंशिक अंतर समीकरण है, क्योंकि यह उच्चतम क्रम के संदर्भ में गैर-रैखिक है। जब इसे सुलझाना आसान होता है <math>f=0</math>, जैसा <math>\varphi = 0 </math> समाधान है. निरंतरता पद्धति का विचार यह दिखाना है कि इसे सभी के लिए हल किया जा सकता है <math>f</math> यह दिखाकर कि का समुच्चय <math>f</math> जिसके लिए इसे हल किया जा सकता है वह खुला और बंद दोनों है। इस प्रकार के समुच्चय के पश्चात् से <math>f</math> जिसके लिए इसे हल किया जा सकता है वह गैर-रिक्त है, और सभी का समुच्चय है <math>f</math> जुड़ा हुआ है, इससे पता चलता है कि इसे सभी के लिए हल किया जा सकता है <math>f</math>.


सुचारु कार्यों से लेकर सुचारु कार्यों तक का मानचित्र <math>\varphi</math> को <math>F</math> द्वारा परिभाषित
सुचारु कार्यों से लेकर सुचारु कार्यों तक का मानचित्र <math>\varphi</math> को <math>F</math> द्वारा परिभाषित
::<math>F=(\omega+dd'\varphi)^m/\omega^m</math>
::<math>F=(\omega+dd'\varphi)^m/\omega^m</math>
न समुच्चय विशेषण है और न ही विशेषण। इसमें स्थिरांक जोड़ने के कारण यह इंजेक्शन नहीं है <math>\varphi</math> बदलना मत <math>F</math>, और यह विशेषण नहीं है क्योंकि <math>F</math> धनात्मक होना चाहिए और औसत मान 1 होना चाहिए। इसलिए हम मानचित्र को कार्यों तक ही सीमित मानते हैं <math>\varphi</math> जिसे औसत मान 0 के लिए सामान्यीकृत किया जाता है, और पूछा जाता है कि क्या यह मानचित्र धनात्मक के समुच्चय पर समरूपता है <math>F=e^f</math> औसत मान 1 के साथ। कैलाबी और याउ ने सिद्ध करना किया कि यह वास्तव में समरूपता है। यह नीचे वर्णित अनेक चरणों में किया जाता है।
न समुच्चय विशेषण है और न ही विशेषण। इसमें स्थिरांक जोड़ने के कारण यह इंजेक्शन नहीं है <math>\varphi</math> बदलना मत <math>F</math>, और यह विशेषण नहीं है क्योंकि <math>F</math> धनात्मक होना चाहिए और औसत मान 1 होना चाहिए। इसलिए हम मानचित्र को कार्यों तक ही सीमित मानते हैं <math>\varphi</math> जिसे औसत मान 0 के लिए सामान्यीकृत किया जाता है, और पूछा जाता है कि क्या यह मानचित्र धनात्मक के समुच्चय पर समरूपता है <math>F=e^f</math> औसत मान 1 के साथ कैलाबी और याउ ने सिद्ध किया कि यह वास्तव में समरूपता है। यह नीचे वर्णित अनेक चरणों में किया जाता है।


===समाधान की विशिष्टता===
===समाधान की विशिष्टता===
Line 47: Line 48:
===F का समुच्चय खुला है===
===F का समुच्चय खुला है===


यह सिद्ध करना करना कि संभावित F का समुच्चय खुला है (औसत मान 1 के साथ सुचारू कार्यों के समुच्चय में) यह दिखाना सम्मिलित है कि यदि कुछ F के लिए समीकरण को हल करना संभव है, समुच्चय सभी पर्याप्त रूप से बंद F के लिए इसे हल करना संभव है। कैलाबी बानाच रिक्त स्थान के लिए अंतर्निहित फलन प्रमेय का उपयोग करके इसे सिद्ध करना किया: इसे प्रयुक्त करने के लिए, मुख्य चरण यह दिखाना है कि उपरोक्त अंतर ऑपरेटर का रैखिककरण उलटा है।
यह सिद्ध करना करना कि संभावित F का समुच्चय खुला है (औसत मान 1 के साथ सुचारू कार्यों के समुच्चय में) यह दिखाना सम्मिलित है कि यदि कुछ F के लिए समीकरण को हल करना संभव है, समुच्चय सभी पर्याप्त रूप से बंद F के लिए इसे हल करना संभव है। इस प्रकार कैलाबी बानाच रिक्त स्थान के लिए अंतर्निहित फलन प्रमेय का उपयोग करके इसे सिद्ध करना किया: इसे प्रयुक्त करने के लिए, मुख्य चरण यह दिखाना है कि उपरोक्त अंतर ऑपरेटर का रैखिककरण उलटा है।


===F का समुच्चय बंद है===
===F का समुच्चय बंद है===
Line 62: Line 63:
F पर अभिसरित होता है, और समस्या यह दिखाने के लिए है कि φs का कुछ अनुवर्ती समाधान φ में अभिसरित होता है। ऐसा करने के लिए, Yau फ़ंक्शंस φ के लिए कुछ प्राथमिक सीमाएं ढूंढता है<sub>''i''</sub> और उनके उच्चतर डेरिवेटिव
F पर अभिसरित होता है, और समस्या यह दिखाने के लिए है कि φs का कुछ अनुवर्ती समाधान φ में अभिसरित होता है। ऐसा करने के लिए, Yau फ़ंक्शंस φ के लिए कुछ प्राथमिक सीमाएं ढूंढता है<sub>''i''</sub> और उनके उच्चतर डेरिवेटिव


लॉग (एफ) के उच्च डेरिवेटिव के संदर्भ में<sub>''i''</sub>). इन सीमाओं को खोजने के लिए कठिन अनुमानों के लंबे अनुक्रम की आवश्यकता होती है, जिनमें से प्रत्येक पिछले अनुमान पर थोड़ा सुधार करता है। आपको जो सीमाएँ मिलती हैं, वह यह दर्शाने के लिए पर्याप्त हैं कि फलन φ है<sub>''i''</sub> सभी फलनों के उपयुक्त बानाच स्थान के कॉम्पैक्ट उपसमुच्चय में स्थित हैं, इसलिए अभिसरण अनुवर्ती खोजना संभव है।
लॉग (एफ) के उच्च डेरिवेटिव के संदर्भ में<sub>''i''</sub>). इन सीमाओं को खोजने के लिए कठिन अनुमानों के लंबे अनुक्रम की आवश्यकता होती है, जिनमें से प्रत्येक पिछले अनुमान पर थोड़ा सुधार करता है। इस प्रकार आपको जो सीमाएँ मिलती हैं, वह यह दर्शाने के लिए पर्याप्त हैं कि फलन φ है<sub>''i''</sub> सभी फलनों के उपयुक्त बानाच स्थान के कॉम्पैक्ट उपसमुच्चय में स्थित हैं, इसलिए अभिसरण अनुवर्ती खोजना संभव है।


यह अनुवर्ती छवि F के साथ फलन φ में परिवर्तित हो जाता है, जो
यह अनुवर्ती छवि F के साथ फलन φ में परिवर्तित हो जाता है, जो
Line 69: Line 70:
==संदर्भ==
==संदर्भ==
{{Reflist}}
{{Reflist}}
{{refbegin}}
{{refbegin}}*[[थियरी औबिन]], ''मैनिफोल्ड्स, मोंगे-एम्पीयर समीकरणों पर नॉनलाइनियर विश्लेषण''{{ISBN|0-387-90704-1}}यह कैलाबी अनुमान और काहलर-आइंस्टीन मेट्रिक्स पर ऑबिन के परिणामों का प्रमाण देता है।
*[[Thierry Aubin]], ''Nonlinear Analysis on Manifolds, Monge&ndash;Ampère Equations'' {{ISBN|0-387-90704-1}} This gives a proof of the Calabi conjecture and of Aubin's results on Kähler–Einstein metrics.
*{{Citation | last=बौर्गुइग्नोन | first=जीन पियर | title=सेमिनेयर बॉर्बकी, 30 वर्ष (1977/78) | publisher=[[स्प्रिंगर-वेरलाग]] | location=बर्लिन, न्यूयॉर्क | series=गणित में व्याख्यान नोट्स. | doi=10.1007/BFb0069970 | year=1979 | volume=710 | chapter=प्रीमियर फॉर्मेस डी चेर्न डेस वेरिएट्स काहलेरिएन्स कॉम्पेक्ट्स [डी'एप्रेस ई. कैलाबी, टी. ऑबिन एट एस. टी. याउ] | pages=1–21 | mr=554212 | isbn=978-3-540-09243-8}}यह ऑबिन और याउ के काम का एक सर्वेक्षण देता है।
*{{Citation | last=Bourguignon | first=Jean-Pierre | title=Séminaire Bourbaki, 30e année (1977/78) | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Math. | doi=10.1007/BFb0069970 | year=1979 | volume=710 | chapter=Premières formes de Chern des variétés kählériennes compactes [d'après E. Calabi, T. Aubin et S. T. Yau] | pages=1–21 | mr=554212 | isbn=978-3-540-09243-8}} This gives a survey of the work of Aubin and Yau.
*{{cite conference|author-link1=यूजेनियो कैलाबी|url=https://www.mathunion.org/fileadmin/ICM/Proceedings/ICM1954.2/ICM1954.2.ocr.pdf|last1=कैलाबी|first1=E.|book-title=गणितज्ञों की अंतर्राष्ट्रीय कांग्रेस की कार्यवाही, 1954। खंड II|editor1-last=Gerretsen|editor1-first=जोहान सी. एच.|editor2-last=डी ग्रूट|editor-link2=जोहान्स डी ग्रूट|editor2-first=जोहानिस|publisher=[[नॉर्थ-हॉलैंड पब्लिशिंग कंपनी|नॉर्थ-हॉलैंड पब्लिशिंग कंपनी]]|title=काहलर मेट्रिक्स का स्थान|location=एम्स्टर्डम|year=1954|pages=206–207}}  
*{{cite conference|author-link1=Eugenio Calabi|url=https://www.mathunion.org/fileadmin/ICM/Proceedings/ICM1954.2/ICM1954.2.ocr.pdf|last1=Calabi|first1=E.|book-title=Proceedings of the International Congress of Mathematicians, 1954. Volume II|editor1-last=Gerretsen|editor1-first=Johan C. H.|editor2-last=De Groot|editor-link2=Johannes de Groot|editor2-first=Johannes|publisher=[[North-Holland Publishing Company|North-Holland Publishing Co.]]|title=The space of Kähler metrics|location=Amsterdam|year=1954|pages=206–207}}  
*{{cite conference|author-link1=यूजेनियो कैलाबी|mr=0085583|last1=Calabi|first1=Eugenio|title=काहलर पर लुप्त विहित वर्ग के साथ मैनिफोल्ड्स हैं|editor1-last=Fox|editor1-first=R. H.|editor-link1=Ralph Fox|editor-last2=Spencer|editor-first2=डी. सी.|editor-last3=Tucker|editor-first3=. डब्ल्यू.|editor-link2=Donald C. Spencer|editor-link3=Albert W. Tucker|book-title=बीजगणितीय ज्यामिति और टोपोलॉजी|conference=एस. लेफ्शेट्ज़ के सम्मान में एक संगोष्ठी|pages=78–89|publisher=[[प्रिंसटन यूनिवर्सिटी प्रेस]]|location=प्रिंसटन, एनजे|year=1957|zbl=0080.15002|doi=10.1515/9781400879915-006|isbn=9781400879915|series=प्रिंसटन गणितीय श्रृंखला|volume=12}}*डोमिनिक डी. जॉयस ''विशेष होलोनॉमी के साथ कॉम्पैक्ट मैनिफोल्ड्स'' (ऑक्सफोर्ड गणितीय मोनोग्राफ){{ISBN|0-19-850601-5}}यह कैलाबी अनुमान का एक सरलीकृत प्रमाण देता है।
*{{cite conference|author-link1=Eugenio Calabi|mr=0085583|last1=Calabi|first1=Eugenio|title=On Kähler manifolds with vanishing canonical class|editor1-last=Fox|editor1-first=R. H.|editor-link1=Ralph Fox|editor-last2=Spencer|editor-first2=D. C.|editor-last3=Tucker|editor-first3=A. W.|editor-link2=Donald C. Spencer|editor-link3=Albert W. Tucker|book-title=Algebraic geometry and topology|conference=A symposium in honor of S. Lefschetz|pages=78–89|publisher=[[Princeton University Press]]|location=Princeton, NJ|year=1957|zbl=0080.15002|doi=10.1515/9781400879915-006|isbn=9781400879915|series=Princeton Mathematical Series|volume=12}}
*{{Citation | last=Yau | first=शिंग तुंग | authorlink=शिंग-तुंग याउ | title=कैलाबी का अनुमान और बीजगणितीय ज्यामिति में कुछ नए परिणाम | year=1977 | journal=[[संयुक्त राज्य अमेरिका की राष्ट्रीय विज्ञान अकादमी की कार्यवाही]] | issn=0027-8424 | volume=74 | issue=5 | pages=1798–1799 | mr=0451180 | doi=10.1073/pnas.74.5.1798| pmc=431004 | pmid=16592394| bibcode=1977PNAS...74.1798Y | doi-access=मुक्त }}
*Dominic D. Joyce ''Compact Manifolds with Special Holonomy'' (Oxford Mathematical Monographs) {{ISBN|0-19-850601-5}} This gives a simplified proof of the Calabi conjecture.
*{{Citation | last=यौ | first=शिंग तुंग | authorlink=शिंग-तुंग याउ |title=कॉम्पैक्ट काहलर मैनिफोल्ड की रिक्की वक्रता और जटिल मोंज-एम्पीयर समीकरण पर। मैं | doi=10.1002/cpa.3160310304 | mr=480350 | year=1978 | journal=[[शुद्ध और अनुप्रयुक्त गणित पर संचार]] | volume=31 | issue=3 | pages=339–411}}
*{{Citation | last=Yau | first=Shing Tung | authorlink=Shing-Tung Yau | title=Calabi's conjecture and some new results in algebraic geometry | year=1977 | journal=[[Proceedings of the National Academy of Sciences of the United States of America]] | issn=0027-8424 | volume=74 | issue=5 | pages=1798–1799 | mr=0451180 | doi=10.1073/pnas.74.5.1798| pmc=431004 | pmid=16592394| bibcode=1977PNAS...74.1798Y | doi-access=free }}
*{{Citation | last=Yau | first=Shing Tung | authorlink=Shing-Tung Yau |title=On the Ricci curvature of a compact Kähler manifold and the complex Monge–Ampère equation. I | doi=10.1002/cpa.3160310304 | mr=480350 | year=1978 | journal=[[Communications on Pure and Applied Mathematics]] | volume=31 | issue=3 | pages=339–411}}
{{refend}}
{{refend}}
==बाहरी संबंध==
==बाहरी संबंध==
*{{citation |last=Yau | first=Shing Tung | authorlink=Shing-Tung Yau |title=Calabi-Yau manifold |doi=10.4249/scholarpedia.6524 | bibcode=2009SchpJ...4.6524Y |year=2009 |journal=Scholarpedia |volume=4 |issue=8 |pages=6524|doi-access=free }}
*{{citation |last=Yau | first=शिंग तुंग | authorlink=शिंग-तुंग याउ |title=कैलाबी-यौ मैनिफोल्ड |doi=10.4249/scholarpedia.6524 | bibcode=2009SchpJ...4.6524Y |year=2009 |journal=स्कॉलरपीडिया |volume=4 |issue=8 |pages=6524|doi-access=free }}
[[Category: जटिल अनेक गुना]] [[Category: विभेदक ज्यामिति में प्रमेय]] [[Category: अनुमान जो सिद्ध हो चुके हैं]]
 
 


[[Category: Machine Translated Page]]
[[Category:CS1 errors]]
[[Category:Created On 14/07/2023]]
[[Category:Created On 14/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:अनुमान जो सिद्ध हो चुके हैं]]
[[Category:जटिल अनेक गुना]]
[[Category:विभेदक ज्यामिति में प्रमेय]]

Latest revision as of 11:54, 2 August 2023

विभेदक ज्यामिति के गणितीय क्षेत्र में, कैलाबी अनुमान यूगेनियो कैलाबी (सत्र 1954, 1957) द्वारा बनाए गए कुछ समष्टि मैनिफोल्ड्स पर कुछ प्रकार के रीमैनियन मीट्रिकस के अस्तित्व के बारे में एक अनुमान था, इसे शिंग-तुंग याउ (सत्र 1977, 1978) ने सिद्ध किया था, जिन्होंने अपने प्रमाण के लिए आंशिक रूप से फील्ड्स मेडल और ओसवाल्ड वेब्लेन पुरस्कार प्राप्त किया। इस प्रकार उनका काम, मुख्य रूप से अण्डाकार आंशिक अंतर समीकरण का विश्लेषण जिसे मोंगे-एम्पीयर समीकरण के रूप में जाना जाता है, ज्यामितीय विश्लेषण के क्षेत्र में प्रभावशाली प्रारंभिक परिणाम था।

अधिक त्रुटिहीन रूप से, कैलाबी का अनुमान बंद मैनिफोल्ड कॉम्प्लेक्स मैनिफोल्ड्स पर काहलर मेट्रिक्स की समुच्चय के अंदर निर्धारित रिक्की वक्रता समस्या के समाधान का प्रामाणित करता है। चेर्न-वेइल सिद्धांत के अनुसार, ऐसे किसी भी मीट्रिक का रिक्की रूप एक बंद अंतर 2-रूप है जो पहले चेर्न वर्ग का प्रतिनिधित्व करता है। इस प्रकार कैलाबी ने अनुमान लगाया ऐसे किसी भी भिन्न रूप R के लिए, प्रत्येक काहलर ज्यामिति में बिल्कुल काहलर मीट्रिक है‚ जिसका रिक्की रूप R है (कुछ कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स कोई काहलर वर्ग स्वीकार नहीं करते हैं, जिस स्थिति में अनुमान शून्य है।)

विशेष स्थितियों में कि पहला चेर्न वर्ग गायब हो जाता है, इसका तात्पर्य यह है कि प्रत्येक काहलर वर्ग में बिल्कुल रिक्की-फ्लैट मैनिफोल्ड|रिक्की-फ्लैट मीट्रिक सम्मिलित है। इस प्रकार इन्हें अधिकांशतः कैलाबी-याउ मैनिफोल्ड्स कहा जाता है। चूँकि, इस शब्द का प्रयोग अधिकांशतः विभिन्न लेखकों द्वारा थोड़े भिन्न तरीकों से किया जाता है - उदाहरण के लिए, कुछ उपयोग समष्टि मैनिफोल्ड को संदर्भित कर सकते हैं जबकि अन्य विशेष रिक्की-फ्लैट काहलर मीट्रिक के साथ समष्टि मैनिफोल्ड को संदर्भित कर सकते हैं।

इस विशेष स्थितियों को कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स पर शून्य अदिश वक्रता के काहलर-आइंस्टीन मेट्रिक्स के लिए पूर्ण अस्तित्व और विशिष्टता सिद्धांत के रूप में माना जा सकता है। इस प्रकार गैर-शून्य अदिश वक्रता की स्थिति कैलाबी के अनुमान के विशेष स्थितियों के रूप में अनुसरण नहीं करता है, क्योंकि काहलर-आइंस्टीन समस्या का 'दाहिना हाथ' 'अज्ञात' मीट्रिक पर निर्भर करता है, जिससे काहलर-आइंस्टीन समस्या को डोमेन के बाहर रखा जाता है। रिक्की वक्रता निर्धारित करना स्थितियों, कैलाबी अनुमान को हल करने में समष्टि मोंज-एम्पीयर समीकरण का याउ का विश्लेषण पर्याप्त रूप से सामान्य था जिससे कि ऋणात्मक अदिश वक्रता के काहलर-आइंस्टीन मेट्रिक्स के अस्तित्व को भी हल किया जा सके। धनात्मक अदिश वक्रता का तीसरा और अंतिम स्थितियों सत्र 2010 में आंशिक रूप से कैलाबी अनुमान का उपयोग करके हल किया गया था।

कैलाबी अनुमान के प्रमाण की रूपरेखा

कैलाबी ने कैलाबी अनुमान को समष्टि मोंगे-एम्पीयर समीकरण एवं मोंज-एम्पीयर प्रकार के गैर-रेखीय आंशिक अंतर समीकरण में बदल दिया, और दिखाया कि इस समीकरण में अधिकतम समाधान है, इस प्रकार आवश्यक काहलर मीट्रिक की विशिष्टता स्थापित होती है।

याउ ने निरंतरता विधि का उपयोग करके इस समीकरण का समाधान बनाकर कैलाबी अनुमान को सिद्ध किया। इसमें पहले आसान समीकरण को हल करना और फिर यह दिखाना सम्मिलित है कि आसान समीकरण के समाधान को लगातार कठिन समीकरण के समाधान में विकृत किया जा सकता है। इस प्रकार याउ के समाधान का सबसे कठिन हिस्सा समाधानों के व्युत्पन्नों के लिए निश्चित प्राथमिक अनुमानों को सिद्ध करना है।

कैलाबी अनुमान का विभेदक समीकरण में परिवर्तन

लगता है कि काहलर रूप के साथ समष्टि कॉम्पैक्ट मैनिफोल्ड है .

Ddbar लेम्मा द्वारा|-लेम्मा, उसी डी गर्भ तीर्थयात्री के रूप में वर्ग में कोई अन्य काहलर फॉर्म का है

कुछ सुचारु कार्य के लिए पर , किसी स्थिरांक को जोड़ने तक अद्वितीय। कैलाबी अनुमान इसलिए निम्नलिखित समस्या के सामान्तर है:

होने देना पर धनात्मक सुचारू कार्य हो औसत मान 1 के साथ। फिर सुचारू वास्तविक कार्य होता है ; साथ
और ; किसी स्थिरांक को जोड़ने तक अद्वितीय है।

यह एकल फलन के लिए समष्टि Monge-Ampère प्रकार का समीकरण है .

इसे हल करना विशेष रूप से कठिन आंशिक अंतर समीकरण है, क्योंकि यह उच्चतम क्रम के संदर्भ में गैर-रैखिक है। जब इसे सुलझाना आसान होता है , जैसा समाधान है. निरंतरता पद्धति का विचार यह दिखाना है कि इसे सभी के लिए हल किया जा सकता है यह दिखाकर कि का समुच्चय जिसके लिए इसे हल किया जा सकता है वह खुला और बंद दोनों है। इस प्रकार के समुच्चय के पश्चात् से जिसके लिए इसे हल किया जा सकता है वह गैर-रिक्त है, और सभी का समुच्चय है जुड़ा हुआ है, इससे पता चलता है कि इसे सभी के लिए हल किया जा सकता है .

सुचारु कार्यों से लेकर सुचारु कार्यों तक का मानचित्र को द्वारा परिभाषित

न समुच्चय विशेषण है और न ही विशेषण। इसमें स्थिरांक जोड़ने के कारण यह इंजेक्शन नहीं है बदलना मत , और यह विशेषण नहीं है क्योंकि धनात्मक होना चाहिए और औसत मान 1 होना चाहिए। इसलिए हम मानचित्र को कार्यों तक ही सीमित मानते हैं जिसे औसत मान 0 के लिए सामान्यीकृत किया जाता है, और पूछा जाता है कि क्या यह मानचित्र धनात्मक के समुच्चय पर समरूपता है औसत मान 1 के साथ कैलाबी और याउ ने सिद्ध किया कि यह वास्तव में समरूपता है। यह नीचे वर्णित अनेक चरणों में किया जाता है।

समाधान की विशिष्टता

यह सिद्ध करना करने में कि समाधान अद्वितीय है, इसमें यह दिखाना सम्मिलित है कि यदि

फिर φ1 और φ2 स्थिरांक से भिन्न (यदि वह दोनों औसत मान 0 के लिए सामान्यीकृत हैं समुच्चय यह समान होना चाहिए)। कैलाबी ने यह सिद्ध करना करके दिखाया कि का औसत मूल्य

एक अभिव्यक्ति द्वारा दिया गया है जो अधिकतम 0 है। चूँकि यह स्पष्ट रूप से कम से कम 0 है, यह 0 ही होना चाहिए, इसलिए

जो बदले में φ को बल देता है1 और φ2 स्थिरांक से भिन्न होना।

F का समुच्चय खुला है

यह सिद्ध करना करना कि संभावित F का समुच्चय खुला है (औसत मान 1 के साथ सुचारू कार्यों के समुच्चय में) यह दिखाना सम्मिलित है कि यदि कुछ F के लिए समीकरण को हल करना संभव है, समुच्चय सभी पर्याप्त रूप से बंद F के लिए इसे हल करना संभव है। इस प्रकार कैलाबी बानाच रिक्त स्थान के लिए अंतर्निहित फलन प्रमेय का उपयोग करके इसे सिद्ध करना किया: इसे प्रयुक्त करने के लिए, मुख्य चरण यह दिखाना है कि उपरोक्त अंतर ऑपरेटर का रैखिककरण उलटा है।

F का समुच्चय बंद है

यह प्रमाण का सबसे कठिन हिस्सा है, और यह हिस्सा यॉ द्वारा किया गया था।

मान लीजिए कि एफ संभव की छवि के बंद होने में है

कार्य φ. इसका कारणहै कि क्रम है

कार्य φ1, फ़ि2, ...

इस प्रकार कि संगत फलन F1, एफ2,...

F पर अभिसरित होता है, और समस्या यह दिखाने के लिए है कि φs का कुछ अनुवर्ती समाधान φ में अभिसरित होता है। ऐसा करने के लिए, Yau फ़ंक्शंस φ के लिए कुछ प्राथमिक सीमाएं ढूंढता हैi और उनके उच्चतर डेरिवेटिव

लॉग (एफ) के उच्च डेरिवेटिव के संदर्भ मेंi). इन सीमाओं को खोजने के लिए कठिन अनुमानों के लंबे अनुक्रम की आवश्यकता होती है, जिनमें से प्रत्येक पिछले अनुमान पर थोड़ा सुधार करता है। इस प्रकार आपको जो सीमाएँ मिलती हैं, वह यह दर्शाने के लिए पर्याप्त हैं कि फलन φ हैi सभी फलनों के उपयुक्त बानाच स्थान के कॉम्पैक्ट उपसमुच्चय में स्थित हैं, इसलिए अभिसरण अनुवर्ती खोजना संभव है।

यह अनुवर्ती छवि F के साथ फलन φ में परिवर्तित हो जाता है, जो दर्शाता है कि संभावित छवियों का समुच्चय F बंद है।

संदर्भ

*थियरी औबिन, मैनिफोल्ड्स, मोंगे-एम्पीयर समीकरणों पर नॉनलाइनियर विश्लेषणISBN 0-387-90704-1यह कैलाबी अनुमान और काहलर-आइंस्टीन मेट्रिक्स पर ऑबिन के परिणामों का प्रमाण देता है।

बाहरी संबंध