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

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

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

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

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

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

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

रीमैनियन मापीय और संबंधित फॉर्म
एक (लगभग) जटिल मैनिफोल्ड एम पर एक हर्मिटियन मापीय एच अंतर्निहित चिकनी मैनिफोल्ड पर एक रीमैनियन मापीय जी को परिभाषित करता है। मापीय g को h के वास्तविक भाग के रूप में परिभाषित किया गया है: $$g = {1 \over 2}\left(h + \bar h\right).$$ प्रपत्र g, TM पर एक सममित द्विरेखीय रूप हैसी, जटिल स्पर्शरेखा बंडल। चूँकि g इसके संयुग्म के बराबर है, यह TM पर वास्तविक रूप का जटिलीकरण है। TM पर g की समरूपता और सकारात्मक-निश्चितता h के संगत गुणों से अनुसरण करती है। स्थानीय होलोमोर्फिक निर्देशांक में मापीय जी लिखा जा सकता है $$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$ निम्नलिखित नुसार $$\begin{align} \omega(u, v) &= g(Ju, v)\\ g(u, v) &= \omega(u, Jv) \end{align}$$ सभी जटिल स्पर्शरेखा सदिशों के लिए $u$ और $v$. हर्मिटियन मापीय $h$ से पुनर्प्राप्त किया जा सकता है $g$ और $ω$पहचान के माध्यम से $$h = g - i\omega.$$ सभी तीन रूप h, g, और ω लगभग जटिल संरचना को संरक्षित करते हैं $J$. वह है, $$\begin{align} h(Ju, Jv) &= h(u, v) \\ g(Ju, Jv) &= g(u, v) \\ \omega(Ju, Jv) &= \omega(u, v) \end{align}$$ सभी जटिल स्पर्शरेखा सदिशों के लिए $u$ और $v$.

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

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

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

प्रत्येक लगभग हर्मिटियन मैनिफोल्ड एम में एक कैनोनिकल वॉल्यूम फॉर्म होता है जो जी द्वारा निर्धारित रीमैनियन वॉल्यूम फॉर्म होता है। यह फॉर्म संबद्ध (1,1)-फॉर्म के संदर्भ में दिया गया है $ω$ द्वारा $$\mathrm{vol}_M = \frac{\omega^n}{n!} \in \Omega^{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$ के लिए जुड़े $∇$,
 * का होलोनोमी समूह $U(n)$ एकात्मक समूह में समाहित है $J$ के लिए जुड़े $M$,
 * का होलोनोमी समूह $∇ω = ∇J = 0$ एकात्मक समूह में समाहित है ᙭᙭᙭᙭᙭ के लिए जुड़े ᙭᙭᙭᙭᙭,

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

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