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

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

प्रत्येक सुचारू योजना जटिल प्रक्षेप्य प्रकार काहलर मैनिफोल्ड है। हॉज सिद्धांत बीजगणितीय ज्यामिति का एक केंद्रीय हिस्सा है, जिसे काहलर मापीय का उपयोग करके सिद्ध किया गया है।

परिभाषाएँ

चूंकि काहलर मैनिफोल्ड्स कई संगत संरचनाओं से सुसज्जित हैं, इसलिए उन्हें विभिन्न दृष्टिकोणों से वर्णित किया जा सकता है,

संसुघटित दृष्टिकोण

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

$g(u,v)=\omega (u,Jv)$

सममित और सकारात्मक निश्चित (और इसलिए X पर एक रीमैनियन मापीय) है।

जटिल दृष्टिकोण

काहलर मैनिफोल्ड हर्मिटियन मापीय h के साथ एक जटिल मैनिफोल्ड X है जिसका संबद्ध 2-रूप ω बंद है। अधिक विस्तार से, h ​​X के प्रत्येक बिंदु पर स्पर्शी समष्टि TX पर एक सकारात्मक निश्चित हर्मिटियन रूप देता है, और 2-रूप ω को स्पर्श सदिश u और v के लिए

$\omega (u,v)=\operatorname {Re} h(iu,v)=\operatorname {Im} h(u,v)$

द्वारा परिभाषित किया गया है (जहाँ i सम्मिश्र संख्या है ${\sqrt {-1}}$ है)। काहलर मैनिफोल्ड X के लिए, 'काहलर रूप' ω एक वास्तविक बंद (1,1)-रूप है। काहलर मैनिफ़ोल्ड को रीमैनियन मैनिफ़ोल्ड के रूप में भी देखा जा सकता है, तथा रीमैनियन मापीय g को

$g(u,v)=\operatorname {Re} h(u,v).$

द्वारा परिभाषित किया गया है। समान रूप से, काहलर मैनिफोल्डⁿपी के पास 2 ऑर्डर करने के लिए। अर्थात्, यदि चार्ट 'सी' में पी से 0 लेता हैⁿ, और मापीय इन निर्देशांकों में इस प्रकार लिखा गया है h_ab = (∂/∂z_a, ∂/∂z_b), तब

$h_{ab}=\delta _{ab}+O(\|z\|^{2})$

सभी ए, बी इन के लिए {1, ..., n}.

चूंकि 2-फॉर्म ω बंद है, यह डॉ कहलमज गर्भाशय में एक तत्व निर्धारित करता है H²(X, R), काहलर वर्ग के रूप में जाना जाता है।

रीमैनियन दृष्टिकोण

काहलर मैनिफोल्ड सम आयाम 2n का एक रीमैनियन मैनिफोल्ड X है जिसका होलोनॉमी समूह एकात्मक समूह U(n) में समाहित है। समान रूप से, प्रत्येक बिंदु पर X के स्पर्शी समष्टि पर एक जटिल संरचना J होती है (अर्थात, TX से स्वयं तक एक वास्तविक रैखिक मानचित्र) J² = −1) जैसे कि J मापीय g को सुरक्षित रखता है (जिसका अर्थ है कि g(Ju, Jv) = g(u, v)) और J को समानांतर परिवहन द्वारा संरक्षित किया जाता है।

काहलर क्षमता

एक जटिल मैनिफोल्ड पर एक सुचारू फ़ंक्शन वास्तविक-मूल्यवान फ़ंक्शन ρ को प्लुरिसुबरमोनिक फ़ंक्शन # ओका प्रमेय कहा जाता है यदि वास्तविक बंद (1,1)-फॉर्म है

$\omega ={\frac {i}{2}}\partial {\bar {\partial }}\rho$

सकारात्मक है, यानी काहलर रूप। यहाँ $\partial ,{\bar {\partial }}$ कॉम्प्लेक्स डिफरेंशियल फॉर्म#डॉल्बुल्ट ऑपरेटर्स हैं। फ़ंक्शन ρ को ω के लिए 'काहलर पोटेंशियल' कहा जाता है।

इसके विपरीत, बंद और सटीक अंतर रूपों के जटिल संस्करण द्वारा#पोंकारे लेम्मा|पोंकारे लेम्मा, जिसे स्थानीय डीडीबार लेम्मा|स्थानीय के रूप में जाना जाता है $\partial {\bar {\partial }}$-लेम्मा, प्रत्येक काहलर मापीय को स्थानीय रूप से इस तरह वर्णित किया जा सकता है। अर्थात यदि (X, ω) एक काहलर मैनिफोल्ड है, तो एक्स में प्रत्येक बिंदु पी के लिए पी का पड़ोस यू और यू पर एक चिकनी वास्तविक-मूल्यवान फ़ंक्शन ρ है जैसे कि $\omega \vert _{U}=(i/2)\partial {\bar {\partial }}\rho$. यहां ρ को ω के लिए 'स्थानीय काहलर क्षमता' कहा जाता है। किसी एकल फ़ंक्शन के संदर्भ में सामान्य रीमैनियन मापीय का वर्णन करने का कोई तुलनीय तरीका नहीं है।

