हर्मिटियन मैनिफोल्ड

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

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

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

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

सभी $ζ$ के लिए$$h_p\mathord{\left(\eta, \bar\zeta\right)} = \overline{h_p\mathord{\left(\zeta, \bar\eta\right)}}$$, फाइबर Ep में $η$ और Ep में सभी गैर-शून्य $ζ$ के लिए$$h_p\mathord{\left(\zeta, \bar\zeta\right)} > 0$$होता है।

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

हर्मिटियन मैनिफ़ोल्ड पर मापीय को स्थानीय पूर्णसममितिक निर्देशांक (za) में$$h = h_{\alpha\bar\beta}\,dz^\alpha \otimes d\bar z^\beta$$के रूप में लिखा जा सकता है जहां $$h_{\alpha\bar\beta}$$ एक सकारात्मक-निश्चित हर्मिटियन आव्यूह के घटक हैं।

रीमैनियन मापीय और संबंधित रूप
एक (लगभग) जटिल मैनिफोल्ड M पर एक हर्मिटियन मापीय h अंतर्निहित समतल मैनिफोल्ड पर एक रीमैनियन मापीय g को परिभाषित करता है। मापीय g को h के वास्तविक भाग के रूप में परिभाषित किया गया है,$$g = {1 \over 2}\left(h + \bar h\right).$$प्रपत्र g, जटिल स्पर्शरेखा बंडल TMC पर एक सममित द्विरेखीय रूप है। चूँकि g इसके संयुग्म के बराबर है, इसलिए यह TM पर वास्तविक रूप की जटिलता है। TM पर g की समरूपता और सकारात्मक-निश्चितता h के संगत गुणों से अनुसरण करती है। स्थानीय पूर्णसममितिक निर्देशांक में मापीय g को$$g = {1 \over 2}h_{\alpha\bar\beta}\,\left(dz^\alpha\otimes d\bar z^\beta + d\bar z^\beta\otimes dz^\alpha\right).$$लिखा जा सकता है। h के साथ जटिल अवकल रूप ω को भी जोड़ सकते हैं, जिसका डिग्री (1,1) होता है। प्रपत्र ω को h के अधिकल्पित भाग को घटाकर परिभाषित किया गया है,$$\omega = {i \over 2}\left(h - \bar h\right).$$पुनः चूँकि ω इसके संयुग्म के बराबर है, इसलिए यह TM पर एक वास्तविक रूप की जटिलता है। रूप ω को विभिन्न रूप से 'संबद्ध (1,1) रूप', 'मूल रूप' या 'हर्मिटियन रूप ' भी कहा जाता है। स्थानीय पूर्णसममितिक निर्देशांक में ω को$$\omega = {i \over 2}h_{\alpha\bar\beta}\,dz^\alpha\wedge d\bar z^\beta.$$लिखा जा सकता है। समन्वय निरूपण से यह स्पष्ट है कि तीन रूपों $h$, $g$, और $ω$ में से कोई भी अन्य दो को विशिष्ट रूप से निर्धारित करता है। रीमैनियन मापीय $g$ और संबद्ध (1,1) प्रपत्र $ω$ लगभग जटिल संरचना $J$ से संबंधित हैं जो सभी जटिल स्पर्शरेखा सदिशों $u$ और $v$ के लिए$$\begin{align} \omega(u, v) &= g(Ju, v)\\ g(u, v) &= \omega(u, Jv) \end{align}$$है। हर्मिटियन मापीय $h$ को पहचान$$h = g - i\omega.$$के माध्यम से $g$ और $ω$ से पुनर्प्राप्त किया जा सकता है। सभी तीन रूप h, g, और ω लगभग जटिल संरचना को संरक्षित करते हैं $J$। अर्थात्, सभी जटिल स्पर्शरेखा सदिशों $u$ और $v$ के लिए $$\begin{align} h(Ju, Jv) &= h(u, v) \\ g(Ju, Jv) &= g(u, v) \\ \omega(Ju, Jv) &= \omega(u, v) \end{align}$$ है ।

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

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

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

प्रत्येक लगभग हर्मिटियन मैनिफोल्ड M में एक विहित आयतन रूप होता है जो g द्वारा निर्धारित रीमैनियन आयतन रूप होता है। यह रूप संबद्ध (1,1)-रूप $ω$ बटा $$\mathrm{vol}_M = \frac{\omega^n}{n!} \in \Omega^{n,n}(M)$$के संदर्भ में दिया गया है जहां $ω^{n}$ अपने आप में $n$ बार $ω$ का वेज उत्पाद है। इसलिए आयतन रूप M पर एक वास्तविक (n,n)-रूप है। स्थानीय पूर्णसममितिक निर्देशांक में आयतन रूप $$\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.$$द्वारा दिया जाता है। हम एक पूर्णसममितिक सदिश बंडल पर भी एक हर्मिटियन मापीय का विचार कर सकता है।

काहलर मैनिफोल्ड्स
हर्मिटियन मैनिफोल्ड्स का सबसे महत्वपूर्ण वर्ग काहलर मैनिफोल्ड्स हैं। ये हर्मिटियन मैनिफ़ोल्ड हैं जिनके लिए हर्मिटियन रूप है $ω$ बंद है, $$d\omega = 0\,.$$ इस मामले में रूप ω को काहलर रूप कहा जाता है। काहलर रूप एक संसुघटित रूप है, और इसलिए काहलर मैनिफोल्ड्स स्वाभाविक रूप से संसुघटित मैनिफोल्ड्स हैं।

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

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

मान लीजिए $(M, g, ω, J)$ वास्तविक आयाम $2n$ का लगभग हर्मिटियन मैनिफोल्ड है और मान लीजिए कि $∇$ $g$ का लेवी-सिविटा संबन्ध है। $M$ के काहलर होने के लिए निम्नलिखित समतुल्य शर्तें हैं,
 * $ω$ बंद है और $J$ पूर्णांक है,
 * $∇J = 0$ का होलोनोमी समूह $∇ω = 0$ से संबद्ध एकात्मक समूह $∇$ में समाहित है,
 * $J$ का होलोनोमी समूह $U(n)$ से संबद्ध एकात्मक समूह $M$ में समाहित है,
 * $∇ω = ∇J = 0$ का होलोनोमी समूह ᙭᙭᙭᙭᙭ से संबद्ध एकात्मक समूह ᙭᙭᙭᙭᙭ में समाहित है,

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

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