कोबायाशी मीट्रिक: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(11 intermediate revisions by 3 users not shown)
Line 1: Line 1:
गणित और विशेष रूप से [[जटिल ज्यामिति]] में, कोबायाशी मीट्रिक छद्ममिति स्थान है जो आंतरिक रूप से किसी भी जटिल विविधता से जुड़ा होता है। इसे 1967 में [[शोजी कोबायाशी]] द्वारा पेश किया गया था। कोबायाशी हाइपरबोलिक मैनिफोल्ड्स जटिल मैनिफोल्ड्स का महत्वपूर्ण वर्ग है, जिसे इस संपत्ति द्वारा परिभाषित किया गया है कि कोबायाशी [[स्यूडोमेट्रिक स्पेस]] मीट्रिक है। [[ जटिल अनेक गुना ]] ''X'' की कोबायाशी अतिशयोक्ति का तात्पर्य है कि कॉम्प्लेक्स लाइन C से ''X'' तक प्रत्येक [[होलोमोर्फिक मानचित्र]] स्थिर है।
गणित और विशेष रूप से [[जटिल ज्यामिति|सम्मिश्र ज्यामिति]] में, '''कोबायाशी मीट्रिक''' स्यूडोमेट्रिक समष्टि है जो आंतरिक रूप से किसी भी समष्टि विविधता से संयोजित होती है। इसे 1967 में [[शोजी कोबायाशी]] द्वारा प्रस्तुत किया गया था। '''कोबायाशी अतिपरवलयिक''' मैनिफोल्ड्स सम्मिश्र मैनिफोल्ड्स का महत्वपूर्ण वर्ग है, जिसे इस गुण द्वारा परिभाषित किया गया है कि कोबायाशी [[स्यूडोमेट्रिक स्पेस|स्यूडोमेट्रिक समष्टि]] मीट्रिक है। [[ जटिल अनेक गुना |सम्मिश्र]][[ जटिल अनेक गुना | मैनिफोल्ड]] ''X'' की कोबायाशी अतिपरवलयिकता का तात्पर्य है कि सम्मिश्र रेखा '''C''' से ''X'' तक प्रत्येक [[होलोमोर्फिक मानचित्र]] स्थिर है।


==परिभाषा==
==परिभाषा==
अवधारणा की उत्पत्ति [[जटिल विश्लेषण]] में श्वार्ज़ के लेम्मा में निहित है। अर्थात्, यदि f जटिल संख्या 'C' में खुली इकाई डिस्क D पर [[होलोमोर्फिक फ़ंक्शन]] है, जैसे कि f(0) = 0 और |f(z)| <1 D में सभी z के लिए, तो व्युत्पन्न f '(0) का निरपेक्ष मान अधिकतम 1 है। अधिक सामान्यतः, D से स्वयं तक किसी भी होलोमोर्फिक मानचित्र f के लिए (जरूरी नहीं कि 0 से 0 भेजा जाए), अधिक जटिल ऊपरी है डी के किसी भी बिंदु पर एफ के व्युत्पन्न के लिए बाध्य है। हालांकि, सीमा में पोंकारे मीट्रिक के संदर्भ में सरल सूत्रीकरण है, जो गौसियन वक्रता -1 ([[अतिशयोक्तिपूर्ण विमान]] के लिए सममितीय) के साथ डी पर रीमैनियन मैनिफोल्ड#जियोडेसिक पूर्णता [[रीमैनियन मीट्रिक]] है ). अर्थात्: डी से स्वयं तक का प्रत्येक होलोमोर्फिक मानचित्र, डी पर पोंकारे मीट्रिक के संबंध में दूरी-घटता हुआ है।
अवधारणा की उत्पत्ति [[जटिल विश्लेषण|सम्मिश्र विश्‍लेषण]] में श्वार्ज़ के लेम्मा में निहित है। अर्थात्, यदि f सम्मिश्र संख्या '''C''' में संवृत इकाई डिस्क D पर [[होलोमोर्फिक फ़ंक्शन|होलोमोर्फिक फलन]] है, जिस प्रकार f(0) = 0 और |f(z)| D में सभी z के लिए <1 है, तो अवकलज f '(0) का निरपेक्ष मान अधिकतम 1 है। अधिक सामान्यतः, D से स्वयं तक किसी भी होलोमोर्फिक मानचित्र f के लिए (आवश्यक नहीं कि 0 से 0 भेजा जाए), D के किसी भी बिंदु पर f के अवकलज के लिए अधिक विषम ऊपरी सीमा होती है। यद्यपि, सीमा में पोंकारे मीट्रिक के संदर्भ में सरल सूत्रीकरण है, जो गौसियन वक्रता -1 ([[अतिशयोक्तिपूर्ण विमान|अतिपरवलयिक ज्यामिति]] के लिए सममितीय) के साथ D पर रीमैनियन मैनिफोल्ड अथवा जियोडेसिक पूर्णता [[रीमैनियन मीट्रिक]] है। अर्थात्: D से प्रत्येक होलोमोर्फिक मानचित्र की दूरी D पर पोंकारे मीट्रिक के संबंध में कम होती जा रही है।


यह जटिल विश्लेषण और नकारात्मक वक्रता की ज्यामिति के बीच  मजबूत संबंध की शुरुआत है। किसी भी [[जटिल विश्लेषणात्मक स्थान]] X (उदाहरण के लिए जटिल मैनिफोल्ड) के लिए, 'कोबायाशी स्यूडोमेट्रिक' d<sub>''X''</sub> इसे X पर सबसे बड़े स्यूडोमेट्रिक के रूप में परिभाषित किया गया है
यह सम्मिश्र विश्‍लेषण और ऋणात्मक वक्रता की ज्यामिति के मध्य दृढ़ संबंध का प्रारम्भ है। किसी भी [[जटिल विश्लेषणात्मक स्थान|सम्मिश्र विश्‍लेषणात्मक समष्टि]] X (उदाहरण के लिए सम्मिश्र मैनिफोल्ड) के लिए, '''कोबायाशी स्यूडोमेट्रिक''' d<sub>''X''</sub> को X पर सबसे बड़े स्यूडोमेट्रिक के रूप में परिभाषित किया गया है, जैसे कि
:<math>d_X(f(x),f(y)) \le \rho(x,y)</math>,
:<math>d_X(f(x),f(y)) \le \rho(x,y)</math>,
यूनिट डिस्क डी से ्स तक सभी होलोमोर्फिक मानचित्रों एफ के लिए, जहां <math> \rho(x,y)</math> डी पर पोंकारे मीट्रिक में दूरी को दर्शाता है।<ref>Kobayashi (2005), sections IV.1 and VII.2.</ref> अर्थ में, यह सूत्र सभी जटिल स्थानों पर श्वार्ज़ के लेम्मा को सामान्यीकृत करता है; लेकिन यह इस अर्थ में रिक्त हो सकता है कि कोबायाशी स्यूडोमेट्रिक डी<sub>''X''</sub> समान रूप से शून्य हो सकता है. उदाहरण के लिए, यह समान रूप से शून्य है जब X जटिल रेखा 'C' है। (ऐसा इसलिए होता है क्योंकि 'सी' में मनमाने ढंग से बड़ी डिस्क होती हैं, होलोमोर्फिक मानचित्रों की छवियां<sub>''a''</sub>: D → 'C' मनमाने ढंग से बड़ी सकारात्मक संख्याओं के लिए f(z) = az द्वारा दिया गया है a.)
यूनिट डिस्क D से X तक सभी होलोमोर्फिक मानचित्र F के लिए, जहां <math> \rho(x,y)</math>, D पर पोंकारे मीट्रिक में दूरी को दर्शाता है।<ref>Kobayashi (2005), sections IV.1 and VII.2.</ref> इस अर्थ में, यह सूत्र सभी सम्मिश्र समष्टि पर श्वार्ज़ के लेम्मा को सामान्यीकृत करता है; किन्तु यह इस अर्थ में रिक्त हो सकता है कि कोबायाशी स्यूडोमेट्रिक d<sub>''X''</sub> समान रूप से शून्य हो सकता है। उदाहरण के लिए, यह समान रूप से शून्य है जब X सम्मिश्र रेखा '''C''' है। (ऐसा इसलिए होता है क्योंकि '''C''' में आरबिटरेरी रूप से बड़ी डिस्क होती हैं, होलोमोर्फिक मानचित्रों की छवियां ''f<sub>a</sub>'': ''D'' → '''C''' आरबिटरेरी रूप से बड़ी धनात्मक संख्याओं के लिए f(z) = az द्वारा दी जाती हैं।)