काहलर विभवों का स्थान

हालाँकि विश्व स्तर पर एकल काहलर क्षमता का उपयोग करके काहलर रूप का वर्णन करना हमेशा संभव नहीं होता है, इस तरह से दो काहलर रूपों के अंतर का वर्णन करना संभव है, बशर्ते वे एक ही डी राम कोहोमोलॉजी वर्ग में हों। यह ddbar लेम्मा| का परिणाम है$\partial {\bar {\partial }}$-हॉज सिद्धांत से लेम्मा।

अर्थात्, यदि $(X,\omega )$ एक कॉम्पैक्ट काहलर मैनिफोल्ड है, फिर कोहोमोलॉजी क्लास $[\omega ]\in H_{\text{dR}}^{2}(X)$ काहलर वर्ग कहलाता है। इस वर्ग का कोई अन्य प्रतिनिधि, $\omega '$ कहते हैं, से भिन्न है $\omega$ द्वारा $\omega '=\omega +d\beta$ किसी एक रूप के लिए $\beta$. $\partial {\bar {\partial }}$वें>-लेम्मा आगे बताता है कि यह सटीक रूप है $d\beta$ के रूप में लिखा जा सकता है $d\beta =i\partial {\bar {\partial }}\varphi$ सुचारू कार्य के लिए $\varphi :X\to \mathbb {C}$. उपरोक्त स्थानीय चर्चा में, कोई स्थानीय काहलर वर्ग लेता है $[\omega ]=0$ एक खुले उपसमुच्चय पर $U\subset X$, और पोंकारे लेम्मा के अनुसार कोई भी काहलर रूप स्थानीय रूप से शून्य के अनुरूप होगा। इस प्रकार स्थानीय काहलर क्षमता $\rho$ एक ही है $\varphi$ के लिए $[\omega ]=0$ स्थानीय स्तर पर.

सामान्यतः यदि $[\omega ]$ एक काहलर वर्ग है, तो किसी भी अन्य काहलर मापीय को इस प्रकार लिखा जा सकता है $\omega _{\varphi }=\omega +i\partial {\bar {\partial }}\varphi$ ऐसे सुचारु कार्य के लिए. यह प्रपत्र स्वचालित रूप से एक सकारात्मक रूप नहीं है, इसलिए काहलर का स्थान वर्ग के लिए संभावित है $[\omega ]$ उन सकारात्मक मामलों के रूप में परिभाषित किया गया है, और आमतौर पर इसे दर्शाया जाता है ${\mathcal {K}}$:

${\mathcal {K}}_{[\omega ]}:=\{\varphi :X\to \mathbb {R} {\text{ smooth}}\mid \omega +i\partial {\bar {\partial }}\varphi >0\}.$

यदि दो काहलर क्षमताएं एक स्थिरांक से भिन्न होती हैं, तो वे एक ही काहलर मापीय को परिभाषित करते हैं, इसलिए कक्षा में काहलर मापीय का स्थान $[\omega ]$ भागफल से पहचाना जा सकता है ${\mathcal {K}}/\mathbb {R}$. काहलर क्षमता का स्थान एक संकुचन योग्य स्थान है। इस तरह काहलर क्षमता का स्थान किसी दिए गए वर्ग में सभी काहलर मापीय का एक साथ अध्ययन करने की अनुमति देता है, और अस्तित्व के अध्ययन में यह परिप्रेक्ष्य काहलर मापीय के लिए परिणाम देता है।

काहलर मैनिफ़ोल्ड्स और वॉल्यूम मिनिमाइज़र

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

$\mathrm {vol} (Y)={\frac {1}{r!}}\int _{Y}\omega ^{r},$

जहां Y एक r-आयामी बंद जटिल उप-स्थान है और ω काहलर रूप है। चूँकि ω बंद है, यह समाकलन केवल Y के वर्ग पर निर्भर करता है H_2r(X, R). ये खंड हमेशा सकारात्मक होते हैं, जो काहलर वर्ग ω की एक मजबूत सकारात्मकता को व्यक्त करता है H²(X, R) जटिल उप-स्थानों के संबंध में। विशेष रूप से, ωⁿशून्य नहीं है H²ⁿ(X, R), जटिल आयाम n के एक कॉम्पैक्ट काहलर मैनिफोल्ड X के लिए।

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

