हर्मिटियन मैनिफोल्ड: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(13 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Concept in differential geometry}}
{{Short description|Concept in differential geometry}}
[[गणित]] में, और अधिक विशेष रूप से [[विभेदक ज्यामिति]] में, एक '''हर्मिटियन मैनिफोल्ड''' [[रीमैनियन मैनिफोल्ड]] का जटिल अनुरूप है। अधिक सटीक रूप से, एक हर्मिटियन मैनिफोल्ड एक [[जटिल मैनिफोल्ड]] है जिसमें प्रत्येक (पूर्णसममितिक) [[स्पर्शरेखा स्थान|स्पर्शी समष्टि]] पर एक सुचारु रूप से भिन्न [[हर्मिटियन रूप]] [[आंतरिक उत्पाद]] होता है। कोई हर्मिटियन मैनिफोल्ड को [[रीमैनियन मीट्रिक|रीमैनियन मापीय]] के साथ वास्तविक मैनिफोल्ड के रूप में भी परिभाषित कर सकता है जो [[ जटिल अनेक गुना ]] को संरक्षित करता है।
[[गणित]] में, और अधिक विशेष रूप से [[विभेदक ज्यामिति|अवकल ज्यामिति]] में, एक '''हर्मिटियन मैनिफोल्ड''' [[रीमैनियन मैनिफोल्ड]] का जटिल अनुरूप है। अधिक सटीक रूप से, एक हर्मिटियन मैनिफोल्ड एक [[जटिल मैनिफोल्ड]] है जिसमें प्रत्येक (पूर्णसममितिक) [[स्पर्शरेखा स्थान|स्पर्शी समष्टि]] पर एक सुचारु रूप से भिन्न [[हर्मिटियन रूप]] [[आंतरिक उत्पाद]] होता है। हर्मिटियन मैनिफोल्ड की एक परिभाषा यह हो सकती है,  यह एक वास्तविक मैनिफोल्ड होता है जिसमें एक [[रीमैनियन मीट्रिक|रीमैनियन मापीय]] होता है और यह संरचना एक[[ जटिल अनेक गुना | जटिल संरचना]] होती है।


एक जटिल संरचना अनिवार्य रूप से एक अभिन्नता स्थिति के साथ लगभग एक जटिल संरचना है, और यह स्थिति कई गुना पर एक एकात्मक संरचना ([[जी-संरचना]] | यू (एन) संरचना) उत्पन्न करती है। इस स्थिति को छोड़ने पर, हमें लगभग हर्मिटियन मैनिफोल्ड प्राप्त होता है।
एक जटिल संरचना अनिवार्य रूप से एक अभिन्नता स्थिति के साथ [[लगभग एक जटिल संरचना]] है, और यह स्थिति मैनिफ़ोल्ड पर एक एकात्मक संरचना ([[यू (एन) संरचना]]) उत्पन्न करती है। यदि हम इस स्थिति को छोड़ देते हैं, तो हम लगभग '''हर्मिटियन मैनिफोल्ड''' प्राप्त करते है।


किसी भी लगभग हर्मिटियन मैनिफोल्ड पर, हम एक मौलिक 2-फॉर्म (या कोसिम्प्लेक्टिक संरचना) पेश कर सकते हैं जो केवल चुने हुए मापीय और [[लगभग जटिल संरचना]] पर निर्भर करता है। यह रूप सदैव गैर-परिवर्तनीय होता है। अतिरिक्त अभिन्नता की स्थिति के साथ जब यह बंद  होता है (अर्थात, यह एक [[सहानुभूतिपूर्ण रूप|संसुघटित रूप]] है), तो हम लगभग काहलर संरचना प्राप्त करते है। यदि लगभग जटिल संरचना और मूल रूप दोनों एकीकृत हैं, तो हमारे पास [[काहलर संरचना]] है।
किसी भी लगभग हर्मिटियन मैनिफोल्ड पर, हम एक '''मूल 2-रूप''' (या '''सहसंसुघटित संरचना''') को प्रस्तावित कर सकते हैं जो केवल चयनित मापीय और [[लगभग जटिल संरचना]] पर निर्भर करता है। यह रूप सदैव गैर-परिवर्तनीय होता है। अतिरिक्त अभिन्नता की स्थिति के साथ जब यह बंद  होता है (अर्थात, यह एक [[सहानुभूतिपूर्ण रूप|संसुघटित रूप]] है), तो हम लगभग '''काहलर संरचना''' प्राप्त करते है। यदि लगभग जटिल संरचना और मूल रूप दोनों एकीकृत हैं, तो हमारे पास [[काहलर संरचना]] है।


==औपचारिक परिभाषा==
==औपचारिक परिभाषा==