यदि कोबायाशी स्यूडोमेट्रिक डी हो तो  जटिल स्थान ्स को 'कोबायाशी हाइपरबोलिक' कहा जाता है<sub>''X''</sub> मीट्रिक है, जिसका अर्थ है कि d<sub>''X''</sub>(x,y) > 0 सभी x ≠ y के लिए , और अधिक सटीक रूप से कि डी पर कोबायाशी मीट्रिक बिल्कुल पोंकारे मीट्रिक है। सिद्धांत और अधिक दिलचस्प हो जाता है क्योंकि कोबायाशी हाइपरबोलिक मैनिफ़ोल्ड के अधिक उदाहरण मिलते हैं। (कोबायाशी हाइपरबोलिक मैनिफ़ोल्ड क्योंकि इसका भिन्नरूपता समूह इसकी अनुमति देने के लिए बहुत बड़ा है।)
सम्मिश्र समष्टि X को कोबायाशी अतिपरवलयिक कहा जाता है यदि कोबायाशी स्यूडोमेट्रिक d<sub>''X''</sub> मीट्रिक है, जिसका अर्थ है कि X में सभी x ≠ y के लिए d<sub>''X''</sub>(x,y) > 0 है। अनौपचारिक रूप से, इसका अर्थ है कि X में होलोमोर्फिक रूप से मैपिंग करने वाली डिस्क के आकार पर वास्तविक सीमा होती है। इन शब्दों में, श्वार्ज़ की लेम्मा कहती है कि यूनिट डिस्क D कोबायाशी अतिपरवलयिक है, और अधिक त्रुटिहीन रूप से D पर कोबायाशी मीट्रिक पूर्णतः पोंकारे मीट्रिक है। सिद्धांत और अधिक रुचिकर हो जाता है क्योंकि कोबायाशी अतिपरवलयिक मैनिफ़ोल्ड के अधिक उदाहरण मिलते हैं। (धनात्मक आयाम की वास्तविक विविधता में इस अर्थ में कभी भी कोई आंतरिक मीट्रिक नहीं होता है, क्योंकि इसका भिन्नता समूह इसकी अनुमति देने के लिए अधिक बड़ा है।)


==उदाहरण==
==उदाहरण==
#जटिल स्थानों का प्रत्येक होलोमोर्फिक मानचित्र f: 'सी' → वाई, फिर डी<sub>''Y''</sub>(p,q) = 0, उस d का उपयोग करते हुए<sub>'''C'''</sub> समान रूप से शून्य है. यह जटिल मैनिफोल्ड्स के कई उदाहरण देता है जिसके लिए कोबायाशी स्यूडोमेट्रिक समान रूप से शून्य है: [[जटिल प्रक्षेप्य रेखा]] सीपी<sup>1</sup>या अधिक सामान्यतः [[जटिल प्रक्षेप्य स्थान]] सीपी<sup>n</sup>, 'C'−{0} (घातीय फ़ंक्शन 'C' → 'C'−{0} का उपयोग करके), [[अण्डाकार वक्र]], या अधिक सामान्यतः [[जटिल टोरस]]।
#सम्मिश्र समष्टि का प्रत्येक होलोमोर्फिक मानचित्र ''f'': ''X'' → ''Y'', X और Y के कोबायाशी स्यूडोमेट्रिक्स के संबंध में दूरी कम कर रहा है। इसका तात्पर्य यह है कि यदि सम्मिश्र समष्टि Y में दो बिंदु p और q को होलोमोर्फिक मानचित्र '''C''' → Y की श्रृंखला से जोड़ा जाता है, तो ''d<sub>Y</sub>''(''p'',''q'') = 0, ''d''<sub>'''C'''</sub> का उपयोग करना समान रूप से शून्य है। यह सम्मिश्र मैनिफोल्ड्स के कई उदाहरण देता है जिसके लिए कोबायाशी स्यूडोमेट्रिक समान रूप से शून्य है: जिसमें [[जटिल प्रक्षेप्य रेखा|सम्मिश्र प्रक्षेप्य रेखा]] '''CP'''<sup>1</sup> या अधिक सामान्यतः [[जटिल प्रक्षेप्य स्थान|सम्मिश्र प्रक्षेप्य समष्टि]] '''CP'''<sup>''n''</sup>, '''C'''−{0} (घातीय फलन '''C''' → '''C'''−{0} का उपयोग करके), [[अण्डाकार वक्र|इलिप्टिक वक्र]], अथवा अधिक सामान्यतः [[जटिल टोरस|समष्टि टोरस]] सम्मिलित हैं।
#कोबायाशी अतिशयोक्ति को खुले उपसमुच्चय या [[बंद उपसमुच्चय]] जटिल उपस्थानों के मार्ग के तहत संरक्षित किया जाता है। उदाहरण के लिए, यह इस प्रकार है कि 'सी' में कोई भी परिबद्ध [[डोमेन (गणितीय विश्लेषण)]]<sup>n</sup> अतिशयोक्तिपूर्ण है।
#कोबायाशी अतिपरवलयिकता को संवृत उपसमुच्चय या [[बंद उपसमुच्चय|विवृत उपसमुच्चय]] सम्मिश्र उपसमष्टि के मार्ग के अंतर्गत संरक्षित किया जाता है। उदाहरण के लिए, यह इस प्रकार है कि '''C'''<sup>''n''</sup> में कोई भी परिबद्ध [[डोमेन (गणितीय विश्लेषण)]] अतिपरवलयिक है।
#जटिल स्थान कोबायाशी अतिशयोक्तिपूर्ण है यदि और केवल तभी जब इसका [[सार्वभौमिक आवरण स्थान]] कोबायाशी अतिशयोक्तिपूर्ण हो।<ref>Kobayashi (2005), Proposition IV.1.6.</ref> यह अतिशयोक्तिपूर्ण जटिल वक्रों के कई उदाहरण देता है, क्योंकि [[एकरूपीकरण प्रमेय|रूपीकरण प्रमेय]] से पता चलता है कि अधिकांश जटिल वक्रों (जिन्हें [[रीमैन सतह]]ें भी कहा जाता है) में डिस्क डी के लिए सार्वभौमिक आवरण समरूपी होता है। विशेष रूप से, [[जीनस (गणित)]] का प्रत्येक कॉम्पैक्ट जटिल वक्र कम से कम 2 अतिशयोक्तिपूर्ण होता है , जैसा कि 'सी' में 2 या अधिक बिंदुओं का पूरक है।
#सम्मिश्र समष्टि कोबायाशी अतिपरवलयिक है यदि इसकी [[सार्वभौमिक आवरण स्थान|यूनिवर्सल कवरिंग समष्टि]] कोबायाशी अतिपरवलयिक है।<ref>Kobayashi (2005), Proposition IV.1.6.</ref> यह अतिपरवलयिक सम्मिश्र वक्रों के कई उदाहरण देता है, क्योंकि [[एकरूपीकरण प्रमेय|एकरूपता प्रमेय]] से ज्ञात होता है कि अधिकांश सम्मिश्र वक्रों (जिन्हें [[रीमैन सतह|रीमैन सतहें]] भी कहा जाता है) में डिस्क D के लिए यूनिवर्सल कवरिंग समरूपी होती है। विशेष रूप से, [[जीनस (गणित)]] का प्रत्येक कॉम्पैक्ट सम्मिश्र वक्र कम से कम 2 अतिपरवलयिक होता है, जैसा कि '''C''' में 2 अथवा अधिक बिंदुओं का पूरक होता है।


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