काहलर की पहचान

Main article: Kähler identities

काहलर मैनिफोल्ड पर चिकनी, जटिल और रीमानियन संरचनाओं के बीच मजबूत बातचीत के परिणामस्वरूप, काहलर मैनिफोल्ड के जटिल अंतर रूप पर विभिन्न ऑपरेटरों के बीच प्राकृतिक पहचान होती है जो मनमाने ढंग से जटिल मैनिफोल्ड के लिए नहीं होती है। ये पहचान बाहरी व्युत्पन्न से संबंधित हैं $d$, डॉल्बॉल्ट संचालक $\partial ,{\bar {\partial }}$ और उनके सहयोगी, लाप्लासियन $\Delta _{d},\Delta _{\partial },\Delta _{\bar {\partial }}$, और लेफ्शेट्ज़ ऑपरेटर $L:=\omega \wedge -$ और इसका सहायक, संकुचन संचालक $\Lambda =L^{*}$. पहचान काहलर मैनिफोल्ड्स पर विश्लेषणात्मक टूलकिट का आधार बनती है, और हॉज सिद्धांत के साथ मिलकर काहलर मैनिफोल्ड्स और उनके कोहोलॉजी के कई महत्वपूर्ण गुणों को साबित करने में मौलिक हैं। विशेष रूप से कोडैरा लुप्त प्रमेय और नाकानो लुप्त प्रमेय, लेफ्शेट्ज़ हाइपरप्लेन प्रमेय, हार्ड लेफ्सचेट्ज़ प्रमेय, हॉज-रीमैन द्विरेखीय संबंध और हॉज सूचकांक प्रमेय को साबित करने में काहलर की पहचान महत्वपूर्ण है।

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

आयाम एन के रीमैनियन मैनिफोल्ड पर, चिकने आर-फॉर्म पर लाप्लासियन को परिभाषित किया गया है $\Delta _{d}=dd^{*}+d^{*}d$ कहाँ $d$ बाहरी व्युत्पन्न है और $d^{*}=-(-1)^{Nr}\star d\star$, कहाँ $\star$ हॉज स्टार ऑपरेटर है. (समान रूप से, $d^{*}$ का सहायक संचालक है $d$ L2 स्पेस|L के संबंध में^{कॉम्पैक्ट सपोर्ट के साथ आर-फॉर्म पर 2}आंतरिक उत्पाद।) हर्मिटियन मैनिफोल्ड एक्स के लिए, $d$ और $d^{*}$ के रूप में विघटित होते हैं

$d=\partial +{\bar {\partial }},\ \ \ \ d^{*}=\partial ^{*}+{\bar {\partial }}^{*},$

और दो अन्य लाप्लासियन परिभाषित हैं:

$\Delta _{\bar {\partial }}={\bar {\partial }}{\bar {\partial }}^{*}+{\bar {\partial }}^{*}{\bar {\partial }},\ \ \ \ \Delta _{\partial }=\partial \partial ^{*}+\partial ^{*}\partial .$

यदि

$\Delta _{d}=2\Delta _{\bar {\partial }}=2\Delta _{\partial }.$

इन पहचानों का अर्थ है कि काहलर मैनिफोल्ड एक्स पर,

${\mathcal {H}}^{r}(X)=\bigoplus _{p+q=r}{\mathcal {H}}^{p,q}(X),$

कहाँ ${\mathcal {H}}^{r}$ X पर हार्मोनिक r-रूपों का स्थान है (साथ में α बनता है Δα = 0) और ${\mathcal {H}}^{p,q}$ हार्मोनिक जटिल विभेदक रूप का स्थान है|(p,q)-रूप। अर्थात विभेदक रूप $\alpha$ हार्मोनिक है यदि और केवल यदि इसका प्रत्येक (p,q)-घटक हार्मोनिक है।

इसके अलावा, एक कॉम्पैक्ट काहलर मैनिफोल्ड एक्स के लिए, हॉज सिद्धांत उपरोक्त विभाजन की व्याख्या देता है जो काहलर मापीय की पसंद पर निर्भर नहीं करता है। अर्थात्, सह-समरूपता {{nowrap|H^r(X, C)}जटिल गुणांक वाले X का } कुछ सुसंगत शीफ कोहोलॉजी समूहों के प्रत्यक्ष योग के रूप में विभाजित होता है:

$H^{r}(X,\mathbf {C} )\cong \bigoplus _{p+q=r}H^{q}(X,\Omega ^{p}).$

