न्यूनाधिक सम्मिश्र विविधता: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Smooth manifold}} | {{Short description|Smooth manifold}} | ||
गणित में, | गणित में, न्यूनाधिक जटिल विविधता प्रत्येक [[स्पर्शरेखा स्थान]] पर एक चिकनी [[रैखिक जटिल संरचना]] से सुसज्जित एक चिकनी विविधता होती है। प्रत्येक जटिल विविधता एक न्यूनाधिक जटिल विविधता होती है, यघपि न्यूनाधिक जटिल विविधता भी हैं जो जटिल विविधता नहीं हैं। न्यूनाधिक जटिल संरचनाओं का [[सिंपलेक्टिक ज्यामिति]] में महत्वपूर्ण अनुप्रयोग होता है। | ||
यह अवधारणा 1940 के | यह अवधारणा 1940 के समय में [[चार्ल्स एह्रेसमैन]] और [[हेंज हॉफ]] की देन है।<ref>{{cite journal|author1-last=Van de Ven|author1-first=A.|title=कुछ जटिल और लगभग जटिल मैनिफोल्ड्स की चेर्न संख्या पर|journal=[[Proceedings of the National Academy of Sciences]]|volume=55|issue=6|pages=1624–1627|date=June 1966|doi=10.1073/pnas.55.6.1624|pmid=16578639|pmc=224368|bibcode=1966PNAS...55.1624V|doi-access=free}}</ref> | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
मान लीजिए M एक सहज | मान लीजिए ''M'' एक सहज विविधता है। एम पर एक 'न्यूनाधिक जटिल संरचना' जे, विविधता के प्रत्येक स्पर्शरेखा स्थान पर एक रैखिक जटिल संरचना (अर्थात, एक रैखिक मानचित्र जिसका जो -1 वर्ग होता है) है, जो विविधता पर सरलता से बदलती रहती है। दूसरे शब्दों में, हमारे पास डिग्री (1, 1) का सुचारू [[टेंसर फ़ील्ड]] J होता है, जैसे की <math>J^2=-1</math> जब [[स्पर्शरेखा बंडल]] इसे [[वेक्टर बंडल|सदिश बंडल]] समरूपता <math>J\colon TM\to TM</math> के रूप में जाना जाता है। न्यूनाधिक जटिल संरचना से सुसज्जित विविधता को न्यूनाधिक जटिल विविधता कहा जाता है। | ||
यदि '' | यदि ''M'' न्यूनाधिक जटिल संरचना को स्वीकार करता है, तो इसे सम-आयामी होना चाहिए। इस प्रकार इसे देखा जा सकता है। मान लीजिए ''M'' ''n''-आयामी होता है, और {{nowrap|''J'' : ''TM'' → ''TM''}} न्यूनाधिक एक जटिल संरचना हो दें। अगर {{nowrap|1=''J''{{i sup|2}} = −1}} होता है तब {{nowrap|1=(det ''J'')<sup>2</sup> = (−1){{sup|''n''}}}} होता है। यघपि यदि ''M'' एक वास्तविक विविधता होती है, तो {{nowrap|det ''J''}} एक वास्तविक संख्या होती है - इस प्रकार n तब भी होना चाहिए जब M की संरचना न्यूनाधिक जटिल हो। कोई यह दिखा सकता है कि यह [[ कुंडा कई गुना |उन्मुखी]] भी होना चाहिए। | ||
रैखिक बीजगणित में एक | रैखिक बीजगणित में एक सरल अभ्यास से पता चलता है कि कोई भी आयामी सदिश स्थान एक रैखिक जटिल संरचना को स्वीकार करता है। इसलिए, एक सम आयामी विविधता सदैव {{nowrap|(1, 1)}}-रैंक टेंसर को बिंदुवार स्वीकार करता है (जो प्रत्येक स्पर्शरेखा स्थान पर मात्र एक रैखिक परिवर्तन है) जैसे कि प्रत्येक बिंदु ''p'' पर {{nowrap|1=''J''{{sub|''p''}}{{sup|2}} = −1}}। मात्र जब इस स्थानीय टेंसर को विश्व स्तर पर परिभाषित करने के लिए एक साथ पैच किया जा सकता है, तो बिंदुवार रैखिक जटिल संरचना न्यूनाधिक एक जटिल संरचना उत्पन्न करती है, जिसे तब विशिष्ट रूप से निर्धारित किया जाता है। इस पैचिंग की संभावना, और इसलिए विविधता ''M'' पर न्यूनाधिक एक जटिल संरचना का अस्तित्व {{nowrap|GL(2''n'', '''R''')}} से {{nowrap|GL(''n'', '''C''')}} तक स्पर्शरेखा बंडल के [[संरचना समूह की कमी]] के बराबर होता है। अस्तित्व का प्रश्न तब पूरी तरह से [[बीजगणितीय टोपोलॉजी]] होता है और अत्यधिक अच्छी तरह से समझा जाता है। | ||
==उदाहरण== | ==उदाहरण== | ||
प्रत्येक पूर्णांक n के लिए, समतल स्थान R<sup>2n</sup> | प्रत्येक पूर्णांक n के लिए, समतल स्थान R<sup>2n</sup> न्यूनाधिक एक जटिल संरचना को स्वीकार करता है। ऐसी न्यूनाधिक जटिल संरचना का एक उदाहरण (1 ≤ i, j ≤ 2n): <math>J_{ij} = -\delta_{i,j-1} </math>सम ''i'' लिए , <math>J_{ij} = \delta_{i,j+1} </math> विषम i के लिए होता है। | ||
एकमात्र क्षेत्र जो | एकमात्र क्षेत्र जो न्यूनाधिक जटिल संरचनाओं को स्वीकार करते हैं वे '''S'''<sup>2</sup> और S<sup>6</sup>({{harvtxt|बोरेल |सेरे|1953}})हैं। विशेष रूप से, S<sup>4</sup> को न्यूनाधिक जटिल संरचना (एह्रेसमैन और होपफ) नहीं दिया जा सकता है। '''S'''<sup>2</sup> के स्थिति में, न्यूनाधिक जटिल संरचना [[रीमैन क्षेत्र]] पर एक ईमानदार जटिल संरचना से आती है। 6-गोला, S<sup>6</sup>, जब इकाई मानक काल्पनिक [[ऑक्टोनियन]] के सेट के रूप में माना जाता है, तो ऑक्टोनियन गुणन से न्यूनाधिक एक जटिल संरचना प्राप्त होती है; यह प्रश्न कि क्या इसमें अभिन्न न्यूनाधिक जटिल संरचनाएं हैं, हेंज हॉपफ के नाम पर हॉपफ समस्या के रूप में जाना जाता है।<ref>{{cite journal|last1=Agricola |first1=Ilka |authorlink1=Ilka Agricola |first2=Giovanni |last2=Bazzoni |first3=Oliver |last3=Goertsches |first4=Panagiotis |last4=Konstantis |first5=Sönke |last5=Rollenske |title=हॉपफ समस्या के इतिहास पर|arxiv=1708.01068 |journal=[[Differential Geometry and Its Applications]] |year=2018 |volume=57 |pages=1–9|doi=10.1016/j.difgeo.2017.10.014 |s2cid=119297359 }}</ref> | ||
संरचना (एह्रेसमैन और होपफ) | |||
== | == न्यूनाधिक जटिल विविधता्स की विभेदक टोपोलॉजी == | ||
जिस प्रकार सदिश समष्टि V पर एक जटिल संरचना, V | जिस प्रकार सदिश समष्टि V पर एक जटिल संरचना, ''V''<sup>'''C'''</sup> के ''V''<sup>+</sup> और ''V''<sup>−</sup>(क्रमशः +i और −i के अनुरूप J के [[eigenspace|ईजेनस्पेसेस]]) में विघटित करने की अनुमति देती है, उसी प्रकार M पर एक लगभग जटिल संरचना जटिल स्पर्शरेखा के विघटित होने की अनुमति देती है। टीएमसी (जो प्रत्येक बिंदु पर जटिल स्पर्शरेखा स्थानों का वेक्टर बंडल है) को ''TM''<sup>+</sup> और ''TM''<sup>−</sup> में बंडल करें। ''TM''<sup>+</sup> के एक खंड को (1, 0) प्रकार का एक सदिश क्षेत्र कहा जाता है, जबकि ''TM''<sup>−</sup> के एक खंड को (0, 1) प्रकार का एक [[वेक्टर फ़ील्ड|सदिश क्षेत्र]] कहा जाता है। इस प्रकार J, जटिल स्पर्शरेखा बंडल के (1, 0)-वेक्टर फ़ील्ड पर i द्वारा गुणा और (0, 1)-वेक्टर फ़ील्ड पर −i द्वारा गुणा से मेल खाता है। | ||
जैसे हम [[कोटैंजेंट बंडल]] की [[बाहरी शक्ति]]यों से [[विभेदक रूप]] बनाते हैं, वैसे ही हम जटिल कोटैंजेंट बंडल की बाहरी शक्तियां बना सकते हैं (जो जटिल स्पर्शरेखा बंडल के दोहरे स्थानों के बंडल के लिए कैनोनिक रूप से आइसोमोर्फिक है)। | जैसे हम [[कोटैंजेंट बंडल]] की [[बाहरी शक्ति]]यों से [[विभेदक रूप]] बनाते हैं, वैसे ही हम जटिल कोटैंजेंट बंडल की बाहरी शक्तियां बना सकते हैं (जो जटिल स्पर्शरेखा बंडल के दोहरे स्थानों के बंडल के लिए कैनोनिक रूप से आइसोमोर्फिक है)। न्यूनाधिक जटिल संरचना आर-रूपों के प्रत्येक स्थान के अपघटन को प्रेरित करती है | ||
:<math>\Omega^r(M)^\mathbf{C}=\bigoplus_{p+q=r} \Omega^{(p,q)}(M). \, </math> | :<math>\Omega^r(M)^\mathbf{C}=\bigoplus_{p+q=r} \Omega^{(p,q)}(M). \, </math> | ||
दूसरे शब्दों में, प्रत्येक Ω<sup>आर</sup>(एम)<sup>सी</sup> Ω के योग में एक अपघटन स्वीकार करता है<sup>(p, q)</sup>(M), r = p + q के साथ। | दूसरे शब्दों में, प्रत्येक Ω<sup>आर</sup>(एम)<sup>सी</sup> Ω के योग में एक अपघटन स्वीकार करता है<sup>(p, q)</sup>(M), r = p + q के साथ। | ||
सदिश बंडलों के किसी भी प्रत्यक्ष योग की तरह, एक विहित प्रक्षेपण π है<sub>''p'',''q''</sub> Ω से<sup>आर</sup>(एम)<sup>सी</sup>से Ω<sup>(p,q)</sup>. हमारे पास [[बाहरी व्युत्पन्न]] d भी है जो Ω को मैप करता है<sup>आर</sup>(एम)<sup>सी</sup>से Ω<sup>आर+1</sup>(एम)<sup>सी</sup>. इस प्रकार हम बाहरी व्युत्पन्न की क्रिया को निश्चित प्रकार के रूपों में परिष्कृत करने के लिए न्यूनाधिक जटिल संरचना का उपयोग कर सकते हैं | |||
:<math>\partial=\pi_{p+1,q}\circ d</math> | :<math>\partial=\pi_{p+1,q}\circ d</math> | ||
Line 35: | Line 34: | ||
:<math>d=\sum_{r+s=p+q+1} \pi_{r,s}\circ d=\partial + \overline{\partial} + \cdots .</math> | :<math>d=\sum_{r+s=p+q+1} \pi_{r,s}\circ d=\partial + \overline{\partial} + \cdots .</math> | ||
== अभिन्न | == अभिन्न न्यूनाधिक जटिल संरचनाएँ == | ||
प्रत्येक जटिल | प्रत्येक जटिल विविधता अपने आप में न्यूनाधिक एक जटिल विविधता है। स्थानीय होलोमोर्फिक निर्देशांक में <math>z^\mu = x^\mu + i y^\mu</math> कोई मानचित्रों को परिभाषित कर सकता है | ||
:<math>J\frac{\partial}{\partial x^\mu} = \frac{\partial}{\partial y^\mu} \qquad J\frac{\partial}{\partial y^\mu} = -\frac{\partial}{\partial x^\mu}</math> | :<math>J\frac{\partial}{\partial x^\mu} = \frac{\partial}{\partial y^\mu} \qquad J\frac{\partial}{\partial y^\mu} = -\frac{\partial}{\partial x^\mu}</math> | ||
Line 42: | Line 41: | ||
:<math>J\frac{\partial}{\partial z^\mu} = i\frac{\partial}{\partial z^\mu} \qquad J\frac{\partial}{\partial \bar{z}^\mu} = -i\frac{\partial}{\partial \bar{z}^\mu}.</math> | :<math>J\frac{\partial}{\partial z^\mu} = i\frac{\partial}{\partial z^\mu} \qquad J\frac{\partial}{\partial \bar{z}^\mu} = -i\frac{\partial}{\partial \bar{z}^\mu}.</math> | ||
कोई भी आसानी से जाँच सकता है कि यह मानचित्र | कोई भी आसानी से जाँच सकता है कि यह मानचित्र न्यूनाधिक एक जटिल संरचना को परिभाषित करता है। इस प्रकार विविधता पर कोई भी जटिल संरचना न्यूनाधिक एक जटिल संरचना उत्पन्न करती है, जिसे जटिल संरचना से 'प्रेरित' कहा जाता है, और जटिल संरचना को न्यूनाधिक जटिल संरचना के साथ 'संगत' कहा जाता है। | ||
विपरीत प्रश्न, कि क्या | विपरीत प्रश्न, कि क्या न्यूनाधिक जटिल संरचना का तात्पर्य एक जटिल संरचना के अस्तित्व से है, बहुत कम तुच्छ है, और सामान्य रूप से सत्य नहीं है। एक मनमाने ढंग से न्यूनाधिक जटिल विविधता पर कोई भी हमेशा निर्देशांक पा सकता है जिसके लिए न्यूनाधिक जटिल संरचना किसी भी बिंदु पी पर उपरोक्त विहित रूप लेती है। सामान्य तौर पर, हालांकि, निर्देशांक ढूंढना संभव नहीं है ताकि जे पी के पूरे [[पड़ोस (टोपोलॉजी)]] पर विहित रूप ले सके। ऐसे निर्देशांक, यदि वे मौजूद हैं, तो 'जे के लिए स्थानीय होलोमोर्फिक निर्देशांक' कहलाते हैं। यदि एम हर बिंदु के आसपास जे के लिए स्थानीय होलोमोर्फिक निर्देशांक स्वीकार करता है तो ये एक साथ मिलकर एम के लिए एक [[होलोमोर्फिक फ़ंक्शन]] [[एटलस (टोपोलॉजी)]] बनाते हैं, जो इसे एक जटिल संरचना देता है, जो जे को प्रेरित करता है। जे को तब 'फ्रोबेनियस प्रमेय (डिफरेंशियल टोपोलॉजी)' कहा जाता है। '. यदि J एक जटिल संरचना से प्रेरित है, तो यह एक अद्वितीय जटिल संरचना से प्रेरित है। | ||
एम के प्रत्येक स्पर्शरेखा स्थान पर किसी भी रैखिक मानचित्र ए को देखते हुए; यानी, ए रैंक (1,1) का एक टेंसर फ़ील्ड है, तो 'निजेनहुइस टेंसर' रैंक (1,2) का एक टेंसर फ़ील्ड है जो द्वारा दिया गया है | एम के प्रत्येक स्पर्शरेखा स्थान पर किसी भी रैखिक मानचित्र ए को देखते हुए; यानी, ए रैंक (1,1) का एक टेंसर फ़ील्ड है, तो 'निजेनहुइस टेंसर' रैंक (1,2) का एक टेंसर फ़ील्ड है जो द्वारा दिया गया है | ||
:<math> N_A(X,Y) = -A^2[X,Y]+A([AX,Y]+[X,AY]) -[AX,AY]. \, </math> | :<math> N_A(X,Y) = -A^2[X,Y]+A([AX,Y]+[X,AY]) -[AX,AY]. \, </math> | ||
या, | या, न्यूनाधिक जटिल संरचना A=J के सामान्य मामले के लिए <math> J^2=-Id </math>, | ||
:<math> N_J(X,Y) = [X,Y]+J([JX,Y]+[X,JY])-[JX,JY]. \, </math> | :<math> N_J(X,Y) = [X,Y]+J([JX,Y]+[X,JY])-[JX,JY]. \, </math> | ||
दाईं ओर की व्यक्तिगत अभिव्यक्तियाँ सुचारु | दाईं ओर की व्यक्तिगत अभिव्यक्तियाँ सुचारु सदिश फ़ील्ड X और Y की पसंद पर निर्भर करती हैं, यघपि बाईं ओर वास्तव में केवल X और Y के बिंदुवार मानों पर निर्भर करती है, यही कारण है कि N<sub>''A''</sub> एक टेंसर है. यह घटक सूत्र से भी स्पष्ट है | ||
:<math> -(N_A)_{ij}^k=A_i^m\partial_m A^k_j -A_j^m\partial_mA^k_i-A^k_m(\partial_iA^m_j-\partial_jA^m_i).</math> | :<math> -(N_A)_{ij}^k=A_i^m\partial_m A^k_j -A_j^m\partial_mA^k_i-A^k_m(\partial_iA^m_j-\partial_jA^m_i).</math> | ||
फ्रोलिचर-निजेनहुइस ब्रैकेट के संदर्भ में, जो | फ्रोलिचर-निजेनहुइस ब्रैकेट के संदर्भ में, जो सदिश फ़ील्ड के लाई ब्रैकेट को सामान्यीकृत करता है, निजेनहुइस टेंसर एन<sub>A</sub>[ए, एएन] का केवल आधा हिस्सा है। | ||
'न्यूलैंडर-निरेनबर्ग प्रमेय' बताता है कि | 'न्यूलैंडर-निरेनबर्ग प्रमेय' बताता है कि न्यूनाधिक जटिल संरचना J पूर्णांक है यदि और केवल यदि N<sub>J</sub>= 0. संगत जटिल संरचना अद्वितीय है, जैसा कि ऊपर चर्चा की गई है। चूँकि एक अभिन्न न्यूनाधिक जटिल संरचना का अस्तित्व एक जटिल संरचना के अस्तित्व के बराबर है, इसलिए इसे कभी-कभी एक जटिल संरचना की परिभाषा के रूप में लिया जाता है। | ||
कई अन्य मानदंड हैं जो निजेनहुइस टेंसर के लुप्त होने के समतुल्य हैं, और इसलिए | कई अन्य मानदंड हैं जो निजेनहुइस टेंसर के लुप्त होने के समतुल्य हैं, और इसलिए न्यूनाधिक जटिल संरचना की अभिन्नता की जांच करने के तरीके प्रस्तुत करते हैं (और वास्तव में इनमें से प्रत्येक साहित्य में पाया जा सकता है): | ||
*किसी भी दो (1,0)- | *किसी भी दो (1,0)-सदिश फ़ील्ड का झूठ ब्रैकेट फिर से प्रकार का होता है (1,0) | ||
*<math>d = \partial + \bar\partial</math> | *<math>d = \partial + \bar\partial</math> | ||
*<math>\bar\partial^2=0.</math> | *<math>\bar\partial^2=0.</math> | ||
इनमें से कोई भी स्थिति एक अद्वितीय संगत जटिल संरचना के अस्तित्व को दर्शाती है। | इनमें से कोई भी स्थिति एक अद्वितीय संगत जटिल संरचना के अस्तित्व को दर्शाती है। | ||
न्यूनाधिक जटिल संरचना का अस्तित्व एक टोपोलॉजिकल प्रश्न है और इसका उत्तर देना अपेक्षाकृत आसान है, जैसा कि ऊपर चर्चा की गई है। दूसरी ओर, एक अभिन्न न्यूनाधिक जटिल संरचना का अस्तित्व, एक अधिक कठिन विश्लेषणात्मक प्रश्न है। उदाहरण के लिए, यह अभी भी ज्ञात नहीं है कि एस<sup>अंततः असत्यापित दावों के लंबे इतिहास के बावजूद, 6</sup> एक अभिन्न न्यूनाधिक जटिल संरचना को स्वीकार करता है। चिकनाई के मुद्दे महत्वपूर्ण हैं. वास्तविक-विश्लेषणात्मक जे के लिए, न्यूलैंडर-निरेनबर्ग प्रमेय फ्रोबेनियस प्रमेय (डिफरेंशियल टोपोलॉजी) से अनुसरण करता है; सी के लिए<sup>∞</sup> (और कम सहज) जे, विश्लेषण की आवश्यकता है (अधिक कठिन तकनीकों के साथ क्योंकि नियमितता परिकल्पना कमजोर हो जाती है)। | |||
==संगत त्रिगुण == | ==संगत त्रिगुण == | ||
मान लीजिए कि एम एक सहानुभूतिपूर्ण रूप ω, एक [[रीमैनियन मीट्रिक]] जी और | मान लीजिए कि एम एक सहानुभूतिपूर्ण रूप ω, एक [[रीमैनियन मीट्रिक]] जी और न्यूनाधिक एक जटिल संरचना जे से सुसज्जित है। चूंकि ω और जी अपक्षयी रूप हैं, प्रत्येक एक बंडल आइसोमोर्फिज्म टीएम → टी * एम प्रेरित करता है, जहां पहला नक्शा, φ दर्शाया गया है<sub>''ω''</sub>, [[आंतरिक उत्पाद]] φ द्वारा दिया गया है<sub>''ω''</sub>(यू) = मैं<sub>''u''</sub>ω = ω(u, •) और दूसरा, निरूपित φ<sub>''g''</sub>, जी के लिए अनुरूप ऑपरेशन द्वारा दिया गया है। इस समझ के साथ, तीन संरचनाएं (जी, ω, जे) एक 'संगत ट्रिपल' बनाती हैं जब प्रत्येक संरचना को दो अन्य द्वारा निम्नानुसार निर्दिष्ट किया जा सकता है: | ||
*जी(यू, वी) = ω(यू, जेवी) | *जी(यू, वी) = ω(यू, जेवी) | ||
*ω(यू, वी) = जी(जू, वी) | *ω(यू, वी) = जी(जू, वी) | ||
*जे(यू) = (φ<sub>''g''</sub>)<sup>−1</sup>(f<sub>''ω''</sub>(यू)). | *जे(यू) = (φ<sub>''g''</sub>)<sup>−1</sup>(f<sub>''ω''</sub>(यू)). | ||
इनमें से प्रत्येक समीकरण में, दाहिनी ओर की दो संरचनाओं को संगत कहा जाता है जब संबंधित निर्माण निर्दिष्ट प्रकार की संरचना उत्पन्न करता है। उदाहरण के लिए, ω और J संगत हैं यदि और केवल यदि ω(•, J•) एक रीमैनियन मीट्रिक है। एम पर बंडल जिसके खंड ω के अनुकूल | इनमें से प्रत्येक समीकरण में, दाहिनी ओर की दो संरचनाओं को संगत कहा जाता है जब संबंधित निर्माण निर्दिष्ट प्रकार की संरचना उत्पन्न करता है। उदाहरण के लिए, ω और J संगत हैं यदि और केवल यदि ω(•, J•) एक रीमैनियन मीट्रिक है। एम पर बंडल जिसके खंड ω के अनुकूल न्यूनाधिक जटिल संरचनाएं हैं, में 'संकुचित फाइबर' हैं: स्पर्शरेखा फाइबर पर जटिल संरचनाएं सिम्प्लेक्टिक रूपों के प्रतिबंध के साथ संगत हैं। | ||
सिम्प्लेक्टिक फॉर्म ω के प्राथमिक गुणों का उपयोग करके, कोई यह दिखा सकता है कि एक संगत | सिम्प्लेक्टिक फॉर्म ω के प्राथमिक गुणों का उपयोग करके, कोई यह दिखा सकता है कि एक संगत न्यूनाधिक जटिल संरचना J एक न्यूनाधिक काहलर विविधता है | रीमैनियन मीट्रिक ω (यू, जेवी) के लिए न्यूनाधिक काहलर संरचना है। इसके अलावा, यदि J पूर्णांक है, तो (M, ω, J) एक काहलर विविधता है। | ||
ये त्रिगुण एकात्मक समूह#2-आउट-ऑफ़-3 संपत्ति से संबंधित हैं। | ये त्रिगुण एकात्मक समूह#2-आउट-ऑफ़-3 संपत्ति से संबंधित हैं। | ||
== [[सामान्यीकृत लगभग जटिल संरचना]] == | == [[सामान्यीकृत लगभग जटिल संरचना|सामान्यीकृत न्यूनाधिक जटिल संरचना]] == | ||
[[निगेल हिचिन]] ने | [[निगेल हिचिन]] ने विविधता एम पर एक सामान्यीकृत न्यूनाधिक जटिल संरचना की धारणा पेश की, जिसे उनके छात्रों [[मार्को गुआल्टिएरी]] और [[गिल कैवलन्ती]] के डॉक्टरेट शोध प्रबंधों में विस्तृत किया गया था। एक सामान्य न्यूनाधिक जटिल संरचना जटिल स्पर्शरेखा बंडल टीएम के प्रत्येक फाइबर के आधे-आयामी रैखिक उप-स्थान का विकल्प है। एक सामान्यीकृत न्यूनाधिक जटिल संरचना, जटिल स्पर्शरेखा और कोटैंजेंट बंडलों के सदिश बंडलों के प्रत्यक्ष योग के प्रत्येक फाइबर के आधे-आयामी [[आइसोट्रोपिक मैनिफोल्ड|आइसोट्रोपिक विविधता]] उप-स्थान का विकल्प है। दोनों ही मामलों में कोई मांग करता है कि [[सबबंडल]] और उसके जटिल संयुग्म का सीधा योग मूल बंडल उत्पन्न करता है। | ||
यदि अर्ध-आयामी उपस्थान लाई व्युत्पन्न के तहत बंद है तो | यदि अर्ध-आयामी उपस्थान लाई व्युत्पन्न के तहत बंद है तो न्यूनाधिक एक जटिल संरचना एक जटिल संरचना में एकीकृत हो जाती है। एक सामान्यीकृत न्यूनाधिक जटिल संरचना एक [[सामान्यीकृत जटिल संरचना]] में एकीकृत हो जाती है यदि उपस्थान [[कूरेंट ब्रैकेट]] के तहत बंद हो जाता है। यदि इसके अलावा यह अर्ध-आयामी स्थान कहीं लुप्त न होने वाले [[शुद्ध स्पिनर]] का विनाशक है तो एम एक सामान्यीकृत कैलाबी-याउ विविधता है। | ||
== यह भी देखें == | == यह भी देखें == |
Revision as of 02:36, 8 July 2023
गणित में, न्यूनाधिक जटिल विविधता प्रत्येक स्पर्शरेखा स्थान पर एक चिकनी रैखिक जटिल संरचना से सुसज्जित एक चिकनी विविधता होती है। प्रत्येक जटिल विविधता एक न्यूनाधिक जटिल विविधता होती है, यघपि न्यूनाधिक जटिल विविधता भी हैं जो जटिल विविधता नहीं हैं। न्यूनाधिक जटिल संरचनाओं का सिंपलेक्टिक ज्यामिति में महत्वपूर्ण अनुप्रयोग होता है।
यह अवधारणा 1940 के समय में चार्ल्स एह्रेसमैन और हेंज हॉफ की देन है।[1]
औपचारिक परिभाषा
मान लीजिए M एक सहज विविधता है। एम पर एक 'न्यूनाधिक जटिल संरचना' जे, विविधता के प्रत्येक स्पर्शरेखा स्थान पर एक रैखिक जटिल संरचना (अर्थात, एक रैखिक मानचित्र जिसका जो -1 वर्ग होता है) है, जो विविधता पर सरलता से बदलती रहती है। दूसरे शब्दों में, हमारे पास डिग्री (1, 1) का सुचारू टेंसर फ़ील्ड J होता है, जैसे की जब स्पर्शरेखा बंडल इसे सदिश बंडल समरूपता के रूप में जाना जाता है। न्यूनाधिक जटिल संरचना से सुसज्जित विविधता को न्यूनाधिक जटिल विविधता कहा जाता है।
यदि M न्यूनाधिक जटिल संरचना को स्वीकार करता है, तो इसे सम-आयामी होना चाहिए। इस प्रकार इसे देखा जा सकता है। मान लीजिए M n-आयामी होता है, और J : TM → TM न्यूनाधिक एक जटिल संरचना हो दें। अगर J2 = −1 होता है तब (det J)2 = (−1)n होता है। यघपि यदि M एक वास्तविक विविधता होती है, तो det J एक वास्तविक संख्या होती है - इस प्रकार n तब भी होना चाहिए जब M की संरचना न्यूनाधिक जटिल हो। कोई यह दिखा सकता है कि यह उन्मुखी भी होना चाहिए।
रैखिक बीजगणित में एक सरल अभ्यास से पता चलता है कि कोई भी आयामी सदिश स्थान एक रैखिक जटिल संरचना को स्वीकार करता है। इसलिए, एक सम आयामी विविधता सदैव (1, 1)-रैंक टेंसर को बिंदुवार स्वीकार करता है (जो प्रत्येक स्पर्शरेखा स्थान पर मात्र एक रैखिक परिवर्तन है) जैसे कि प्रत्येक बिंदु p पर Jp2 = −1। मात्र जब इस स्थानीय टेंसर को विश्व स्तर पर परिभाषित करने के लिए एक साथ पैच किया जा सकता है, तो बिंदुवार रैखिक जटिल संरचना न्यूनाधिक एक जटिल संरचना उत्पन्न करती है, जिसे तब विशिष्ट रूप से निर्धारित किया जाता है। इस पैचिंग की संभावना, और इसलिए विविधता M पर न्यूनाधिक एक जटिल संरचना का अस्तित्व GL(2n, R) से GL(n, C) तक स्पर्शरेखा बंडल के संरचना समूह की कमी के बराबर होता है। अस्तित्व का प्रश्न तब पूरी तरह से बीजगणितीय टोपोलॉजी होता है और अत्यधिक अच्छी तरह से समझा जाता है।
उदाहरण
प्रत्येक पूर्णांक n के लिए, समतल स्थान R2n न्यूनाधिक एक जटिल संरचना को स्वीकार करता है। ऐसी न्यूनाधिक जटिल संरचना का एक उदाहरण (1 ≤ i, j ≤ 2n): सम i लिए , विषम i के लिए होता है।
एकमात्र क्षेत्र जो न्यूनाधिक जटिल संरचनाओं को स्वीकार करते हैं वे S2 और S6(बोरेल & सेरे (1953) )हैं। विशेष रूप से, S4 को न्यूनाधिक जटिल संरचना (एह्रेसमैन और होपफ) नहीं दिया जा सकता है। S2 के स्थिति में, न्यूनाधिक जटिल संरचना रीमैन क्षेत्र पर एक ईमानदार जटिल संरचना से आती है। 6-गोला, S6, जब इकाई मानक काल्पनिक ऑक्टोनियन के सेट के रूप में माना जाता है, तो ऑक्टोनियन गुणन से न्यूनाधिक एक जटिल संरचना प्राप्त होती है; यह प्रश्न कि क्या इसमें अभिन्न न्यूनाधिक जटिल संरचनाएं हैं, हेंज हॉपफ के नाम पर हॉपफ समस्या के रूप में जाना जाता है।[2]
न्यूनाधिक जटिल विविधता्स की विभेदक टोपोलॉजी
जिस प्रकार सदिश समष्टि V पर एक जटिल संरचना, VC के V+ और V−(क्रमशः +i और −i के अनुरूप J के ईजेनस्पेसेस) में विघटित करने की अनुमति देती है, उसी प्रकार M पर एक लगभग जटिल संरचना जटिल स्पर्शरेखा के विघटित होने की अनुमति देती है। टीएमसी (जो प्रत्येक बिंदु पर जटिल स्पर्शरेखा स्थानों का वेक्टर बंडल है) को TM+ और TM− में बंडल करें। TM+ के एक खंड को (1, 0) प्रकार का एक सदिश क्षेत्र कहा जाता है, जबकि TM− के एक खंड को (0, 1) प्रकार का एक सदिश क्षेत्र कहा जाता है। इस प्रकार J, जटिल स्पर्शरेखा बंडल के (1, 0)-वेक्टर फ़ील्ड पर i द्वारा गुणा और (0, 1)-वेक्टर फ़ील्ड पर −i द्वारा गुणा से मेल खाता है।
जैसे हम कोटैंजेंट बंडल की बाहरी शक्तियों से विभेदक रूप बनाते हैं, वैसे ही हम जटिल कोटैंजेंट बंडल की बाहरी शक्तियां बना सकते हैं (जो जटिल स्पर्शरेखा बंडल के दोहरे स्थानों के बंडल के लिए कैनोनिक रूप से आइसोमोर्फिक है)। न्यूनाधिक जटिल संरचना आर-रूपों के प्रत्येक स्थान के अपघटन को प्रेरित करती है
दूसरे शब्दों में, प्रत्येक Ωआर(एम)सी Ω के योग में एक अपघटन स्वीकार करता है(p, q)(M), r = p + q के साथ।
सदिश बंडलों के किसी भी प्रत्यक्ष योग की तरह, एक विहित प्रक्षेपण π हैp,q Ω सेआर(एम)सीसे Ω(p,q). हमारे पास बाहरी व्युत्पन्न d भी है जो Ω को मैप करता हैआर(एम)सीसे Ωआर+1(एम)सी. इस प्रकार हम बाहरी व्युत्पन्न की क्रिया को निश्चित प्रकार के रूपों में परिष्कृत करने के लिए न्यूनाधिक जटिल संरचना का उपयोग कर सकते हैं
ताकि एक मानचित्र है जो प्रकार के होलोमोर्फिक भाग को एक-एक करके बढ़ाता है (प्रकार (p, q) के रूप को प्रकार (p+1, q) के रूप में लेता है), और एक मानचित्र है जो प्रकार के एंटीहोलोमोर्फिक भाग को एक से बढ़ाता है। इन ऑपरेटरों को डॉल्बॉल्ट ऑपरेटर कहा जाता है।
चूँकि सभी अनुमानों का योग पहचान फ़ंक्शन होना चाहिए, हम ध्यान दें कि बाहरी व्युत्पन्न लिखा जा सकता है
अभिन्न न्यूनाधिक जटिल संरचनाएँ
प्रत्येक जटिल विविधता अपने आप में न्यूनाधिक एक जटिल विविधता है। स्थानीय होलोमोर्फिक निर्देशांक में कोई मानचित्रों को परिभाषित कर सकता है
(बिल्कुल π/2 के वामावर्त घुमाव की तरह) या
कोई भी आसानी से जाँच सकता है कि यह मानचित्र न्यूनाधिक एक जटिल संरचना को परिभाषित करता है। इस प्रकार विविधता पर कोई भी जटिल संरचना न्यूनाधिक एक जटिल संरचना उत्पन्न करती है, जिसे जटिल संरचना से 'प्रेरित' कहा जाता है, और जटिल संरचना को न्यूनाधिक जटिल संरचना के साथ 'संगत' कहा जाता है।
विपरीत प्रश्न, कि क्या न्यूनाधिक जटिल संरचना का तात्पर्य एक जटिल संरचना के अस्तित्व से है, बहुत कम तुच्छ है, और सामान्य रूप से सत्य नहीं है। एक मनमाने ढंग से न्यूनाधिक जटिल विविधता पर कोई भी हमेशा निर्देशांक पा सकता है जिसके लिए न्यूनाधिक जटिल संरचना किसी भी बिंदु पी पर उपरोक्त विहित रूप लेती है। सामान्य तौर पर, हालांकि, निर्देशांक ढूंढना संभव नहीं है ताकि जे पी के पूरे पड़ोस (टोपोलॉजी) पर विहित रूप ले सके। ऐसे निर्देशांक, यदि वे मौजूद हैं, तो 'जे के लिए स्थानीय होलोमोर्फिक निर्देशांक' कहलाते हैं। यदि एम हर बिंदु के आसपास जे के लिए स्थानीय होलोमोर्फिक निर्देशांक स्वीकार करता है तो ये एक साथ मिलकर एम के लिए एक होलोमोर्फिक फ़ंक्शन एटलस (टोपोलॉजी) बनाते हैं, जो इसे एक जटिल संरचना देता है, जो जे को प्रेरित करता है। जे को तब 'फ्रोबेनियस प्रमेय (डिफरेंशियल टोपोलॉजी)' कहा जाता है। '. यदि J एक जटिल संरचना से प्रेरित है, तो यह एक अद्वितीय जटिल संरचना से प्रेरित है।
एम के प्रत्येक स्पर्शरेखा स्थान पर किसी भी रैखिक मानचित्र ए को देखते हुए; यानी, ए रैंक (1,1) का एक टेंसर फ़ील्ड है, तो 'निजेनहुइस टेंसर' रैंक (1,2) का एक टेंसर फ़ील्ड है जो द्वारा दिया गया है
या, न्यूनाधिक जटिल संरचना A=J के सामान्य मामले के लिए ,
दाईं ओर की व्यक्तिगत अभिव्यक्तियाँ सुचारु सदिश फ़ील्ड X और Y की पसंद पर निर्भर करती हैं, यघपि बाईं ओर वास्तव में केवल X और Y के बिंदुवार मानों पर निर्भर करती है, यही कारण है कि NA एक टेंसर है. यह घटक सूत्र से भी स्पष्ट है
फ्रोलिचर-निजेनहुइस ब्रैकेट के संदर्भ में, जो सदिश फ़ील्ड के लाई ब्रैकेट को सामान्यीकृत करता है, निजेनहुइस टेंसर एनA[ए, एएन] का केवल आधा हिस्सा है। 'न्यूलैंडर-निरेनबर्ग प्रमेय' बताता है कि न्यूनाधिक जटिल संरचना J पूर्णांक है यदि और केवल यदि NJ= 0. संगत जटिल संरचना अद्वितीय है, जैसा कि ऊपर चर्चा की गई है। चूँकि एक अभिन्न न्यूनाधिक जटिल संरचना का अस्तित्व एक जटिल संरचना के अस्तित्व के बराबर है, इसलिए इसे कभी-कभी एक जटिल संरचना की परिभाषा के रूप में लिया जाता है।
कई अन्य मानदंड हैं जो निजेनहुइस टेंसर के लुप्त होने के समतुल्य हैं, और इसलिए न्यूनाधिक जटिल संरचना की अभिन्नता की जांच करने के तरीके प्रस्तुत करते हैं (और वास्तव में इनमें से प्रत्येक साहित्य में पाया जा सकता है):
- किसी भी दो (1,0)-सदिश फ़ील्ड का झूठ ब्रैकेट फिर से प्रकार का होता है (1,0)
इनमें से कोई भी स्थिति एक अद्वितीय संगत जटिल संरचना के अस्तित्व को दर्शाती है।
न्यूनाधिक जटिल संरचना का अस्तित्व एक टोपोलॉजिकल प्रश्न है और इसका उत्तर देना अपेक्षाकृत आसान है, जैसा कि ऊपर चर्चा की गई है। दूसरी ओर, एक अभिन्न न्यूनाधिक जटिल संरचना का अस्तित्व, एक अधिक कठिन विश्लेषणात्मक प्रश्न है। उदाहरण के लिए, यह अभी भी ज्ञात नहीं है कि एसअंततः असत्यापित दावों के लंबे इतिहास के बावजूद, 6 एक अभिन्न न्यूनाधिक जटिल संरचना को स्वीकार करता है। चिकनाई के मुद्दे महत्वपूर्ण हैं. वास्तविक-विश्लेषणात्मक जे के लिए, न्यूलैंडर-निरेनबर्ग प्रमेय फ्रोबेनियस प्रमेय (डिफरेंशियल टोपोलॉजी) से अनुसरण करता है; सी के लिए∞ (और कम सहज) जे, विश्लेषण की आवश्यकता है (अधिक कठिन तकनीकों के साथ क्योंकि नियमितता परिकल्पना कमजोर हो जाती है)।
संगत त्रिगुण
मान लीजिए कि एम एक सहानुभूतिपूर्ण रूप ω, एक रीमैनियन मीट्रिक जी और न्यूनाधिक एक जटिल संरचना जे से सुसज्जित है। चूंकि ω और जी अपक्षयी रूप हैं, प्रत्येक एक बंडल आइसोमोर्फिज्म टीएम → टी * एम प्रेरित करता है, जहां पहला नक्शा, φ दर्शाया गया हैω, आंतरिक उत्पाद φ द्वारा दिया गया हैω(यू) = मैंuω = ω(u, •) और दूसरा, निरूपित φg, जी के लिए अनुरूप ऑपरेशन द्वारा दिया गया है। इस समझ के साथ, तीन संरचनाएं (जी, ω, जे) एक 'संगत ट्रिपल' बनाती हैं जब प्रत्येक संरचना को दो अन्य द्वारा निम्नानुसार निर्दिष्ट किया जा सकता है:
- जी(यू, वी) = ω(यू, जेवी)
- ω(यू, वी) = जी(जू, वी)
- जे(यू) = (φg)−1(fω(यू)).
इनमें से प्रत्येक समीकरण में, दाहिनी ओर की दो संरचनाओं को संगत कहा जाता है जब संबंधित निर्माण निर्दिष्ट प्रकार की संरचना उत्पन्न करता है। उदाहरण के लिए, ω और J संगत हैं यदि और केवल यदि ω(•, J•) एक रीमैनियन मीट्रिक है। एम पर बंडल जिसके खंड ω के अनुकूल न्यूनाधिक जटिल संरचनाएं हैं, में 'संकुचित फाइबर' हैं: स्पर्शरेखा फाइबर पर जटिल संरचनाएं सिम्प्लेक्टिक रूपों के प्रतिबंध के साथ संगत हैं।
सिम्प्लेक्टिक फॉर्म ω के प्राथमिक गुणों का उपयोग करके, कोई यह दिखा सकता है कि एक संगत न्यूनाधिक जटिल संरचना J एक न्यूनाधिक काहलर विविधता है | रीमैनियन मीट्रिक ω (यू, जेवी) के लिए न्यूनाधिक काहलर संरचना है। इसके अलावा, यदि J पूर्णांक है, तो (M, ω, J) एक काहलर विविधता है।
ये त्रिगुण एकात्मक समूह#2-आउट-ऑफ़-3 संपत्ति से संबंधित हैं।
सामान्यीकृत न्यूनाधिक जटिल संरचना
निगेल हिचिन ने विविधता एम पर एक सामान्यीकृत न्यूनाधिक जटिल संरचना की धारणा पेश की, जिसे उनके छात्रों मार्को गुआल्टिएरी और गिल कैवलन्ती के डॉक्टरेट शोध प्रबंधों में विस्तृत किया गया था। एक सामान्य न्यूनाधिक जटिल संरचना जटिल स्पर्शरेखा बंडल टीएम के प्रत्येक फाइबर के आधे-आयामी रैखिक उप-स्थान का विकल्प है। एक सामान्यीकृत न्यूनाधिक जटिल संरचना, जटिल स्पर्शरेखा और कोटैंजेंट बंडलों के सदिश बंडलों के प्रत्यक्ष योग के प्रत्येक फाइबर के आधे-आयामी आइसोट्रोपिक विविधता उप-स्थान का विकल्प है। दोनों ही मामलों में कोई मांग करता है कि सबबंडल और उसके जटिल संयुग्म का सीधा योग मूल बंडल उत्पन्न करता है।
यदि अर्ध-आयामी उपस्थान लाई व्युत्पन्न के तहत बंद है तो न्यूनाधिक एक जटिल संरचना एक जटिल संरचना में एकीकृत हो जाती है। एक सामान्यीकृत न्यूनाधिक जटिल संरचना एक सामान्यीकृत जटिल संरचना में एकीकृत हो जाती है यदि उपस्थान कूरेंट ब्रैकेट के तहत बंद हो जाता है। यदि इसके अलावा यह अर्ध-आयामी स्थान कहीं लुप्त न होने वाले शुद्ध स्पिनर का विनाशक है तो एम एक सामान्यीकृत कैलाबी-याउ विविधता है।
यह भी देखें
- Almost quaternionic manifold
- Chern class
- Frölicher–Nijenhuis bracket
- Kähler manifold
- Poisson manifold
- Rizza manifold
- Symplectic manifold
संदर्भ
- ↑ Van de Ven, A. (June 1966). "कुछ जटिल और लगभग जटिल मैनिफोल्ड्स की चेर्न संख्या पर". Proceedings of the National Academy of Sciences. 55 (6): 1624–1627. Bibcode:1966PNAS...55.1624V. doi:10.1073/pnas.55.6.1624. PMC 224368. PMID 16578639.
- ↑ Agricola, Ilka; Bazzoni, Giovanni; Goertsches, Oliver; Konstantis, Panagiotis; Rollenske, Sönke (2018). "हॉपफ समस्या के इतिहास पर". Differential Geometry and Its Applications. 57: 1–9. arXiv:1708.01068. doi:10.1016/j.difgeo.2017.10.014. S2CID 119297359.
- Newlander, August; Nirenberg, Louis (1957). "Complex analytic coordinates in almost complex manifolds". Annals of Mathematics. Second Series. 65 (3): 391–404. doi:10.2307/1970051. ISSN 0003-486X. JSTOR 1970051. MR 0088770.
- Cannas da Silva, Ana (2001). Lectures on Symplectic Geometry. Springer. ISBN 3-540-42195-5. Information on compatible triples, Kähler and Hermitian manifolds, etc.
- Wells, Raymond O. (1980). Differential Analysis on Complex Manifolds. New York: Springer-Verlag. ISBN 0-387-90419-0. Short section which introduces standard basic material.
- Rubei, Elena (2014). Algebraic Geometry, a concise dictionary. Berlin/Boston: Walter De Gruyter. ISBN 978-3-11-031622-3.
- Borel, Armand; Serre, Jean-Pierre (1953). "Groupes de Lie et puissances réduites de Steenrod". American Journal of Mathematics. 75 (3): 409–448. doi:10.2307/2372495. JSTOR 2372495. MR 0058213.