'ब्रॉडीज़ प्रमेय' कहता है कि सघन जटिल स्थान<ref>Kobayashi (1998), Theorem 3.6.3.</ref> अनुप्रयोग यह है कि कॉम्पैक्ट जटिल स्थानों के परिवारों के लिए हाइपरबोलिसिटी  खुली स्थिति है (यूक्लिडियन टोपोलॉजी में)।<ref>Kobayashi (1998), Theorem 3.11.1,</ref> [[मार्क ली ग्रीन]] ने कॉम्पैक्ट कॉम्प्लेक्स टोरस के बंद जटिल उप-स्थानों X के लिए हाइपरबोलिकिटी को चिह्नित करने के लिए ब्रॉडी के तर्क का उपयोग किया:<ref>Kobayashi (1998), Theorem 3.7.12.</ref>
ब्रॉडी का प्रमेय कहता है कि सघन सम्मिश्र समष्टि X कोबायाशी अतिपरवलयिक है यदि प्रत्येक होलोमोर्फिक मानचित्र '''C''' → X स्थिर है।<ref>Kobayashi (1998), Theorem 3.6.3.</ref> अनुप्रयोग यह है कि कॉम्पैक्ट सम्मिश्र समष्टि के सदस्यों के लिए अतिपरवलयिकता (यूक्लिडियन टोपोलॉजी में) संवृत स्थिति है।<ref>Kobayashi (1998), Theorem 3.11.1,</ref> [[मार्क ली ग्रीन]] ने कॉम्पैक्ट कॉम्प्लेक्स टोरस के विवृत सम्मिश्र उप-समष्टि X के लिए अतिपरवलयिकता को चिह्नित करने के लिए ब्रॉडी के तर्क का उपयोग किया: यदि इसमें धनात्मक-आयामी अर्धटोरस का कोई अनुवाद नहीं है तो X अतिपरवलयिक है।<ref>Kobayashi (1998), Theorem 3.7.12.</ref>
यदि कॉम्प्लेक्स मैनिफोल्ड<ref>Kobayashi (2005), section III.2.</ref> आयाम 1 में, इसे [[लार्स अहलफोर्स]]-श्वार्ज़ लेम्मा कहा जाता है।
 
यदि सम्मिश्र मैनिफोल्ड X में हर्मिटियन मीट्रिक है जिसमें होलोमोर्फिक अनुभागीय वक्रता ऊपर ऋणात्मक स्थिरांक से परिबद्ध है, तो X कोबायाशी अतिपरवलयिक है।<ref>Kobayashi (2005), section III.2.</ref> आयाम 1 में, इसे [[लार्स अहलफोर्स]]-श्वार्ज़ लेम्मा कहा जाता है।


==ग्रीन-ग्रिफ़िथ-लैंग अनुमान==
==ग्रीन-ग्रिफ़िथ-लैंग अनुमान==
ऊपर दिए गए परिणाम इस बात का पूरा विवरण देते हैं कि जटिल आयाम 1 में कोबायाशी हाइपरबोलिक कौन से जटिल मैनिफोल्ड हैं। उच्च आयामों में तस्वीर कम स्पष्ट है। केंद्रीय खुली समस्या ग्रीन-[[फिलिप ग्रिफिथ्स]]-[[सर्ज लैंग]] अनुमान है: यदि ''्स'' [[सामान्य प्रकार]] की जटिल [[प्रक्षेप्य किस्म]] है, तो बंद बीजीय उपसमुच्चय ''वाई'' होना चाहिए जो ''्स'' के बराबर नहीं है। ' ऐसा कि प्रत्येक अस्थिर होलोमोर्फिक मानचित्र C → ''X'' ''Y'' में मानचित्रित होता है।<ref>Demailly (1997), Conjecture 3.7.</ref>
उपरोक्त परिणाम इस तथ्य का पूर्ण विवरण देते हैं कि सम्मिश्र आयाम 1 में कोबायाशी अतिपरवलयिक कौन से सम्मिश्र मैनिफोल्ड हैं। उच्च आयामों में चित्र कम स्पष्ट होता है। केंद्रीय संवृत समस्या ग्रीन-[[फिलिप ग्रिफिथ्स|ग्रिफिथ्स]]-[[सर्ज लैंग|लैंग]] अनुमान है: यदि X [[सामान्य प्रकार]] की सम्मिश्र [[प्रक्षेप्य किस्म|प्रक्षेप्य विविधता]] है, तो विवृत बीजगणितीय उपसमुच्चय Y होना चाहिए जो X के समान नहीं है। इस प्रकार प्रत्येक अस्थिर होलोमोर्फिक मानचित्र '''C''' → ''X,'' ''Y'' में मैप होता है।<ref>Demailly (1997), Conjecture 3.7.</ref>
[[हर्बर्ट क्लेमेंस]] और [[ क्लेयर पड़ोसी ]] ने दिखाया कि n कम से कम 2 के लिए, 'CP' में  बहुत ही सामान्य [[ऊनविम पृष्ठ]] X<sup>n+1</sup>डिग्री d के कम से कम 2n+1 में यह गुण है कि X की प्रत्येक बंद उप-विविधता सामान्य प्रकार की होती है।<ref>Voisin (1996).</ref> (बहुत सामान्य अर्थ यह है कि संपत्ति ऐसे सभी हाइपरसर्फेस के प्रक्षेप्य स्थान के निचले-आयामी बीजगणितीय उपसमुच्चय के [[गणनीय]] संघ के बाहर डिग्री डी के सभी हाइपरसर्फेस के लिए रखती है।) नतीजतन, ग्रीन-ग्रिफिथ्स-लैंग अनुमान का अर्थ यह होगा कि बहुत ही कम से कम 2एन+1 डिग्री की सामान्य हाइपरसरफेस कोबायाशी हाइपरबोलिक है। ध्यान दें कि किसी दिए गए डिग्री के सभी [[सुचारू योजना]] हाइपरसर्फेस के हाइपरबोलिक होने की उम्मीद नहीं की जा सकती है, उदाहरण के लिए क्योंकि कुछ हाइपरसर्फेस में लाइनें ('सीपी' के लिए आइसोमोर्फिक) होती हैं<sup>1</sup>). ऐसे उदाहरण ग्रीन-ग्रिफ़िथ-लैंग अनुमान में उपसमुच्चय Y की आवश्यकता को दर्शाते हैं।
 