एक चिकनी मैनिफोल्ड ''एम'' के ऊपर एक [[जटिल वेक्टर बंडल]] ''ई'' पर एक हर्मिटियन मापीय प्रत्येक फाइबर पर एक सुचारु रूप से भिन्न निश्चित बिलिनियर फॉर्म | सकारात्मक-निश्चित हर्मिटियन रूप है। इस तरह के मापीय को वेक्टर बंडल के एक सुचारु वैश्विक खंड ''एच'' के रूप में देखा जा सकता है <math>(E\otimes\bar E)^*</math> इस प्रकार कि M में प्रत्येक बिंदु p के लिए,
एक [[समतल मैनिफोल्ड]] M के ऊपर एक [[जटिल वेक्टर बंडल|जटिल सदिश बंडल]] E पर एक हर्मिटियन मापीय प्रत्येक फाइबर पर एक सुचारु रूप से भिन्न [[सकारात्मक-निश्चित हर्मिटियन रूप]] है। इस तरह के मापीय को सदिश बंडल <math>(E\otimes\bar E)^*</math>के एक सुचारु वैश्विक खंड h के रूप में देखा जा सकता है जैसे कि M में प्रत्येक बिंदु p के लिए,
<math display="block">h_p\mathord{\left(\eta, \bar\zeta\right)} = \overline{h_p\mathord{\left(\zeta, \bar\eta\right)}}</math>
सभी के लिए {{mvar|ζ}}, {{mvar|η}}फाइबर ई में<sub>''p''</sub> और
<math display="block">h_p\mathord{\left(\zeta, \bar\zeta\right)} > 0</math>
सभी गैरशून्य के लिए {{mvar|ζ}}ई में<sub>''p''</sub>.


हर्मिटियन मैनिफोल्ड एक जटिल मैनिफोल्ड है जिसके [[होलोमोर्फिक स्पर्शरेखा बंडल]] पर हर्मिटियन मापीय होता है। इसी तरह, एक लगभग हर्मिटियन मैनिफोल्ड अपने होलोमोर्फिक स्पर्शरेखा बंडल पर एक हर्मिटियन मापीय के साथ लगभग एक जटिल मैनिफोल्ड है।
सभी {{mvar|ζ}} के लिए<math display="block">h_p\mathord{\left(\eta, \bar\zeta\right)} = \overline{h_p\mathord{\left(\zeta, \bar\eta\right)}}</math>, फाइबर E<sub>''p''</sub> में {{mvar|η}} और E<sub>''p''</sub> में सभी गैर-शून्य {{mvar|ζ}} के लिए<math display="block">h_p\mathord{\left(\zeta, \bar\zeta\right)} > 0</math>होता है।  


हर्मिटियन मैनिफ़ोल्ड पर मापीय को स्थानीय होलोमोर्फिक निर्देशांक (''z'') में लिखा जा सकता है<sup>a</sup>) जैसे
<math display="block">h = h_{\alpha\bar\beta}\,dz^\alpha \otimes d\bar z^\beta</math>
कहाँ <math>h_{\alpha\bar\beta}</math> एक सकारात्मक-निश्चित [[हर्मिटियन मैट्रिक्स]] के घटक हैं।


==रीमैनियन मापीय और संबंधित फॉर्म==
'''हर्मिटियन मैनिफोल्ड''' एक [[जटिल मैनिफोल्ड]] है जिसके [[होलोमोर्फिक स्पर्शरेखा बंडल|पूर्णसममितिक स्पर्शरेखा बंडल]] पर हर्मिटियन मापीय होता है। इसी तरह, एक '''लगभग हर्मिटियन मैनिफोल्ड''' अपने पूर्णसममितिक स्पर्शरेखा बंडल पर एक हर्मिटियन मापीय के साथ [[लगभग एक जटिल मैनिफोल्ड]] है।


एक (लगभग) जटिल मैनिफोल्ड एम पर एक हर्मिटियन मापीय एच अंतर्निहित चिकनी मैनिफोल्ड पर एक रीमैनियन मापीय जी को परिभाषित करता है। मापीय g को h के वास्तविक भाग के रूप में परिभाषित किया गया है:
हर्मिटियन मैनिफ़ोल्ड पर मापीय को स्थानीय पूर्णसममितिक निर्देशांक (''z<sup>a</sup>'') में<math display="block">h = h_{\alpha\bar\beta}\,dz^\alpha \otimes d\bar z^\beta</math>के रूप में लिखा जा सकता है जहां <math>h_{\alpha\bar\beta}</math> एक सकारात्मक-निश्चित [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्यूह]] के घटक हैं।
<math display="block">g = {1 \over 2}\left(h + \bar h\right).</math>
 
प्रपत्र g, TM पर एक सममित द्विरेखीय रूप है<sup>सी</sup>, [[जटिल]] स्पर्शरेखा बंडल। चूँकि ''g'' इसके संयुग्म के बराबर है, यह ''TM'' पर वास्तविक रूप का जटिलीकरण है। ''TM'' पर ''g'' की समरूपता और सकारात्मक-निश्चितता ''h'' के संगत गुणों से अनुसरण करती है। स्थानीय होलोमोर्फिक निर्देशांक में मापीय ''जी'' लिखा जा सकता है
==रीमैनियन मापीय और संबंधित रूप==
<math display="block">g = {1 \over 2}h_{\alpha\bar\beta}\,\left(dz^\alpha\otimes d\bar z^\beta + d\bar z^\beta\otimes dz^\alpha\right).</math>
 
