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

From Vigyanwiki
No edit summary
No edit summary
 
(6 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)| D में सभी z के लिए <1 है, तो अवकलज f '(0) का निरपेक्ष मान अधिकतम 1 है। अधिक सामान्यतः, D से स्वयं तक किसी भी होलोमोर्फिक मानचित्र f के लिए (आवश्यक नहीं कि 0 से 0 भेजा जाए), D के किसी भी बिंदु पर f के अवकलज के लिए अधिक विषम ऊपरी सीमा होती है। यद्यपि, सीमा में पोंकारे मीट्रिक के संदर्भ में सरल सूत्रीकरण है, जो गौसियन वक्रता -1 ([[अतिशयोक्तिपूर्ण विमान|अतिपरवलयिक ज्यामिति]] के लिए सममितीय) के साथ D पर रीमैनियन मैनिफोल्ड अथवा जियोडेसिक पूर्णता [[रीमैनियन मीट्रिक]] है। अर्थात्: D से प्रत्येक होलोमोर्फिक मानचित्र की दूरी D पर पोंकारे मीट्रिक के संबंध में कम होती जा रही है।
अवधारणा की उत्पत्ति [[जटिल विश्लेषण|सम्मिश्र विश्‍लेषण]] में श्वार्ज़ के लेम्मा में निहित है। अर्थात्, यदि 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>,
यूनिट डिस्क 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 द्वारा दी जाती हैं।)
यूनिट डिस्क 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 द्वारा दी जाती हैं।)


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


==उदाहरण==
==उदाहरण==
#सम्मिश्र समष्टि का प्रत्येक होलोमोर्फिक मानचित्र ''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} का उपयोग करके), [[अण्डाकार वक्र|इलिप्टिक वक्र]], अथवा अधिक सामान्यतः [[जटिल टोरस|समष्टि टोरस]] सम्मिलित हैं।
#सम्मिश्र समष्टि का प्रत्येक होलोमोर्फिक मानचित्र ''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} का उपयोग करके), [[अण्डाकार वक्र|इलिप्टिक वक्र]], अथवा अधिक सामान्यतः [[जटिल टोरस|समष्टि टोरस]] सम्मिलित हैं।
#कोबायाशी अतिपरवलयिकता को संवृत उपसमुच्चय या [[बंद उपसमुच्चय|विवृत उपसमुच्चय]] सम्मिश्र उपसमष्टि के मार्ग के अंतर्गत संरक्षित किया जाता है। उदाहरण के लिए, यह इस प्रकार है कि '''C'''<sup>''n''</sup> में कोई भी परिबद्ध [[डोमेन (गणितीय विश्लेषण)]] अतिपरवलयिक है।
#कोबायाशी अतिपरवलयिकता को संवृत उपसमुच्चय या [[बंद उपसमुच्चय|विवृत उपसमुच्चय]] सम्मिश्र उपसमष्टि के मार्ग के अंतर्गत संरक्षित किया जाता है। उदाहरण के लिए, यह इस प्रकार है कि '''C'''<sup>''n''</sup> में कोई भी परिबद्ध [[डोमेन (गणितीय विश्लेषण)]] अतिपरवलयिक है।
#सम्मिश्र समष्टि कोबायाशी अतिपरवलयिक है यदि इसकी [[सार्वभौमिक आवरण स्थान|यूनिवर्सल कवरिंग समष्टि]] कोबायाशी अतिपरवलयिक है।<ref>Kobayashi (2005), Proposition IV.1.6.</ref> यह अतिपरवलयिक सम्मिश्र वक्रों के कई उदाहरण देता है, क्योंकि [[एकरूपीकरण प्रमेय|एकरूपता प्रमेय]] से ज्ञात होता है कि अधिकांश सम्मिश्र वक्रों (जिन्हें [[रीमैन सतह|रीमैन सतहें]] भी कहा जाता है) में डिस्क D के लिए यूनिवर्सल कवरिंग समरूपी होती है। विशेष रूप से, [[जीनस (गणित)]] का प्रत्येक कॉम्पैक्ट सम्मिश्र वक्र कम से कम 2 अतिपरवलयिक होता है, जैसा कि '''C''' में 2 अथवा अधिक बिंदुओं का पूरक होता है।
#सम्मिश्र समष्टि कोबायाशी अतिपरवलयिक है यदि इसकी [[सार्वभौमिक आवरण स्थान|यूनिवर्सल कवरिंग समष्टि]] कोबायाशी अतिपरवलयिक है।<ref>Kobayashi (2005), Proposition IV.1.6.</ref> यह अतिपरवलयिक सम्मिश्र वक्रों के कई उदाहरण देता है, क्योंकि [[एकरूपीकरण प्रमेय|एकरूपता प्रमेय]] से ज्ञात होता है कि अधिकांश सम्मिश्र वक्रों (जिन्हें [[रीमैन सतह|रीमैन सतहें]] भी कहा जाता है) में डिस्क D के लिए यूनिवर्सल कवरिंग समरूपी होती है। विशेष रूप से, [[जीनस (गणित)]] का प्रत्येक कॉम्पैक्ट सम्मिश्र वक्र कम से कम 2 अतिपरवलयिक होता है, जैसा कि '''C''' में 2 अथवा अधिक बिंदुओं का पूरक होता है।


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