[[हर्बर्ट क्लेमेंस]] और [[ क्लेयर पड़ोसी |क्लेयर वोइसिन]] ने दिखाया कि कम से कम 2, n के लिए तथा 2n+1 डिग्री d के '''CP'''<sup>''n''+1</sup> में अधिक सामान्य [[ऊनविम पृष्ठ|हाइपरसर्फेस]] X में यह गुण होता है कि X की प्रत्येक संवृत उप-विविधता सामान्य प्रकार की होती है।<ref>Voisin (1996).</ref> (अधिक सामान्य अर्थ यह है कि गुण ऐसे सभी हाइपरसर्फेस के प्रक्षेप्य समष्टि के निचले-आयामी बीजगणितीय उपसमुच्चय के [[गणनीय]] संघ के बाहर डिग्री d के सभी हाइपरसर्फेस के लिए होता है।) परिणामस्वरूप, ग्रीन-ग्रिफिथ्स-लैंग अनुमान का अर्थ यह होगा कि कम से कम 2n+1 डिग्री का अधिक सामान्य हाइपरसर्फेस कोबायाशी अतिपरवलयिक है। ध्यान दें कि किसी दी गयी डिग्री की सभी [[सुचारू योजना|स्मूथ]] हाइपरसर्फेस के अतिपरवलयिक होने की आशा नहीं की जा सकती है, उदाहरण के लिए क्योंकि कुछ हाइपरसर्फेस में रेखाएँ ('''CP'''<sup>1</sup> के लिए समरूपी) होती हैं। ऐसे उदाहरण ग्रीन-ग्रिफ़िथ-लैंग अनुमान में उपसमुच्चय Y की आवश्यकता को दर्शाते हैं।
 
[[जेट (गणित)]] अवकल की तकनीक का उपयोग करते हुए, [[यम-टोंग सिउ]], [[जीन-पियरे डेमेली]] और अन्य द्वारा प्रगति की श्रृंखला के लिए, अतिपरवलयिकता पर अनुमान पर्याप्त उच्च डिग्री के हाइपरसर्फेस के लिए जाना जाता है। उदाहरण के लिए, डिवेरियो, मर्कर और रूसो ने दिखाया कि कम से कम 2<sup>''n''5</sup> डिग्री की '''CP'''<sup>''n''+1</sup> में सामान्य हाइपरसर्फेस ग्रीन-ग्रिफिथ्स-लैंग अनुमान को संतुष्ट करती है।<ref>Diverio, Merker and Rousseau (2010).</ref> (सामान्य का अर्थ है कि यह ऐसे सभी हाइपरसर्फेस के प्रक्षेप्य समष्टि के निचले-आयामी बीजगणितीय उपसमुच्चय के सीमित संघ के बाहर दी गई डिग्री के सभी हाइपरसर्फेस के लिए प्रारम्भ होता है।) 2016 में, ब्रोटबेक ने <ref>Brotbek (2017)</ref> व्रोनस्कियन अवकल समीकरणों के उपयोग के आधार पर, उच्च डिग्री के सामान्य हाइपरसर्फेस की अतिपरवलयिक के लिए कोबायाशी अनुमान का प्रमाण दिया; या डेंग और डेमेली द्वारा स्पष्ट डिग्री सीमाएं आरबिटरेरी आयाम में प्राप्त की गई हैं, उदाहरण के लिए [''(en)<sup>2n+2</sup>/3'']<ref>Demailly (2018)</ref> डिग्री के लिए श्रेष्ठ सीमाएं निम्न आयामों में जानी जाती हैं।


[[जेट (गणित)]] अंतर की तकनीक का उपयोग करते हुए, [[यम-टोंग सिउ]], [[जीन-पियरे डेमेली]] और अन्य द्वारा प्रगति की  श्रृंखला के लिए धन्यवाद, हाइपरबोलिसिटी पर अनुमान पर्याप्त उच्च डिग्री के हाइपरसर्फेस के लिए जाना जाता है। उदाहरण के लिए, डिवेरियो, मर्कर और रूसो ने दिखाया कि 'सीपी' में  सामान्य हाइपरसर्फेस<sup>n+1</sup>डिग्री कम से कम 2<sup>n<sup>5</sup></sup> ग्रीन-ग्रिफिथ्स-लैंग अनुमान को संतुष्ट करता है।<ref>Diverio, Merker and Rousseau (2010).</ref> (सामान्य का अर्थ है कि यह ऐसे सभी हाइपरसर्फेस के प्रक्षेप्य स्थान के निचले-आयामी बीजगणितीय उपसमुच्चय के  सीमित संघ के बाहर दी गई डिग्री के सभी हाइपरसर्फेस के लिए लागू होता है।) 2016 में, ब्रोटबेक <ref>Brotbek (2017)</ref> व्रोनस्कियन अंतर समीकरणों के उपयोग के आधार पर, उच्च डिग्री के सामान्य हाइपरसर्फेस की अतिशयोक्ति के लिए कोबायाशी अनुमान का प्रमाण दिया; हां डेंग और डेमेली द्वारा स्पष्ट डिग्री सीमाएं मनमाने आयाम में प्राप्त की गई हैं, उदाहरण के लिए। [(एन)<sup>2n+2</sup>/3] बाद वाले द्वारा।<ref>Demailly (2018)</ref> डिग्री के लिए बेहतर सीमाएं निम्न आयामों में जानी जाती हैं।
[[माइकल मैकक्विलन (गणितज्ञ)]] ने सामान्य प्रकार की प्रत्येक सम्मिश्र प्रक्षेप्य सतह के लिए ग्रीन-ग्रिफ़िथ-लैंग अनुमान को सिद्ध किया, जिनकी [[चेर्न संख्या|चेर्न संख्याएँ]] ''c''<sub>1</sub><sup>2</sup> > ''c''<sub>2</sub> को संतुष्ट करती हैं।<ref>McQuillan (1998).</ref> सामान्य प्रकार की आरबिटरेरी वैरायटी X के लिए, डिमेली ने दिखाया कि प्रत्येक होलोमोर्फिक मानचित्र '''C'''→ ''X'' कुछ (वास्तव में, कई) बीजगणितीय अवकल समीकरणों को संतुष्ट करता है।<ref>Demailly (2011), Theorem 0.5.</ref>  


[[माइकल मैकक्विलन (गणितज्ञ)]] ने सामान्य प्रकार की प्रत्येक जटिल प्रक्षेप्य सतह के लिए ग्रीन-ग्रिफ़िथ-लैंग अनुमान को सिद्ध किया, जिनकी [[चेर्न संख्या]]एँ संतुष्ट होती हैं<sub>1</sub><sup>2</sup> > सी<sub>2</sub>.<ref>McQuillan (1998).</ref> सामान्य प्रकार की  मनमानी किस्म X के लिए, डिमेली ने दिखाया कि प्रत्येक होलोमोर्फिक मानचित्र 'C'→<ref>Demailly (2011), Theorem 0.5.</ref>
विपरीत दिशा में, कोबायाशी ने अनुमान लगाया कि कैलाबी-याउ मैनिफोल्ड्स के लिए कोबायाशी स्यूडोमेट्रिक समान रूप से शून्य है। [[K3 सतह|K3 सतहों]] की स्थिति में यह सत्य है, इसका उपयोग करते हुए प्रत्येक प्रक्षेप्य K3 सतह इलिप्टिक वक्रों द्वारा कवर की जाती है।<ref>Voisin (2003), Lemma 1.51.</ref> अधिक सामान्यतः, कैम्पाना ने त्रुटिहीन अनुमान दिया कि कौन सी सम्मिश्र प्रक्षेप्य विविधता X में कोबायाशी स्यूडोमेट्रिक शून्य के समान है। अर्थात्, यह इस अर्थ में X के 'विशेष' होने के समान होना चाहिए कि X के निकट सामान्य प्रकार के धनात्मक-आयामी ओरबीफोल्ड पर कोई तर्कसंगत कंपन नहीं है।<ref>Campana (2004), Conjecture 9.2,</ref>
विपरीत दिशा में, कोबायाशी ने अनुमान लगाया कि कैलाबी-याउ मैनिफोल्ड्स के लिए कोबायाशी स्यूडोमेट्रिक समान रूप से शून्य है। [[K3 सतह]]ों के मामले में यह सच है, इसका उपयोग करते हुए प्रत्येक प्रक्षेप्य K3 सतह अण्डाकार वक्रों के  परिवार द्वारा कवर की जाती है।<ref>Voisin (2003), Lemma 1.51.</ref> अधिक आम तौर पर, कैम्पाना ने सटीक अनुमान दिया कि कौन सी जटिल प्रक्षेप्य किस्मों ्स में कोबायाशी स्यूडोमेट्रिक शून्य के बराबर है। अर्थात्, यह इस अर्थ में ्स के 'विशेष' होने के बराबर होना चाहिए कि ्स के पास सामान्य प्रकार के सकारात्मक-आयामी कक्षा पर कोई तर्कसंगत कंपन नहीं है।<ref>Campana (2004), Conjecture 9.2,</ref>