बाईं ओर का समूह केवल टोपोलॉजिकल स्पेस के रूप में एक्स पर निर्भर करता है, जबकि दाईं ओर का समूह एक जटिल मैनिफोल्ड के रूप में एक्स पर निर्भर करता है। तो यह 'हॉज अपघटन प्रमेय' कॉम्पैक्ट काहलर मैनिफोल्ड्स के लिए टोपोलॉजी और जटिल ज्यामिति को जोड़ता है।

चलो एच^p,q(X) सम्मिश्र सदिश समष्टि हो H^q(X, Ω^p), जिसे अंतरिक्ष से पहचाना जा सकता है ${\mathcal {H}}^{p,q}(X)$ किसी दिए गए काहलर मापीय के संबंध में हार्मोनिक रूपों का। X के हॉज नंबरों को परिभाषित किया गया है h^p,q(X) = dim_CH^p,q(X). हॉज अपघटन का तात्पर्य कॉम्पैक्ट काहलर मैनिफोल्ड एक्स के हॉज नंबरों के संदर्भ में बेटी नंबर के अपघटन से है:

$b_{r}=\sum _{p+q=r}h^{p,q}.$

कॉम्पैक्ट काहलर मैनिफोल्ड के हॉज नंबर कई पहचानों को संतुष्ट करते हैं। हॉज समरूपता h^p,q = h^q,p लाप्लासियन के रूप में धारण करता है $\Delta _{d}$ एक वास्तविक ऑपरेटर है, इत्यादि $H^{p,q}={\overline {H^{q,p}}}$. पहचान h^p,q = h^n−p,n−q इसका उपयोग करके सिद्ध किया जा सकता है कि हॉज स्टार ऑपरेटर एक समरूपता देता है $H^{p,q}\cong {\overline {H^{n-p,n-q}}}$. यह सेरे द्वैत से भी अनुसरण करता है।

कॉम्पैक्ट काहलर मैनिफोल्ड्स की टोपोलॉजी

हॉज सिद्धांत का एक सरल परिणाम यह है कि प्रत्येक विषम बेट्टी संख्या बी_2a+1 हॉज समरूपता द्वारा एक कॉम्पैक्ट काहलर मैनिफोल्ड सम है। यह सामान्य रूप से कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स के लिए सच नहीं है, जैसा कि हॉपफ सतह के उदाहरण से पता चलता है, जो कि भिन्न है S¹ × S³ और इसलिए है b₁ = 1.

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

काहलर की स्थिति के बिना, स्थिति सरल है: क्लिफोर्ड टौब्स ने दिखाया कि प्रत्येक परिमित रूप से प्रस्तुत समूह आयाम 3 के कुछ कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड के मूल समूह के रूप में उत्पन्न होता है। (इसके विपरीत, किसी भी बंद मैनिफोल्ड का मूल समूह अंतिम रूप से प्रस्तुत किया जाता है।)

जटिल प्रक्षेप्य किस्मों और कॉम्पैक्ट काहलर मैनिफ़ोल्ड्स की विशेषताएँ

