हर्मिटियन मैनिफोल्ड: Difference between revisions
No edit summary |
No edit summary |
||
(15 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Concept in differential geometry}} | {{Short description|Concept in differential geometry}} | ||
[[गणित]] में, और अधिक विशेष रूप से [[विभेदक ज्यामिति]] में, एक '''हर्मिटियन मैनिफोल्ड''' [[रीमैनियन मैनिफोल्ड]] का जटिल अनुरूप है। अधिक सटीक रूप से, एक हर्मिटियन मैनिफोल्ड एक [[जटिल मैनिफोल्ड]] है जिसमें प्रत्येक (पूर्णसममितिक) [[स्पर्शरेखा स्थान|स्पर्शी समष्टि]] पर एक सुचारु रूप से भिन्न [[हर्मिटियन रूप]] [[आंतरिक उत्पाद]] होता है। | [[गणित]] में, और अधिक विशेष रूप से [[विभेदक ज्यामिति|अवकल ज्यामिति]] में, एक '''हर्मिटियन मैनिफोल्ड''' [[रीमैनियन मैनिफोल्ड]] का जटिल अनुरूप है। अधिक सटीक रूप से, एक हर्मिटियन मैनिफोल्ड एक [[जटिल मैनिफोल्ड]] है जिसमें प्रत्येक (पूर्णसममितिक) [[स्पर्शरेखा स्थान|स्पर्शी समष्टि]] पर एक सुचारु रूप से भिन्न [[हर्मिटियन रूप]] [[आंतरिक उत्पाद]] होता है। हर्मिटियन मैनिफोल्ड की एक परिभाषा यह हो सकती है, यह एक वास्तविक मैनिफोल्ड होता है जिसमें एक [[रीमैनियन मीट्रिक|रीमैनियन मापीय]] होता है और यह संरचना एक[[ जटिल अनेक गुना | जटिल संरचना]] होती है। | ||
एक जटिल संरचना अनिवार्य रूप से एक अभिन्नता स्थिति के साथ लगभग एक जटिल संरचना है, और यह स्थिति | एक जटिल संरचना अनिवार्य रूप से एक अभिन्नता स्थिति के साथ [[लगभग एक जटिल संरचना]] है, और यह स्थिति मैनिफ़ोल्ड पर एक एकात्मक संरचना ([[यू (एन) संरचना]]) उत्पन्न करती है। यदि हम इस स्थिति को छोड़ देते हैं, तो हम लगभग '''हर्मिटियन मैनिफोल्ड''' प्राप्त करते है। | ||
किसी भी लगभग हर्मिटियन मैनिफोल्ड पर, हम एक | किसी भी लगभग हर्मिटियन मैनिफोल्ड पर, हम एक '''मूल 2-रूप''' (या '''सहसंसुघटित संरचना''') को प्रस्तावित कर सकते हैं जो केवल चयनित मापीय और [[लगभग जटिल संरचना]] पर निर्भर करता है। यह रूप सदैव गैर-परिवर्तनीय होता है। अतिरिक्त अभिन्नता की स्थिति के साथ जब यह बंद होता है (अर्थात, यह एक [[सहानुभूतिपूर्ण रूप|संसुघटित रूप]] है), तो हम लगभग '''काहलर संरचना''' प्राप्त करते है। यदि लगभग जटिल संरचना और मूल रूप दोनों एकीकृत हैं, तो हमारे पास [[काहलर संरचना]] है। | ||
==औपचारिक परिभाषा== | ==औपचारिक परिभाषा== | ||
एक | एक [[समतल मैनिफोल्ड]] M के ऊपर एक [[जटिल वेक्टर बंडल|जटिल सदिश बंडल]] E पर एक हर्मिटियन मापीय प्रत्येक फाइबर पर एक सुचारु रूप से भिन्न [[सकारात्मक-निश्चित हर्मिटियन रूप]] है। इस तरह के मापीय को सदिश बंडल <math>(E\otimes\bar E)^*</math>के एक सुचारु वैश्विक खंड h के रूप में देखा जा सकता है जैसे कि M में प्रत्येक बिंदु p के लिए, | ||
सभी {{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> एक सकारात्मक-निश्चित [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्यूह]] के घटक हैं। | ||
<math display="block">g = {1 \over 2}\left(h + \bar h\right).</math> | |||
प्रपत्र g, TM | ==रीमैनियन मापीय और संबंधित रूप== | ||
<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> | |||
एक (लगभग) जटिल मैनिफोल्ड 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 पर एक वास्तविक रूप की जटिलता है। | |||
<math display="block">\omega = {i \over 2}h_{\alpha\bar\beta}\,dz^\alpha\wedge d\bar z^\beta.</math> | |||
समन्वय निरूपण से यह स्पष्ट है कि | |||
<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}} के लिए | ||
सभी तीन रूप 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> | ||
है । | |||
(लगभग) जटिल मैनिफोल्ड | इसलिए (लगभग) जटिल मैनिफोल्ड {{math|''M''}} पर एक हर्मिटियन संरचना को या तो निर्दिष्ट किया जा सकता है या निम्नानुसार लिखा जा सकता है, | ||
# एक हर्मिटियन मापीय {{math|''h''}} ऊपरोक्त अनुसार, | # एक हर्मिटियन मापीय {{math|''h''}} ऊपरोक्त अनुसार, | ||
# एक रीमैनियन मापीय {{math|''g''}} जो | # एक रीमैनियन मापीय {{math|''g''}} जो {{math|''J''}} को संरक्षित करता है , या | ||
# एक [[अविक्षिप्त रूप]] 2-रूप {{math|''ω''}} जो | # एक [[अविक्षिप्त रूप|गैर-अपक्षयी]] 2-रूप {{math|''ω''}} जो {{math|''J''}} सुरक्षित रखता है और इस अर्थ में सकारात्मक-निश्चित है कि सभी गैर-शून्य वास्तविक स्पर्शरेखा सदिशों {{math|''u''}} के लिए {{math|''ω''(''u'', ''Ju'') > 0}} है। | ||
ध्यान दें कि कई लेखक | ध्यान दें कि कई लेखक {{math|''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 का [[एकात्मक फ्रेम बंडल]] सभी एकात्मक फ्रेमों का [[प्रमुख यू(एन)-बंडल]] है। | ||
प्रत्येक लगभग हर्मिटियन मैनिफोल्ड | प्रत्येक लगभग हर्मिटियन मैनिफोल्ड 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 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|''ω''}} बंद है और {{math|''J''}} | * {{math|''ω''}} बंद है और {{math|''J''}} पूर्णांक है, | ||
* {{math|1=∇''J'' = 0}}, | * {{math|1=∇''J'' = 0}}, | ||
* {{math|1=∇ω = 0}}, | * {{math|1=∇ω = 0}}, | ||
* | * {{math|∇}} का [[होलोनोमी समूह]] {{math|''J''}} से संबद्ध [[एकात्मक समूह]] {{math|U(''n'')}} में समाहित है, | ||
इन स्थितियों की समतुल्यता एकात्मक समूह की | इन स्थितियों की समतुल्यता [[एकात्मक समूह]] की "[[3 में से 2"]] गुणों से मेल खाती है। | ||
विशेष रूप से, यदि {{math|''M''}} एक हर्मिटियन मैनिफोल्ड है, तो स्थिति dω = 0 स्पष्ट रूप से बहुत मजबूत स्थितियों {{math|1=∇''ω'' = ∇''J'' = 0}} के बराबर होगी। काहलर सिद्धांत की समृद्धि आंशिक रूप से इन गुणों के कारण है। | |||
==संदर्भ== | ==संदर्भ== | ||
Line 94: | Line 78: | ||
{{Riemannian geometry}} | {{Riemannian geometry}} | ||
{{Authority control}} | {{Authority control}} | ||
[[Category: | [[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 के लिए,
सभी ζ के लिए
हर्मिटियन मैनिफोल्ड एक जटिल मैनिफोल्ड है जिसके पूर्णसममितिक स्पर्शरेखा बंडल पर हर्मिटियन मापीय होता है। इसी तरह, एक लगभग हर्मिटियन मैनिफोल्ड अपने पूर्णसममितिक स्पर्शरेखा बंडल पर एक हर्मिटियन मापीय के साथ लगभग एक जटिल मैनिफोल्ड है।
हर्मिटियन मैनिफ़ोल्ड पर मापीय को स्थानीय पूर्णसममितिक निर्देशांक (za) में
रीमैनियन मापीय और संबंधित रूप
एक (लगभग) जटिल मैनिफोल्ड M पर एक हर्मिटियन मापीय h अंतर्निहित समतल मैनिफोल्ड पर एक रीमैनियन मापीय g को परिभाषित करता है। मापीय g को h के वास्तविक भाग के रूप में परिभाषित किया गया है,
सभी तीन रूप h, g, और ω लगभग जटिल संरचना को संरक्षित करते हैं J। अर्थात्, सभी जटिल स्पर्शरेखा सदिशों u और v के लिए
इसलिए (लगभग) जटिल मैनिफोल्ड M पर एक हर्मिटियन संरचना को या तो निर्दिष्ट किया जा सकता है या निम्नानुसार लिखा जा सकता है,
- एक हर्मिटियन मापीय h ऊपरोक्त अनुसार,
- एक रीमैनियन मापीय g जो J को संरक्षित करता है , या
- एक गैर-अपक्षयी 2-रूप ω जो J सुरक्षित रखता है और इस अर्थ में सकारात्मक-निश्चित है कि सभी गैर-शून्य वास्तविक स्पर्शरेखा सदिशों u के लिए ω(u, Ju) > 0 है।
ध्यान दें कि कई लेखक g को ही हर्मिटियन मापीयकहते हैं।
गुण
प्रत्येक (लगभग) जटिल मैनिफोल्ड एक हर्मिटियन मापीय को स्वीकार करता है। यह सीधे रीमैनियन मापीय के अनुरूप कथन से अनुसरण करता है। लगभग जटिल मैनिफ़ोल्ड M पर एक स्वेच्छ रीमैनियन मापीय g को देखते हुए, कोई स्पष्ट तरीके से लगभग जटिल संरचना J के साथ संगत एक नया मापीय g′ बना सकता है,
प्रत्येक लगभग हर्मिटियन मैनिफोल्ड M में एक विहित आयतन रूप होता है जो g द्वारा निर्धारित रीमैनियन आयतन रूप होता है। यह रूप संबद्ध (1,1)-रूप ω बटा
काहलर मैनिफोल्ड्स
हर्मिटियन मैनिफोल्ड्स का सबसे महत्वपूर्ण वर्ग काहलर मैनिफोल्ड्स हैं। ये हर्मिटियन मैनिफ़ोल्ड हैं जिनके लिए हर्मिटियन रूप है ω बंद है,
एक लगभग हर्मिटियन मैनिफोल्ड जिसका संबद्ध (1,1)-रूप बंद है, स्वाभाविक रूप से लगभग काहलर मैनिफोल्ड कहलाता है। कोई भी संसुघटित मैनिफ़ोल्ड एक संगत लगभग जटिल संरचना को स्वीकार करता है जो इसे लगभग काहलर मैनिफोल्ड में बनाता है।
अभिन्नता
काहलर मैनिफोल्ड एक लगभग हर्मिटियन मैनिफोल्ड है जो एक अभिन्नता की स्थिति को संतुष्ट करता है। इसे कई समान तरीकों से व्यक्त किया जा सकता है।
मान लीजिए (M, g, ω, J) वास्तविक आयाम 2n का लगभग हर्मिटियन मैनिफोल्ड है और मान लीजिए कि ∇ g का लेवी-सिविटा संबन्ध है। M के काहलर होने के लिए निम्नलिखित समतुल्य शर्तें हैं,
- ω बंद है और J पूर्णांक है,
- ∇J = 0,
- ∇ω = 0,
- ∇ का होलोनोमी समूह J से संबद्ध एकात्मक समूह U(n) में समाहित है,
इन स्थितियों की समतुल्यता एकात्मक समूह की "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.