== [[संख्या सिद्धांत]] के साथ सादृश्य ==
== [[संख्या सिद्धांत]] के साथ सादृश्य ==
प्रक्षेप्य किस्म X के लिए, होलोमोर्फिक मानचित्र 'C' → X का अध्ययन अध्ययन के साथ कुछ समानता रखता है
प्रक्षेप्य विविधता X के लिए, होलोमोर्फिक मानचित्र '''C''' → X का अध्ययन में संख्या सिद्धांत के केंद्रीय विषय, X के [[तर्कसंगत बिंदु|तर्कसंगत बिंदुओं]] के अध्ययन के साथ कुछ समानता है। इन दोनों विषयों के मध्य संबंध पर कई अनुमान हैं। विशेष रूप से, मान लीजिए कि X [[संख्या क्षेत्र]] k पर प्रक्षेप्य विविधता है। '''C''' में k की एम्बेडिंग निश्चित करें। तब लैंग ने अनुमान लगाया कि कॉम्प्लेक्स मैनिफोल्ड X('''C''') कोबायाशी अतिपरवलयिक है यदि और केवल यदि X के निकट k के प्रत्येक परिमित विस्तार क्षेत्र F के लिए केवल सीमित रूप से कई F-तर्कसंगत बिंदु हैं।
संख्या सिद्धांत का  केंद्रीय विषय, ्स के [[तर्कसंगत बिंदु]]। इन दोनों विषयों के बीच संबंध पर कई अटकलें हैं। विशेष रूप से, मान लीजिए कि X [[संख्या क्षेत्र]] k पर प्रक्षेप्य किस्म है। 'सी' में के की एम्बेडिंग ठीक करें। तब लैंग ने अनुमान लगाया कि कॉम्प्लेक्स मैनिफोल्ड X('C') कोबायाशी अतिशयोक्तिपूर्ण है यदि और केवल यदि यह तर्कसंगत बिंदुओं पर ज्ञात परिणामों के अनुरूप है, विशेष रूप से एबेलियन किस्मों की उप-किस्मों पर फाल्टिंग्स के प्रमेय के साथ।
 
अधिक त्रुटिहीन रूप से, मान लीजिए कि X संख्या क्षेत्र k पर सामान्य प्रकार की प्रक्षेप्य विविधता है। मान लीजिए कि '''असाधारण समुच्चय''' Y सभी अस्थिर होलोमोर्फिक मानचित्रों '''C''' → X की छवियों के युग्मन का [[ज़ारिस्की बंद होना|ज़ारिस्की क्लोजर]] है। ग्रीन-ग्रिफिथ्स-लैंग अनुमान के अनुसार, Y को X (और, विशेष रूप से, X के समान नहीं होना चाहिए) उचित विवृत उपसमुच्चय होना चाहिए। '''दृढ़ लैंग अनुमान''' भविष्यवाणी करता है कि Y को k के ऊपर परिभाषित किया गया है और X - Y के निकट k के प्रत्येक परिमित विस्तार क्षेत्र F के लिए केवल सीमित रूप से कई F-तर्कसंगत बिंदु हैं।<ref>Lang (1986), Conjecture 5.8.</ref>


अधिक सटीक रूप से, मान लीजिए कि X  संख्या क्षेत्र k पर सामान्य प्रकार की  प्रक्षेप्य किस्म है। मान लें कि 'असाधारण सेट' Y सभी गैर-स्थिर होलोमोर्फिक मानचित्रों 'C' → X की छवियों के मिलन का [[ज़ारिस्की बंद होना]] है। ग्रीन-ग्रिफिथ्स-लैंग अनुमान के अनुसार, Y को X (और, विशेष रूप से, X के बराबर नहीं होना चाहिए)। 'मजबूत लैंग अनुमान' भविष्यवाणी करता है कि Y को k के ऊपर परिभाषित किया गया है और X - Y के पास k के प्रत्येक परिमित विस्तार क्षेत्र F के लिए केवल सीमित रूप से कई F-तर्कसंगत बिंदु हैं।<ref>Lang (1986), Conjecture 5.8.</ref>
उसी भावना में, संख्या क्षेत्र k (या, अधिक सामान्यतः, विशेषता शून्य का सीमित रूप से उत्पन्न क्षेत्र k) पर प्रक्षेप्य विविधता X के लिए, कैम्पाना ने अनुमान लगाया कि X ('''C''') का कोबायाशी स्यूडोमेट्रिक समान रूप से शून्य है यदि X में संभावित रूप से सघन तर्कसंगत बिंदु हैं, जिसका अर्थ है कि k का परिमित विस्तार क्षेत्र F है, जैसे कि F-तर्कसंगत बिंदुओं का समुच्चय है।<ref>Campana (2004), Conjecture 9.20.</ref>
उसी भावना में, संख्या क्षेत्र k (या, अधिक सामान्यतः, विशेषता शून्य का सीमित रूप से उत्पन्न क्षेत्र k) पर प्रक्षेप्य विविधता X के लिए, कैम्पाना ने अनुमान लगाया कि X ('C') का कोबायाशी स्यूडोमेट्रिक समान रूप से शून्य है यदि और केवल यदि<ref>Campana (2004), Conjecture 9.20.</ref>