ब्रॉडी का प्रमेय कहता है कि सघन सम्मिश्र समष्टि 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>
ब्रॉडी का प्रमेय कहता है कि सघन सम्मिश्र समष्टि 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>


यदि सम्मिश्र मैनिफोल्ड X में हर्मिटियन मीट्रिक है जिसमें होलोमोर्फिक अनुभागीय वक्रता ऊपर ऋणात्मक स्थिरांक से परिबद्ध है, तो X कोबायाशी अतिपरवलयिक है।<ref>Kobayashi (2005), section III.2.</ref> आयाम 1 में, इसे [[लार्स अहलफोर्स]]-श्वार्ज़ लेम्मा कहा जाता है।
यदि सम्मिश्र मैनिफोल्ड X में हर्मिटियन मीट्रिक है जिसमें होलोमोर्फिक अनुभागीय वक्रता ऊपर ऋणात्मक स्थिरांक से परिबद्ध है, तो X कोबायाशी अतिपरवलयिक है।<ref>Kobayashi (2005), section III.2.</ref> आयाम 1 में, इसे [[लार्स अहलफोर्स]]-श्वार्ज़ लेम्मा कहा जाता है।


==ग्रीन-ग्रिफ़िथ-लैंग अनुमान==
==ग्रीन-ग्रिफ़िथ-लैंग अनुमान==
उपरोक्त परिणाम इस तथ्य का पूर्ण विवरण देते हैं कि सम्मिश्र आयाम 1 में कोबायाशी अतिपरवलयिक कौन से सम्मिश्र मैनिफोल्ड हैं। उच्च आयामों में चित्र कम स्पष्ट होता है। केंद्रीय संवृत समस्या ग्रीन-[[फिलिप ग्रिफिथ्स|ग्रिफिथ्स]]-[[सर्ज लैंग|लैंग]] अनुमान है: यदि X [[सामान्य प्रकार]] की सम्मिश्र [[प्रक्षेप्य किस्म|प्रक्षेप्य विविधता]] है, तो विवृत बीजगणितीय उपसमुच्चय Y होना चाहिए जो X के समान नहीं है। इस प्रकार प्रत्येक अस्थिर होलोमोर्फिक मानचित्र C → ''X,'' ''Y'' में मैप होता है।<ref>Demailly (1997), Conjecture 3.7.</ref>
उपरोक्त परिणाम इस तथ्य का पूर्ण विवरण देते हैं कि सम्मिश्र आयाम 1 में कोबायाशी अतिपरवलयिक कौन से सम्मिश्र मैनिफोल्ड हैं। उच्च आयामों में चित्र कम स्पष्ट होता है। केंद्रीय संवृत समस्या ग्रीन-[[फिलिप ग्रिफिथ्स|ग्रिफिथ्स]]-[[सर्ज लैंग|लैंग]] अनुमान है: यदि X [[सामान्य प्रकार]] की सम्मिश्र [[प्रक्षेप्य किस्म|प्रक्षेप्य विविधता]] है, तो विवृत बीजगणितीय उपसमुच्चय Y होना चाहिए जो X के समान नहीं है। इस प्रकार प्रत्येक अस्थिर होलोमोर्फिक मानचित्र '''C''' → ''X,'' ''Y'' में मैप होता है।<ref>Demailly (1997), Conjecture 3.7.</ref>