कोई h को डिग्री (1,1) के एक जटिल अंतर रूप ω से भी जोड़ सकता है। प्रपत्र ω को h के काल्पनिक भाग को घटाकर परिभाषित किया गया है:
एक (लगभग) जटिल मैनिफोल्ड M पर एक हर्मिटियन मापीय h अंतर्निहित समतल मैनिफोल्ड पर एक [[रीमैनियन मापीय]] g को परिभाषित करता है। मापीय g को h के वास्तविक भाग के रूप में परिभाषित किया गया है,<math display="block">g = {1 \over 2}\left(h + \bar h\right).</math>प्रपत्र g, [[जटिल]] स्पर्शरेखा बंडल TM<sup>C</sup> पर एक सममित द्विरेखीय रूप है। चूँकि ''g'' इसके संयुग्म के बराबर है, इसलिए यह ''TM'' पर वास्तविक रूप की जटिलता है। ''TM'' पर ''g'' की समरूपता और सकारात्मक-निश्चितता ''h'' के संगत गुणों से अनुसरण करती है। स्थानीय पूर्णसममितिक निर्देशांक में मापीय ''g'' को<math display="block">g = {1 \over 2}h_{\alpha\bar\beta}\,\left(dz^\alpha\otimes d\bar z^\beta + d\bar z^\beta\otimes dz^\alpha\right).</math>लिखा जा सकता है। h के साथ [[जटिल अवकल रूप]] ω को भी जोड़ सकते हैं, जिसका डिग्री (1,1) होता है। प्रपत्र ω को h के अधिकल्पित भाग को घटाकर परिभाषित किया गया है,<math display="block">\omega = {i \over 2}\left(h - \bar h\right).</math>पुनः चूँकि ω इसके संयुग्म के बराबर है, इसलिए यह TM पर एक वास्तविक रूप की जटिलता है। रूप ω को विभिन्न रूप से ''''संबद्ध (1,1) रूप', 'मूल रूप' या 'हर्मिटियन रूप'''<nowiki/>' भी कहा जाता है। स्थानीय पूर्णसममितिक निर्देशांक में ω को<math display="block">\omega = {i \over 2}h_{\alpha\bar\beta}\,dz^\alpha\wedge d\bar z^\beta.</math>लिखा जा सकता है। समन्वय निरूपण से यह स्पष्ट है कि तीन रूपों {{math|''h''}}, {{math|''g''}}, और {{math|''ω''}} में से कोई भी अन्य दो को विशिष्ट रूप से निर्धारित करता है। रीमैनियन मापीय {{math|''g''}} और संबद्ध (1,1) प्रपत्र {{math|''ω''}} [[लगभग जटिल संरचना]] {{math|''J''}} से संबंधित हैं जो सभी जटिल स्पर्शरेखा सदिशों  {{mvar|u}} और {{mvar|v}} के लिए<math display="block">\begin{align}
<math display="block">\omega = {i \over 2}\left(h - \bar h\right).</math>
पुनः चूँकि ω इसके संयुग्म के बराबर है, यह TM पर एक वास्तविक रूप की जटिलता है। फॉर्म ω को विभिन्न रूप से 'संबद्ध (1,1) फॉर्म', 'मौलिक रूप' या 'हर्मिटियन फॉर्म' कहा जाता है। स्थानीय होलोमोर्फिक निर्देशांक में ω लिखा जा सकता है
<math display="block">\omega = {i \over 2}h_{\alpha\bar\beta}\,dz^\alpha\wedge d\bar z^\beta.</math>
समन्वय निरूपण से यह स्पष्ट है कि तीनों में से कोई एक बनता है {{math|''h''}}, {{math|''g''}}, और {{math|''ω''}} अन्य दो को विशिष्ट रूप से निर्धारित करें। रीमैनियन मापीय {{math|''g''}} और संबद्ध (1,1) प्रपत्र {{math|''ω''}} लगभग जटिल संरचना से संबंधित हैं {{math|''J''}} निम्नलिखित नुसार
<math display="block">\begin{align}
   \omega(u, v) &= g(Ju, v)\\
   \omega(u, v) &= g(Ju, v)\\
   g(u, v) &= \omega(u, Jv)
   g(u, v) &= \omega(u, Jv)
\end{align}</math>
\end{align}</math>है। हर्मिटियन मापीय {{math|''h''}} को पहचान<math display="block">h = g - i\omega.</math>के माध्यम से {{math|''g''}} और {{math|''ω''}} से पुनर्प्राप्त किया जा सकता है।<br />सभी तीन रूप h, g, और ω [[लगभग जटिल संरचना]] को संरक्षित करते हैं {{math|''J''}}। अर्थात्, सभी जटिल स्पर्शरेखा सदिशों {{mvar|u}} और {{mvar|v}} के लिए
सभी जटिल स्पर्शरेखा सदिशों के लिए {{mvar|u}} और {{mvar|v}}. हर्मिटियन मापीय {{math|''h''}} से पुनर्प्राप्त किया जा सकता है {{math|''g''}} और {{math|''ω''}}पहचान के माध्यम से
<math display="block">h = g - i\omega.</math>
सभी तीन रूप h, g, और ω लगभग जटिल संरचना को संरक्षित करते हैं {{math|''J''}}. वह है,
<math display="block">\begin{align}
<math display="block">\begin{align}
   h(Ju, Jv) &= h(u, v) \\
   h(Ju, Jv) &= h(u, v) \\