== वेरिएंट ==
== वेरिएंट ==
कैराथोडोरी मीट्रिक जटिल मैनिफोल्ड्स पर और आंतरिक स्यूडोमेट्रिक है, जो यूनिट डिस्क के बजाय यूनिट डिस्क के होलोमोर्फिक मानचित्रों पर आधारित है। कोबायाशी इनफिनिटसिमल स्यूडोमेट्रिक [[फिन्सलर मीट्रिक]] है जिसका संबद्ध दूरी फ़ंक्शन कोबायाशी स्यूडोमेट्रिक है जैसा कि ऊपर परिभाषित किया गया है।<ref>Kobayashi (1998), Theorem 3.5.31.</ref> कोबायाशी-ईसेनमैन छद्म-आयतन रूप जटिल एन-फोल्ड पर आंतरिक [[माप (गणित)]] है, जो एन-आयामी [[पॉलीडिस्क]] से ्स तक होलोमोर्फिक मानचित्रों पर आधारित है। इसे कोबायाशी छद्ममिति से बेहतर समझा जाता है। विशेष रूप से, सामान्य प्रकार की प्रत्येक प्रक्षेप्य विविधता 'माप-हाइपरबोलिक' है, जिसका अर्थ है कि कोबायाशी-ईसेनमैन छद्म-आयतन रूप निम्न-आयामी बीजगणितीय उपसमुच्चय के बाहर सकारात्मक है।<ref>Kobayashi (1998), section 7.2.</ref>
कैराथोडोरी मीट्रिक सम्मिश्र मैनिफोल्ड्स पर अन्य आंतरिक स्यूडोमेट्रिक है, जो यूनिट डिस्क के अतिरिक्त यूनिट डिस्क के होलोमोर्फिक मानचित्रों पर आधारित है। कोबायाशी इनफिनिटसिमल स्यूडोमेट्रिक [[फिन्सलर मीट्रिक]] है जिसका संबद्ध दूरी फलन कोबायाशी स्यूडोमेट्रिक है जैसा कि ऊपर परिभाषित किया गया है।<ref>Kobayashi (1998), Theorem 3.5.31.</ref> कोबायाशी-ईसेनमैन स्यूडो-आयतन रूप सम्मिश्र n-फोल्ड पर आंतरिक [[माप (गणित)]] है, जो n-आयामी [[पॉलीडिस्क]] से X तक होलोमोर्फिक मानचित्रों पर आधारित है। इसे कोबायाशी स्यूडोमेट्रिक से श्रेष्ठ माना जाता है। विशेष रूप से, सामान्य प्रकार की प्रत्येक प्रक्षेप्य विविधता '''माप-अतिपरवलयिक''' है, जिसका अर्थ है कि कोबायाशी-ईसेनमैन स्यूडो-आयतन रूप निम्न-आयामी बीजगणितीय उपसमुच्चय के बाहर धनात्मक है।<ref>Kobayashi (1998), section 7.2.</ref>
फ्लैट [[एफ़िन मैनिफ़ोल्ड]] और प्रोजेक्टिव संरचनाओं के साथ-साथ अधिक सामान्य [[ प्रक्षेप्य संबंध ]] और अनुरूप कनेक्शन के लिए एनालॉगस स्यूडोमेट्रिक्स पर विचार किया गया है।<ref>Kobayashi (1977).</ref>
 
समतल [[एफ़िन मैनिफ़ोल्ड]] और प्रक्षेप्य संरचनाओं के साथ अधिक सामान्य [[ प्रक्षेप्य संबंध |प्रक्षेप्य संबंध]] और अनुरूप कनेक्शन के लिए एनालॉगस स्यूडोमेट्रिक्स पर विचार किया गया है।<ref>Kobayashi (1977).</ref>
 




Line 64: Line 69:
{{Authority control}}
{{Authority control}}


{{DEFAULTSORT:Kahler manifold}}[[Category: बीजगणितीय ज्यामिति]] [[Category: जटिल अनेक गुना]]
{{DEFAULTSORT:Kahler manifold}}
 
 


[[Category: Machine Translated Page]]
[[Category:CS1|Kahler manifold]]
[[Category:Created On 14/07/2023]]
[[Category:Created On 14/07/2023|Kahler manifold]]
[[Category:Machine Translated Page|Kahler manifold]]
[[Category:Pages with script errors|Kahler manifold]]
[[Category:Templates Vigyan Ready|Kahler manifold]]
[[Category:जटिल अनेक गुना|Kahler manifold]]
[[Category:बीजगणितीय ज्यामिति|Kahler manifold]]

Latest revision as of 11:23, 26 July 2023

गणित और विशेष रूप से सम्मिश्र ज्यामिति में, कोबायाशी मीट्रिक स्यूडोमेट्रिक समष्टि है जो आंतरिक रूप से किसी भी समष्टि विविधता से संयोजित होती है। इसे 1967 में शोजी कोबायाशी द्वारा प्रस्तुत किया गया था। कोबायाशी अतिपरवलयिक मैनिफोल्ड्स सम्मिश्र मैनिफोल्ड्स का महत्वपूर्ण वर्ग है, जिसे इस गुण द्वारा परिभाषित किया गया है कि कोबायाशी स्यूडोमेट्रिक समष्टि मीट्रिक है। सम्मिश्र मैनिफोल्ड X की कोबायाशी अतिपरवलयिकता का तात्पर्य है कि सम्मिश्र रेखा C से X तक प्रत्येक होलोमोर्फिक मानचित्र स्थिर है।

परिभाषा

अवधारणा की उत्पत्ति सम्मिश्र विश्‍लेषण में श्वार्ज़ के लेम्मा में निहित है। अर्थात्, यदि f सम्मिश्र संख्या C में संवृत इकाई डिस्क D पर होलोमोर्फिक फलन है, जिस प्रकार f(0) = 0 और |f(z)| D में सभी z के लिए <1 है, तो अवकलज f '(0) का निरपेक्ष मान अधिकतम 1 है। अधिक सामान्यतः, D से स्वयं तक किसी भी होलोमोर्फिक मानचित्र f के लिए (आवश्यक नहीं कि 0 से 0 भेजा जाए), D के किसी भी बिंदु पर f के अवकलज के लिए अधिक विषम ऊपरी सीमा होती है। यद्यपि, सीमा में पोंकारे मीट्रिक के संदर्भ में सरल सूत्रीकरण है, जो गौसियन वक्रता -1 (अतिपरवलयिक ज्यामिति के लिए सममितीय) के साथ D पर रीमैनियन मैनिफोल्ड अथवा जियोडेसिक पूर्णता रीमैनियन मीट्रिक है। अर्थात्: D से प्रत्येक होलोमोर्फिक मानचित्र की दूरी D पर पोंकारे मीट्रिक के संबंध में कम होती जा रही है।

यह सम्मिश्र विश्‍लेषण और ऋणात्मक वक्रता की ज्यामिति के मध्य दृढ़ संबंध का प्रारम्भ है। किसी भी सम्मिश्र विश्‍लेषणात्मक समष्टि X (उदाहरण के लिए सम्मिश्र मैनिफोल्ड) के लिए, कोबायाशी स्यूडोमेट्रिक dX को X पर सबसे बड़े स्यूडोमेट्रिक के रूप में परिभाषित किया गया है, जैसे कि

,

यूनिट डिस्क D से X तक सभी होलोमोर्फिक मानचित्र F के लिए, जहां , D पर पोंकारे मीट्रिक में दूरी को दर्शाता है।[1] इस अर्थ में, यह सूत्र सभी सम्मिश्र समष्टि पर श्वार्ज़ के लेम्मा को सामान्यीकृत करता है; किन्तु यह इस अर्थ में रिक्त हो सकता है कि कोबायाशी स्यूडोमेट्रिक dX समान रूप से शून्य हो सकता है। उदाहरण के लिए, यह समान रूप से शून्य है जब X सम्मिश्र रेखा C है। (ऐसा इसलिए होता है क्योंकि C में आरबिटरेरी रूप से बड़ी डिस्क होती हैं, होलोमोर्फिक मानचित्रों की छवियां fa: D → C आरबिटरेरी रूप से बड़ी धनात्मक संख्याओं के लिए f(z) = az द्वारा दी जाती हैं।)