कोडैरा एम्बेडिंग प्रमेय सभी कॉम्पैक्ट काहलर मैनिफोल्ड्स के बीच चिकनी जटिल प्रक्षेप्य किस्मों की विशेषता बताता है। अर्थात्, एक कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड एक्स प्रक्षेप्य है यदि और केवल तभी जब H²(X, R) इंटीग्रल कोहोमोलॉजी समूह की छवि में है H²(X, Z). (चूँकि काहलर रूप का एक धनात्मक गुणज काहलर रूप है, यह कहने के बराबर है कि एक्स के पास काहलर रूप है जिसका वर्ग H²(X, R) में है H²(X, Q).) समान रूप से, H²(X, Z)). काहलर फॉर्म ω जो इन शर्तों को पूरा करता है (अर्थात, काहलर फॉर्म ω एक अभिन्न अंतर रूप है) को हॉज फॉर्म भी कहा जाता है, और इस समय काहलर मापीय को हॉज मापीय कहा जाता है। हॉज मेट्रिक के साथ कॉम्पैक्ट काहलर मैनिफोल्ड्स को हॉज मैनिफोल्ड्स भी कहा जाता है। काहलर मैनिफोल्ड्स के कई गुण थोड़ी अधिक व्यापकता में हैं $\partial {\bar {\partial }}$-मैनिफोल्ड्स, वह कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स है जिसके लिए Ddbar लेम्मा|$\partial {\bar {\partial }}$-लेम्मा रखती है। विशेष रूप से बॉटल-चेर्न कोहोमोलॉजी एक कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स के डोल्बौल्ट कोहोमोलॉजी का एक विकल्प है, और वे आइसोमोर्फिक हैं यदि और केवल यदि मैनिफोल्ड संतुष्ट करता है $\partial {\bar {\partial }}$-लेम्मा, और विशेष रूप से सहमत हैं जब मैनिफोल्ड काहलर है। सामान्य तौर पर बॉटल-चेर्न कोहोमोलॉजी से लेकर डॉल्बुल्ट कोहोमोलॉजी तक के प्राकृतिक मानचित्र के कर्नेल में काहलर के मैनिफोल्ड की विफलता के बारे में जानकारी होती है। प्रत्येक कॉम्पैक्ट कॉम्प्लेक्स वक्र प्रक्षेप्य है, लेकिन कम से कम 2 जटिल आयाम में, कई कॉम्पैक्ट काहलर मैनिफ़ोल्ड हैं जो प्रोजेक्टिव नहीं हैं; उदाहरण के लिए, अधिकांश जटिल टोरस प्रक्षेप्य नहीं होते हैं। कोई यह पूछ सकता है कि क्या प्रत्येक कॉम्पैक्ट काहलर मैनिफोल्ड को कम से कम (जटिल संरचना को लगातार अलग-अलग करके) एक चिकनी प्रक्षेप्य विविधता में विकृत किया जा सकता है। एनरिकेस-कोडैरा वर्गीकरण पर कुनिहिको कोदैरा के काम का तात्पर्य है कि जटिल आयाम 2 के प्रत्येक कॉम्पैक्ट काहलर मैनिफोल्ड को वास्तव में एक चिकनी प्रक्षेप्य विविधता में विकृत किया जा सकता है। हालाँकि, क्लेयर पड़ोसी ने पाया कि यह कम से कम 4 आयामों में विफल रहता है। उसने जटिल आयाम 4 के एक कॉम्पैक्ट काहलर मैनिफोल्ड का निर्माण किया जो कि किसी भी चिकनी जटिल प्रक्षेप्य विविधता के बराबर भी होमोटॉपी नहीं है। कोई भी सभी कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स के बीच कॉम्पैक्ट काहलर मैनिफोल्ड्स के लक्षण वर्णन के लिए भी पूछ सकता है। जटिल आयाम 2 में, कोडैरा और यम-टोंग सिउ ने दिखाया कि एक कॉम्पैक्ट जटिल सतह में काहलर मापीय होता है यदि और केवल तभी जब इसकी पहली बेट्टी संख्या सम हो। इस परिणाम का एक वैकल्पिक प्रमाण जिसमें कॉम्पैक्ट जटिल सतहों के वर्गीकरण का उपयोग करके कठिन केस-दर-केस अध्ययन की आवश्यकता नहीं होती है, बुचडाहल और लामारी द्वारा स्वतंत्र रूप से प्रदान किया गया था। इस प्रकार काहलर कॉम्पैक्ट जटिल सतहों के लिए एक विशुद्ध रूप से टोपोलॉजिकल संपत्ति है। हिरोनका%27s_example#A_deformation_of_Kähler_manifolds_that_is_not_a_Kähler_manifold|हालाँकि, हिरोनका का उदाहरण दिखाता है कि यह कम से कम 3 आयामों में विफल रहता है। अधिक विस्तार से, उदाहरण चिकनी कॉम्पैक्ट कॉम्प्लेक्स 3-फोल्ड का 1-पैरामीटर परिवार है जैसे कि अधिकांश फाइबर काहलर (और यहां तक ​​कि प्रक्षेप्य) हैं ), लेकिन एक फाइबर काहलर नहीं है। इस प्रकार एक कॉम्पैक्ट काहलर मैनिफोल्ड एक गैर-काहलर कॉम्प्लेक्स मैनिफोल्ड से भिन्न हो सकता है।

काहलर-आइंस्टीन मैनिफोल्ड्स

Main article: Kähler–Einstein metric

काहलर मैनिफोल्ड को काहलर-आइंस्टीन कहा जाता है यदि इसमें निरंतर रिक्की वक्रता होती है। समान रूप से, रिक्की वक्रता टेंसर मापीय टेंसर के स्थिर λ गुना के बराबर है, रिक = λg। आइंस्टीन का संदर्भ सामान्य सापेक्षता से आता है, जो द्रव्यमान की अनुपस्थिति में दावा करता है कि स्पेसटाइम शून्य रिक्की वक्रता के साथ एक 4-आयामी लोरेंट्ज़ियन मैनिफोल्ड है। अधिक जानकारी के लिए आइंस्टीन मैनिफोल्ड्स पर लेख देखें।