Line 43: Line 28:
   \omega(Ju, Jv) &= \omega(u, v)
   \omega(Ju, Jv) &= \omega(u, v)
\end{align}</math>
\end{align}</math>
सभी जटिल स्पर्शरेखा सदिशों के लिए {{mvar|u}} और {{mvar|v}}.
है ।


(लगभग) जटिल मैनिफोल्ड पर एक हर्मिटियन संरचना {{math|''M''}} इसलिए दोनों में से किसी एक द्वारा निर्दिष्ट किया जा सकता है
इसलिए (लगभग) जटिल मैनिफोल्ड {{math|''M''}} पर एक हर्मिटियन संरचना को या तो निर्दिष्ट किया जा सकता है या निम्नानुसार लिखा जा सकता है,
# एक हर्मिटियन मापीय {{math|''h''}} ऊपरोक्त अनुसार,
# एक हर्मिटियन मापीय {{math|''h''}} ऊपरोक्त अनुसार,
# एक रीमैनियन मापीय {{math|''g''}} जो लगभग जटिल संरचना को सुरक्षित रखता है {{math|''J''}}, या
# एक रीमैनियन मापीय {{math|''g''}} जो {{math|''J''}} को संरक्षित करता है , या
# एक [[अविक्षिप्त रूप]] 2-रूप {{math|''ω''}} जो सुरक्षित रखता है {{math|''J''}} और इस अर्थ में सकारात्मक-निश्चित है {{math|''ω''(''u'', ''Ju'') > 0}} सभी अशून्य वास्तविक स्पर्शरेखा सदिशों के लिए {{math|''u''}}.
# एक [[अविक्षिप्त रूप|गैर-अपक्षयी]] 2-रूप {{math|''ω''}} जो {{math|''J''}} सुरक्षित रखता है और इस अर्थ में सकारात्मक-निश्चित है कि सभी गैर-शून्य वास्तविक स्पर्शरेखा सदिशों {{math|''u''}} के लिए {{math|''ω''(''u'', ''Ju'') > 0}} है।


ध्यान दें कि कई लेखक कॉल करते हैं {{math|''g''}} स्वयं हर्मिटियन मापीय।
ध्यान दें कि कई लेखक {{math|''g''}} को ही हर्मिटियन मापीयकहते हैं।


==गुण==
==गुण==