सम्मिश्र समष्टि X को कोबायाशी अतिपरवलयिक कहा जाता है यदि कोबायाशी स्यूडोमेट्रिक dX मीट्रिक है, जिसका अर्थ है कि X में सभी x ≠ y के लिए dX(x,y) > 0 है। अनौपचारिक रूप से, इसका अर्थ है कि X में होलोमोर्फिक रूप से मैपिंग करने वाली डिस्क के आकार पर वास्तविक सीमा होती है। इन शब्दों में, श्वार्ज़ की लेम्मा कहती है कि यूनिट डिस्क D कोबायाशी अतिपरवलयिक है, और अधिक त्रुटिहीन रूप से D पर कोबायाशी मीट्रिक पूर्णतः पोंकारे मीट्रिक है। सिद्धांत और अधिक रुचिकर हो जाता है क्योंकि कोबायाशी अतिपरवलयिक मैनिफ़ोल्ड के अधिक उदाहरण मिलते हैं। (धनात्मक आयाम की वास्तविक विविधता में इस अर्थ में कभी भी कोई आंतरिक मीट्रिक नहीं होता है, क्योंकि इसका भिन्नता समूह इसकी अनुमति देने के लिए अधिक बड़ा है।)

उदाहरण

  1. सम्मिश्र समष्टि का प्रत्येक होलोमोर्फिक मानचित्र f: X → Y, X और Y के कोबायाशी स्यूडोमेट्रिक्स के संबंध में दूरी कम कर रहा है। इसका तात्पर्य यह है कि यदि सम्मिश्र समष्टि Y में दो बिंदु p और q को होलोमोर्फिक मानचित्र C → Y की श्रृंखला से जोड़ा जाता है, तो dY(p,q) = 0, dC का उपयोग करना समान रूप से शून्य है। यह सम्मिश्र मैनिफोल्ड्स के कई उदाहरण देता है जिसके लिए कोबायाशी स्यूडोमेट्रिक समान रूप से शून्य है: जिसमें सम्मिश्र प्रक्षेप्य रेखा CP1 या अधिक सामान्यतः सम्मिश्र प्रक्षेप्य समष्टि CPn, C−{0} (घातीय फलन C → C−{0} का उपयोग करके), इलिप्टिक वक्र, अथवा अधिक सामान्यतः समष्टि टोरस सम्मिलित हैं।
  2. कोबायाशी अतिपरवलयिकता को संवृत उपसमुच्चय या विवृत उपसमुच्चय सम्मिश्र उपसमष्टि के मार्ग के अंतर्गत संरक्षित किया जाता है। उदाहरण के लिए, यह इस प्रकार है कि Cn में कोई भी परिबद्ध डोमेन (गणितीय विश्लेषण) अतिपरवलयिक है।
  3. सम्मिश्र समष्टि कोबायाशी अतिपरवलयिक है यदि इसकी यूनिवर्सल कवरिंग समष्टि कोबायाशी अतिपरवलयिक है।[2] यह अतिपरवलयिक सम्मिश्र वक्रों के कई उदाहरण देता है, क्योंकि एकरूपता प्रमेय से ज्ञात होता है कि अधिकांश सम्मिश्र वक्रों (जिन्हें रीमैन सतहें भी कहा जाता है) में डिस्क D के लिए यूनिवर्सल कवरिंग समरूपी होती है। विशेष रूप से, जीनस (गणित) का प्रत्येक कॉम्पैक्ट सम्मिश्र वक्र कम से कम 2 अतिपरवलयिक होता है, जैसा कि C में 2 अथवा अधिक बिंदुओं का पूरक होता है।

मूल परिणाम

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

ब्रॉडी का प्रमेय कहता है कि सघन सम्मिश्र समष्टि X कोबायाशी अतिपरवलयिक है यदि प्रत्येक होलोमोर्फिक मानचित्र C → X स्थिर है।[3] अनुप्रयोग यह है कि कॉम्पैक्ट सम्मिश्र समष्टि के सदस्यों के लिए अतिपरवलयिकता (यूक्लिडियन टोपोलॉजी में) संवृत स्थिति है।[4] मार्क ली ग्रीन ने कॉम्पैक्ट कॉम्प्लेक्स टोरस के विवृत सम्मिश्र उप-समष्टि X के लिए अतिपरवलयिकता को चिह्नित करने के लिए ब्रॉडी के तर्क का उपयोग किया: यदि इसमें धनात्मक-आयामी अर्धटोरस का कोई अनुवाद नहीं है तो X अतिपरवलयिक है।[5]

यदि सम्मिश्र मैनिफोल्ड X में हर्मिटियन मीट्रिक है जिसमें होलोमोर्फिक अनुभागीय वक्रता ऊपर ऋणात्मक स्थिरांक से परिबद्ध है, तो X कोबायाशी अतिपरवलयिक है।[6] आयाम 1 में, इसे लार्स अहलफोर्स-श्वार्ज़ लेम्मा कहा जाता है।

ग्रीन-ग्रिफ़िथ-लैंग अनुमान

उपरोक्त परिणाम इस तथ्य का पूर्ण विवरण देते हैं कि सम्मिश्र आयाम 1 में कोबायाशी अतिपरवलयिक कौन से सम्मिश्र मैनिफोल्ड हैं। उच्च आयामों में चित्र कम स्पष्ट होता है। केंद्रीय संवृत समस्या ग्रीन-ग्रिफिथ्स-लैंग अनुमान है: यदि X सामान्य प्रकार की सम्मिश्र प्रक्षेप्य विविधता है, तो विवृत बीजगणितीय उपसमुच्चय Y होना चाहिए जो X के समान नहीं है। इस प्रकार प्रत्येक अस्थिर होलोमोर्फिक मानचित्र C → X, Y में मैप होता है।[7]

हर्बर्ट क्लेमेंस और क्लेयर वोइसिन ने दिखाया कि कम से कम 2, n के लिए तथा 2n+1 डिग्री d के CPn+1 में अधिक सामान्य हाइपरसर्फेस X में यह गुण होता है कि X की प्रत्येक संवृत उप-विविधता सामान्य प्रकार की होती है।[8] (अधिक सामान्य अर्थ यह है कि गुण ऐसे सभी हाइपरसर्फेस के प्रक्षेप्य समष्टि के निचले-आयामी बीजगणितीय उपसमुच्चय के गणनीय संघ के बाहर डिग्री d के सभी हाइपरसर्फेस के लिए होता है।) परिणामस्वरूप, ग्रीन-ग्रिफिथ्स-लैंग अनुमान का अर्थ यह होगा कि कम से कम 2n+1 डिग्री का अधिक सामान्य हाइपरसर्फेस कोबायाशी अतिपरवलयिक है। ध्यान दें कि किसी दी गयी डिग्री की सभी स्मूथ हाइपरसर्फेस के अतिपरवलयिक होने की आशा नहीं की जा सकती है, उदाहरण के लिए क्योंकि कुछ हाइपरसर्फेस में रेखाएँ (CP1 के लिए समरूपी) होती हैं। ऐसे उदाहरण ग्रीन-ग्रिफ़िथ-लैंग अनुमान में उपसमुच्चय Y की आवश्यकता को दर्शाते हैं।

जेट (गणित) अवकल की तकनीक का उपयोग करते हुए, यम-टोंग सिउ, जीन-पियरे डेमेली और अन्य द्वारा प्रगति की श्रृंखला के लिए, अतिपरवलयिकता पर अनुमान पर्याप्त उच्च डिग्री के हाइपरसर्फेस के लिए जाना जाता है। उदाहरण के लिए, डिवेरियो, मर्कर और रूसो ने दिखाया कि कम से कम 2n5 डिग्री की CPn+1 में सामान्य हाइपरसर्फेस ग्रीन-ग्रिफिथ्स-लैंग अनुमान को संतुष्ट करती है।[9] (सामान्य का अर्थ है कि यह ऐसे सभी हाइपरसर्फेस के प्रक्षेप्य समष्टि के निचले-आयामी बीजगणितीय उपसमुच्चय के सीमित संघ के बाहर दी गई डिग्री के सभी हाइपरसर्फेस के लिए प्रारम्भ होता है।) 2016 में, ब्रोटबेक ने [10] व्रोनस्कियन अवकल समीकरणों के उपयोग के आधार पर, उच्च डिग्री के सामान्य हाइपरसर्फेस की अतिपरवलयिक के लिए कोबायाशी अनुमान का प्रमाण दिया; या डेंग और डेमेली द्वारा स्पष्ट डिग्री सीमाएं आरबिटरेरी आयाम में प्राप्त की गई हैं, उदाहरण के लिए [(en)2n+2/3][11] डिग्री के लिए श्रेष्ठ सीमाएं निम्न आयामों में जानी जाती हैं।