यद्यपि रिक्की वक्रता को किसी भी रीमैनियन मैनिफोल्ड के लिए परिभाषित किया गया है, यह काहलर ज्यामिति में एक विशेष भूमिका निभाता है: काहलर मैनिफोल्ड एक्स की रिक्की वक्रता को एक वास्तविक बंद (1,1)-रूप के रूप में देखा जा सकता है जो सी का प्रतिनिधित्व करता है ₁(एक्स) (स्पर्शरेखा बंडल का पहला चेर्न वर्ग) में H²(X, R). यह इस प्रकार है कि एक कॉम्पैक्ट काहलर-आइंस्टीन मैनिफोल्ड एक्स में विहित बंडल K होना चाहिएX या तो एंटी-एम्पल, होमोलॉजिकली ट्रिवियल, या पर्याप्त लाइन बंडल , यह इस पर निर्भर करता है कि आइंस्टीन स्थिरांक λ सकारात्मक, शून्य या नकारात्मक है या नहीं। उन तीन प्रकारों के काहलर मैनिफोल्ड्स को क्रमशः फैनो किस्म, कैलाबी-याउ मैनिफोल्ड|कैलाबी-याउ, या पर्याप्त कैनोनिकल बंडल (जो सामान्य प्रकार का तात्पर्य है) के साथ कहा जाता है। कोडैरा एम्बेडिंग प्रमेय के अनुसार, पर्याप्त कैनोनिकल बंडल के साथ फैनो मैनिफोल्ड्स और मैनिफोल्ड्स स्वचालित रूप से प्रोजेक्टिव किस्में हैं।

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

ऐसी स्थितियों में जहां काहलर-आइंस्टीन मापीय मौजूद नहीं हो सकता है, निरंतर स्केलर वक्रता काहलर मापीय और चरम काहलर मापीय सहित हल्के सामान्यीकरण का अध्ययन करना संभव है। जब काहलर-आइंस्टीन मापीय मौजूद हो सकता है, तो ये व्यापक सामान्यीकरण स्वचालित रूप से काहलर-आइंस्टीन हैं।

होलोमोर्फिक अनुभागीय वक्रता

यूक्लिडियन अंतरिक्ष पर मानक मापीय से रीमैनियन मैनिफोल्ड एक्स का विचलन अनुभागीय वक्रता द्वारा मापा जाता है, जो एक बिंदु पर एक्स के स्पर्शी समष्टि में किसी भी वास्तविक 2-प्लेन से जुड़ी एक वास्तविक संख्या है। उदाहरण के लिए, 'सीपी' पर मानक मापीय की अनुभागीय वक्रताⁿ (के लिए n ≥ 2) 1/4 और 1 के बीच भिन्न होता है। एक हर्मिटियन मैनिफोल्ड (उदाहरण के लिए, एक काहलर मैनिफोल्ड) के लिए, होलोमोर्फिक अनुभागीय वक्रता का मतलब स्पर्शी समष्टि में जटिल रेखाओं तक सीमित अनुभागीय वक्रता है। यह उस सीपी में अधिक सरलता से व्यवहार करता हैⁿ में 1 के बराबर होलोमोर्फिक अनुभागीय वक्रता है। दूसरे चरम पर, 'सी' में खुली इकाई गेंद (गणित)ⁿ में -1 के बराबर होलोमोर्फिक अनुभागीय वक्रता के साथ एक रीमैनियन मैनिफोल्ड#जियोडेसिक पूर्णता काहलर मापीय है। (इस मापीय के साथ, गेंद को 'कॉम्प्लेक्स हाइपरबोलिक स्पेस' भी कहा जाता है।)

होलोमोर्फिक अनुभागीय वक्रता अंतर्निहित जटिल मैनिफोल्ड की जटिल ज्यामिति से घनिष्ठ रूप से संबंधित है। यह अहलफोर्स श्वार्ज़ लेम्मा का एक प्रारंभिक परिणाम है कि यदि $(X,\omega )$ नकारात्मक होलोमोर्फिक अनुभागीय वक्रता (ऊपर एक नकारात्मक स्थिरांक से घिरा) के हर्मिटियन मापीय के साथ एक हर्मिटियन मैनिफोल्ड है, तो यह ब्रॉडी हाइपरबोलिक है (यानी, प्रत्येक होलोमोर्फिक मानचित्र $\mathbb {C} \to X$ स्थिर है) यदि एक्स कॉम्पैक्ट होता है, तो यह कोबायाशी मापीय के मैनिफोल्ड के बराबर है। दूसरी ओर, यदि $(X,\omega )$ सकारात्मक होलोमोर्फिक अनुभागीय वक्रता के काहलर मापीय के साथ एक कॉम्पैक्ट काहलर मैनिफोल्ड है, यांग शियाओकुई ने दिखाया कि एक्स तर्कसंगत रूप से जुड़ा हुआ है।