प्रत्येक (लगभग) जटिल मैनिफोल्ड एक हर्मिटियन मापीय को स्वीकार करता है। यह रीमैनियन मापीय के अनुरूप कथन से सीधे अनुसरण करता है। लगभग जटिल मैनिफ़ोल्ड M पर एक मनमाना रीमैनियन मापीय g को देखते हुए, कोई स्पष्ट तरीके से लगभग जटिल संरचना J के साथ संगत एक नया मापीय g′ बना सकता है:
प्रत्येक (लगभग) जटिल मैनिफोल्ड एक हर्मिटियन मापीय को स्वीकार करता है। यह सीधे  रीमैनियन मापीय के अनुरूप कथन से अनुसरण करता है। लगभग जटिल मैनिफ़ोल्ड M पर एक स्वेच्छ रीमैनियन मापीय g को देखते हुए, कोई स्पष्ट तरीके से लगभग जटिल संरचना J के साथ संगत एक नया मापीय g′ बना सकता है,
<math display="block">g'(u, v) = {1 \over 2}\left(g(u, v) + g(Ju, Jv)\right).</math>
<math display="block">g'(u, v) = {1 \over 2}\left(g(u, v) + g(Ju, Jv)\right).</math>
लगभग जटिल मैनिफोल्ड एम पर एक हर्मिटियन मापीय चुनना एम पर जी-संरचना|यू(एन)-संरचना की पसंद के बराबर है; अर्थात्, एम के [[ फ़्रेम बंडल ]] के संरचना समूह की जीएल(एन, 'सी') से [[एकात्मक समूह]] यू(एन) में कमी। लगभग हर्मिटियन मैनिफोल्ड पर एक 'एकात्मक फ्रेम' जटिल रैखिक फ्रेम है जो हर्मिटियन मापीय के संबंध में लम्बवत है। एम का [[एकात्मक फ्रेम बंडल]] सभी एकात्मक फ्रेमों का प्रमुख बंडल|प्रमुख यू(एन)-बंडल है।
एक लगभग जटिल मैनिफोल्ड M पर एक हर्मिटियन मापीय चुनना M पर [[U(n)-संरचना]] का चयन करने के बराबर है, अर्थात्, M के[[ फ़्रेम बंडल ]]के [[संरचना समूह]] को GL(n, C') से [[एकात्मक समूह]] U(n) के लिए संकुचित करने का चयन करना है। लगभग हर्मिटियन मैनिफोल्ड पर एक ''''एकात्मक फ्रेम'''<nowiki/>' जटिल रैखिक फ्रेम है जो हर्मिटियन मापीय के संबंध में [[लम्बवत]] है। M का [[एकात्मक फ्रेम बंडल]] सभी एकात्मक फ्रेमों का [[प्रमुख यू(एन)-बंडल]] है।


प्रत्येक लगभग हर्मिटियन मैनिफोल्ड एम में एक कैनोनिकल [[वॉल्यूम फॉर्म]] होता है जो जी द्वारा निर्धारित [[रीमैनियन वॉल्यूम फॉर्म]] होता है। यह फॉर्म संबद्ध (1,1)-फॉर्म के संदर्भ में दिया गया है {{math|''ω''}} द्वारा
प्रत्येक लगभग हर्मिटियन मैनिफोल्ड M में एक विहित [[वॉल्यूम फॉर्म|आयतन रूप]] होता है जो g द्वारा निर्धारित [[रीमैनियन वॉल्यूम फॉर्म|रीमैनियन आयतन रूप]] होता है। यह रूप संबद्ध (1,1)-रूप {{math|''ω''}} बटा
<math display="block">\mathrm{vol}_M = \frac{\omega^n}{n!} \in \Omega^{n,n}(M)</math>
<math display="block">\mathrm{vol}_M = \frac{\omega^n}{n!} \in \Omega^{n,n}(M)</math>के संदर्भ में दिया गया है जहां {{math|''ω''<sup>''n''</sup>}} अपने आप में {{mvar|n}} बार {{math|''ω''}} का वेज उत्पाद है। इसलिए आयतन रूप M पर एक वास्तविक (n,n)-रूप है। स्थानीय पूर्णसममितिक निर्देशांक में आयतन रूप
कहाँ {{math|''ω''<sup>''n''</sup>}} का वेज उत्पाद है {{math|''ω''}} अपने आप से {{mvar|n}} बार. इसलिए वॉल्यूम फॉर्म एम पर एक वास्तविक (एन, एन)-फॉर्म है। स्थानीय होलोमोर्फिक निर्देशांक में वॉल्यूम फॉर्म इस प्रकार दिया गया है
<math display="block">\mathrm{vol}_M = \left(\frac{i}{2}\right)^n \det\left(h_{\alpha\bar\beta}\right)\, dz^1 \wedge d\bar z^1 \wedge \dotsb \wedge dz^n \wedge d\bar z^n.</math>द्वारा दिया जाता है।
<math display="block">\mathrm{vol}_M = \left(\frac{i}{2}\right)^n \det\left(h_{\alpha\bar\beta}\right)\, dz^1 \wedge d\bar z^1 \wedge \dotsb \wedge dz^n \wedge d\bar z^n.</math>
हम एक [[होलोमोर्फिक वेक्टर बंडल|पूर्णसममितिक सदिश बंडल]] पर भी एक हर्मिटियन मापीय का विचार कर सकता है।
कोई [[होलोमोर्फिक वेक्टर बंडल]] पर एक हर्मिटियन मापीय पर भी विचार कर सकता है।


==काहलर मैनिफोल्ड्स==
==काहलर मैनिफोल्ड्स==


हर्मिटियन मैनिफोल्ड्स का सबसे महत्वपूर्ण वर्ग काहलर मैनिफोल्ड्स हैं। ये हर्मिटियन मैनिफ़ोल्ड हैं जिनके लिए हर्मिटियन रूप है {{math|''ω''}} बंद विभेदक रूप है:
हर्मिटियन मैनिफोल्ड्स का सबसे महत्वपूर्ण वर्ग [[काहलर मैनिफोल्ड्स]] हैं। ये हर्मिटियन मैनिफ़ोल्ड हैं जिनके लिए हर्मिटियन रूप है {{math|''ω''}} [[बंद]] है,
<math display="block">d\omega = 0\,.</math>
<math display="block">d\omega = 0\,.</math>
इस मामले में फॉर्म ω को काहलर फॉर्म कहा जाता है। काहलर रूप एक सहानुभूतिपूर्ण रूप है, और इसलिए काहलर मैनिफोल्ड्स स्वाभाविक रूप से सहानुभूतिपूर्ण मैनिफोल्ड्स हैं।
इस मामले में रूप ω को काहलर रूप कहा जाता है। '''काहलर रूप''' एक [[संसुघटित रूप]] है, और इसलिए काहलर मैनिफोल्ड्स स्वाभाविक रूप से [[संसुघटित मैनिफोल्ड्स]] हैं।


एक लगभग हर्मिटियन मैनिफोल्ड जिसका संबद्ध (1,1)-रूप बंद है, स्वाभाविक रूप से लगभग काहलर मैनिफोल्ड कहलाता है। कोई भी [[ सिंपलेक्टिक मैनिफ़ोल्ड ]] एक संगत लगभग जटिल संरचना को स्वीकार करता है जो इसे लगभग काहलर मैनिफोल्ड में बनाता है।
एक लगभग हर्मिटियन मैनिफोल्ड जिसका संबद्ध (1,1)-रूप बंद है, स्वाभाविक रूप से '''लगभग काहलर मैनिफोल्ड''' कहलाता है। कोई भी[[ सिंपलेक्टिक मैनिफ़ोल्ड | संसुघटित मैनिफ़ोल्ड]] एक संगत लगभग जटिल संरचना को स्वीकार करता है जो इसे लगभग काहलर मैनिफोल्ड में बनाता है।


===अभिन्नता===
===अभिन्नता===
काहलर मैनिफोल्ड एक लगभग हर्मिटियन मैनिफोल्ड है जो एक [[अभिन्नता की स्थिति]] को संतुष्ट करता है। इसे कई समान तरीकों से कहा जा सकता है।
काहलर मैनिफोल्ड एक लगभग हर्मिटियन मैनिफोल्ड है जो एक [[अभिन्नता की स्थिति]] को संतुष्ट करता है। इसे कई समान तरीकों से व्यक्त किया जा सकता है।


होने देना {{math|(''M'', ''g'', ω, ''J'')}} वास्तविक आयाम का लगभग हर्मिटियन मैनिफोल्ड हो {{math|2''n''}} और जाने {{math|∇}} का [[लेवी-सिविटा कनेक्शन]] हो {{math|''g''}}. निम्नलिखित के लिए समतुल्य शर्तें हैं {{math|''M''}} काहलर बनना:
मान लीजिए {{math|(''M'', ''g'', ω, ''J'')}} वास्तविक आयाम {{math|2''n''}} का लगभग हर्मिटियन मैनिफोल्ड है और मान लीजिए कि {{math|∇}} {{math|''g''}} का [[लेवी-सिविटा कनेक्शन|लेवी-सिविटा संबन्ध]] है। {{math|''M''}} के काहलर होने के लिए निम्नलिखित समतुल्य शर्तें हैं,
* {{math|''ω''}} बंद है और {{math|''J''}} अभिन्न है,
* {{math|''ω''}} बंद है और {{math|''J''}} पूर्णांक है,
* {{math|1=∇''J'' = 0}},
* {{math|1=∇''J'' = 0}},
* {{math|1=∇ω = 0}},
* {{math|1=∇ω = 0}},
* का होलोनोमी समूह {{math|∇}} एकात्मक समूह में समाहित है {{math|U(''n'')}} के लिए जुड़े {{math|''J''}},
* {{math|∇}} का [[होलोनोमी समूह]] {{math|''J''}} से संबद्ध [[एकात्मक समूह]] {{math|U(''n'')}} में समाहित है,


इन स्थितियों की समतुल्यता एकात्मक समूह की एकात्मक समूह#2-आउट-ऑफ़-3 संपत्ति संपत्ति से मेल खाती है।
इन स्थितियों की समतुल्यता [[एकात्मक समूह]] की "[[3 में से 2"]] गुणों से मेल खाती है।


