सम्मिश्र मैनिफोल्ड: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Manifold}}
{{Short description|Manifold}}
विभेदक ज्यामिति और [[ जटिल ज्यामिति |जटिल ज्यामिति]] में, जटिल [[ कई गुना |मैनिफोल्ड खुली]] [[ यूनिट डिस्क खोलें |इकाई डिस्क]] के लिए [[चार्ट (टोपोलॉजी)]] के [[एटलस (टोपोलॉजी)]] के साथ मैनिफोल्ड होता है।<ref>One must use the open unit disc in <math>\mathbb{C}^n</math> as the model space instead of <math>\mathbb{C}^n</math> because these are not isomorphic, unlike for real manifolds.</ref> जिसमे <math>\mathbb{C}^n</math>, जैसे कि [[संक्रमण मानचित्र]] [[होलोमोर्फिक फ़ंक्शन|आप्रतिबिम्बी]] फंक्शन होते हैं।
अवकल ज्यामिति और समष्टि ज्यामिति में, समष्टि मैनिफोल्ड विवृत इकाई डिस्क के लिए चार्ट (टोपोलॉजी) के एटलस (टोपोलॉजी) के साथ मैनिफोल्ड होता है।<ref>One must use the open unit disc in <math>\mathbb{C}^n</math> as the model space instead of <math>\mathbb{C}^n</math> because these are not isomorphic, unlike for real manifolds.</ref> जिसमे <math>\mathbb{C}^n</math>, जैसे कि संक्रमण मानचित्र आप्रतिबिम्बी फलन होते हैं।


जटिल मैनिफोल्ड शब्द का प्रयोग होता है उपरोक्त अर्थ में [[लगभग जटिल विविधता]] (जिसे अंकीत जटिल मैनिफोल्ड के रूप में निर्दिष्ट किया जा सकता है) और लगभग जटिल मैनिफोल्ड के अर्थ में किया जाता है।
समष्टि मैनिफोल्ड शब्द का प्रयोग होता है उपरोक्त अर्थ में लगभग समष्टि विविधता (जिसे अंकीत समष्टि मैनिफोल्ड के रूप में निर्दिष्ट किया जा सकता है) और लगभग समष्टि मैनिफोल्ड के अर्थ में किया जाता है।


==जटिल संरचना के निहितार्थ==
==समष्टि संरचना के निहितार्थ==
चूँकि आप्रतिबिम्बी फंक्शन सुचारु कार्यों की समानता में बहुत अधिक कठोर होते हैं, चिकनी और जटिल मैनिफोल्ड के सिद्धांतों में बहुत अलग स्वाद होते हैं: कॉम्पैक्ट जटिल मैनिफोल्ड अलग-अलग मैनिफोल्ड की समानता में [[बीजगणितीय विविधता]] के बहुत निकट होते हैं।
चूँकि आप्रतिबिम्बी फलन सुचारु कार्यों की समानता में बहुत अधिक कठोर होते हैं, स्मूथ और समष्टि मैनिफोल्ड के सिद्धांतों में बहुत अलग स्वाद होते हैं: कॉम्पैक्ट समष्टि मैनिफोल्ड अलग-अलग मैनिफोल्ड की समानता में [[बीजगणितीय विविधता]] के बहुत निकट होते हैं।


उदाहरण के लिए, [[व्हिटनी [[एम्बेडिंग]] प्रमेय]] हमें बताता है कि प्रत्येक चिकनी N-आयामी मैनिफोल्ड को ''''R'''<sup>2''n''</sup>' की चिकनी सबमैनिफोल्ड के रूप में एंबेडिंग सम्मिलित किया जा सकता है। जबकि किसी जटिल मैनिफोल्ड के लिए ' C<sup>n</sup> ' में आप्रतिबिम्बी एम्बेडिंग होना दुर्लभ होता है।. उदाहरण के लिए जटिल मैनिफोल्ड M से जुड़े किसी भी [[ सघन स्थान |सघन स्थान]] पर विचार करें: इस पर कोई भी आप्रतिबिम्बी फंक्शन [[अधिकतम मापांक सिद्धांत]] द्वारा स्थिर किया गया होता है। अब यदि हमारे पास ' C<sup>n</sup>' में M का आप्रतिबिम्बी एम्बेडिंग होता है, तो 'C<sup>n</sup> के समन्वय कार्य M पर गैर-स्थिर आप्रतिबिम्बी फ़ंक्शंस तक सीमित होगा, जो संपीड़नता का खंडन करता है, सिवाय इस स्थितियों के कि M सिर्फ बिंदु है। जटिल मैनिफोल्ड जिन्हें 'C<sup>n</sup> में एम्बेड किया जा सकता है को [[स्टीन मैनिफोल्ड]] कहा जाता है और यह मैनिफोल्ड्स का बहुत ही विशेष वर्ग बनाता है, उदाहरण के लिए, चिकनी जटिल एफ़िन बीजगणितीय किस्में होती है ।
उदाहरण के लिए, व्हिटनी [[एम्बेडिंग]] प्रमेय हमें बताता है कि प्रत्येक स्मूथ N-आयामी मैनिफोल्ड को ''''R'''<sup>2''n''</sup>' की स्मूथ सबमैनिफोल्ड के रूप में एंबेडिंग सम्मिलित किया जा सकता है। जबकि किसी समष्टि मैनिफोल्ड के लिए ' C<sup>n</sup> ' में आप्रतिबिम्बी एम्बेडिंग होना दुर्लभ होता है।. उदाहरण के लिए समष्टि मैनिफोल्ड M से जुड़े किसी भी [[ सघन स्थान |सघन समष्टि]] पर विचार करें: इस पर कोई भी आप्रतिबिम्बी फलन अधिकतम मापांक सिद्धांत द्वारा स्थिर किया गया होता है। अब यदि हमारे पास ' C<sup>n</sup>' में M का आप्रतिबिम्बी एम्बेडिंग होता है, तो 'C<sup>n</sup> के समन्वय कार्य M पर गैर-स्थिर आप्रतिबिम्बी फ़ंक्शंस तक सीमित होगा, जो संपीड़नता का खंडन करता है, सिवाय इस स्थितियों के कि M सिर्फ बिंदु है। समष्टि मैनिफोल्ड जिन्हें 'C<sup>n</sup> में एम्बेड किया जा सकता है को [[स्टीन मैनिफोल्ड]] कहा जाता है और यह मैनिफोल्ड्स का बहुत ही विशेष वर्ग बनाता है, उदाहरण के लिए, स्मूथ समष्टि एफ़िन बीजगणितीय किस्में होती है ।