जटिल ज्यामिति की एक उल्लेखनीय विशेषता यह है कि जटिल उपमानों पर होलोमोर्फिक अनुभागीय वक्रता कम हो जाती है। (यही बात अधिक सामान्य अवधारणा, होलोमोर्फिक द्विभाजित वक्रता के लिए भी लागू होती है।) उदाहरण के लिए, C का प्रत्येक जटिल उपमानⁿ ('सी' से प्रेरित मापीय के साथ)ⁿ) में होलोमोर्फिक अनुभागीय वक्रता ≤ 0 है।

हर्मिटियन मैनिफोल्ड्स के बीच होलोमोर्फिक मानचित्रों के लिए, होलोमोर्फिक अनुभागीय वक्रता श्वार्ज़ लेम्मा दूसरे क्रम के अनुमान में दिखाई देने वाले लक्ष्य वक्रता शब्द को नियंत्रित करने के लिए पर्याप्त मजबूत नहीं है। इसने ज़ियाओकुई यांग और फांगयांग झेंग द्वारा प्रस्तुत 'वास्तविक द्विभाजक वक्रता' पर विचार करने को प्रेरित किया। यह कॉम्प्लेक्स कर्वेचर ऑपरेटर के नाम से मैन-चुन ली और जेफरी स्ट्रीट्स के काम में भी दिखाई देता है।

उदाहरण

1. कॉम्प्लेक्स समन्वय स्थान सीⁿमानक हर्मिटियन मापीय के साथ काहलर मैनिफोल्ड है।
2. एक कॉम्पैक्ट कॉम्प्लेक्स टोरस 'सी'ⁿ/Λ (Λ एक पूर्ण जाली (समूह)) 'सी' पर यूक्लिडियन मापीय से एक फ्लैट मापीय प्राप्त करता हैⁿ, और इसलिए यह एक कॉम्पैक्ट काहलर मैनिफोल्ड है।
3. उन्मुखी 2-मैनिफोल्ड पर प्रत्येक रीमैनियन मापीय काहलर है। (वास्तव में, इसका होलोनॉमी समूह रोटेशन समूह SO(2) में समाहित है, जो एकात्मक समूह U(1) के बराबर है।) विशेष रूप से, एक उन्मुख रीमैनियन 2-मैनिफोल्ड एक विहित तरीके से एक रीमैन सतह है; इसे इज़ोटेर्मल निर्देशांक के अस्तित्व के रूप में जाना जाता है। इसके विपरीत, प्रत्येक रीमैन सतह काहलर है क्योंकि किसी भी हर्मिटियन मापीय का काहलर रूप आयामी कारणों से बंद है।
4. जटिल प्रक्षेप्य स्थान 'सीपी' पर काहलर मापीय का एक मानक विकल्प हैⁿ, फ़ुबिनी-अध्ययन मीट्रिक। एक विवरण में एकात्मक समूह संम्मिलित है U(n + 1), सी के रैखिक ऑटोमोर्फिज्म का समूहⁿ⁺¹ जो मानक हर्मिटियन रूप को संरक्षित करता है। फ़ुबिनी-स्टडी मापीय 'सीपी' पर अद्वितीय रीमैनियन मापीय हैⁿ (एक धनात्मक गुणज तक) जो कि क्रिया के अंतर्गत अपरिवर्तनीय है U(n + 1)सीपी परⁿ. 'सीपी' का एक स्वाभाविक सामान्यीकरणⁿग्रासमैनियन जैसे कॉम्पैक्ट प्रकार के हर्मिटियन सममित स्थानों द्वारा प्रदान किया जाता है। कॉम्पैक्ट प्रकार के हर्मिटियन सममित स्थान पर प्राकृतिक काहलर मापीय में अनुभागीय वक्रता ≥ 0 है।
5. काहलर मैनिफोल्ड के जटिल सबमैनिफोल्ड पर प्रेरित मापीय काहलर है। विशेष रूप से, कोई भी स्टीन मैनिफोल्ड ('सी' में एंबेडेड)ⁿ) या चिकनी प्रक्षेप्य बीजगणितीय विविधता ('सीपी' में एम्बेडेड)ⁿ) काहलर है. यह उदाहरणों का एक बड़ा वर्ग है.
6. 'सी' में ओपन यूनिट बॉल 'बी'ⁿ में एक पूर्ण काहलर मापीय है जिसे बर्गमैन मापीय कहा जाता है, जिसमें होलोमोर्फिक अनुभागीय वक्रता -1 के बराबर होती है। गेंद का प्राकृतिक सामान्यीकरण गैर-कॉम्पैक्ट प्रकार के हर्मिटियन सममित स्थानों द्वारा प्रदान किया जाता है, जैसे सीगल ऊपरी आधा स्थान। गैर-कॉम्पैक्ट प्रकार का प्रत्येक हर्मिटियन सममित स्थान X कुछ 'सी' में एक बंधे हुए डोमेन के लिए आइसोमोर्फिक हैⁿ, और X का बर्गमैन मापीय अनुभागीय वक्रता ≤ 0 के साथ एक पूर्ण काहलर मापीय है।
7. प्रत्येक K3 सतह Kähler (Siu द्वारा) है।