विशेषकर, यदि {{math|''M''}} एक हर्मिटियन मैनिफोल्ड है, स्थिति dω = 0 स्पष्ट रूप से बहुत मजबूत स्थितियों के बराबर है {{math|1=∇''ω'' = ∇''J'' = 0}}. काहलर सिद्धांत की समृद्धि आंशिक रूप से इन गुणों के कारण है।
विशेष रूप से, यदि {{math|''M''}} एक हर्मिटियन मैनिफोल्ड है, तो स्थिति dω = 0 स्पष्ट रूप से बहुत मजबूत स्थितियों {{math|1=∇''ω'' = ∇''J'' = 0}} के बराबर होगी। काहलर सिद्धांत की समृद्धि आंशिक रूप से इन गुणों के कारण है।


==संदर्भ==
==संदर्भ==
Line 94: Line 78:
{{Riemannian geometry}}
{{Riemannian geometry}}
{{Authority control}}
{{Authority control}}
[[Category: जटिल अनेक गुना]] [[Category: विभेदक ज्यामिति]] [[Category: रीमैनियन ज्यामिति]] [[Category: रीमैनियन मैनिफोल्ड्स]] [[Category: मैनिफोल्ड्स पर संरचनाएँ]]


[[Category: Machine Translated Page]]
[[Category:Collapse templates]]
[[Category:Created On 04/07/2023]]
[[Category:Created On 04/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:जटिल अनेक गुना]]
[[Category:मैनिफोल्ड्स पर संरचनाएँ]]
[[Category:रीमैनियन ज्यामिति]]
[[Category:रीमैनियन मैनिफोल्ड्स]]
[[Category:विभेदक ज्यामिति]]

Latest revision as of 18:05, 16 July 2023

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