माइकल मैकक्विलन (गणितज्ञ) ने सामान्य प्रकार की प्रत्येक सम्मिश्र प्रक्षेप्य सतह के लिए ग्रीन-ग्रिफ़िथ-लैंग अनुमान को सिद्ध किया, जिनकी चेर्न संख्याएँ c12 > c2 को संतुष्ट करती हैं।[12] सामान्य प्रकार की आरबिटरेरी वैरायटी X के लिए, डिमेली ने दिखाया कि प्रत्येक होलोमोर्फिक मानचित्र C→ X कुछ (वास्तव में, कई) बीजगणितीय अवकल समीकरणों को संतुष्ट करता है।[13]

विपरीत दिशा में, कोबायाशी ने अनुमान लगाया कि कैलाबी-याउ मैनिफोल्ड्स के लिए कोबायाशी स्यूडोमेट्रिक समान रूप से शून्य है। K3 सतहों की स्थिति में यह सत्य है, इसका उपयोग करते हुए प्रत्येक प्रक्षेप्य K3 सतह इलिप्टिक वक्रों द्वारा कवर की जाती है।[14] अधिक सामान्यतः, कैम्पाना ने त्रुटिहीन अनुमान दिया कि कौन सी सम्मिश्र प्रक्षेप्य विविधता X में कोबायाशी स्यूडोमेट्रिक शून्य के समान है। अर्थात्, यह इस अर्थ में X के 'विशेष' होने के समान होना चाहिए कि X के निकट सामान्य प्रकार के धनात्मक-आयामी ओरबीफोल्ड पर कोई तर्कसंगत कंपन नहीं है।[15]

संख्या सिद्धांत के साथ सादृश्य

प्रक्षेप्य विविधता X के लिए, होलोमोर्फिक मानचित्र C → X का अध्ययन में संख्या सिद्धांत के केंद्रीय विषय, X के तर्कसंगत बिंदुओं के अध्ययन के साथ कुछ समानता है। इन दोनों विषयों के मध्य संबंध पर कई अनुमान हैं। विशेष रूप से, मान लीजिए कि X संख्या क्षेत्र k पर प्रक्षेप्य विविधता है। C में k की एम्बेडिंग निश्चित करें। तब लैंग ने अनुमान लगाया कि कॉम्प्लेक्स मैनिफोल्ड X(C) कोबायाशी अतिपरवलयिक है यदि और केवल यदि X के निकट k के प्रत्येक परिमित विस्तार क्षेत्र F के लिए केवल सीमित रूप से कई F-तर्कसंगत बिंदु हैं।

अधिक त्रुटिहीन रूप से, मान लीजिए कि X संख्या क्षेत्र k पर सामान्य प्रकार की प्रक्षेप्य विविधता है। मान लीजिए कि असाधारण समुच्चय Y सभी अस्थिर होलोमोर्फिक मानचित्रों C → X की छवियों के युग्मन का ज़ारिस्की क्लोजर है। ग्रीन-ग्रिफिथ्स-लैंग अनुमान के अनुसार, Y को X (और, विशेष रूप से, X के समान नहीं होना चाहिए) उचित विवृत उपसमुच्चय होना चाहिए। दृढ़ लैंग अनुमान भविष्यवाणी करता है कि Y को k के ऊपर परिभाषित किया गया है और X - Y के निकट k के प्रत्येक परिमित विस्तार क्षेत्र F के लिए केवल सीमित रूप से कई F-तर्कसंगत बिंदु हैं।[16]

उसी भावना में, संख्या क्षेत्र k (या, अधिक सामान्यतः, विशेषता शून्य का सीमित रूप से उत्पन्न क्षेत्र k) पर प्रक्षेप्य विविधता X के लिए, कैम्पाना ने अनुमान लगाया कि X (C) का कोबायाशी स्यूडोमेट्रिक समान रूप से शून्य है यदि X में संभावित रूप से सघन तर्कसंगत बिंदु हैं, जिसका अर्थ है कि k का परिमित विस्तार क्षेत्र F है, जैसे कि F-तर्कसंगत बिंदुओं का समुच्चय है।[17]

वेरिएंट

कैराथोडोरी मीट्रिक सम्मिश्र मैनिफोल्ड्स पर अन्य आंतरिक स्यूडोमेट्रिक है, जो यूनिट डिस्क के अतिरिक्त यूनिट डिस्क के होलोमोर्फिक मानचित्रों पर आधारित है। कोबायाशी इनफिनिटसिमल स्यूडोमेट्रिक फिन्सलर मीट्रिक है जिसका संबद्ध दूरी फलन कोबायाशी स्यूडोमेट्रिक है जैसा कि ऊपर परिभाषित किया गया है।[18] कोबायाशी-ईसेनमैन स्यूडो-आयतन रूप सम्मिश्र n-फोल्ड पर आंतरिक माप (गणित) है, जो n-आयामी पॉलीडिस्क से X तक होलोमोर्फिक मानचित्रों पर आधारित है। इसे कोबायाशी स्यूडोमेट्रिक से श्रेष्ठ माना जाता है। विशेष रूप से, सामान्य प्रकार की प्रत्येक प्रक्षेप्य विविधता माप-अतिपरवलयिक है, जिसका अर्थ है कि कोबायाशी-ईसेनमैन स्यूडो-आयतन रूप निम्न-आयामी बीजगणितीय उपसमुच्चय के बाहर धनात्मक है।[19]

समतल एफ़िन मैनिफ़ोल्ड और प्रक्षेप्य संरचनाओं के साथ अधिक सामान्य प्रक्षेप्य संबंध और अनुरूप कनेक्शन के लिए एनालॉगस स्यूडोमेट्रिक्स पर विचार किया गया है।[20]


टिप्पणियाँ

  1. ↑ Kobayashi (2005), sections IV.1 and VII.2.
  2. ↑ Kobayashi (2005), Proposition IV.1.6.
  3. ↑ Kobayashi (1998), Theorem 3.6.3.
  4. ↑ Kobayashi (1998), Theorem 3.11.1,
  5. ↑ Kobayashi (1998), Theorem 3.7.12.
  6. ↑ Kobayashi (2005), section III.2.
  7. ↑ Demailly (1997), Conjecture 3.7.
  8. ↑ Voisin (1996).
  9. ↑ Diverio, Merker and Rousseau (2010).
  10. ↑ Brotbek (2017)
  11. ↑ Demailly (2018)
  12. ↑ McQuillan (1998).
  13. ↑ Demailly (2011), Theorem 0.5.
  14. ↑ Voisin (2003), Lemma 1.51.
  15. ↑ Campana (2004), Conjecture 9.2,
  16. ↑ Lang (1986), Conjecture 5.8.
  17. ↑ Campana (2004), Conjecture 9.20.
  18. ↑ Kobayashi (1998), Theorem 3.5.31.
  19. ↑ Kobayashi (1998), section 7.2.
  20. ↑ Kobayashi (1977).


संदर्भ

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=कोबायाशी_मीट्रिक&oldid=225217’