[[हर्बर्ट क्लेमेंस]] और [[ क्लेयर पड़ोसी |क्लेयर वोइसिन]] ने दिखाया कि कम से कम 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, n के लिए तथा 2n+1 डिग्री d के '''CP'''<sup>''n''+1</sup> में अधिक सामान्य [[ऊनविम पृष्ठ|हाइपरसर्फेस]] X में यह गुण होता है कि X की प्रत्येक संवृत उप-विविधता सामान्य प्रकार की होती है।<ref>Voisin (1996).</ref> (अधिक सामान्य अर्थ यह है कि गुण ऐसे सभी हाइपरसर्फेस के प्रक्षेप्य समष्टि के निचले-आयामी बीजगणितीय उपसमुच्चय के [[गणनीय]] संघ के बाहर डिग्री d के सभी हाइपरसर्फेस के लिए होता है।) परिणामस्वरूप, ग्रीन-ग्रिफिथ्स-लैंग अनुमान का अर्थ यह होगा कि कम से कम 2n+1 डिग्री का अधिक सामान्य हाइपरसर्फेस कोबायाशी अतिपरवलयिक है। ध्यान दें कि किसी दी गयी डिग्री की सभी [[सुचारू योजना|स्मूथ]] हाइपरसर्फेस के अतिपरवलयिक होने की आशा नहीं की जा सकती है, उदाहरण के लिए क्योंकि कुछ हाइपरसर्फेस में रेखाएँ ('''CP'''<sup>1</sup> के लिए समरूपी) होती हैं। ऐसे उदाहरण ग्रीन-ग्रिफ़िथ-लैंग अनुमान में उपसमुच्चय Y की आवश्यकता को दर्शाते हैं।


[[जेट (गणित)]] अंतर की तकनीक का उपयोग करते हुए, [[यम-टोंग सिउ]], [[जीन-पियरे डेमेली]] और अन्य द्वारा प्रगति की श्रृंखला के लिए धन्यवाद, हाइपरबोलिसिटी पर अनुमान पर्याप्त उच्च डिग्री के हाइपरसर्फेस के लिए जाना जाता है। उदाहरण के लिए, डिवेरियो, मर्कर और रूसो ने दिखाया कि 'सीपी' में सामान्य हाइपरसर्फेस<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> डिग्री के लिए बेहतर सीमाएं निम्न आयामों में जानी जाती हैं।
[[जेट (गणित)]] अवकल की तकनीक का उपयोग करते हुए, [[यम-टोंग सिउ]], [[जीन-पियरे डेमेली]] और अन्य द्वारा प्रगति की श्रृंखला के लिए, अतिपरवलयिकता पर अनुमान पर्याप्त उच्च डिग्री के हाइपरसर्फेस के लिए जाना जाता है। उदाहरण के लिए, डिवेरियो, मर्कर और रूसो ने दिखाया कि कम से कम 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> डिग्री के लिए श्रेष्ठ सीमाएं निम्न आयामों में जानी जाती हैं।


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