एक जटिल संरचना अनिवार्य रूप से एक अभिन्नता स्थिति के साथ लगभग एक जटिल संरचना है, और यह स्थिति मैनिफ़ोल्ड पर एक एकात्मक संरचना (यू (एन) संरचना) उत्पन्न करती है। यदि हम इस स्थिति को छोड़ देते हैं, तो हम लगभग हर्मिटियन मैनिफोल्ड प्राप्त करते है।

किसी भी लगभग हर्मिटियन मैनिफोल्ड पर, हम एक मूल 2-रूप (या सहसंसुघटित संरचना) को प्रस्तावित कर सकते हैं जो केवल चयनित मापीय और लगभग जटिल संरचना पर निर्भर करता है। यह रूप सदैव गैर-परिवर्तनीय होता है। अतिरिक्त अभिन्नता की स्थिति के साथ जब यह बंद होता है (अर्थात, यह एक संसुघटित रूप है), तो हम लगभग काहलर संरचना प्राप्त करते है। यदि लगभग जटिल संरचना और मूल रूप दोनों एकीकृत हैं, तो हमारे पास काहलर संरचना है।

औपचारिक परिभाषा

एक समतल मैनिफोल्ड M के ऊपर एक जटिल सदिश बंडल E पर एक हर्मिटियन मापीय प्रत्येक फाइबर पर एक सुचारु रूप से भिन्न सकारात्मक-निश्चित हर्मिटियन रूप है। इस तरह के मापीय को सदिश बंडल के एक सुचारु वैश्विक खंड h के रूप में देखा जा सकता है जैसे कि M में प्रत्येक बिंदु p के लिए,

सभी ζ के लिए

, फाइबर Ep में η और Ep में सभी गैर-शून्य ζ के लिए
होता है।


हर्मिटियन मैनिफोल्ड एक जटिल मैनिफोल्ड है जिसके पूर्णसममितिक स्पर्शरेखा बंडल पर हर्मिटियन मापीय होता है। इसी तरह, एक लगभग हर्मिटियन मैनिफोल्ड अपने पूर्णसममितिक स्पर्शरेखा बंडल पर एक हर्मिटियन मापीय के साथ लगभग एक जटिल मैनिफोल्ड है।

हर्मिटियन मैनिफ़ोल्ड पर मापीय को स्थानीय पूर्णसममितिक निर्देशांक (za) में

के रूप में लिखा जा सकता है जहां एक सकारात्मक-निश्चित हर्मिटियन आव्यूह के घटक हैं।

रीमैनियन मापीय और संबंधित रूप

एक (लगभग) जटिल मैनिफोल्ड M पर एक हर्मिटियन मापीय h अंतर्निहित समतल मैनिफोल्ड पर एक रीमैनियन मापीय g को परिभाषित करता है। मापीय g को h के वास्तविक भाग के रूप में परिभाषित किया गया है,

प्रपत्र g, जटिल स्पर्शरेखा बंडल TMC पर एक सममित द्विरेखीय रूप है। चूँकि g इसके संयुग्म के बराबर है, इसलिए यह TM पर वास्तविक रूप की जटिलता है। TM पर g की समरूपता और सकारात्मक-निश्चितता h के संगत गुणों से अनुसरण करती है। स्थानीय पूर्णसममितिक निर्देशांक में मापीय g को
लिखा जा सकता है। h के साथ जटिल अवकल रूप ω को भी जोड़ सकते हैं, जिसका डिग्री (1,1) होता है। प्रपत्र ω को h के अधिकल्पित भाग को घटाकर परिभाषित किया गया है,
पुनः चूँकि ω इसके संयुग्म के बराबर है, इसलिए यह TM पर एक वास्तविक रूप की जटिलता है। रूप ω को विभिन्न रूप से 'संबद्ध (1,1) रूप', 'मूल रूप' या 'हर्मिटियन रूप' भी कहा जाता है। स्थानीय पूर्णसममितिक निर्देशांक में ω को
लिखा जा सकता है। समन्वय निरूपण से यह स्पष्ट है कि तीन रूपों h, g, और ω में से कोई भी अन्य दो को विशिष्ट रूप से निर्धारित करता है। रीमैनियन मापीय g और संबद्ध (1,1) प्रपत्र ω लगभग जटिल संरचना J से संबंधित हैं जो सभी जटिल स्पर्शरेखा सदिशों u और v के लिए
है। हर्मिटियन मापीय h को पहचान
के माध्यम से g और ω से पुनर्प्राप्त किया जा सकता है।
सभी तीन रूप h, g, और ω लगभग जटिल संरचना को संरक्षित करते हैं J। अर्थात्, सभी जटिल स्पर्शरेखा सदिशों u और v के लिए
है ।

