काहलर मैनिफोल्ड: Difference between revisions
No edit summary |
No edit summary |
||
(35 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Manifold with Riemannian, complex and symplectic structure}} | {{Short description|Manifold with Riemannian, complex and symplectic structure}} | ||
[[गणित]] और विशेष रूप से [[विभेदक ज्यामिति|अवकल ज्यामिति]] में, काहलर[[ कई गुना | मैनिफोल्ड]] तीन परस्पर संगत संरचनाओं वाला एक मैनिफोल्ड है, जिसमे एक [[जटिल संरचना,]] एक [[रीमैनियन मैनिफोल्ड| | [[गणित]] और विशेष रूप से [[विभेदक ज्यामिति|अवकल ज्यामिति]] में, काहलर[[ कई गुना | मैनिफोल्ड]] तीन परस्पर संगत संरचनाओं वाला एक मैनिफोल्ड है, जिसमे एक [[जटिल संरचना,|सम्मिश्र संरचना,]] एक [[रीमैनियन मैनिफोल्ड|रीमानी संरचना]], और एक [[सिंपलेक्टिक मैनिफ़ोल्ड|समकोणिक संरचना]] सम्मिलित है। इस अवधारणा का अध्ययन सबसे पहले 1930 में [[जान अर्नोल्डस शौटेन]] और [[डेविड वान डेंजिग]] द्वारा किया गया था, और फिर 1933 में इसे [[एरिच काहलर]] द्वारा प्रस्तावित किया गया था। शब्दावली आंद्रे वेइल द्वारा तय की गई है। काहलर ज्यामिति काहलर मैनिफोल्ड्स, उनकी ज्यामिति और सांस्थिति के अध्ययन के साथ-साथ संरचनाओं और निर्माणों के अध्ययन को संदर्भित करती है जो कि काहलर मैनिफोल्ड्स पर किए जा सकते हैं, इसमें विशेष संबंधो की उपस्थिति जैसे [[हर्मिटियन यांग-मिल्स संबंध]] या [[विशेष मापीय जैसे केलर-आइंस्टीन मापीय]] का अध्ययन संम्मिलित होता है। | ||
प्रत्येक [[सुचारू योजना]] [[जटिल संख्या| | प्रत्येक [[सुचारू योजना|सुचारू]] [[जटिल संख्या|सम्मिश्र]] [[प्रक्षेप्य किस्म|प्रक्षेप्य प्रकार]] काहलर मैनिफोल्ड है। [[हॉज सिद्धांत]] [[बीजगणितीय ज्यामिति]] का एक केंद्रीय भाग है, जिसे काहलर मापीय का उपयोग करके सिद्ध किया गया है। | ||
==परिभाषाएँ== | ==परिभाषाएँ== | ||
चूंकि काहलर मैनिफोल्ड्स कई संगत संरचनाओं से | चूंकि काहलर मैनिफोल्ड्स कई संगत संरचनाओं से प्रयुक्त हैं, इसलिए उन्हें विभिन्न दृष्टिकोणों से वर्णित किया जा सकता है, | ||
=== | ===सिम्प्लेक्टिक दृष्टिकोण=== | ||
काहलर मैनिफोल्ड एक सिम्प्लेक्टिक मैनिफोल्ड | काहलर मैनिफोल्ड एक [[संसुघटित मैनिफोल्ड|सिम्प्लेक्टिक मैनिफोल्ड]] {{nowrap|(''X'', ''ω'')}} है जो एक [[अभिन्न लगभग-जटिल संरचना|अभिन्न लगभग-सम्मिश्र संरचना]] J से प्रयुक्त है जो[[ सरलीकृत रूप | सिम्प्लेक्टिक रूप]] ω के साथ संगत है, जिसका अर्थ है कि प्रत्येक बिंदु पर X के [[स्पर्शी समष्टि]] पर [[द्विएकघाती समघात]] | ||
:<math>g(u,v)=\omega(u,Jv)</math> | :<math>g(u,v)=\omega(u,Jv)</math> | ||
सममित और [[सकारात्मक निश्चित|धनात्मक निश्चित]] (और इसलिए X पर एक रीमानी मापीय) है।<ref>{{harvtxt|Cannas da Silva |2001}}, Definition 16.1.</ref> | |||
===सम्मिश्र दृष्टिकोण=== | |||
काहलर मैनिफोल्ड [[हर्मिटियन मापीय]] h के साथ एक [[जटिल मैनिफोल्ड|सम्मिश्र मैनिफोल्ड]] X है जिसका [[संबद्ध 2-रूप]] ω [[बंद|सवृत]] है। अधिक विस्तार से, h X के प्रत्येक बिंदु पर स्पर्शी समष्टि TX पर एक धनात्मक निश्चित हर्मिटियन रूप देता है, और 2-रूप ω को स्पर्श सदिश u और v के लिए | |||
=== | |||
काहलर मैनिफोल्ड एक जटिल मैनिफोल्ड अधिक विस्तार से, | |||
:<math>\omega(u,v)=\operatorname{Re} h(iu,v) = \operatorname{Im} h(u, v)</math> | :<math>\omega(u,v)=\operatorname{Re} h(iu,v) = \operatorname{Im} h(u, v)</math> | ||
द्वारा परिभाषित किया गया है (जहाँ i सम्मिश्र संख्या <math>\sqrt{-1}</math> है)। काहलर मैनिफोल्ड X के लिए, 'काहलर रूप' ω एक वास्तविक सवृत [[(1,1)-रूप]] है। काहलर मैनिफ़ोल्ड को रीमानी मैनिफ़ोल्ड के रूप में भी देखा जा सकता है, तथा रीमानी मापीय g को | |||
:<math>g(u,v)=\operatorname{Re} h(u,v).</math> | :<math>g(u,v)=\operatorname{Re} h(u,v).</math> | ||
समान रूप से, काहलर मैनिफोल्ड<sup>n</sup> | द्वारा परिभाषित किया गया है। समान रूप से, काहलर मैनिफोल्ड X सम्मिश्र आयाम n का एक [[हर्मिटियन मैनिफोल्ड]] है जैसे कि X के प्रत्येक बिंदु p के लिए, p के चारों ओर एक [[पूर्णसममितिक निर्देशांक चार्ट]] है जिसमें मापीय C<sup>n</sup> पर मानक मापीय के साथ p के पास 2 अनुक्रम करने के लिए सहमत है।<ref>{{harvtxt|Zheng|2000}}, Proposition 7.14.</ref> अर्थात्, यदि चार्ट 'C<sup>n</sup>' में p से 0 लेता है, और इन निर्देशांकों में मापीय को {{nowrap|1=''h''<sub>''ab''</sub> = ({{sfrac|∂|∂''z''<sub>''a''</sub>}}, {{sfrac|∂|∂''z''<sub>''b''</sub>}})}} के रूप में लिखा जाता है, तब {{nowrap|{1, ..., ''n''}.}} में सभी a, b के लिए | ||
:<math>h_{ab}=\delta_{ab}+O(\|z\|^2)</math> | :<math>h_{ab}=\delta_{ab}+O(\|z\|^2)</math> होता है । | ||
चूंकि 2-रूप ω सवृत है, इसलिए यह [[डॉ कहलमज गर्भाशय|डी राम सह समरूपता]] {{nowrap|''H''{{i sup|2}}(''X'', '''R''')}} में एक तत्व निर्धारित करता है, जिसे '''काहलर वर्ग''' के रूप में जाना जाता है। | |||
===रीमानी दृष्टिकोण=== | |||
काहलर मैनिफोल्ड सम आयाम 2n का एक रीमानी मैनिफोल्ड X है जिसका [[होलोनॉमी समूह|समविधिता समूह]] [[एकात्मक समूह]] U(n) में समाहित है।<ref>{{harvtxt|Kobayashi|Nomizu|1996}}, v. 2, p. 149.</ref> समान रूप से, प्रत्येक बिंदु पर X के स्पर्शी समष्टि पर एक सम्मिश्र संरचना J होती है (अर्थात,{{nowrap|1=''J''{{i sup|2}} = −1}} के साथ TX से स्वयं तक एक वास्तविक [[रेखीय मानचित्र)]] जैसे कि J मापीय g को सुरक्षित रखता है (जिसका अर्थ है कि {{nowrap|1=''g''(''Ju'', ''Jv'') = ''g''(''u'', ''v'')}}) और J को [[समानांतर परिवहन]] द्वारा संरक्षित किया जाता है। | |||
=== | |||
काहलर मैनिफोल्ड सम आयाम 2n का एक | |||
==काहलर क्षमता== | ==काहलर क्षमता== | ||
एक | एक सम्मिश्र मैनिफोल्ड पर एक [[सुचारू]] वास्तविक-मूल्यवान फलन ρ को [[सख्ती से प्लुरिसुबरमोनिक|पूर्णतः प्लुरिसुबरमोनिक]] कहा जाता है यदि वास्तविक सवृत (1,1)-रूप | ||
:<math> \omega = \frac i2 \partial \bar\partial \rho </math> | :<math> \omega = \frac i2 \partial \bar\partial \rho </math> | ||
सधनात्मक है, जो कि काहलर रूप है। यहाँ <math> \partial, \bar\partial </math> [[डॉल्बॉल्ट प्रचालक]] हैं। फलन ρ को ω के लिए 'काहलर क्षमता' कहा जाता है। | |||
इसके विपरीत, | इसके विपरीत, [[पोंकारे लेम्मा]] के सम्मिश्र संस्करण द्वारा, जिसे [[स्थानीय]] <math>\partial \bar \partial</math>-[[लेम्मा]] के रूप में जाना जाता है, प्रत्येक काहलर मापीय को स्थानीय रूप से इस तरह वर्णित किया जा सकता है। अर्थात यदि {{nowrap|(''X'', ''ω'')}} एक काहलर मैनिफोल्ड है, तो X में प्रत्येक बिंदु p के लिए p का प्रतिवैस U और U पर एक सहज वास्तविक-मूल्यवान फलन ρ है जैसे कि <math>\omega\vert_U=(i/2)\partial\bar\partial\rho</math>।<ref>{{harvtxt|Moroianu|2007}}, Proposition 8.8.</ref> यहां ρ को ω के लिए 'स्थानीय काहलर क्षमता' कहा जाता है। किसी एकल फलन के संदर्भ में सामान्य रीमानी मापीय का वर्णन करने का कोई तुलनीय तरीका नहीं है। | ||
===काहलर | ===काहलर संभावनाओं का समष्टि === | ||
हालाँकि | हालाँकि एकल काहलर क्षमता का उपयोग करके विश्व स्तर पर काहलर रूप का वर्णन करना हमेशा संभव नहीं होता है, इस तरह से दो काहलर रूपों के अंतर का वर्णन करना संभव है, बशर्ते वे एक ही [[डी राम सह समरूपता]] वर्ग में हों। यह [[हॉज सिद्धांत]] के <math>\partial \bar \partial</math>-[[लेम्मा]] का परिणाम है। | ||
अर्थात्, यदि <math>(X,\omega)</math> एक | अर्थात्, यदि <math>(X,\omega)</math> एक सुसम्बद्ध काहलर मैनिफोल्ड है, तो सह समरूपता वर्ग <math>[\omega]\in H_{\text{dR}}^2(X)</math>को काहलर वर्ग कहा जाता है। इस वर्ग का कोई अन्य प्रतिनिधि, <math>\omega'</math> का कहना है, कि कुछ एक-रूप <math>\beta</math> के लिए <math>\omega</math> से <math>\omega' = \omega + d\beta</math> से भिन्न है। <math>\partial \bar \partial</math> -लेम्मा आगे बताता है कि यह सुचारू फलन <math>\varphi: X\to \mathbb{C}</math> के लिए इस सटीक रूप सटीक रूप <math>d\beta</math> को <math>d\beta = i \partial \bar \partial \varphi</math> के रूप में लिखा जा सकता है। उपरोक्त स्थानीय चर्चा में, कोई स्थानीय काहलर वर्ग <math>[\omega]=0</math> को एक खुले उपसमुच्चय <math>U\subset X</math> पर लेता है, और पोंकारे लेम्मा द्वारा कोई भी काहलर रूप स्थानीय रूप से शून्य के अनुरूप होगा। इस प्रकार स्थानीय काहलर क्षमता <math>\rho</math> स्थानीय स्तर पर <math>[\omega]=0</math> के लिए समान <math>\varphi</math> है। | ||
सामान्यतः यदि <math>[\omega]</math> एक काहलर वर्ग है, तो किसी भी अन्य काहलर | सामान्यतः यदि <math>[\omega]</math> एक काहलर वर्ग है, तो ऐसे सुचारू कार्य के लिए किसी भी अन्य काहलर मापीय को <math>\omega_\varphi = \omega + i \partial \bar \partial \varphi</math> के रूप में लिखा जा सकता है। यह प्रपत्र स्वचालित रूप से एक धनात्मक रूप नहीं है, इसलिए वर्ग <math>[\omega]</math> के लिए काहलर क्षमता की समष्टि उन धनात्मक स्थितियों के रूप में परिभाषित की गई है, जिन्हें आमतौर पर <math>\mathcal{K}</math> द्वारा दर्शाया जाता है, | ||
:<math>\mathcal{K}_{[\omega]} := \{ \varphi: X \to \mathbb{R} \text{ smooth} \mid \omega + i \partial \bar \partial \varphi>0 \}.</math> | :<math>\mathcal{K}_{[\omega]} := \{ \varphi: X \to \mathbb{R} \text{ smooth} \mid \omega + i \partial \bar \partial \varphi>0 \}.</math> | ||
यदि दो काहलर क्षमताएं एक स्थिरांक से भिन्न होती हैं, तो वे एक ही काहलर | यदि दो काहलर क्षमताएं एक स्थिरांक से भिन्न होती हैं, तो वे एक ही काहलर मापीय को परिभाषित करते हैं, इसलिए वर्ग <math>[\omega]</math> में काहलर मापीय की समष्टि को भागफल <math>\mathcal{K}/\mathbb{R}</math> से पहचाना जा सकता है। काहलर क्षमता की समष्टि एक [[संकुचन योग्य स्थान|संकुचन योग्य समष्टि]] है। इस तरह काहलर क्षमता की समष्टि किसी दिए गए वर्ग में सभी काहलर मापीय का एक साथ अध्ययन करने की अनुमति देती है, और अस्तित्व के अध्ययन में यह परिप्रेक्ष्य काहलर मापीय के लिए परिणाम देता है। | ||
==काहलर मैनिफ़ोल्ड्स और | ==काहलर मैनिफ़ोल्ड्स और आयतन न्यूनतमीकृत== | ||
एक [[ सघन स्थान ]] | एक [[ सघन स्थान |सुसम्बद्ध]] काहलर मैनिफोल्ड X के लिए, X के एक [[बंद सेट|सवृत]] सम्मिश्र [[उपसमष्टि]] की मात्रा उसके [[सजातीय]] वर्ग द्वारा निर्धारित की जाती है। एक अर्थ में, इसका मतलब यह है कि एक सम्मिश्र उपसमष्टि की ज्यामिति उसकी सांस्थिति के संदर्भ में सीमित है। (यह वास्तविक उपमेनिफोल्ड्स के लिए पूरी तरह से विफल रहता है।) स्पष्ट रूप से, 'विर्टिंगर का सूत्र' कहता है कि | ||
:<math>\mathrm{vol}(Y)=\frac{1}{r!}\int_Y \omega^r,</math> | :<math>\mathrm{vol}(Y)=\frac{1}{r!}\int_Y \omega^r,</math> | ||
जहां Y एक r-आयामी | जहां Y एक r-आयामी सवृत सम्मिश्र उपसमष्टि है और ω काहलर रूप है।<ref>{{harvtxt|Zheng|2000}}, section 7.4.</ref> चूँकि ω सवृत है, यह समाकलन केवल {{nowrap|''H''<sub>2''r''</sub>(''X'', '''R''')}} में Y के वर्ग पर निर्भर करता है। ये आयतन हमेशा धनात्मक होते हैं, जो सम्मिश्र उपसमष्टि के संबंध में {{nowrap|''H''{{i sup|2}}(''X'', '''R''')}} में काहलर वर्ग ω की एक मजबूत सकारात्मकता व्यक्त करते हैं। विशेष रूप से, सम्मिश्र आयाम n के सुसम्बद्ध काहलर मैनिफोल्ड X के लिए, {{nowrap|''H''{{i sup|2''n''}}(''X'', '''R''')}}में ω<sup>n</sup> शून्य नहीं है। | ||
एक संबंधित तथ्य यह है कि | एक संबंधित तथ्य यह है कि सुसम्बद्ध काहलर मैनिफोल्ड X का प्रत्येक सवृत सम्मिश्र उपसमष्टि Y एक [[न्यूनतम सबमैनिफोल्ड|न्यूनतम उपमैनिफोल्ड]] (इसके एकवचन समुच्चय के बाहर) है। और भी अधिक, [[कैलिब्रेटेड ज्यामिति|अंशांकित ज्यामिति]] के सिद्धांत के अनुसार, Y एक ही समरूपता वर्ग में सभी (वास्तविक) चक्रों के बीच मात्रा को न्यूनतम करता है। | ||
== काहलर की पहचान == | == काहलर की पहचान == | ||
{{Main articles| | {{Main articles|काहलर की पहचान}} | ||
काहलर | |||
==काहलर | काहलर मैनिफोल्ड पर सुचारू, सम्मिश्र और रीमानियन संरचनाओं के बीच प्रबल अन्योन्यक्रिया के परिणामस्वरूप, काहलर मैनिफोल्ड के [[जटिल अवकल रूपों|सम्मिश्र अवकल रूपों]] पर विभिन्न संचालको के बीच प्राकृतिक पहचान होती है जो यादृच्छिक रूप से सम्मिश्र मैनिफोल्ड के लिए नहीं होती है। ये पहचान बाहरी व्युत्पन्न <math>d</math> , [[डॉल्बॉल्ट संचालक]] <math>\partial, \bar \partial</math> और उनके सहयोगी, लाप्लासियन <math>\Delta_d, \Delta_{\partial}, \Delta_{\bar \partial}</math>, और लेफ्शेट्ज़ संचालक <math>L := \omega \wedge -</math> और उनके सहायक, संकुचन संचालक <math>\Lambda = L^*</math> से संबंधित हैं।<ref>{{harvtxt|Huybrechts|2005}}, Section 3.1.</ref> पहचान काहलर मैनिफोल्ड्स पर विश्लेषणात्मक टूलकिट का आधार बनती है, और हॉज सिद्धांत के साथ मिलकर काहलर मैनिफोल्ड्स और उनके सह समरूपता के कई महत्वपूर्ण गुणों को सिद्ध करने में प्रमुख हैं। विशेष रूप से काहलर की पहचान [[नाकानो लुप्त प्रमेय]], [[लेफ्शेट्ज़ हाइपरप्लेन प्रमेय|लेफ्शेट्ज़ अधिसमतल प्रमेय]], [[हार्ड लेफ्सचेट्ज़ प्रमेय,]] [[हॉज-रीमैन द्विरेखीय संबंध]] और [[हॉज सूचकांक प्रमेय]] को सिद्ध करने में महत्वपूर्ण है। | ||
आयाम | |||
<math>\Delta_d=dd^*+d^*d</math> | ==काहलर मैनिफोल्ड पर लाप्लासियन== | ||
आयाम N के रीमानी मैनिफोल्ड पर, सुचारू r-रूप पर लाप्लासियन को <math>\Delta_d=dd^*+d^*d</math> द्वारा परिभाषित किया गया है जहां <math>d</math> बाहरी व्युत्पन्न है और <math>d^*=-(-1)^{Nr}\star d\star</math>, जहां <math>\star</math> [[हॉज स्टार ऑपरेटर|हॉज स्टार संचालक]] है। (समान रूप से, <math>d^*</math> सुसम्बद्ध समर्थन के साथ r-फॉर्म पर [[L2 आंतरिक उत्पाद|L<sup>2</sup> आंतरिक उत्पाद]] के संबंध में <math>d</math> का सहायक है।) हर्मिटियन मैनिफोल्ड X के लिए, <math>d</math> और <math>d^*</math> को | |||
:<math>d=\partial+\bar{\partial},\ \ \ \ d^*=\partial^*+\bar{\partial}^*,</math> | :<math>d=\partial+\bar{\partial},\ \ \ \ d^*=\partial^*+\bar{\partial}^*,</math> | ||
और दो अन्य लाप्लासियन परिभाषित | के रूप में विघटित किया जाता है, और यहा दो अन्य लाप्लासियन को परिभाषित किया गया है, | ||
:<math>\Delta_{\bar{\partial}}=\bar{\partial}\bar{\partial}^*+\bar{\partial}^*\bar{\partial},\ \ \ \ \Delta_\partial=\partial\partial^*+\partial^*\partial.</math> | :<math>\Delta_{\bar{\partial}}=\bar{\partial}\bar{\partial}^*+\bar{\partial}^*\bar{\partial},\ \ \ \ \Delta_\partial=\partial\partial^*+\partial^*\partial.</math> | ||
यदि<ref>{{harvtxt|Huybrechts|2005}}, Proposition 3.1.12.</ref> | यदि X काहलर है, तो [[काहलर की पहचान]] से पता चलता है कि ये लाप्लासियन स्थिरांक तक सभी समान हैं, <ref>{{harvtxt|Huybrechts|2005}}, Proposition 3.1.12.</ref> | ||
:<math>\Delta_d=2\Delta_{\bar{\partial}}=2\Delta_\partial .</math> | :<math>\Delta_d=2\Delta_{\bar{\partial}}=2\Delta_\partial .</math> | ||
इन पहचानों का अर्थ है कि काहलर मैनिफोल्ड | इन पहचानों का अर्थ है कि काहलर मैनिफोल्ड X पर, | ||
:<math>\mathcal H^r(X)=\bigoplus_{p+q=r}\mathcal H^{p,q}(X),</math> | :<math>\mathcal H^r(X)=\bigoplus_{p+q=r}\mathcal H^{p,q}(X),</math> | ||
जहां <math>\mathcal H^r</math> ''X'' पर सुसंगत ''r''-रूपों की समष्टि है ({{nowrap|1=Δ''α'' = 0}} के साथ ''α'' बनता है) और <math>\mathcal H^{p,q}</math> सुसंगत [[(p,q)-रूप]] की समष्टि है। अर्थात अवकल रूप <math>\alpha</math> सुसंगत है यदि इसका प्रत्येक (p,q)-घटक सुसंगत है। | |||
इसके अलावा, एक | इसके अलावा, एक सुसम्बद्ध काहलर मैनिफोल्ड X के लिए, [[हॉज सिद्धांत]] उपरोक्त विभाजन की व्याख्या देता है जो काहलर मापीय की चयन पर निर्भर नहीं करता है। अर्थात्, सम्मिश्र गुणांक वाले X की [[सह समरूपता]] ''H''{{i sup|''r''}}(''X'', '''C''') कुछ [[सुसंगत शीफ सह समरूपता]] समूहों के [[प्रत्यक्ष योग]] के रूप में विभाजित होती है,<ref>{{harvtxt|Huybrechts|2005}}, Corollary 3.2.12.</ref> | ||
:<math>H^r(X,\mathbf{C})\cong\bigoplus_{p+q=r}H^q(X,\Omega^p).</math> | :<math>H^r(X,\mathbf{C})\cong\bigoplus_{p+q=r}H^q(X,\Omega^p).</math> | ||
बाईं ओर का समूह केवल | बाईं ओर का समूह केवल सांस्थितिक समष्टि के रूप में X पर निर्भर करता है, जबकि दाईं ओर का समूह एक सम्मिश्र मैनिफोल्ड के रूप में X पर निर्भर करता है। तो यह '''<nowiki/>'हॉज अपघटन प्रमेय'''<nowiki/>' सुसम्बद्ध काहलर मैनिफोल्ड्स के लिए सांस्थिति और सम्मिश्र ज्यामिति को जोड़ता है। | ||
मान लीजिए H{{i sup|''p'',''q''}}(X) सम्मिश्र सदिश समष्टि {{nowrap|''H''{{i sup|''q''}}(''X'', Ω<sup>''p''</sup>)}} है, जिसे किसी दिए गए काहलर मापीय के संबंध में सुसंगत रूपों की समष्टि <math>\mathcal H^{p,q}(X)</math> से पहचाना जा सकता है। ''X'' के हॉज नंबरों को {{nowrap|1=''h''<sup>''p'',''q''</sup>(''X'') = dim<sub>'''C'''</sub>''H''{{i sup|''p'',''q''}}(''X'')}} द्वारा परिभाषित किया गया है। हॉज अपघटन का तात्पर्य सुसम्बद्ध काहलर मैनिफोल्ड X के हॉज नंबरों के संदर्भ में [[बेटी नंबर|बेट्टी नंबर]] के अपघटन से है, | |||
:<math>b_r=\sum_{p+q=r}h^{p,q}.</math> | :<math>b_r=\sum_{p+q=r}h^{p,q}.</math> | ||
सुसम्बद्ध काहलर मैनिफोल्ड के हॉज नंबर कई पहचानों को संतुष्ट करते हैं। हॉज समरूपता {{nowrap|1=''h''<sup>''p'',''q''</sup> = ''h''<sup>''q'',''p''</sup>}} का प्रभाव है क्योंकि लाप्लासियन <math>\Delta_d</math> एक वास्तविक संचालक होता है, और इसलिए <math>H^{p,q}=\overline{H^{q,p}}</math> होता है। पहचान {{nowrap|1=''h''<sup>''p'',''q''</sup> = ''h''<sup>''n''−''p'',''n''−''q''</sup>}} को यह प्रयोग करके सिद्ध किया जा सकता है कि हॉज स्टार संचालक एक समरूपता <math>H^{p,q}\cong \overline{H^{n-p,n-q}}</math> देता है। यह [[सेरे द्वैत]] का भी अनुसरण करता है। | |||
==सुसम्बद्ध काहलर मैनिफोल्ड्स की सांस्थिति== | |||
हॉज सिद्धांत का एक सरल परिणाम यह है कि कि हॉज समरूपता के अनुसार सुसम्बद्ध काहलर मैनिफोल्ड की प्रत्येक विषम बेट्टी संख्या b<sub>2''a''+1</sub> सम है। यह सामान्य रूप से सुसम्बद्ध सुसम्बद्ध मैनिफोल्ड्स के लिए सच नहीं है, जैसा कि [[हॉपफ सतह]] के उदाहरण से पता चलता है, जो {{nowrap|''S''<sup>1</sup> × ''S''<sup>3</sup>}} से [[भिन्न]] है और इसलिए इसमें {{nowrap|1=''b''<sub>1</sub> = 1}} है। | |||
काहलर पैकेज, हॉज सिद्धांत पर निर्मित, सुसम्बद्ध काहलर मैनिफोल्ड्स के सह-समरूपता पर आगे के प्रतिबंधों का एक संग्रह है। परिणामों में [[लेफ्सचेट्ज़ हाइपरप्लेन प्रमेय|लेफ्सचेट्ज़ हाइपरतल प्रमेय]], [[हार्ड लेफ्सचेट्ज़ प्रमेय]] और [[हॉज-रीमैन बिलिनियर संबंध]] संम्मिलित हैं।<ref>{{harvtxt|Huybrechts|2005}}, sections 3.3 and 5.2,</ref> एक संबंधित परिणाम यह है कि प्रत्येक सुसम्बद्ध काहलर मैनिफोल्ड तर्कसंगत समस्थेयता सिद्धांत के अर्थ में [[औपचारिक]] है।<ref>{{harvtxt|Huybrechts|2005}}, Proposition 3.A.28.</ref> | |||
यह प्रश्न कि कौन से समूह सुसम्बद्ध काहलर मैनिफ़ोल्ड्स के [[मौलिक समूह]] हो सकते हैं, जिन्हें काहलर समूह कहा जाता है, व्यापक रूप से खुले है। हॉज सिद्धांत संभावित काहलर समूहों पर कई प्रतिबंध देता है।<ref>{{harvtxt|Amorós|Burger|Corlette|Kotschick|Toledo|1996}}</ref> सबसे सरल प्रतिबंध यह है कि काहलर समूह के [[अबेलियनाइजेशन]] की श्रेणी भी होनी चाहिए, क्योंकि सुसम्बद्ध काहलर मैनिफोल्ड की बेटी संख्या बी<sub>1</sub> भी है। (उदाहरण के लिए, [[पूर्णांक]] Z एक सुसम्बद्ध काहलर मैनिफोल्ड का मूल समूह नहीं हो सकता है।) [[गैर-एबेलियन हॉज]] सिद्धांत जैसे सिद्धांत के विस्तार इस पर और प्रतिबंध देते हैं कि कौन से समूह काहलर समूह हो सकते हैं। | |||
काहलर की स्थिति के बिना, स्थिति सरल है, [[क्लिफोर्ड टौब्स]] ने दिखाया कि प्रत्येक [[परिमित रूप से प्रस्तुत समूह]] आयाम 3 के कुछ सुसम्बद्ध सम्मिश्र मैनिफोल्ड के मूल समूह के रूप में उत्पन्न होता है।<ref>{{harvtxt|Amorós|Burger|Corlette|Kotschick|Toledo|1996}}, Corollary 1.66.</ref> (इसके विपरीत, किसी भी [[बंद मैनिफोल्ड|सवृत मैनिफोल्ड]] का मूल समूह अंतिम रूप से प्रस्तुत किया जाता है।) | |||
== | ==सम्मिश्र प्रक्षेप्य किस्मों और सुसम्बद्ध काहलर मैनिफ़ोल्ड्स की विशेषताएँ== | ||
[[कोडैरा एम्बेडिंग प्रमेय|कोडैरा अंत: स्थापन प्रमेय]] सभी सुसम्बद्ध काहलर मैनिफोल्ड्स के बीच सुचारू सम्मिश्र प्रक्षेप्य किस्मों की विशेषता बताता है। अर्थात्, एक सुसम्बद्ध सम्मिश्र मैनिफोल्ड X प्रक्षेप्य है यदि केवल X पर काहलर रूप ω है जिसका {{nowrap|''H''{{i sup|2}}(''X'', '''R''')}} में वर्ग पूर्ण सह समरूपता समूह {{nowrap|''H''{{i sup|2}}(''X'', '''Z''')}} की प्रतिरूप में है। (चूँकि काहलर रूप का एक धनात्मक गुणज काहलर रूप है, जो यह कहता है कि X के पास काहलर रूप है जिसका वर्ग {{nowrap|''H''{{i sup|2}}(''X'', '''R''')}} {{nowrap|''H''{{i sup|2}}(''X'', '''Q''')}} में है) समान रूप से, X प्रक्षेप्य है यदि केवल X पर एक हर्मिटियन मापीय के साथ एक [[पूर्णसममितिक रेखीय बंडल]] L है जिसका वक्रता रूप ω धनात्मक है (चूंकि ω तब एक काहलर रूप है जो {{nowrap|''H''{{i sup|2}}(''X'', '''Z''')}} में एल के पहले [[चेर्न वर्ग]] का प्रतिनिधित्व करता है)। काहलर रूप ω जो इन शर्तों को पूरा करता है (अर्थात, काहलर रूप ω एक अभिन्न अंतर रूप है) जिसको हॉज रूप भी कहा जाता है, और इस समय काहलर मापीय को हॉज मापीय भी कहा जाता है। हॉज मापीय के साथ सुसम्बद्ध काहलर मैनिफोल्ड्स को हॉज मैनिफोल्ड्स भी कहा जाता है।<ref>{{harvtxt|Wells|2007}} p.217 Definition 1.1</ref><ref>{{harvtxt|Kodaira|1954}}</ref> | |||
काहलर मैनिफोल्ड्स के कई गुण <math>\partial \bar \partial</math>-मैनिफोल्ड्स की थोड़ी अधिक व्यापकता में निहित हैं, जो सुसम्बद्ध सम्मिश्र मैनिफोल्ड्स है जिनके लिए <math>\partial \bar \partial</math>-[[लेम्मा]] संचालित करता है। विशेष रूप से बॉटल-चेर्न सह समरूपता एक सुसम्बद्ध सम्मिश्र मैनिफोल्ड्स के [[डोल्बौल्ट कोहोमोलॉजी|डोल्बौल्ट सह समरूपता]] का एक विकल्प है, और वह समरूपी हैं और यदि मैनिफोल्ड <math>\partial \bar \partial</math>-लेम्मा को संतुष्ट करता है, तो वह तब विशेष रूप से सहमत होता हैं जब मैनिफोल्ड काहलर होता है। सामान्य तौर पर बॉटल-चेर्न सह समरूपता से लेकर डॉल्बुल्ट सह समरूपता तक के प्राकृतिक मानचित्र के कर्नेल में काहलर के मैनिफोल्ड की विफलता के बारे में जानकारी होती है।<ref>Angella, D. and Tomassini, A., 2013. On the $\partial\overline {\partial} $-Lemma and Bott-Chern cohomology. ''Inventiones mathematicae'', ''192''(1), pp.71-81.</ref> | |||
काहलर | प्रत्येक सुसम्बद्ध सम्मिश्र वक्र प्रक्षेप्य है, लेकिन कम से कम 2 सम्मिश्र आयाम में, कई सुसम्बद्ध काहलर मैनिफ़ोल्ड हैं जो प्रक्षेपीय नहीं हैं, उदाहरण के लिए, अधिकांश [[सुसम्बद्ध]] [[जटिल टोरस|सम्मिश्र]] [[टोरी]] प्रक्षेप्य नहीं हैं। कोई यह पूछ सकता है कि क्या प्रत्येक सुसम्बद्ध काहलर मैनिफोल्ड को कम से कम (सम्मिश्र संरचना को लगातार अलग-अलग करके) एक सुचारू प्रक्षेप्य विविधता में विकृत किया जा सकता है। [[एनरिकेस-कोडैरा वर्गीकरण|एसतहों के वर्गीकरण]] पर [[कुनिहिको कोदैरा]] के काम का तात्पर्य यह है कि सम्मिश्र आयाम 2 के प्रत्येक सुसम्बद्ध काहलर मैनिफोल्ड को वास्तव में एक सुचारू प्रक्षेप्य विविधता में विकृत किया जा सकता है। हालाँकि,[[ क्लेयर पड़ोसी | क्लेयर वोइसिन]] ने पाया कि यह कम से कम 4 आयामों में विफल रहता है। उन्होंने सम्मिश्र आयाम 4 के एक सुसम्बद्ध काहलर मैनिफोल्ड का निर्माण किया जो कि किसी भी सुचारू सम्मिश्र प्रक्षेप्य विविधता के बराबर [[समरूप]] नहीं है।<ref>{{harvtxt|Voisin|2004}}</ref> | ||
कोई भी सभी सुसम्बद्ध सम्मिश्र मैनिफोल्ड्स के बीच सुसम्बद्ध काहलर मैनिफोल्ड्स के लक्षण वर्णन के लिए भी पूछ सकता है। सम्मिश्र आयाम 2 में, कोडैरा और [[यम-टोंग सिउ]] ने दिखाया कि एक सुसम्बद्ध सम्मिश्र सतह में काहलर मापीय होता है और केवल तभी जब इसकी पहली बेट्टी संख्या सम हो।<ref name="BIV3">{{harvtxt|Barth|Hulek|Peters|Van de Ven|2004}}, section IV.3.</ref> इस परिणाम का एक वैकल्पिक प्रमाण जिसमें सुसम्बद्ध सम्मिश्र सतहों के वर्गीकरण का उपयोग करके कठिन विषयानुसार अध्ययन की आवश्यकता नहीं होती है, वह बुचडाहल और लामारी द्वारा स्वतंत्र रूप से प्रदान किया गया था।<ref>{{harvtxt|Buchdahl|1999}}</ref><ref>{{harvtxt|Lamari|1999}}</ref> इस प्रकार काहलर सुसम्बद्ध सम्मिश्र सतहों के लिए एक विशुद्ध रूप से सांस्थितिक गुण है। हालाँकि, [[हिरोनका का उदाहरण]] दिखाता है कि यह कम से कम 3 आयामों में विफल रहता है। अधिक विस्तार से, उदाहरण सुचारू सुसम्बद्ध सम्मिश्र 3-फोल्ड का 1-पैरामीटर परिवार है जैसे कि अधिकांश फाइबर काहलर (और यहां तक कि प्रक्षेप्य हैं ), लेकिन एक फाइबर काहलर नहीं है। इस प्रकार एक सुसम्बद्ध काहलर मैनिफोल्ड एक गैर-काहलर सम्मिश्र मैनिफोल्ड से भिन्न हो सकता है। | |||
कोई भी सभी | |||
==काहलर-आइंस्टीन मैनिफोल्ड्स== | ==काहलर-आइंस्टीन मैनिफोल्ड्स== | ||
{{main| | {{main|काहलर-आइंस्टीन मैनिफोल्ड्स}} | ||
काहलर मैनिफोल्ड को काहलर-आइंस्टीन कहा जाता है यदि इसमें निरंतर रिक्की वक्रता होती है। समान रूप से, रिक्की वक्रता | |||
काहलर मैनिफोल्ड को [[काहलर-आइंस्टीन]] कहा जाता है यदि इसमें निरंतर [[रिक्की वक्रता]] होती है। समान रूप से, रिक्की वक्रता प्रदिश [[मीट्रिक टेंसर|मापीय प्रदिश]] के स्थिर λ गुना के बराबर है, जैसे रिक = ''λg''। आइंस्टीन का संदर्भ [[सामान्य सापेक्षता]] से आता है, जो द्रव्यमान की अनुपस्थिति में दावा करता है कि समष्टि काल शून्य रिक्की वक्रता के साथ एक 4-आयामी [[लोरेंट्ज़ियन मैनिफोल्ड]] है। अधिक जानकारी के लिए [[आइंस्टीन मैनिफोल्ड|आइंस्टीन मैनिफोल्ड्स]] पर लेख देखें। | |||
यद्यपि रिक्की वक्रता को किसी भी | यद्यपि रिक्की वक्रता को किसी भी रीमानी मैनिफोल्ड के लिए परिभाषित किया गया है, फिर भी यह काहलर ज्यामिति में एक विशेष भूमिका निभाता है, काहलर मैनिफोल्ड X की रिक्की वक्रता को एक वास्तविक सवृत (1,1)-रूप के रूप में देखा जा सकता है जो {{nowrap|''H''{{i sup|2}}(''X'', '''R''')}} में c<sub>1</sub> (X)'' ([[स्पर्शरेखा बंडल]] का पहला चेर्न वर्ग) का प्रतिनिधित्व करता है। यह इस प्रकार है कि एक सम्मिश्र काहलर-आइंस्टीन मैनिफोल्ड X में [[कैनोनिकल बंडल|विहित बंडल]] KX या तो एंटी-एम्पल, समजाततः ट्रिवियल या [[एम्पल]] होना चाहिए, यह इस पर निर्भर करता है कि आइंस्टीन स्थिरांक λ सकारात्मक, शून्य या नकारात्मक है या नहीं। उन तीन प्रकारों के काहलर मैनिफोल्ड्स को क्रमशः [[फैनो किस्म|फैनो]] ,[[कैलाबी-याउ]], या पर्याप्त विहित बंडल (जो [[सामान्य प्रकार]] का तात्पर्य है) कहा जाता है। कोडैरा अंत: स्थापन प्रमेय के अनुसार, पर्याप्त विहित बंडल के साथ फैनो मैनिफोल्ड्स और मैनिफोल्ड्स स्वचालित रूप से प्रक्षेपीय किस्में हैं।'' | ||
[[शिंग-तुंग याउ]] ने [[कैलाबी अनुमान]] को | [[शिंग-तुंग याउ]] ने [[कैलाबी अनुमान]] को सिद्ध कर दिया, पर्याप्त विहित बंडल के साथ प्रत्येक सुचारू प्रक्षेप्य किस्म में एक काहलर-आइंस्टीन मापीय (निरंतर नकारात्मक रिक्की वक्रता के साथ) होता है, और प्रत्येक कैलाबी-याउ मैनिफोल्ड में एक काहलर-आइंस्टीन मापीय (शून्य रिक्की वक्रता के साथ) होता है। ये परिणाम बीजगणितीय किस्मों के वर्गीकरण के लिए महत्वपूर्ण हैं, जिसमें पर्याप्त विहित बंडल वाली किस्मों के लिए [[मियाओका-याउ असमानता]] और कैलाबी-याउ मैनिफोल्ड्स के लिए ब्यूविल-बोगोमोलोव अपघटन जैसे अनुप्रयोग संम्मिलित हैं।<ref>{{harvtxt|Zheng|2000}}, Corollary 9.8.</ref> | ||
इसके विपरीत, हर सुचारू फ़ानो किस्म में काहलर-आइंस्टीन मापीय (जिसमें निरंतर धनात्मक रिक्की वक्रता होगी) नहीं होता है। हालाँकि, ज़िउक्सियॉन्ग चेन, [[साइमन डोनाल्डसन]] और सॉन्ग सन ने याउ-[[ गिरोह टीआई प्रेस |तिया]] -डोनाल्डसन अनुमान को सिद्ध कर दिया, एक सुचारू फ़ानो किस्म में काहलर-आइंस्टीन मापीय होता है और यदि यह [[के-स्थिर|K-स्थिर]] है, तो यह एक विशुद्ध रूप से बीजगणित-ज्यामितीय स्थिति होती है। | |||
ऐसी स्थितियों में जहां काहलर-आइंस्टीन मापीय मौजूद नहीं हो सकता है, वहा [[निरंतर अदिश वक्रता काहलर मापीय]] और [[चरम काहलर मापीय|छोर काहलर मापीय]] सहित हल्के सामान्यीकरण का अध्ययन करना संभव होता है। जब काहलर-आइंस्टीन मापीय मौजूद हो सकता है, तो ये व्यापक सामान्यीकरण स्वचालित रूप से काहलर-आइंस्टीन होता हैं। | |||
==पूर्णसममितिक अनुभागीय वक्रता== | |||
यूक्लिडियन समष्टि पर मानक मापीय से रीमानी मैनिफोल्ड X का विचलन [[अनुभागीय वक्रता]] द्वारा मापा जाता है, जो एक बिंदु पर X के स्पर्शी समष्टि में किसी भी वास्तविक 2-तल से जुड़ी एक वास्तविक संख्या है। उदाहरण के लिए, 'CP<sup>n</sup> (के लिए {{nowrap|''n'' ≥ 2}}) पर मानक मापीय की अनुभागीय वक्रता 1/4 और 1 के बीच भिन्न होती है। एक हर्मिटियन मैनिफोल्ड (उदाहरण के लिए, एक काहलर मैनिफोल्ड) के लिए, पूर्णसममितिक अनुभागीय वक्रता का अर्थ स्पर्शी समष्टि में सम्मिश्र रेखाओं तक सीमित अनुभागीय वक्रता है। यह अधिक सरलता से व्यवहार करता है, क्योंकि CPn में 1 के बराबर पूर्णसममितिक अनुभागीय वक्रता होती है। दूसरे छोर पर, 'C<sup>n</sup>' में खुली इकाई [[गेंद (गणित)|बॉल]] में -1 के बराबर पूर्णसममितिक अनुभागीय वक्रता के साथ एक [[पूर्णता]] काहलर मापीय है। (इस मापीय के साथ, गेंद को ''''सम्मिश्र अतिशयोक्तिपूर्ण समष्टि'''<nowiki/>' भी कहा जाता है।) | |||
पूर्णसममितिक अनुभागीय वक्रता अंतर्निहित सम्मिश्र मैनिफोल्ड की सम्मिश्र ज्यामिति से घनिष्ठ रूप से संबंधित है। यह अहलफोर्स श्वार्ज़ लेम्मा का एक प्रारंभिक परिणाम है कि यदि <math>(X,\omega)</math> नकारात्मक पूर्णसममितिक अनुभागीय वक्रता (ऊपर एक नकारात्मक स्थिरांक से घिरा) के हर्मिटियन मापीय के साथ एक हर्मिटियन मैनिफोल्ड है, तो यह ब्रॉडी अतिशयोक्तिपूर्ण है (अर्थात, प्रत्येक पूर्णसममितिक मानचित्र <math>\mathbb{C}\to X</math> स्थिर है) यदि X सुसम्बद्ध होता है, तो यह मैनिफ़ोल्ड [[कोबायाशी मीट्रिक|कोबायाशी]] [[अतिशयोक्तिपूर्ण]] होने के बराबर है।<ref>{{harvtxt|Zheng|2000}}, Lemma 9.14.</ref> | |||
दूसरी ओर, यदि <math>(X,\omega)</math> धनात्मक पूर्णसममितिक अनुभागीय वक्रता के काहलर मापीय के साथ एक सुसम्बद्ध काहलर मैनिफोल्ड है, यांग शियाओकुई ने दिखाया कि X तर्कसंगत रूप से जुड़ा हुआ है। | |||
सम्मिश्र ज्यामिति की एक उल्लेखनीय विशेषता यह है कि सम्मिश्र उपमैनिफोल्ड पर पूर्णसममितिक अनुभागीय वक्रता कम हो जाती है।<ref>{{harvtxt|Kobayashi|Nomizu|1996}}, v. 2, Proposition IX.9.2.</ref> (यही बात अधिक सामान्य अवधारणा, पूर्णसममितिक द्विभाजित वक्रता के लिए भी लागू होती है।) उदाहरण के लिए, C<sup>n</sup> के प्रत्येक सम्मिश्र उपमैनिफोल्ड ('C<sup>n</sup>' से प्रेरित मापीय के साथ) में पूर्णसममितिक अनुभागीय वक्रता ≤ 0 है। | |||
हर्मिटियन मैनिफोल्ड्स के बीच पूर्णसममितिक मानचित्रों के लिए, पूर्णसममितिक अनुभागीय वक्रता श्वार्ज़ लेम्मा दूसरे क्रम के अनुमान में दिखाई देने वाले लक्ष्य वक्रता शब्द को नियंत्रित करने के लिए पर्याप्त मजबूत नहीं है। इसने ज़ियाओकुई यांग और फांगयांग झेंग द्वारा प्रस्तुत 'वास्तविक द्विभाजक वक्रता' पर विचार करने को प्रेरित किया।<ref>{{harvtxt|Yang|Zheng|2018}}</ref> यह सम्मिश्र वक्रता संचालक के नाम से मैन-चुन ली और जेफरी स्ट्रीट्स के काम में भी दिखाई देता है।<ref>{{harvtxt|Lee|Streets|2021}}</ref> | |||
==उदाहरण== | ==उदाहरण== | ||
# | #मानक हर्मिटियन मापीय के साथ [[सम्मिश्रसमष्टि]] C<sup>n</sup> एक काहलर मैनिफोल्ड है। | ||
#एक | #एक सुसम्बद्ध सम्मिश्र टोरस 'C'<sup>n</sup>/Λ (Λ एक पूर्ण [[जाली (समूह)|जालक]]) 'C<sup>n</sup>' पर यूक्लिडियन मापीय से एक फ्लैट मापीय प्राप्त करता है, और इसलिए यह एक सुसम्बद्ध काहलर मैनिफोल्ड है। | ||
#[[ उन्मुखी ]] 2-मैनिफोल्ड पर प्रत्येक | #[[ उन्मुखी | उन्मुख]] 2-मैनिफोल्ड पर प्रत्येक रीमानी मापीय काहलर है। (वास्तव में, इसका समविधिता समूह [[घूर्णन समूह]] SO(2) में समाहित है, जो एकात्मक समूह U(1) के बराबर है।) विशेष रूप से, एक उन्मुख रीमानी 2-मैनिफोल्ड एक विहित तरीके से एक [[रीमैन सतह]] है, इसे [[समतापीय निर्देशांक]] के अस्तित्व के रूप में जाना जाता है। इसके विपरीत, प्रत्येक रीमैन सतह काहलर है क्योंकि किसी भी हर्मिटियन मापीय का काहलर रूप आयामी कारणों से सवृत है। | ||
#[[जटिल प्रक्षेप्य स्थान]] ' | #[[जटिल प्रक्षेप्य स्थान|सम्मिश्र प्रक्षेपीय समष्टि]] ''''CP'''<sup>n</sup>' [[फ़ुबिनी-अध्ययन मापीय]] पर काहलर मापीय का एक मानक विकल्प है। एक विवरण में [[एकात्मक समू]]ह {{nowrap|U(''n'' + 1)}}, C<sup>n+1</sup> के रैखिक स्वसमाकृतिकता का समूह सम्मिलित है जो मानक हर्मिटियन रूप को संरक्षित करता है। फ़ुबिनी-अध्ययन मापीय 'CP<sup>n</sup>' (एक धनात्मक गुणज तक) पर अद्वितीय रीमानी मापीय है जो CP<sup>n</sup> पर {{nowrap|U(''n'' + 1)}} की प्रक्रिया के तहत अपरिवर्तनीय है। 'CP<sup>n</sup>' का एक प्राकृतिक सामान्यीकरण [[ग्रासमैनियन]] जैसे सुसम्बद्ध प्रकार के [[हर्मिटियन सममित स्थान|हर्मिटियन सममित समष्टि]] द्वारा प्रदान किया जाता है। सुसम्बद्ध प्रकार के हर्मिटियन सममित समष्टि पर प्राकृतिक काहलर मापीय में अनुभागीय वक्रता ≥ 0 है। | ||
# काहलर मैनिफोल्ड के जटिल | # काहलर मैनिफोल्ड के [[जटिल उपमैनिफोल्ड|सम्मिश्र उपमैनिफोल्ड]] पर प्रेरित मापीय काहलर है। विशेष रूप से, कोई भी [[स्टीन मैनिफोल्ड]] ('C<sup>n</sup> में अंतः स्थापित) या सुचारू प्रक्षेप्य [[बीजगणितीय विविधता]] ('CP<sup>n</sup>' में अंतः स्थापित) काहलर है। यह उदाहरणों का एक बड़ा वर्ग है। | ||
#' | #'C<sup>n</sup>' में खुली इकाई बॉल B में एक पूर्ण काहलर मापीय है जिसे [[बर्गमैन मीट्रिक|बर्गमैन]] [[मापीय]] कहा जाता है, जिसमें पूर्णसममितिक अनुभागीय वक्रता -1 के बराबर होती है। बॉल का प्राकृतिक सामान्यीकरण असंहत प्रकार के [[हर्मिटियन सममित समष्टि]] द्वारा प्रदान किया जाता है, जैसे [[सीगल ऊपरी आधा स्थान|सीगल ऊपरी आधा समष्टि]]। असंहत प्रकार का प्रत्येक हर्मिटियन सममित समष्टि X कुछ 'C<sup>n</sup>' में एक बंधे हुए प्रक्षेत्र के लिए समरूपीय है, और X का बर्गमैन मापीय अनुभागीय वक्रता ≤ 0 के साथ एक पूर्ण काहलर मापीय है। | ||
#प्रत्येक [[K3 सतह]] | #प्रत्येक [[K3 सतह]] काहलर ([[सिउ]] द्वारा) है।<ref name = "BIV3" /> | ||
==यह भी देखें== | ==यह भी देखें== | ||
*[[लगभग जटिल विविधता]] | *[[लगभग जटिल विविधता|लगभग सम्मिश्र विविधता]] | ||
*हाइपरकेहलर मैनिफोल्ड | *[[हाइपरकेहलर मैनिफोल्ड]] | ||
* | *[[चतुष्क-काहलर मैनिफोल्ड]] | ||
*[[के-ऊर्जा कार्यात्मक]] | *[[के-ऊर्जा कार्यात्मक|K-ऊर्जा कार्यात्मक]] | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
Line 163: | Line 159: | ||
{{Authority control}} | {{Authority control}} | ||
{{DEFAULTSORT:Kahler manifold}} | {{DEFAULTSORT:Kahler manifold}} | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page|Kahler manifold]] | ||
[[Category:Created On 04/07/2023]] | [[Category:Collapse templates|Kahler manifold]] | ||
[[Category:Created On 04/07/2023|Kahler manifold]] | |||
[[Category:Lua-based templates|Kahler manifold]] | |||
[[Category:Machine Translated Page|Kahler manifold]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists|Kahler manifold]] | |||
[[Category:Pages with script errors|Kahler manifold]] | |||
[[Category:Sidebars with styles needing conversion|Kahler manifold]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Vigyan Ready|Kahler manifold]] | |||
[[Category:Templates generating microformats|Kahler manifold]] | |||
[[Category:Templates that add a tracking category|Kahler manifold]] | |||
[[Category:Templates that are not mobile friendly|Kahler manifold]] | |||
[[Category:Templates that generate short descriptions|Kahler manifold]] | |||
[[Category:Templates using TemplateData|Kahler manifold]] | |||
[[Category:Wikipedia metatemplates|Kahler manifold]] | |||
[[Category:जटिल अनेक गुना|Kahler manifold]] | |||
[[Category:बीजगणितीय ज्यामिति|Kahler manifold]] | |||
[[Category:रीमैनियन मैनिफोल्ड्स|Kahler manifold]] | |||
[[Category:सिंपलेक्टिक ज्यामिति|Kahler manifold]] |
Latest revision as of 19:34, 21 July 2023
गणित और विशेष रूप से अवकल ज्यामिति में, काहलर मैनिफोल्ड तीन परस्पर संगत संरचनाओं वाला एक मैनिफोल्ड है, जिसमे एक सम्मिश्र संरचना, एक रीमानी संरचना, और एक समकोणिक संरचना सम्मिलित है। इस अवधारणा का अध्ययन सबसे पहले 1930 में जान अर्नोल्डस शौटेन और डेविड वान डेंजिग द्वारा किया गया था, और फिर 1933 में इसे एरिच काहलर द्वारा प्रस्तावित किया गया था। शब्दावली आंद्रे वेइल द्वारा तय की गई है। काहलर ज्यामिति काहलर मैनिफोल्ड्स, उनकी ज्यामिति और सांस्थिति के अध्ययन के साथ-साथ संरचनाओं और निर्माणों के अध्ययन को संदर्भित करती है जो कि काहलर मैनिफोल्ड्स पर किए जा सकते हैं, इसमें विशेष संबंधो की उपस्थिति जैसे हर्मिटियन यांग-मिल्स संबंध या विशेष मापीय जैसे केलर-आइंस्टीन मापीय का अध्ययन संम्मिलित होता है।
प्रत्येक सुचारू सम्मिश्र प्रक्षेप्य प्रकार काहलर मैनिफोल्ड है। हॉज सिद्धांत बीजगणितीय ज्यामिति का एक केंद्रीय भाग है, जिसे काहलर मापीय का उपयोग करके सिद्ध किया गया है।
परिभाषाएँ
चूंकि काहलर मैनिफोल्ड्स कई संगत संरचनाओं से प्रयुक्त हैं, इसलिए उन्हें विभिन्न दृष्टिकोणों से वर्णित किया जा सकता है,
सिम्प्लेक्टिक दृष्टिकोण
काहलर मैनिफोल्ड एक सिम्प्लेक्टिक मैनिफोल्ड (X, ω) है जो एक अभिन्न लगभग-सम्मिश्र संरचना J से प्रयुक्त है जो सिम्प्लेक्टिक रूप ω के साथ संगत है, जिसका अर्थ है कि प्रत्येक बिंदु पर X के स्पर्शी समष्टि पर द्विएकघाती समघात
सममित और धनात्मक निश्चित (और इसलिए X पर एक रीमानी मापीय) है।[1]
सम्मिश्र दृष्टिकोण
काहलर मैनिफोल्ड हर्मिटियन मापीय h के साथ एक सम्मिश्र मैनिफोल्ड X है जिसका संबद्ध 2-रूप ω सवृत है। अधिक विस्तार से, h X के प्रत्येक बिंदु पर स्पर्शी समष्टि TX पर एक धनात्मक निश्चित हर्मिटियन रूप देता है, और 2-रूप ω को स्पर्श सदिश u और v के लिए
द्वारा परिभाषित किया गया है (जहाँ i सम्मिश्र संख्या है)। काहलर मैनिफोल्ड X के लिए, 'काहलर रूप' ω एक वास्तविक सवृत (1,1)-रूप है। काहलर मैनिफ़ोल्ड को रीमानी मैनिफ़ोल्ड के रूप में भी देखा जा सकता है, तथा रीमानी मापीय g को
द्वारा परिभाषित किया गया है। समान रूप से, काहलर मैनिफोल्ड X सम्मिश्र आयाम n का एक हर्मिटियन मैनिफोल्ड है जैसे कि X के प्रत्येक बिंदु p के लिए, p के चारों ओर एक पूर्णसममितिक निर्देशांक चार्ट है जिसमें मापीय Cn पर मानक मापीय के साथ p के पास 2 अनुक्रम करने के लिए सहमत है।[2] अर्थात्, यदि चार्ट 'Cn' में p से 0 लेता है, और इन निर्देशांकों में मापीय को hab = (∂/∂za, ∂/∂zb) के रूप में लिखा जाता है, तब {1, ..., n}. में सभी a, b के लिए
- होता है ।
चूंकि 2-रूप ω सवृत है, इसलिए यह डी राम सह समरूपता H2(X, R) में एक तत्व निर्धारित करता है, जिसे काहलर वर्ग के रूप में जाना जाता है।
रीमानी दृष्टिकोण
काहलर मैनिफोल्ड सम आयाम 2n का एक रीमानी मैनिफोल्ड X है जिसका समविधिता समूह एकात्मक समूह U(n) में समाहित है।[3] समान रूप से, प्रत्येक बिंदु पर X के स्पर्शी समष्टि पर एक सम्मिश्र संरचना J होती है (अर्थात,J2 = −1 के साथ TX से स्वयं तक एक वास्तविक रेखीय मानचित्र) जैसे कि J मापीय g को सुरक्षित रखता है (जिसका अर्थ है कि g(Ju, Jv) = g(u, v)) और J को समानांतर परिवहन द्वारा संरक्षित किया जाता है।
काहलर क्षमता
एक सम्मिश्र मैनिफोल्ड पर एक सुचारू वास्तविक-मूल्यवान फलन ρ को पूर्णतः प्लुरिसुबरमोनिक कहा जाता है यदि वास्तविक सवृत (1,1)-रूप
सधनात्मक है, जो कि काहलर रूप है। यहाँ डॉल्बॉल्ट प्रचालक हैं। फलन ρ को ω के लिए 'काहलर क्षमता' कहा जाता है।
इसके विपरीत, पोंकारे लेम्मा के सम्मिश्र संस्करण द्वारा, जिसे स्थानीय -लेम्मा के रूप में जाना जाता है, प्रत्येक काहलर मापीय को स्थानीय रूप से इस तरह वर्णित किया जा सकता है। अर्थात यदि (X, ω) एक काहलर मैनिफोल्ड है, तो X में प्रत्येक बिंदु p के लिए p का प्रतिवैस U और U पर एक सहज वास्तविक-मूल्यवान फलन ρ है जैसे कि ।[4] यहां ρ को ω के लिए 'स्थानीय काहलर क्षमता' कहा जाता है। किसी एकल फलन के संदर्भ में सामान्य रीमानी मापीय का वर्णन करने का कोई तुलनीय तरीका नहीं है।
काहलर संभावनाओं का समष्टि
हालाँकि एकल काहलर क्षमता का उपयोग करके विश्व स्तर पर काहलर रूप का वर्णन करना हमेशा संभव नहीं होता है, इस तरह से दो काहलर रूपों के अंतर का वर्णन करना संभव है, बशर्ते वे एक ही डी राम सह समरूपता वर्ग में हों। यह हॉज सिद्धांत के -लेम्मा का परिणाम है।
अर्थात्, यदि एक सुसम्बद्ध काहलर मैनिफोल्ड है, तो सह समरूपता वर्ग को काहलर वर्ग कहा जाता है। इस वर्ग का कोई अन्य प्रतिनिधि, का कहना है, कि कुछ एक-रूप के लिए से से भिन्न है। -लेम्मा आगे बताता है कि यह सुचारू फलन के लिए इस सटीक रूप सटीक रूप को के रूप में लिखा जा सकता है। उपरोक्त स्थानीय चर्चा में, कोई स्थानीय काहलर वर्ग को एक खुले उपसमुच्चय पर लेता है, और पोंकारे लेम्मा द्वारा कोई भी काहलर रूप स्थानीय रूप से शून्य के अनुरूप होगा। इस प्रकार स्थानीय काहलर क्षमता स्थानीय स्तर पर के लिए समान है।
सामान्यतः यदि एक काहलर वर्ग है, तो ऐसे सुचारू कार्य के लिए किसी भी अन्य काहलर मापीय को के रूप में लिखा जा सकता है। यह प्रपत्र स्वचालित रूप से एक धनात्मक रूप नहीं है, इसलिए वर्ग के लिए काहलर क्षमता की समष्टि उन धनात्मक स्थितियों के रूप में परिभाषित की गई है, जिन्हें आमतौर पर द्वारा दर्शाया जाता है,
यदि दो काहलर क्षमताएं एक स्थिरांक से भिन्न होती हैं, तो वे एक ही काहलर मापीय को परिभाषित करते हैं, इसलिए वर्ग में काहलर मापीय की समष्टि को भागफल से पहचाना जा सकता है। काहलर क्षमता की समष्टि एक संकुचन योग्य समष्टि है। इस तरह काहलर क्षमता की समष्टि किसी दिए गए वर्ग में सभी काहलर मापीय का एक साथ अध्ययन करने की अनुमति देती है, और अस्तित्व के अध्ययन में यह परिप्रेक्ष्य काहलर मापीय के लिए परिणाम देता है।
काहलर मैनिफ़ोल्ड्स और आयतन न्यूनतमीकृत
एक सुसम्बद्ध काहलर मैनिफोल्ड X के लिए, X के एक सवृत सम्मिश्र उपसमष्टि की मात्रा उसके सजातीय वर्ग द्वारा निर्धारित की जाती है। एक अर्थ में, इसका मतलब यह है कि एक सम्मिश्र उपसमष्टि की ज्यामिति उसकी सांस्थिति के संदर्भ में सीमित है। (यह वास्तविक उपमेनिफोल्ड्स के लिए पूरी तरह से विफल रहता है।) स्पष्ट रूप से, 'विर्टिंगर का सूत्र' कहता है कि
जहां Y एक r-आयामी सवृत सम्मिश्र उपसमष्टि है और ω काहलर रूप है।[5] चूँकि ω सवृत है, यह समाकलन केवल H2r(X, R) में Y के वर्ग पर निर्भर करता है। ये आयतन हमेशा धनात्मक होते हैं, जो सम्मिश्र उपसमष्टि के संबंध में H2(X, R) में काहलर वर्ग ω की एक मजबूत सकारात्मकता व्यक्त करते हैं। विशेष रूप से, सम्मिश्र आयाम n के सुसम्बद्ध काहलर मैनिफोल्ड X के लिए, H2n(X, R)में ωn शून्य नहीं है।
एक संबंधित तथ्य यह है कि सुसम्बद्ध काहलर मैनिफोल्ड X का प्रत्येक सवृत सम्मिश्र उपसमष्टि Y एक न्यूनतम उपमैनिफोल्ड (इसके एकवचन समुच्चय के बाहर) है। और भी अधिक, अंशांकित ज्यामिति के सिद्धांत के अनुसार, Y एक ही समरूपता वर्ग में सभी (वास्तविक) चक्रों के बीच मात्रा को न्यूनतम करता है।
काहलर की पहचान
काहलर मैनिफोल्ड पर सुचारू, सम्मिश्र और रीमानियन संरचनाओं के बीच प्रबल अन्योन्यक्रिया के परिणामस्वरूप, काहलर मैनिफोल्ड के सम्मिश्र अवकल रूपों पर विभिन्न संचालको के बीच प्राकृतिक पहचान होती है जो यादृच्छिक रूप से सम्मिश्र मैनिफोल्ड के लिए नहीं होती है। ये पहचान बाहरी व्युत्पन्न , डॉल्बॉल्ट संचालक और उनके सहयोगी, लाप्लासियन , और लेफ्शेट्ज़ संचालक और उनके सहायक, संकुचन संचालक से संबंधित हैं।[6] पहचान काहलर मैनिफोल्ड्स पर विश्लेषणात्मक टूलकिट का आधार बनती है, और हॉज सिद्धांत के साथ मिलकर काहलर मैनिफोल्ड्स और उनके सह समरूपता के कई महत्वपूर्ण गुणों को सिद्ध करने में प्रमुख हैं। विशेष रूप से काहलर की पहचान नाकानो लुप्त प्रमेय, लेफ्शेट्ज़ अधिसमतल प्रमेय, हार्ड लेफ्सचेट्ज़ प्रमेय, हॉज-रीमैन द्विरेखीय संबंध और हॉज सूचकांक प्रमेय को सिद्ध करने में महत्वपूर्ण है।
काहलर मैनिफोल्ड पर लाप्लासियन
आयाम N के रीमानी मैनिफोल्ड पर, सुचारू r-रूप पर लाप्लासियन को द्वारा परिभाषित किया गया है जहां बाहरी व्युत्पन्न है और , जहां हॉज स्टार संचालक है। (समान रूप से, सुसम्बद्ध समर्थन के साथ r-फॉर्म पर L2 आंतरिक उत्पाद के संबंध में का सहायक है।) हर्मिटियन मैनिफोल्ड X के लिए, और को
के रूप में विघटित किया जाता है, और यहा दो अन्य लाप्लासियन को परिभाषित किया गया है,
यदि X काहलर है, तो काहलर की पहचान से पता चलता है कि ये लाप्लासियन स्थिरांक तक सभी समान हैं, [7]
इन पहचानों का अर्थ है कि काहलर मैनिफोल्ड X पर,
जहां X पर सुसंगत r-रूपों की समष्टि है (Δα = 0 के साथ α बनता है) और सुसंगत (p,q)-रूप की समष्टि है। अर्थात अवकल रूप सुसंगत है यदि इसका प्रत्येक (p,q)-घटक सुसंगत है।
इसके अलावा, एक सुसम्बद्ध काहलर मैनिफोल्ड X के लिए, हॉज सिद्धांत उपरोक्त विभाजन की व्याख्या देता है जो काहलर मापीय की चयन पर निर्भर नहीं करता है। अर्थात्, सम्मिश्र गुणांक वाले X की सह समरूपता Hr(X, C) कुछ सुसंगत शीफ सह समरूपता समूहों के प्रत्यक्ष योग के रूप में विभाजित होती है,[8]
बाईं ओर का समूह केवल सांस्थितिक समष्टि के रूप में X पर निर्भर करता है, जबकि दाईं ओर का समूह एक सम्मिश्र मैनिफोल्ड के रूप में X पर निर्भर करता है। तो यह 'हॉज अपघटन प्रमेय' सुसम्बद्ध काहलर मैनिफोल्ड्स के लिए सांस्थिति और सम्मिश्र ज्यामिति को जोड़ता है।
मान लीजिए Hp,q(X) सम्मिश्र सदिश समष्टि Hq(X, Ωp) है, जिसे किसी दिए गए काहलर मापीय के संबंध में सुसंगत रूपों की समष्टि से पहचाना जा सकता है। X के हॉज नंबरों को hp,q(X) = dimCHp,q(X) द्वारा परिभाषित किया गया है। हॉज अपघटन का तात्पर्य सुसम्बद्ध काहलर मैनिफोल्ड X के हॉज नंबरों के संदर्भ में बेट्टी नंबर के अपघटन से है,
सुसम्बद्ध काहलर मैनिफोल्ड के हॉज नंबर कई पहचानों को संतुष्ट करते हैं। हॉज समरूपता hp,q = hq,p का प्रभाव है क्योंकि लाप्लासियन एक वास्तविक संचालक होता है, और इसलिए होता है। पहचान hp,q = hn−p,n−q को यह प्रयोग करके सिद्ध किया जा सकता है कि हॉज स्टार संचालक एक समरूपता देता है। यह सेरे द्वैत का भी अनुसरण करता है।
सुसम्बद्ध काहलर मैनिफोल्ड्स की सांस्थिति
हॉज सिद्धांत का एक सरल परिणाम यह है कि कि हॉज समरूपता के अनुसार सुसम्बद्ध काहलर मैनिफोल्ड की प्रत्येक विषम बेट्टी संख्या b2a+1 सम है। यह सामान्य रूप से सुसम्बद्ध सुसम्बद्ध मैनिफोल्ड्स के लिए सच नहीं है, जैसा कि हॉपफ सतह के उदाहरण से पता चलता है, जो S1 × S3 से भिन्न है और इसलिए इसमें b1 = 1 है।
काहलर पैकेज, हॉज सिद्धांत पर निर्मित, सुसम्बद्ध काहलर मैनिफोल्ड्स के सह-समरूपता पर आगे के प्रतिबंधों का एक संग्रह है। परिणामों में लेफ्सचेट्ज़ हाइपरतल प्रमेय, हार्ड लेफ्सचेट्ज़ प्रमेय और हॉज-रीमैन बिलिनियर संबंध संम्मिलित हैं।[9] एक संबंधित परिणाम यह है कि प्रत्येक सुसम्बद्ध काहलर मैनिफोल्ड तर्कसंगत समस्थेयता सिद्धांत के अर्थ में औपचारिक है।[10]
यह प्रश्न कि कौन से समूह सुसम्बद्ध काहलर मैनिफ़ोल्ड्स के मौलिक समूह हो सकते हैं, जिन्हें काहलर समूह कहा जाता है, व्यापक रूप से खुले है। हॉज सिद्धांत संभावित काहलर समूहों पर कई प्रतिबंध देता है।[11] सबसे सरल प्रतिबंध यह है कि काहलर समूह के अबेलियनाइजेशन की श्रेणी भी होनी चाहिए, क्योंकि सुसम्बद्ध काहलर मैनिफोल्ड की बेटी संख्या बी1 भी है। (उदाहरण के लिए, पूर्णांक Z एक सुसम्बद्ध काहलर मैनिफोल्ड का मूल समूह नहीं हो सकता है।) गैर-एबेलियन हॉज सिद्धांत जैसे सिद्धांत के विस्तार इस पर और प्रतिबंध देते हैं कि कौन से समूह काहलर समूह हो सकते हैं।
काहलर की स्थिति के बिना, स्थिति सरल है, क्लिफोर्ड टौब्स ने दिखाया कि प्रत्येक परिमित रूप से प्रस्तुत समूह आयाम 3 के कुछ सुसम्बद्ध सम्मिश्र मैनिफोल्ड के मूल समूह के रूप में उत्पन्न होता है।[12] (इसके विपरीत, किसी भी सवृत मैनिफोल्ड का मूल समूह अंतिम रूप से प्रस्तुत किया जाता है।)
सम्मिश्र प्रक्षेप्य किस्मों और सुसम्बद्ध काहलर मैनिफ़ोल्ड्स की विशेषताएँ
कोडैरा अंत: स्थापन प्रमेय सभी सुसम्बद्ध काहलर मैनिफोल्ड्स के बीच सुचारू सम्मिश्र प्रक्षेप्य किस्मों की विशेषता बताता है। अर्थात्, एक सुसम्बद्ध सम्मिश्र मैनिफोल्ड X प्रक्षेप्य है यदि केवल X पर काहलर रूप ω है जिसका H2(X, R) में वर्ग पूर्ण सह समरूपता समूह H2(X, Z) की प्रतिरूप में है। (चूँकि काहलर रूप का एक धनात्मक गुणज काहलर रूप है, जो यह कहता है कि X के पास काहलर रूप है जिसका वर्ग H2(X, R) H2(X, Q) में है) समान रूप से, X प्रक्षेप्य है यदि केवल X पर एक हर्मिटियन मापीय के साथ एक पूर्णसममितिक रेखीय बंडल L है जिसका वक्रता रूप ω धनात्मक है (चूंकि ω तब एक काहलर रूप है जो H2(X, Z) में एल के पहले चेर्न वर्ग का प्रतिनिधित्व करता है)। काहलर रूप ω जो इन शर्तों को पूरा करता है (अर्थात, काहलर रूप ω एक अभिन्न अंतर रूप है) जिसको हॉज रूप भी कहा जाता है, और इस समय काहलर मापीय को हॉज मापीय भी कहा जाता है। हॉज मापीय के साथ सुसम्बद्ध काहलर मैनिफोल्ड्स को हॉज मैनिफोल्ड्स भी कहा जाता है।[13][14]
काहलर मैनिफोल्ड्स के कई गुण -मैनिफोल्ड्स की थोड़ी अधिक व्यापकता में निहित हैं, जो सुसम्बद्ध सम्मिश्र मैनिफोल्ड्स है जिनके लिए -लेम्मा संचालित करता है। विशेष रूप से बॉटल-चेर्न सह समरूपता एक सुसम्बद्ध सम्मिश्र मैनिफोल्ड्स के डोल्बौल्ट सह समरूपता का एक विकल्प है, और वह समरूपी हैं और यदि मैनिफोल्ड -लेम्मा को संतुष्ट करता है, तो वह तब विशेष रूप से सहमत होता हैं जब मैनिफोल्ड काहलर होता है। सामान्य तौर पर बॉटल-चेर्न सह समरूपता से लेकर डॉल्बुल्ट सह समरूपता तक के प्राकृतिक मानचित्र के कर्नेल में काहलर के मैनिफोल्ड की विफलता के बारे में जानकारी होती है।[15]
प्रत्येक सुसम्बद्ध सम्मिश्र वक्र प्रक्षेप्य है, लेकिन कम से कम 2 सम्मिश्र आयाम में, कई सुसम्बद्ध काहलर मैनिफ़ोल्ड हैं जो प्रक्षेपीय नहीं हैं, उदाहरण के लिए, अधिकांश सुसम्बद्ध सम्मिश्र टोरी प्रक्षेप्य नहीं हैं। कोई यह पूछ सकता है कि क्या प्रत्येक सुसम्बद्ध काहलर मैनिफोल्ड को कम से कम (सम्मिश्र संरचना को लगातार अलग-अलग करके) एक सुचारू प्रक्षेप्य विविधता में विकृत किया जा सकता है। एसतहों के वर्गीकरण पर कुनिहिको कोदैरा के काम का तात्पर्य यह है कि सम्मिश्र आयाम 2 के प्रत्येक सुसम्बद्ध काहलर मैनिफोल्ड को वास्तव में एक सुचारू प्रक्षेप्य विविधता में विकृत किया जा सकता है। हालाँकि, क्लेयर वोइसिन ने पाया कि यह कम से कम 4 आयामों में विफल रहता है। उन्होंने सम्मिश्र आयाम 4 के एक सुसम्बद्ध काहलर मैनिफोल्ड का निर्माण किया जो कि किसी भी सुचारू सम्मिश्र प्रक्षेप्य विविधता के बराबर समरूप नहीं है।[16]
कोई भी सभी सुसम्बद्ध सम्मिश्र मैनिफोल्ड्स के बीच सुसम्बद्ध काहलर मैनिफोल्ड्स के लक्षण वर्णन के लिए भी पूछ सकता है। सम्मिश्र आयाम 2 में, कोडैरा और यम-टोंग सिउ ने दिखाया कि एक सुसम्बद्ध सम्मिश्र सतह में काहलर मापीय होता है और केवल तभी जब इसकी पहली बेट्टी संख्या सम हो।[17] इस परिणाम का एक वैकल्पिक प्रमाण जिसमें सुसम्बद्ध सम्मिश्र सतहों के वर्गीकरण का उपयोग करके कठिन विषयानुसार अध्ययन की आवश्यकता नहीं होती है, वह बुचडाहल और लामारी द्वारा स्वतंत्र रूप से प्रदान किया गया था।[18][19] इस प्रकार काहलर सुसम्बद्ध सम्मिश्र सतहों के लिए एक विशुद्ध रूप से सांस्थितिक गुण है। हालाँकि, हिरोनका का उदाहरण दिखाता है कि यह कम से कम 3 आयामों में विफल रहता है। अधिक विस्तार से, उदाहरण सुचारू सुसम्बद्ध सम्मिश्र 3-फोल्ड का 1-पैरामीटर परिवार है जैसे कि अधिकांश फाइबर काहलर (और यहां तक कि प्रक्षेप्य हैं ), लेकिन एक फाइबर काहलर नहीं है। इस प्रकार एक सुसम्बद्ध काहलर मैनिफोल्ड एक गैर-काहलर सम्मिश्र मैनिफोल्ड से भिन्न हो सकता है।
काहलर-आइंस्टीन मैनिफोल्ड्स
काहलर मैनिफोल्ड को काहलर-आइंस्टीन कहा जाता है यदि इसमें निरंतर रिक्की वक्रता होती है। समान रूप से, रिक्की वक्रता प्रदिश मापीय प्रदिश के स्थिर λ गुना के बराबर है, जैसे रिक = λg। आइंस्टीन का संदर्भ सामान्य सापेक्षता से आता है, जो द्रव्यमान की अनुपस्थिति में दावा करता है कि समष्टि काल शून्य रिक्की वक्रता के साथ एक 4-आयामी लोरेंट्ज़ियन मैनिफोल्ड है। अधिक जानकारी के लिए आइंस्टीन मैनिफोल्ड्स पर लेख देखें।
यद्यपि रिक्की वक्रता को किसी भी रीमानी मैनिफोल्ड के लिए परिभाषित किया गया है, फिर भी यह काहलर ज्यामिति में एक विशेष भूमिका निभाता है, काहलर मैनिफोल्ड X की रिक्की वक्रता को एक वास्तविक सवृत (1,1)-रूप के रूप में देखा जा सकता है जो H2(X, R) में c1 (X) (स्पर्शरेखा बंडल का पहला चेर्न वर्ग) का प्रतिनिधित्व करता है। यह इस प्रकार है कि एक सम्मिश्र काहलर-आइंस्टीन मैनिफोल्ड X में विहित बंडल KX या तो एंटी-एम्पल, समजाततः ट्रिवियल या एम्पल होना चाहिए, यह इस पर निर्भर करता है कि आइंस्टीन स्थिरांक λ सकारात्मक, शून्य या नकारात्मक है या नहीं। उन तीन प्रकारों के काहलर मैनिफोल्ड्स को क्रमशः फैनो ,कैलाबी-याउ, या पर्याप्त विहित बंडल (जो सामान्य प्रकार का तात्पर्य है) कहा जाता है। कोडैरा अंत: स्थापन प्रमेय के अनुसार, पर्याप्त विहित बंडल के साथ फैनो मैनिफोल्ड्स और मैनिफोल्ड्स स्वचालित रूप से प्रक्षेपीय किस्में हैं।
शिंग-तुंग याउ ने कैलाबी अनुमान को सिद्ध कर दिया, पर्याप्त विहित बंडल के साथ प्रत्येक सुचारू प्रक्षेप्य किस्म में एक काहलर-आइंस्टीन मापीय (निरंतर नकारात्मक रिक्की वक्रता के साथ) होता है, और प्रत्येक कैलाबी-याउ मैनिफोल्ड में एक काहलर-आइंस्टीन मापीय (शून्य रिक्की वक्रता के साथ) होता है। ये परिणाम बीजगणितीय किस्मों के वर्गीकरण के लिए महत्वपूर्ण हैं, जिसमें पर्याप्त विहित बंडल वाली किस्मों के लिए मियाओका-याउ असमानता और कैलाबी-याउ मैनिफोल्ड्स के लिए ब्यूविल-बोगोमोलोव अपघटन जैसे अनुप्रयोग संम्मिलित हैं।[20]
इसके विपरीत, हर सुचारू फ़ानो किस्म में काहलर-आइंस्टीन मापीय (जिसमें निरंतर धनात्मक रिक्की वक्रता होगी) नहीं होता है। हालाँकि, ज़िउक्सियॉन्ग चेन, साइमन डोनाल्डसन और सॉन्ग सन ने याउ-तिया -डोनाल्डसन अनुमान को सिद्ध कर दिया, एक सुचारू फ़ानो किस्म में काहलर-आइंस्टीन मापीय होता है और यदि यह K-स्थिर है, तो यह एक विशुद्ध रूप से बीजगणित-ज्यामितीय स्थिति होती है।
ऐसी स्थितियों में जहां काहलर-आइंस्टीन मापीय मौजूद नहीं हो सकता है, वहा निरंतर अदिश वक्रता काहलर मापीय और छोर काहलर मापीय सहित हल्के सामान्यीकरण का अध्ययन करना संभव होता है। जब काहलर-आइंस्टीन मापीय मौजूद हो सकता है, तो ये व्यापक सामान्यीकरण स्वचालित रूप से काहलर-आइंस्टीन होता हैं।
पूर्णसममितिक अनुभागीय वक्रता
यूक्लिडियन समष्टि पर मानक मापीय से रीमानी मैनिफोल्ड X का विचलन अनुभागीय वक्रता द्वारा मापा जाता है, जो एक बिंदु पर X के स्पर्शी समष्टि में किसी भी वास्तविक 2-तल से जुड़ी एक वास्तविक संख्या है। उदाहरण के लिए, 'CPn (के लिए n ≥ 2) पर मानक मापीय की अनुभागीय वक्रता 1/4 और 1 के बीच भिन्न होती है। एक हर्मिटियन मैनिफोल्ड (उदाहरण के लिए, एक काहलर मैनिफोल्ड) के लिए, पूर्णसममितिक अनुभागीय वक्रता का अर्थ स्पर्शी समष्टि में सम्मिश्र रेखाओं तक सीमित अनुभागीय वक्रता है। यह अधिक सरलता से व्यवहार करता है, क्योंकि CPn में 1 के बराबर पूर्णसममितिक अनुभागीय वक्रता होती है। दूसरे छोर पर, 'Cn' में खुली इकाई बॉल में -1 के बराबर पूर्णसममितिक अनुभागीय वक्रता के साथ एक पूर्णता काहलर मापीय है। (इस मापीय के साथ, गेंद को 'सम्मिश्र अतिशयोक्तिपूर्ण समष्टि' भी कहा जाता है।)
पूर्णसममितिक अनुभागीय वक्रता अंतर्निहित सम्मिश्र मैनिफोल्ड की सम्मिश्र ज्यामिति से घनिष्ठ रूप से संबंधित है। यह अहलफोर्स श्वार्ज़ लेम्मा का एक प्रारंभिक परिणाम है कि यदि नकारात्मक पूर्णसममितिक अनुभागीय वक्रता (ऊपर एक नकारात्मक स्थिरांक से घिरा) के हर्मिटियन मापीय के साथ एक हर्मिटियन मैनिफोल्ड है, तो यह ब्रॉडी अतिशयोक्तिपूर्ण है (अर्थात, प्रत्येक पूर्णसममितिक मानचित्र स्थिर है) यदि X सुसम्बद्ध होता है, तो यह मैनिफ़ोल्ड कोबायाशी अतिशयोक्तिपूर्ण होने के बराबर है।[21]
दूसरी ओर, यदि धनात्मक पूर्णसममितिक अनुभागीय वक्रता के काहलर मापीय के साथ एक सुसम्बद्ध काहलर मैनिफोल्ड है, यांग शियाओकुई ने दिखाया कि X तर्कसंगत रूप से जुड़ा हुआ है।
सम्मिश्र ज्यामिति की एक उल्लेखनीय विशेषता यह है कि सम्मिश्र उपमैनिफोल्ड पर पूर्णसममितिक अनुभागीय वक्रता कम हो जाती है।[22] (यही बात अधिक सामान्य अवधारणा, पूर्णसममितिक द्विभाजित वक्रता के लिए भी लागू होती है।) उदाहरण के लिए, Cn के प्रत्येक सम्मिश्र उपमैनिफोल्ड ('Cn' से प्रेरित मापीय के साथ) में पूर्णसममितिक अनुभागीय वक्रता ≤ 0 है।
हर्मिटियन मैनिफोल्ड्स के बीच पूर्णसममितिक मानचित्रों के लिए, पूर्णसममितिक अनुभागीय वक्रता श्वार्ज़ लेम्मा दूसरे क्रम के अनुमान में दिखाई देने वाले लक्ष्य वक्रता शब्द को नियंत्रित करने के लिए पर्याप्त मजबूत नहीं है। इसने ज़ियाओकुई यांग और फांगयांग झेंग द्वारा प्रस्तुत 'वास्तविक द्विभाजक वक्रता' पर विचार करने को प्रेरित किया।[23] यह सम्मिश्र वक्रता संचालक के नाम से मैन-चुन ली और जेफरी स्ट्रीट्स के काम में भी दिखाई देता है।[24]
उदाहरण
- मानक हर्मिटियन मापीय के साथ सम्मिश्रसमष्टि Cn एक काहलर मैनिफोल्ड है।
- एक सुसम्बद्ध सम्मिश्र टोरस 'C'n/Λ (Λ एक पूर्ण जालक) 'Cn' पर यूक्लिडियन मापीय से एक फ्लैट मापीय प्राप्त करता है, और इसलिए यह एक सुसम्बद्ध काहलर मैनिफोल्ड है।
- उन्मुख 2-मैनिफोल्ड पर प्रत्येक रीमानी मापीय काहलर है। (वास्तव में, इसका समविधिता समूह घूर्णन समूह SO(2) में समाहित है, जो एकात्मक समूह U(1) के बराबर है।) विशेष रूप से, एक उन्मुख रीमानी 2-मैनिफोल्ड एक विहित तरीके से एक रीमैन सतह है, इसे समतापीय निर्देशांक के अस्तित्व के रूप में जाना जाता है। इसके विपरीत, प्रत्येक रीमैन सतह काहलर है क्योंकि किसी भी हर्मिटियन मापीय का काहलर रूप आयामी कारणों से सवृत है।
- सम्मिश्र प्रक्षेपीय समष्टि 'CPn' फ़ुबिनी-अध्ययन मापीय पर काहलर मापीय का एक मानक विकल्प है। एक विवरण में एकात्मक समूह U(n + 1), Cn+1 के रैखिक स्वसमाकृतिकता का समूह सम्मिलित है जो मानक हर्मिटियन रूप को संरक्षित करता है। फ़ुबिनी-अध्ययन मापीय 'CPn' (एक धनात्मक गुणज तक) पर अद्वितीय रीमानी मापीय है जो CPn पर U(n + 1) की प्रक्रिया के तहत अपरिवर्तनीय है। 'CPn' का एक प्राकृतिक सामान्यीकरण ग्रासमैनियन जैसे सुसम्बद्ध प्रकार के हर्मिटियन सममित समष्टि द्वारा प्रदान किया जाता है। सुसम्बद्ध प्रकार के हर्मिटियन सममित समष्टि पर प्राकृतिक काहलर मापीय में अनुभागीय वक्रता ≥ 0 है।
- काहलर मैनिफोल्ड के सम्मिश्र उपमैनिफोल्ड पर प्रेरित मापीय काहलर है। विशेष रूप से, कोई भी स्टीन मैनिफोल्ड ('Cn में अंतः स्थापित) या सुचारू प्रक्षेप्य बीजगणितीय विविधता ('CPn' में अंतः स्थापित) काहलर है। यह उदाहरणों का एक बड़ा वर्ग है।
- 'Cn' में खुली इकाई बॉल B में एक पूर्ण काहलर मापीय है जिसे बर्गमैन मापीय कहा जाता है, जिसमें पूर्णसममितिक अनुभागीय वक्रता -1 के बराबर होती है। बॉल का प्राकृतिक सामान्यीकरण असंहत प्रकार के हर्मिटियन सममित समष्टि द्वारा प्रदान किया जाता है, जैसे सीगल ऊपरी आधा समष्टि। असंहत प्रकार का प्रत्येक हर्मिटियन सममित समष्टि X कुछ 'Cn' में एक बंधे हुए प्रक्षेत्र के लिए समरूपीय है, और X का बर्गमैन मापीय अनुभागीय वक्रता ≤ 0 के साथ एक पूर्ण काहलर मापीय है।
- प्रत्येक K3 सतह काहलर (सिउ द्वारा) है।[17]
यह भी देखें
टिप्पणियाँ
- ↑ Cannas da Silva (2001), Definition 16.1.
- ↑ Zheng (2000), Proposition 7.14.
- ↑ Kobayashi & Nomizu (1996), v. 2, p. 149.
- ↑ Moroianu (2007), Proposition 8.8.
- ↑ Zheng (2000), section 7.4.
- ↑ Huybrechts (2005), Section 3.1.
- ↑ Huybrechts (2005), Proposition 3.1.12.
- ↑ Huybrechts (2005), Corollary 3.2.12.
- ↑ Huybrechts (2005), sections 3.3 and 5.2,
- ↑ Huybrechts (2005), Proposition 3.A.28.
- ↑ Amorós et al. (1996)
- ↑ Amorós et al. (1996), Corollary 1.66.
- ↑ Wells (2007) p.217 Definition 1.1
- ↑ Kodaira (1954)
- ↑ Angella, D. and Tomassini, A., 2013. On the $\partial\overline {\partial} $-Lemma and Bott-Chern cohomology. Inventiones mathematicae, 192(1), pp.71-81.
- ↑ Voisin (2004)
- ↑ 17.0 17.1 Barth et al. (2004), section IV.3.
- ↑ Buchdahl (1999)
- ↑ Lamari (1999)
- ↑ Zheng (2000), Corollary 9.8.
- ↑ Zheng (2000), Lemma 9.14.
- ↑ Kobayashi & Nomizu (1996), v. 2, Proposition IX.9.2.
- ↑ Yang & Zheng (2018)
- ↑ Lee & Streets (2021)
संदर्भ
- 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)