यह भी देखें

• लगभग जटिल विविधता
• हाइपरकेहलर मैनिफोल्ड
• क्वाटरनियन-काहलर मैनिफोल्ड
• के-ऊर्जा कार्यात्मक

संदर्भ

• Amorós, Jaume; Burger, Marc; Corlette, Kevin; Kotschick, Dieter; Toledo, Domingo (1996), Fundamental Groups of Compact Kähler Manifolds, Mathematical Surveys and Monographs, vol. 44, American Mathematical Society, doi:10.1090/surv/044, ISBN 978-0-8218-0498-8, MR 1379330
• Barth, Wolf P.; Hulek, Klaus; Peters, Chris A.M.; Van de Ven, Antonius (2004) [1984], Compact Complex Surfaces, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, vol. 4, Springer, doi:10.1007/978-3-642-57739-0, ISBN 978-3-540-00832-3, MR 2030225
• Buchdahl, Nicholas (1999). "On compact Kähler surfaces". Annales de l'Institut Fourier. 49 (1): 287–302. doi:10.5802/aif.1674. MR 1688136. Zbl 0926.32025.
• Cannas da Silva, Ana (2001), Lectures on Symplectic Geometry, Lecture Notes in Mathematics, vol. 1764, Springer, doi:10.1007/978-3-540-45330-7, ISBN 978-3540421955, MR 1853077
• Griffiths, Phillip; Harris, Joseph (1994) [1978]. Principles of Algebraic Geometry. John Wiley & Sons. ISBN 978-0-471-05059-9. MR 0507725.
• Kähler, Erich (1933), "Ùber eine bemerkenswerte Hermitesche Metrik", Abh. Math. Sem. Univ. Hamburg, 9: 173–186, doi:10.1007/BF02940642, JFM 58.0780.02, S2CID 122246578
• Huybrechts, Daniel (2005), Complex Geometry: An Introduction, Springer, ISBN 978-3-540-21290-4, MR 2093043
• Kobayashi, Shoshichi; Nomizu, Katsumi (1996) [1969], Foundations of Differential Geometry, vol. 2, John Wiley & Sons, ISBN 978-0-471-15732-8, MR 1393941
• Kodaira, K. (1954). "On Kahler Varieties of Restricted Type an Intrinsic Characterization of Algebraic Varieties)". Annals of Mathematics. 60 (1): 28–48. doi:10.2307/1969701. JSTOR 1969701.
• Lamari, Ahcène (1999). "Courants kählériens et surfaces compactes". Annales de l'Institut Fourier. 49 (1): 263–285. doi:10.5802/aif.1673. MR 1688140. Zbl 0926.32026.
• Lee, Man-Chun; Streets, Jeffrey (2021). "Complex Manifolds with Negative Curvature Operator". International Mathematics Research Notices. 2021 (24): 18520–18528. arXiv:1903.12645. doi:10.1093/imrn/rnz331. S2CID 88524040.
• Moroianu, Andrei (2007), Lectures on Kähler Geometry, London Mathematical Society Student Texts, vol. 69, Cambridge University Press, arXiv:math/0402223, doi:10.1017/CBO9780511618666, ISBN 978-0-521-68897-0, MR 2325093
• Voisin, Claire (2004), "On the homotopy types of compact Kähler and complex projective manifolds", Inventiones Mathematicae, 157 (2): 329–343, arXiv:math/0312032, Bibcode:2004InMat.157..329V, doi:10.1007/s00222-003-0352-1, MR 2076925, S2CID 11984149
• Yang, Xiaokui; Zheng, Fangyang (2018). "On real bisectional curvature for Hermitian manifolds". Transactions of the American Mathematical Society. 371 (4): 2703–2718. arXiv:1610.07165. doi:10.1090/tran/7445. S2CID 119669591.
• Wells, Raymond O. (2007). Differential Analysis on Complex Manifolds. ISBN 9780387738925.
• Zheng, Fangyang (2000), Complex Differential Geometry, American Mathematical Society, ISBN 978-0-8218-2163-3, MR 1777835

बाहरी संबंध

• "Kähler manifold", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Moroianu, Andrei (2004), Lectures on Kähler Geometry (PDF)