कैलाबी अनुमान

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

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

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

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

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

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

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

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

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

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

$\omega +dd'\varphi$

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

होने देना $F=e^{f}$ पर धनात्मक सुचारू कार्य हो $M$ औसत मान 1 के साथ। फिर सुचारू वास्तविक कार्य होता है $\varphi$; साथ

$(\omega +dd'\varphi )^{m}=e^{f}\omega ^{m}$

और $\varphi$; किसी स्थिरांक को जोड़ने तक अद्वितीय है।

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

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

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

$F=(\omega +dd'\varphi )^{m}/\omega ^{m}$

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

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

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

$(\omega +dd'\varphi _{1})^{m}=(\omega +dd'\varphi _{2})^{m}$

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

${|d({\mathrm{\phi <!--\; \phi \; -->}}_1-<!--\; -\; -->{\mathrm{\phi <!--\; \phi \; -->}}_2}^{}$