जटिल मैनिफोल्ड्स का वर्गीकरण भिन्न-भिन्न मैनिफोल्ड्स की समानता में कहीं अधिक सूक्ष्म है। उदाहरण के लिए, जबकि चार के अतिरिक्त अन्य आयामों में, दिए गए टोपोलॉजिकल मैनिफोल्ड में अधिकतम सीमित रूप से कई [[चिकनी संरचना]]एं होती हैं, जटिल संरचना का समर्थन करने वाला टोपोलॉजिकल मैनिफोल्ड अनगिनत जटिल संरचनाओं का समर्थन कर सकता है और अधिकांशतः करता है। [[रीमैन सतह]], जटिल संरचना से सुसज्जित दो आयामी मैनिफोल्ड्स, जिन्हें टोपोलॉजिकल रूप से [[जीनस (गणित)]] द्वारा वर्गीकृत किया गया है, इस घटना का महत्वपूर्ण उदाहरण हैं। किसी दी गई उन्मुख सतह पर जटिल संरचनाओं का सेट, मॉड्यूलो द्विप्रतिद्वन्द्वी तुल्यता, स्वयं जटिल बीजगणितीय विविधता बनाता है जिसे [[मॉड्यूलि स्पेस]] कहा जाता है, जिसकी संरचना सक्रिय अनुसंधान का क्षेत्र बनी हुई है।
समष्टि मैनिफोल्ड्स का वर्गीकरण भिन्न-भिन्न मैनिफोल्ड्स की समानता में कहीं अधिक सूक्ष्म है। उदाहरण के लिए, जबकि चार के अतिरिक्त अन्य आयामों में, दिए गए टोपोलॉजिकल मैनिफोल्ड में अधिकतम सीमित रूप से कई स्मूथ संरचनाएं होती हैं, समष्टि संरचना का समर्थन करने वाला टोपोलॉजिकल मैनिफोल्ड अनगिनत समष्टि संरचनाओं का समर्थन कर सकता है और अधिकांशतः करता है। [[रीमैन सतह]], समष्टि संरचना से सुसज्जित दो आयामी मैनिफोल्ड्स, जिन्हें टोपोलॉजिकल रूप से जीनस (गणित) द्वारा वर्गीकृत किया गया है, इस घटना का महत्वपूर्ण उदाहरण हैं। किसी दी गई उन्मुख सतह पर समष्टि संरचनाओं का सेट, मॉड्यूलो द्विप्रतिद्वन्द्वी तुल्यता, स्वयं समष्टि बीजगणितीय विविधता बनाता है जिसे मॉड्यूलि समष्टि कहा जाता है, जिसकी संरचना सक्रिय अनुसंधान का क्षेत्र बनी हुई है।