इसलिए (लगभग) जटिल मैनिफोल्ड M पर एक हर्मिटियन संरचना को या तो निर्दिष्ट किया जा सकता है या निम्नानुसार लिखा जा सकता है,

  1. एक हर्मिटियन मापीय h ऊपरोक्त अनुसार,
  2. एक रीमैनियन मापीय g जो J को संरक्षित करता है , या
  3. एक गैर-अपक्षयी 2-रूप ω जो J सुरक्षित रखता है और इस अर्थ में सकारात्मक-निश्चित है कि सभी गैर-शून्य वास्तविक स्पर्शरेखा सदिशों u के लिए ω(u, Ju) > 0 है।

ध्यान दें कि कई लेखक g को ही हर्मिटियन मापीयकहते हैं।

गुण

प्रत्येक (लगभग) जटिल मैनिफोल्ड एक हर्मिटियन मापीय को स्वीकार करता है। यह सीधे रीमैनियन मापीय के अनुरूप कथन से अनुसरण करता है। लगभग जटिल मैनिफ़ोल्ड M पर एक स्वेच्छ रीमैनियन मापीय g को देखते हुए, कोई स्पष्ट तरीके से लगभग जटिल संरचना J के साथ संगत एक नया मापीय g′ बना सकता है,

एक लगभग जटिल मैनिफोल्ड M पर एक हर्मिटियन मापीय चुनना M पर U(n)-संरचना का चयन करने के बराबर है, अर्थात्, M केफ़्रेम बंडल के संरचना समूह को GL(n, C') से एकात्मक समूह U(n) के लिए संकुचित करने का चयन करना है। लगभग हर्मिटियन मैनिफोल्ड पर एक 'एकात्मक फ्रेम' जटिल रैखिक फ्रेम है जो हर्मिटियन मापीय के संबंध में लम्बवत है। M का एकात्मक फ्रेम बंडल सभी एकात्मक फ्रेमों का प्रमुख यू(एन)-बंडल है।

प्रत्येक लगभग हर्मिटियन मैनिफोल्ड M में एक विहित आयतन रूप होता है जो g द्वारा निर्धारित रीमैनियन आयतन रूप होता है। यह रूप संबद्ध (1,1)-रूप ω बटा

के संदर्भ में दिया गया है जहां ωn अपने आप में n बार ω का वेज उत्पाद है। इसलिए आयतन रूप M पर एक वास्तविक (n,n)-रूप है। स्थानीय पूर्णसममितिक निर्देशांक में आयतन रूप
द्वारा दिया जाता है। हम एक पूर्णसममितिक सदिश बंडल पर भी एक हर्मिटियन मापीय का विचार कर सकता है।

काहलर मैनिफोल्ड्स

हर्मिटियन मैनिफोल्ड्स का सबसे महत्वपूर्ण वर्ग काहलर मैनिफोल्ड्स हैं। ये हर्मिटियन मैनिफ़ोल्ड हैं जिनके लिए हर्मिटियन रूप है ω बंद है,

इस मामले में रूप ω को काहलर रूप कहा जाता है। काहलर रूप एक संसुघटित रूप है, और इसलिए काहलर मैनिफोल्ड्स स्वाभाविक रूप से संसुघटित मैनिफोल्ड्स हैं।

एक लगभग हर्मिटियन मैनिफोल्ड जिसका संबद्ध (1,1)-रूप बंद है, स्वाभाविक रूप से लगभग काहलर मैनिफोल्ड कहलाता है। कोई भी संसुघटित मैनिफ़ोल्ड एक संगत लगभग जटिल संरचना को स्वीकार करता है जो इसे लगभग काहलर मैनिफोल्ड में बनाता है।

अभिन्नता

काहलर मैनिफोल्ड एक लगभग हर्मिटियन मैनिफोल्ड है जो एक अभिन्नता की स्थिति को संतुष्ट करता है। इसे कई समान तरीकों से व्यक्त किया जा सकता है।

मान लीजिए (M, g, ω, J) वास्तविक आयाम 2n का लगभग हर्मिटियन मैनिफोल्ड है और मान लीजिए कि g का लेवी-सिविटा संबन्ध है। M के काहलर होने के लिए निम्नलिखित समतुल्य शर्तें हैं,

इन स्थितियों की समतुल्यता एकात्मक समूह की "3 में से 2" गुणों से मेल खाती है।

विशेष रूप से, यदि M एक हर्मिटियन मैनिफोल्ड है, तो स्थिति dω = 0 स्पष्ट रूप से बहुत मजबूत स्थितियों ω = ∇J = 0 के बराबर होगी। काहलर सिद्धांत की समृद्धि आंशिक रूप से इन गुणों के कारण है।

संदर्भ

  • Griffiths, Phillip; Joseph Harris (1994) [1978]. Principles of Algebraic Geometry. Wiley Classics Library. New York: Wiley-Interscience. ISBN 0-471-05059-8.
  • Kobayashi, Shoshichi; Katsumi Nomizu (1996) [1963]. Foundations of Differential Geometry, Vol. 2. Wiley Classics Library. New York: Wiley Interscience. ISBN 0-471-15732-5.
  • Kodaira, Kunihiko (1986). Complex Manifolds and Deformation of Complex Structures. Classics in Mathematics. New York: Springer. ISBN 3-540-22614-1.