चूँकि चार्ट के बीच संक्रमण मानचित्र द्विप्रतिबिम्बी होते हैं, जटिल मैनिफोल्ड, विशेष रूप से, चिकने और विहित रूप से उन्मुख होते हैं (सिर्फ उन्मुख नहीं: 'C<sup>n</sup> के लिए जीव-रूपीय मानचित्र (का उपसमूह) अभिविन्यास देता है, क्योंकि जीव-रूपीय मानचित्र अभिविन्यास-संरक्षित होते हैं)।
चूँकि चार्ट के बीच संक्रमण मानचित्र द्विप्रतिबिम्बी होते हैं, समष्टि मैनिफोल्ड, विशेष रूप से, चिकने और विहित रूप से उन्मुख होते हैं (सिर्फ उन्मुख नहीं: 'C<sup>n</sup> के लिए जीव-रूपीय मानचित्र (का उपसमूह) अभिविन्यास देता है, क्योंकि जीव-रूपीय मानचित्र अभिविन्यास-संरक्षित होते हैं)।


==जटिल मैनिफोल्ड्स के उदाहरण==
==समष्टि मैनिफोल्ड्स के उदाहरण==
* रीमैन सतहें।
* रीमैन सतहें।
* कैलाबी-यॉ कई गुना।
* कैलाबी-यॉ कई गुना।
* दो जटिल मैनिफोल्ड्स का कार्टेशियन उत्पाद।
* दो समष्टि मैनिफोल्ड्स का कार्टेशियन उत्पाद।
* आप्रतिबिम्बी मानचित्र के किसी भी गैर-महत्वपूर्ण मूल्य की व्युत्क्रम छवि।
* आप्रतिबिम्बी मानचित्र के किसी भी गैर-महत्वपूर्ण मूल्य की व्युत्क्रम छवि।


===चिकनी जटिल [[बीजगणितीय किस्में]]===
===स्मूथ समष्टि बीजगणितीय किस्में===
चिकनी जटिल बीजगणितीय किस्में जटिल विविधताएं हैं, जिनमें सम्मलित हैं:
स्मूथ समष्टि बीजगणितीय किस्में समष्टि विविधताएं हैं, जिनमें सम्मलित हैं:
* जटिल वेक्टर स्थान।
* समष्टि सदिश समष्टि।
* [[जटिल प्रक्षेप्य स्थान]],<ref>This means that all complex projective spaces are ''orientable'', in contrast to the real case</ref> P<sup>n</sup>('Cn).
* समष्टि प्रक्षेप्य समष्टि,<ref>This means that all complex projective spaces are ''orientable'', in contrast to the real case</ref> P<sup>n</sup>('Cn).
* जटिल [[ग्रासमैनियन]]।
* समष्टि ग्रासमैनियन।
* जटिल [[झूठ समूह]] जैसे GL(''n'', '''C''') or Sp(''n'', '''C''')।
* समष्टि लाई समूह जैसे GL(''n'', '''C''') or Sp(''n'', '''C''')।
इसी तरह, इनके चतुर्भुज एनालॉग भी जटिल मैनिफोल्ड हैं।
इसी तरह, इनके चतुर्भुज एनालॉग भी समष्टि मैनिफोल्ड हैं।


===बस जुड़ा हुआ===
===संबद्ध ===
सरलता से जुड़े हुए 1-आयामी जटिल मैनिफोल्ड या तो समरूपी हैं:
सरलता से जुड़े हुए 1-आयामी समष्टि मैनिफोल्ड या तो समरूपी हैं:
* Δ, C में इकाई [[डिस्क (गणित)]]
* Δ, C में इकाई डिस्क (गणित)।
* C, जटिल तल
* C, समष्टि तल
* Ĉ, [[रीमैन क्षेत्र]]
* Ĉ, रीमैन क्षेत्र
ध्यान दें कि इनके बीच कुछ समावेशन भी हैं Δ ⊆ C ⊆ Ĉ, किन्तु दूसरी दिशा में कोई गैर-स्थिर मानचित्र नहीं हैं, द्वारा लिउविले का प्रमेय (जटिल विश्लेषण) लिउविले का प्रमेय।
ध्यान दें कि इनके बीच कुछ समावेशन भी हैं Δ ⊆ C ⊆ Ĉ, किन्तु दूसरी दिशा में कोई गैर-स्थिर मानचित्र नहीं हैं, द्वारा लिउविले का प्रमेय (समष्टि विश्लेषण) लिउविले का प्रमेय।


==डिस्क बनाम स्पेस बनाम पॉलीडिस्क==
==डिस्क बनाम समष्टि बनाम पॉलीडिस्क==
निम्नलिखित स्थान जटिल मैनिफोल्ड के रूप में भिन्न हैं, जो जटिल मैनिफोल्ड के अधिक कठोर ज्यामितीय चरित्र को प्रदर्शित करते हैं (चिकने मैनिफोल्ड की समानता में):
निम्नलिखित समष्टि समष्टि मैनिफोल्ड के रूप में भिन्न हैं, जो समष्टि मैनिफोल्ड के अधिक कठोर ज्यामितीय चरित्र को प्रदर्शित करते हैं (चिकने मैनिफोल्ड की समानता में):
* जटिल स्थान <math>\mathbb{C}^n</math>.
* समष्टि समष्टि <math>\mathbb{C}^n</math>.
* यूनिट डिस्क या [[खुली गेंद]]
* यूनिट डिस्क या [[खुली गेंद|विवृत गेंद]]
::<math>\left \{ z \in \mathbb{C}^n : \|z\| < 1 \right \}.</math>
::<math>\left \{ z \in \mathbb{C}^n : \|z\| < 1 \right \}.</math>
* [[पॉलीडिस्क]]
* [[पॉलीडिस्क]]
::<math>\left \{z = (z_1, \dots, z_n) \in \mathbb{C}^n : \vert z_j \vert < 1\ \forall j = 1,\dots,n \right \}.</math>
::<math>\left \{z = (z_1, \dots, z_n) \in \mathbb{C}^n : \vert z_j \vert < 1\ \forall j = 1,\dots,n \right \}.</math>
==लगभग जटिल संरचनाएँ==
==लगभग समष्टि संरचनाएँ==
{{main|लगभग जटिल विविधता}}
{{main|लगभग समष्टि  विविधता}}
वास्तविक 2n-मैनिफोल्ड पर [[लगभग जटिल संरचना]] GL(n, 'C')-संरचना है (G-संरचनाओं के अर्थ में) - अर्थात, [[स्पर्शरेखा बंडल]] [[रैखिक जटिल संरचना]] से सुसज्जित है।


सीधे तौर पर, यह स्पर्शरेखा बंडल का [[एंडोमोर्फिज्म|अंतःसमरूपिक]] है जिसका वर्ग −I है; यह एंडोमोर्फिज्म काल्पनिक संख्या i द्वारा गुणन के अनुरूप है, और इसे J (पहचान मैट्रिक्स I के साथ भ्रम से बचने के लिए) दर्शाया गया है। लगभग जटिल मैनिफोल्ड आवश्यक रूप से सम-आयामी होता है।
वास्तविक 2n-मैनिफोल्ड पर लगभग समष्टि संरचना GL(n, 'C')-संरचना है (G-संरचनाओं के अर्थ में) - अर्थात, [[स्पर्शरेखा बंडल]] [[रैखिक जटिल संरचना|रैखिक समष्टि संरचना]] से सुसज्जित है।


लगभग जटिल संरचना जटिल संरचना से कमजोर होती है: किसी भी जटिल मैनिफोल्ड में लगभग जटिल संरचना होती है, किन्तु हर लगभग जटिल संरचना जटिल संरचना से नहीं आती है। ध्यान दें कि प्रत्येक सम-आयामी वास्तविक मैनिफोल्ड में स्थानीय समन्वय चार्ट से स्थानीय रूप से परिभाषित लगभग जटिल संरचना होती है। सवाल यह है कि क्या इस लगभग जटिल संरचना को विश्व स्तर पर परिभाषित किया जा सकता है। जटिल संरचना से आने वाली लगभग जटिल संरचना को फ्रोबेनियस_थियोरेम_(समरेखीय_प्रांगणिकी) कहा जाता है, और जब कोई लगभग जटिल संरचना के विपरीत जटिल संरचना को निर्दिष्ट करना चाहता है, तो वह पूर्णांकीय जटिल संरचना कहता है। एकीकृत जटिल संरचनाओं के लिए तथाकथित [[निजेनहुइस टेंसर]] गायब हो जाता है। इस टेंसर को वेक्टर फ़ील्ड, X, Y के जोड़े पर परिभाषित किया गया है
सीधे तौर पर, यह स्पर्शरेखा बंडल का [[एंडोमोर्फिज्म|अंतःसमरूपिक]] है जिसका वर्ग −I है; यह एंडोमोर्फिज्म काल्पनिक संख्या i द्वारा गुणन के अनुरूप है, और इसे J (पहचान मैट्रिक्स I के साथ भ्रम से बचने के लिए) दर्शाया गया है। लगभग समष्टि मैनिफोल्ड आवश्यक रूप से सम-आयामी होता है।
 
लगभग समष्टि संरचना समष्टि संरचना से कमजोर होती है: किसी भी समष्टि मैनिफोल्ड में लगभग समष्टि संरचना होती है, किन्तु हर लगभग समष्टि संरचना समष्टि संरचना से नहीं आती है। ध्यान दें कि प्रत्येक सम-आयामी वास्तविक मैनिफोल्ड में समष्टिीय समन्वय चार्ट से समष्टिीय रूप से परिभाषित लगभग समष्टि संरचना होती है। सवाल यह है कि क्या इस लगभग समष्टि संरचना को विश्व स्तर पर परिभाषित किया जा सकता है। समष्टि संरचना से आने वाली लगभग समष्टि संरचना को फ्रोबेनियस_थियोरेम_(समरेखीय_प्रांगणिकी) कहा जाता है, और जब कोई लगभग समष्टि संरचना के विपरीत समष्टि संरचना को निर्दिष्ट करना चाहता है, तो वह पूर्णांकीय समष्टि संरचना कहता है। एकीकृत समष्टि संरचनाओं के लिए तथाकथित [[निजेनहुइस टेंसर]] लुप्त हो जाता है। इस टेंसर को सदिश फ़ील्ड, X, Y के जोड़े पर परिभाषित किया गया है


:<math>N_J(X,Y) = [X,Y] + J[JX,Y] + J[X,JY]-[JX,JY]\ .</math>
:<math>N_J(X,Y) = [X,Y] + J[JX,Y] + J[X,JY]-[JX,JY]\ .</math>
उदाहरण के लिए, 6-आयामी [[अति क्षेत्र]] S<sup>6</sup> में प्राकृतिक लगभग जटिल संरचना है जो इस तथ्य से उत्पन्न होती है कि यह [[ऑक्टोनियन]] के इकाई क्षेत्र में i का [[ऑर्थोगोनल पूरक]] है, किन्तु यह जटिल संरचना नहीं है। (यह सवाल कि क्या इसकी संरचना जटिल है, [[हेंज हॉफ]] के नाम पर होपफ समस्या के रूप में जाना जाता है।<ref>{{cite journal|last1=Agricola |first1=Ilka |author-link1=Ilka Agricola |first2=Giovanni |last2=Bazzoni |first3=Oliver |last3=Goertsches |first4=Panagiotis |last4=Konstantis |first5=Sönke |last5=Rollenske |title=हॉपफ समस्या के इतिहास पर|arxiv=1708.01068 |journal=[[Differential Geometry and Its Applications]] |year=2018 |volume=57 |pages=1–9|doi=10.1016/j.difgeo.2017.10.014 |s2cid=119297359 }}</ref>) लगभग जटिल संरचना का उपयोग करके हम आप्रतिबिम्बी मानचित्रों को समझ सकते हैं और मैनिफोल्ड पर आप्रतिबिम्बी निर्देशांक के अस्तित्व के बारे में पूछ सकते हैं। आप्रतिबिम्बी निर्देशांक का अस्तित्व यह कहने के बराबर है कि मैनिफोल्ड जटिल है (चार्ट परिभाषा यही कहती है)।
उदाहरण के लिए, 6-आयामी [[अति क्षेत्र]] S<sup>6</sup> में प्राकृतिक लगभग समष्टि संरचना है जो इस तथ्य से उत्पन्न होती है कि यह [[ऑक्टोनियन]] के इकाई क्षेत्र में i का [[ऑर्थोगोनल पूरक]] है, किन्तु यह समष्टि संरचना नहीं है। (यह सवाल कि क्या इसकी संरचना समष्टि है, [[हेंज हॉफ]] के नाम पर होपफ समस्या के रूप में जाना जाता है।<ref>{{cite journal|last1=Agricola |first1=Ilka |author-link1=Ilka Agricola |first2=Giovanni |last2=Bazzoni |first3=Oliver |last3=Goertsches |first4=Panagiotis |last4=Konstantis |first5=Sönke |last5=Rollenske |title=हॉपफ समस्या के इतिहास पर|arxiv=1708.01068 |journal=[[Differential Geometry and Its Applications]] |year=2018 |volume=57 |pages=1–9|doi=10.1016/j.difgeo.2017.10.014 |s2cid=119297359 }}</ref>) लगभग समष्टि संरचना का उपयोग करके हम आप्रतिबिम्बी मानचित्रों को समझ सकते हैं और मैनिफोल्ड पर आप्रतिबिम्बी निर्देशांक के अस्तित्व के बारे में पूछ सकते हैं। आप्रतिबिम्बी निर्देशांक का अस्तित्व यह कहने के बराबर है कि मैनिफोल्ड समष्टि है (चार्ट परिभाषा यही कहती है)।


जटिल संख्याओं के साथ स्पर्शरेखा बंडल को टेंसर करने से हमें जटिल स्पर्शरेखा बंडल मिलता है, जिस पर जटिल संख्याओं से गुणा करना समझ में आता है (भले ही हमने वास्तविक मैनिफोल्ड के साथ प्रारंभ की हो)। लगभग जटिल संरचना के eigenvalues ​​​​±i हैं और eigenspaces T<sup>0,1</sup>M द्वारा दर्शाए गए उप-बंडल बनाते हैं और T<sup>1,0</sup>M. न्यूलैंडर-निरेनबर्ग प्रमेय से पता चलता है कि लगभग जटिल संरचना वास्तव में जटिल संरचना होती है, जब ये सबबंडल अव्यवस्थित होते हैं, अर्थात , वेक्टर फ़ील्ड के लाई ब्रैकेट के अनुसार बंद होते हैं, और ऐसी लगभग जटिल संरचना को फ्रोबेनियस_थियोरेम_(समरेखीय_प्रांगणिकी) कहा जाता है।
समष्टि संख्याओं के साथ स्पर्शरेखा बंडल को टेंसर करने से हमें समष्टि स्पर्शरेखा बंडल मिलता है, जिस पर समष्टि संख्याओं से गुणा करना समझ में आता है (भले ही हमने वास्तविक मैनिफोल्ड के साथ प्रारंभ की हो)। लगभग समष्टि संरचना के eigenvalues ​​​​±i हैं और eigenspaces T<sup>0,1</sup>M द्वारा दर्शाए गए उप-बंडल बनाते हैं और T<sup>1,0</sup>M. न्यूलैंडर-निरेनबर्ग प्रमेय से पता चलता है कि लगभग समष्टि संरचना वास्तव में समष्टि संरचना होती है, जब ये सबबंडल अव्यवस्थित होते हैं, अर्थात , सदिश फ़ील्ड के लाई ब्रैकेट के अनुसार बंद होते हैं, और ऐसी लगभग समष्टि संरचना को फ्रोबेनियस_थियोरेम_(समरेखीय_प्रांगणिकी) कहा जाता है।


== काहलर और कैलाबी-याउ मैनिफोल्ड्स ==
== काहलर और कैलाबी-याउ मैनिफोल्ड्स ==
कोई जटिल मैनिफोल्ड्स के लिए [[रीमैनियन मीट्रिक]] के एनालॉग को परिभाषित कर सकता है, जिसे [[हर्मिटियन मीट्रिक]] कहा जाता है। रीमानियन मीट्रिक की तरह, हर्मिटियन मीट्रिक में स्पर्शरेखा बंडल पर सुचारु रूप से भिन्न, सकारात्मक निश्चित आंतरिक उत्पाद होता है, जो प्रत्येक बिंदु पर स्पर्शरेखा स्थान पर जटिल संरचना के संबंध में हर्मिटियन होता है। रीमैनियन स्थितियों की तरह, ऐसे मेट्रिक्स हमेशा किसी भी जटिल मैनिफोल्ड पर प्रचुर मात्रा में उपस्थित होते हैं। यदि ऐसे मीट्रिक का तिरछा सममित भाग [[सिंपलेक्टिक ज्यामिति|संरेखित ज्यामिति]] है, अर्थात बंद और गैर-अपक्षयी, तो मीट्रिक को काहलर मैनिफोल्ड काहलर कहा जाता है। काहलर संरचनाओं को प्राप्त करना अधिक कठिन है और वे अधिक कठोर हैं।
कोई समष्टि मैनिफोल्ड्स के लिए [[रीमैनियन मीट्रिक]] के एनालॉग को परिभाषित कर सकता है, जिसे [[हर्मिटियन मीट्रिक]] कहा जाता है। रीमानियन मीट्रिक की तरह, हर्मिटियन मीट्रिक में स्पर्शरेखा बंडल पर सुचारु रूप से भिन्न, सकारात्मक निश्चित आंतरिक उत्पाद होता है, जो प्रत्येक बिंदु पर स्पर्शरेखा समष्टि पर समष्टि संरचना के संबंध में हर्मिटियन होता है। रीमैनियन स्थितियों की तरह, ऐसे मेट्रिक्स हमेशा किसी भी समष्टि मैनिफोल्ड पर प्रचुर मात्रा में उपस्थित होते हैं। यदि ऐसे मीट्रिक का तिरछा सममित भाग [[सिंपलेक्टिक ज्यामिति|संरेखित ज्यामिति]] है, अर्थात बंद और गैर-अपक्षयी, तो मीट्रिक को काहलर मैनिफोल्ड काहलर कहा जाता है। काहलर संरचनाओं को प्राप्त करना अधिक कठिन है और वे अधिक कठोर हैं।


काहलर मैनिफोल्ड के उदाहरणों में चिकनी प्रक्षेप्य किस्में और सामान्यतः काहलर मैनिफोल्ड के किसी भी जटिल सबमैनिफोल्ड सम्मलित हैं। [[हॉपफ मैनिफोल्ड]] जटिल मैनिफोल्ड्स के उदाहरण हैं जो काहलर नहीं हैं। का निर्माण करने के लिए, मूल को घटाकर जटिल सदिश स्थान लें और exp(n) से गुणा करके इस स्थान पर पूर्णांकों के समूह की क्रिया पर विचार करें। भागफल जटिल मैनिफोल्ड है जिसका पहला [[बेटी नंबर]] है, इसलिए [[हॉज सिद्धांत]] के अनुसार, यह काहलर नहीं हो सकता है।
काहलर मैनिफोल्ड के उदाहरणों में स्मूथ प्रक्षेप्य किस्में और सामान्यतः काहलर मैनिफोल्ड के किसी भी समष्टि सबमैनिफोल्ड सम्मलित हैं। [[हॉपफ मैनिफोल्ड]] समष्टि मैनिफोल्ड्स के उदाहरण हैं जो काहलर नहीं हैं। का निर्माण करने के लिए, मूल को घटाकर समष्टि सदिश समष्टि लें और exp(n) से गुणा करके इस समष्टि पर पूर्णांकों के समूह की क्रिया पर विचार करें। भागफल समष्टि मैनिफोल्ड है जिसका पहला [[बेटी नंबर]] है, इसलिए [[हॉज सिद्धांत]] के अनुसार, यह काहलर नहीं हो सकता है।


कैलाबी-यॉ मैनिफोल्ड को कॉम्पैक्ट [[रिक्की-फ्लैट मैनिफोल्ड]] के रूप में परिभाषित किया जा सकता है। रिक्की-फ्लैट काहलर मैनिफोल्ड या समकक्ष जिसका पहला चेर्न वर्ग गायब हो जाता है।
कैलाबी-यॉ मैनिफोल्ड को कॉम्पैक्ट [[रिक्की-फ्लैट मैनिफोल्ड]] के रूप में परिभाषित किया जा सकता है। रिक्की-फ्लैट काहलर मैनिफोल्ड या समकक्ष जिसका पहला चेर्न वर्ग लुप्त हो जाता है।


== यह भी देखें ==
== यह भी देखें ==
* [[जटिल आयाम]]
* [[जटिल आयाम|समष्टि आयाम]]
* [[जटिल विश्लेषणात्मक विविधता]]
* [[जटिल विश्लेषणात्मक विविधता|समष्टि विश्लेषणात्मक विविधता]]
*चतुर्धातुक मैनिफोल्ड
*चतुर्धातुक मैनिफोल्ड
* वास्तविक-जटिल कई गुना
* वास्तविक-समष्टि कई गुना


==फ़ुटनोट==
==फ़ुटनोट==

Revision as of 14:02, 8 September 2023

अवकल ज्यामिति और समष्टि ज्यामिति में, समष्टि मैनिफोल्ड विवृत इकाई डिस्क के लिए चार्ट (टोपोलॉजी) के एटलस (टोपोलॉजी) के साथ मैनिफोल्ड होता है।[1] जिसमे , जैसे कि संक्रमण मानचित्र आप्रतिबिम्बी फलन होते हैं।

समष्टि मैनिफोल्ड शब्द का प्रयोग होता है उपरोक्त अर्थ में लगभग समष्टि विविधता (जिसे अंकीत समष्टि मैनिफोल्ड के रूप में निर्दिष्ट किया जा सकता है) और लगभग समष्टि मैनिफोल्ड के अर्थ में किया जाता है।

समष्टि संरचना के निहितार्थ

चूँकि आप्रतिबिम्बी फलन सुचारु कार्यों की समानता में बहुत अधिक कठोर होते हैं, स्मूथ और समष्टि मैनिफोल्ड के सिद्धांतों में बहुत अलग स्वाद होते हैं: कॉम्पैक्ट समष्टि मैनिफोल्ड अलग-अलग मैनिफोल्ड की समानता में बीजगणितीय विविधता के बहुत निकट होते हैं।

उदाहरण के लिए, व्हिटनी एम्बेडिंग प्रमेय हमें बताता है कि प्रत्येक स्मूथ N-आयामी मैनिफोल्ड को 'R2n' की स्मूथ सबमैनिफोल्ड के रूप में एंबेडिंग सम्मिलित किया जा सकता है। जबकि किसी समष्टि मैनिफोल्ड के लिए ' Cn ' में आप्रतिबिम्बी एम्बेडिंग होना दुर्लभ होता है।. उदाहरण के लिए समष्टि मैनिफोल्ड M से जुड़े किसी भी सघन समष्टि पर विचार करें: इस पर कोई भी आप्रतिबिम्बी फलन अधिकतम मापांक सिद्धांत द्वारा स्थिर किया गया होता है। अब यदि हमारे पास ' Cn' में M का आप्रतिबिम्बी एम्बेडिंग होता है, तो 'Cn के समन्वय कार्य M पर गैर-स्थिर आप्रतिबिम्बी फ़ंक्शंस तक सीमित होगा, जो संपीड़नता का खंडन करता है, सिवाय इस स्थितियों के कि M सिर्फ बिंदु है। समष्टि मैनिफोल्ड जिन्हें 'Cn में एम्बेड किया जा सकता है को स्टीन मैनिफोल्ड कहा जाता है और यह मैनिफोल्ड्स का बहुत ही विशेष वर्ग बनाता है, उदाहरण के लिए, स्मूथ समष्टि एफ़िन बीजगणितीय किस्में होती है ।

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

चूँकि चार्ट के बीच संक्रमण मानचित्र द्विप्रतिबिम्बी होते हैं, समष्टि मैनिफोल्ड, विशेष रूप से, चिकने और विहित रूप से उन्मुख होते हैं (सिर्फ उन्मुख नहीं: 'Cn के लिए जीव-रूपीय मानचित्र (का उपसमूह) अभिविन्यास देता है, क्योंकि जीव-रूपीय मानचित्र अभिविन्यास-संरक्षित होते हैं)।

समष्टि मैनिफोल्ड्स के उदाहरण

  • रीमैन सतहें।
  • कैलाबी-यॉ कई गुना।
  • दो समष्टि मैनिफोल्ड्स का कार्टेशियन उत्पाद।
  • आप्रतिबिम्बी मानचित्र के किसी भी गैर-महत्वपूर्ण मूल्य की व्युत्क्रम छवि।

स्मूथ समष्टि बीजगणितीय किस्में

स्मूथ समष्टि बीजगणितीय किस्में समष्टि विविधताएं हैं, जिनमें सम्मलित हैं:

  • समष्टि सदिश समष्टि।
  • समष्टि प्रक्षेप्य समष्टि,[2] Pn('Cn).
  • समष्टि ग्रासमैनियन।
  • समष्टि लाई समूह जैसे GL(n, C) or Sp(n, C)।

इसी तरह, इनके चतुर्भुज एनालॉग भी समष्टि मैनिफोल्ड हैं।

संबद्ध

सरलता से जुड़े हुए 1-आयामी समष्टि मैनिफोल्ड या तो समरूपी हैं:

  • Δ, C में इकाई डिस्क (गणित)।
  • C, समष्टि तल
  • Ĉ, रीमैन क्षेत्र

ध्यान दें कि इनके बीच कुछ समावेशन भी हैं Δ ⊆ C ⊆ Ĉ, किन्तु दूसरी दिशा में कोई गैर-स्थिर मानचित्र नहीं हैं, द्वारा लिउविले का प्रमेय (समष्टि विश्लेषण) लिउविले का प्रमेय।

डिस्क बनाम समष्टि बनाम पॉलीडिस्क

निम्नलिखित समष्टि समष्टि मैनिफोल्ड के रूप में भिन्न हैं, जो समष्टि मैनिफोल्ड के अधिक कठोर ज्यामितीय चरित्र को प्रदर्शित करते हैं (चिकने मैनिफोल्ड की समानता में):

  • समष्टि समष्टि .
  • यूनिट डिस्क या विवृत गेंद

लगभग समष्टि संरचनाएँ

वास्तविक 2n-मैनिफोल्ड पर लगभग समष्टि संरचना GL(n, 'C')-संरचना है (G-संरचनाओं के अर्थ में) - अर्थात, स्पर्शरेखा बंडल रैखिक समष्टि संरचना से सुसज्जित है।

सीधे तौर पर, यह स्पर्शरेखा बंडल का अंतःसमरूपिक है जिसका वर्ग −I है; यह एंडोमोर्फिज्म काल्पनिक संख्या i द्वारा गुणन के अनुरूप है, और इसे J (पहचान मैट्रिक्स I के साथ भ्रम से बचने के लिए) दर्शाया गया है। लगभग समष्टि मैनिफोल्ड आवश्यक रूप से सम-आयामी होता है।

लगभग समष्टि संरचना समष्टि संरचना से कमजोर होती है: किसी भी समष्टि मैनिफोल्ड में लगभग समष्टि संरचना होती है, किन्तु हर लगभग समष्टि संरचना समष्टि संरचना से नहीं आती है। ध्यान दें कि प्रत्येक सम-आयामी वास्तविक मैनिफोल्ड में समष्टिीय समन्वय चार्ट से समष्टिीय रूप से परिभाषित लगभग समष्टि संरचना होती है। सवाल यह है कि क्या इस लगभग समष्टि संरचना को विश्व स्तर पर परिभाषित किया जा सकता है। समष्टि संरचना से आने वाली लगभग समष्टि संरचना को फ्रोबेनियस_थियोरेम_(समरेखीय_प्रांगणिकी) कहा जाता है, और जब कोई लगभग समष्टि संरचना के विपरीत समष्टि संरचना को निर्दिष्ट करना चाहता है, तो वह पूर्णांकीय समष्टि संरचना कहता है। एकीकृत समष्टि संरचनाओं के लिए तथाकथित निजेनहुइस टेंसर लुप्त हो जाता है। इस टेंसर को सदिश फ़ील्ड, X, Y के जोड़े पर परिभाषित किया गया है

उदाहरण के लिए, 6-आयामी अति क्षेत्र S6 में प्राकृतिक लगभग समष्टि संरचना है जो इस तथ्य से उत्पन्न होती है कि यह ऑक्टोनियन के इकाई क्षेत्र में i का ऑर्थोगोनल पूरक है, किन्तु यह समष्टि संरचना नहीं है। (यह सवाल कि क्या इसकी संरचना समष्टि है, हेंज हॉफ के नाम पर होपफ समस्या के रूप में जाना जाता है।[3]) लगभग समष्टि संरचना का उपयोग करके हम आप्रतिबिम्बी मानचित्रों को समझ सकते हैं और मैनिफोल्ड पर आप्रतिबिम्बी निर्देशांक के अस्तित्व के बारे में पूछ सकते हैं। आप्रतिबिम्बी निर्देशांक का अस्तित्व यह कहने के बराबर है कि मैनिफोल्ड समष्टि है (चार्ट परिभाषा यही कहती है)।

समष्टि संख्याओं के साथ स्पर्शरेखा बंडल को टेंसर करने से हमें समष्टि स्पर्शरेखा बंडल मिलता है, जिस पर समष्टि संख्याओं से गुणा करना समझ में आता है (भले ही हमने वास्तविक मैनिफोल्ड के साथ प्रारंभ की हो)। लगभग समष्टि संरचना के eigenvalues ​​​​±i हैं और eigenspaces T0,1M द्वारा दर्शाए गए उप-बंडल बनाते हैं और T1,0M. न्यूलैंडर-निरेनबर्ग प्रमेय से पता चलता है कि लगभग समष्टि संरचना वास्तव में समष्टि संरचना होती है, जब ये सबबंडल अव्यवस्थित होते हैं, अर्थात , सदिश फ़ील्ड के लाई ब्रैकेट के अनुसार बंद होते हैं, और ऐसी लगभग समष्टि संरचना को फ्रोबेनियस_थियोरेम_(समरेखीय_प्रांगणिकी) कहा जाता है।

काहलर और कैलाबी-याउ मैनिफोल्ड्स

कोई समष्टि मैनिफोल्ड्स के लिए रीमैनियन मीट्रिक के एनालॉग को परिभाषित कर सकता है, जिसे हर्मिटियन मीट्रिक कहा जाता है। रीमानियन मीट्रिक की तरह, हर्मिटियन मीट्रिक में स्पर्शरेखा बंडल पर सुचारु रूप से भिन्न, सकारात्मक निश्चित आंतरिक उत्पाद होता है, जो प्रत्येक बिंदु पर स्पर्शरेखा समष्टि पर समष्टि संरचना के संबंध में हर्मिटियन होता है। रीमैनियन स्थितियों की तरह, ऐसे मेट्रिक्स हमेशा किसी भी समष्टि मैनिफोल्ड पर प्रचुर मात्रा में उपस्थित होते हैं। यदि ऐसे मीट्रिक का तिरछा सममित भाग संरेखित ज्यामिति है, अर्थात बंद और गैर-अपक्षयी, तो मीट्रिक को काहलर मैनिफोल्ड काहलर कहा जाता है। काहलर संरचनाओं को प्राप्त करना अधिक कठिन है और वे अधिक कठोर हैं।

काहलर मैनिफोल्ड के उदाहरणों में स्मूथ प्रक्षेप्य किस्में और सामान्यतः काहलर मैनिफोल्ड के किसी भी समष्टि सबमैनिफोल्ड सम्मलित हैं। हॉपफ मैनिफोल्ड समष्टि मैनिफोल्ड्स के उदाहरण हैं जो काहलर नहीं हैं। का निर्माण करने के लिए, मूल को घटाकर समष्टि सदिश समष्टि लें और exp(n) से गुणा करके इस समष्टि पर पूर्णांकों के समूह की क्रिया पर विचार करें। भागफल समष्टि मैनिफोल्ड है जिसका पहला बेटी नंबर है, इसलिए हॉज सिद्धांत के अनुसार, यह काहलर नहीं हो सकता है।

कैलाबी-यॉ मैनिफोल्ड को कॉम्पैक्ट रिक्की-फ्लैट मैनिफोल्ड के रूप में परिभाषित किया जा सकता है। रिक्की-फ्लैट काहलर मैनिफोल्ड या समकक्ष जिसका पहला चेर्न वर्ग लुप्त हो जाता है।

यह भी देखें

फ़ुटनोट

  1. One must use the open unit disc in as the model space instead of because these are not isomorphic, unlike for real manifolds.
  2. This means that all complex projective spaces are orientable, in contrast to the real case
  3. Agricola, Ilka; Bazzoni, Giovanni; Goertsches, Oliver; Konstantis, Panagiotis; Rollenske, Sönke (2018). "हॉपफ समस्या के इतिहास पर". Differential Geometry and Its Applications. 57: 1–9. arXiv:1708.01068. doi:10.1016/j.difgeo.2017.10.014. S2CID 119297359.

संदर्भ