4-मैनिफोल्ड

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

भौतिकी में 4-कई गुना महत्वपूर्ण हैं क्योंकि सामान्य सापेक्षता में, अंतरिक्ष-समय को छद्म-रीमैनियन 4-कई गुना के रूप में प्रतिरूपित किया जाता है।

सामयिक 4-कई गुना

मात्र संयोजित सुसम्बद्ध 4-कई गुना का होमोटॉपी प्रकार मात्र मध्य आयामी समरूपता पर प्रतिच्छेदन के रूप (4-कई गुना ) पर निर्भर करता है। Michael Freedman (1982) के एक प्रसिद्ध प्रमेय का तात्पर्य है कि होमियोमोर्फिज्म प्रकार का कई गुना मात्र इस प्रतिच्छेदन के रूप पर निर्भर करता है, और एक $\mathbb {Z} /2\mathbb {Z}$ निश्चर पर जिसे किर्बी-सीबेनमैन निश्चर कहा जाता है, और इसके अतिरिक्त यूनिमॉड्यूलर जाली और किर्बी-सीबेनमैन निश्चर का हर संयोजन उत्पन्न हो सकता है, सिवाय इसके कि अगर फॉर्म सम है, तो किर्बी-सीबेनमैन निश्चर को सिग्नेचर/8 (मॉड 2) होना चाहिए।

उदाहरण:

• विशेष मामले में जब फॉर्म 0 होता है, तो इसका तात्पर्य 4-आयामी स्थलीय पोंकारे अनुमान से है।
• यदि प्रपत्र E8 जाली है, तो यह कई गुना देता है जिसे E8 कई गुना कहा जाता है, किसी भी साधारण परिसर के लिए कई गुना होमियोमॉर्फिक नहीं।
• यदि रूप है $\mathbb {Z}$, किर्बी-सीबेनमैन निश्चर के आधार पर दो कई गुना हैं: एक 2-आयामी जटिल प्रोजेक्टिव स्पेस है, और दूसरा नकली प्रोजेक्टिव स्पेस है, जिसमें एक ही होमोटोपी प्रकार है परन्तु होमोमोर्फिक नहीं है (और कोई सुचारु संरचना नहीं है)।
• जब फॉर्म का रैंक लगभग 28 से अधिक होता है, तो यूनिमॉड्यूलर जाली # वर्गीकरण रैंक के साथ बहुत तेज़ी से बढ़ना शुरू हो जाता है, इसलिए बड़ी संख्या में बस जुड़े हुए टोपोलॉजिकल 4-कई गुना होते हैं (जिनमें से अधिकांश लगभग कोई दिलचस्पी नहीं लगते हैं) ).

फ्रीडमैन के वर्गीकरण को कुछ मामलों में विस्तारित किया जा सकता है जब मौलिक समूह बहुत जटिल नहीं है; उदाहरण के लिए, जब यह है $\mathbb {Z}$, के समूह वलय के ऊपर हर्मिटियन रूपों का उपयोग करते हुए उपरोक्त के समान एक वर्गीकरण है $\mathbb {Z}$. यदि मौलिक समूह बहुत बड़ा है (उदाहरण के लिए, 2 जनरेटर पर एक मुक्त समूह), तो फ्रीडमैन की तकनीकें विफल होने लगती हैं और इस तरह के कई गुना के बारे में बहुत कम जानकारी है।

किसी भी सूक्ष्म रूप से प्रस्तुत समूह के लिए इसके मूलभूत समूह के रूप में एक (सुचारु) सुसम्बद्ध 4-कई गुना बनाना आसान है। जैसा कि यह बताने के लिए कोई एल्गोरिथम नहीं है कि क्या दो सूक्ष्म रूप से प्रस्तुत किए गए समूह आइसोमोर्फिक हैं (भले ही एक को तुच्छ माना जाता है) यह बताने के लिए कोई एल्गोरिथम नहीं है कि क्या दो 4-कई गुना में एक ही मौलिक समूह है। यह एक कारण है कि क्यों 4-कई गुना ्स पर ज्यादातर काम सिर्फ जुड़े हुए मामले पर विचार करता है: कई समस्याओं का सामान्य मामला पहले से ही अचूक होने के लिए जाना जाता है।

चिकना 4-कई गुना

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

सुचारु 4-कई गुना के सिद्धांत में एक बड़ी खुली समस्या है, बस जुड़े हुए सुसम्बद्ध वाले को वर्गीकृत करना। जैसा कि टोपोलॉजिकल ज्ञात हैं, यह दो भागों में विभाजित है:

1. कौन से टोपोलॉजिकल कई गुना स्मूथेबल हैं?
2. विभिन्न सुचारु संरचनाओं को एक सुगम कई गुना पर वर्गीकृत करें।

पहली समस्या का लगभग पूर्ण उत्तर है, जिसमें मात्र सुसम्बद्ध 4-कई गुना ्स से जुड़ी सुचारु संरचनाएं हैं। सबसे पहले, किर्बी-सीबेनमैन वर्ग को गायब होना चाहिए।

• यदि प्रतिच्छेदन रूप निश्चित रूप से डोनाल्डसन की प्रमेय है (Donaldson 1983) एक पूर्ण उत्तर देता है: एक सुचारु संरचना होती है यदि मात्र और यदि प्रपत्र विकर्ण है।
• यदि रूप अनिश्चित और विषम है तो एक सुचारु संरचना होती है।
• यदि फॉर्म अनिश्चित है और यहां तक ​​कि हम यह भी मान सकते हैं कि यदि आवश्यक हो तो ओरिएंटेशन को बदलकर यह गैर-सकारात्मक हस्ताक्षर का है, जिस स्थिति में यह II की एम प्रतियों के योग के लिए आइसोमोर्फिक है_1,1 और ई की 2 एन प्रतियां₈(−1) कुछ m और n के लिए। यदि m ≥ 3n (ताकि आयाम |signature| का कम से कम 11/8 गुना हो) तो एक सुचारु संरचना है, जो n K3 सतहों और S की m − 3n प्रतियों का एक जुड़ा हुआ योग लेकर दी गई है²×एस^{2</उप>। यदि m ≤ 2n (तो आयाम अधिक से अधिक 10/8 गुना है | हस्ताक्षर |) तो फुरुता ने साबित किया कि कोई सुचारु संरचना स्थित नहीं है (Furuta 2001). यह 10/8 और 11/8 के बीच एक छोटा सा अंतर छोड़ देता है जहां उत्तर ज्यादातर अज्ञात होता है। (सबसे छोटे मामले में ऊपर कवर नहीं किया गया है n=2 और m=5, परन्तु इसे भी खारिज कर दिया गया है, इसलिए सबसे छोटा जाली जिसके लिए वर्तमान में उत्तर ज्ञात नहीं है, जाली II है_7,55 रैंक 62 की n=3 और m=7 के साथ। देखना इस क्षेत्र में हाल ही में (2019 तक) प्रगति के लिए।) 11/8 अनुमान बताता है कि यदि आयाम 11/8 गुना से कम है तो सुचारु संरचनाएं स्थित नहीं हैं।}

इसके विपरीत, सुचारु 4-कई गुना पर सुचारु संरचनाओं को वर्गीकृत करने के दूसरे प्रश्न के बारे में बहुत कम जानकारी है; वास्तव में, वहाँ एक भी चिकना 4-कई गुना नहीं है जहाँ उत्तर ज्ञात हो। डोनाल्डसन ने दिखाया कि कुछ सरल रूप से जुड़े सुसम्बद्ध 4-कई गुना हैं, जैसे कि डोलगाचेव सतहें, अलग-अलग सुचारु संरचनाओं की अनगिनत अनंत संख्या के साथ। R पर विभिन्न सुचारु संरचनाओं की एक बेशुमार संख्या है⁴; विदेशी R4 देखें|विदेशी R^{4</उप>। फिंट्यूशेल और स्टर्न ने दिखाया कि कई अलग-अलग कई गुना ्स पर बड़ी संख्या में अलग-अलग सुचारु संरचनाओं (मनमानी अभिन्न बहुपदों द्वारा अनुक्रमित) के निर्माण के लिए सर्जरी का उपयोग कैसे किया जाता है, यह दिखाने के लिए कि सुचारु संरचनाएं अलग-अलग हैं। उनके नतीजे बताते हैं कि आसानी से जुड़े सुचारु 4-कई गुना का कोई वर्गीकरण बहुत जटिल होगा। यह वर्गीकरण कैसा दिख सकता है, इसके बारे में वर्तमान में कोई प्रशंसनीय अनुमान नहीं है। (कुछ शुरुआती अनुमान हैं कि सभी आसानी से जुड़े सुचारु 4-कई गुना बीजगणितीय सतहों के जुड़े योग हो सकते हैं, या सिंपलेक्टिक कई गुना , संभवतः उलटा झुकाव के साथ, अस्वीकृत कर दिया गया है।)}

4 आयामों में विशेष घटनाएं

कई गुना ्स के बारे में कई मौलिक प्रमेय हैं जो कम से कम 3 आयामों में कम-आयामी विधियों द्वारा और कम से कम 5 आयामों में पूरी तरह से भिन्न उच्च-आयामी विधियों द्वारा सिद्ध किए जा सकते हैं, परन्तु जो आयाम 4 में गलत हैं। यहां कुछ उदाहरण दिए गए हैं:

• 4 के अतिरिक्त अन्य आयामों में, किर्बी-सीबेनमैन अपरिवर्तनीय पीएल संरचना के अस्तित्व में बाधा प्रदान करता है; दूसरे शब्दों में एक सुसम्बद्ध टोपोलॉजिकल कई गुना में पीएल संरचना होती है यदि और मात्र अगर एच में किर्बी-सीबेनमैन निश्चर⁴(M,'Z'/2'Z') गायब हो जाता है। आयाम 3 और निचले में, प्रत्येक टोपोलॉजिकल कई गुना अनिवार्य रूप से अद्वितीय पीएल संरचना को स्वीकार करता है। आयाम 4 में गायब होने वाले किर्बी-सीबेनमैन निश्चर के कई उदाहरण हैं परन्तु कोई पीएल संरचना नहीं है।
• 4 के अतिरिक्त किसी भी आयाम में, एक सुसम्बद्ध टोपोलॉजिकल कई गुना में अनिवार्य रूप से विशिष्ट पीएल या सुचारु संरचनाओं की मात्र एक सीमित संख्या होती है। आयाम 4 में, सुसम्बद्ध कई गुना ्स में गैर-डिफियोमॉर्फिक सुचारु संरचनाओं की संख्या अनंत संख्या में हो सकती है।
• चार ही एकमात्र आयाम n है जिसके लिए 'R'ⁿ में आकर्षक सुचारु संरचना हो सकती है। 'आर'⁴ में विदेशी सुचारु संरचनाओं की एक बेशुमार संख्या है; विदेशी R4 देखें|विदेशी R^{4</उप>।}
• सुचारू पॉइनकेयर अनुमान का समाधान 4 के अतिरिक्त अन्य सभी आयामों में जाना जाता है (यह आमतौर पर कम से कम 7 आयामों में झूठा होता है; विदेशी क्षेत्र देखें)। पीएल कई गुना ्स के लिए पोंकारे अनुमान 4 के अतिरिक्त अन्य सभी आयामों के लिए सिद्ध किया गया है, परन्तु यह ज्ञात नहीं है कि यह 4 आयामों में सच है या नहीं (यह 4 आयामों में सुचारु पोंकारे अनुमान के बराबर है)।
• सहज एच-कोबोर्डवाद प्रमेय सह-बोर्डवाद के लिए मान्य है, बशर्ते कि न तो सह-बोर्डवाद और न ही इसकी सीमा का आयाम 4 हो। यह विफल हो सकता है यदि सह-बोर्डवाद की सीमा का आयाम 4 हो (जैसा कि साइमन डोनाल्डसन द्वारा दिखाया गया है)। यदि सह-बोर्डवाद का आयाम 4 है, तो यह अज्ञात है कि एच-सह-बोर्डवाद प्रमेय धारण करता है या नहीं।
• 4 के बराबर नहीं होने वाले आयाम के एक टोपोलॉजिकल कई गुना में एक हैंडलबॉडी अपघटन है। डायमेंशन 4 के कई गुना ्स में एक हैंडलबॉडी अपघटन होता है अगर और मात्र अगर वे चिकने हों।
• सुसम्बद्ध 4-आयामी टोपोलॉजिकल कई गुना हैं जो किसी भी साधारण जटिल के लिए होमोमोर्फिक नहीं हैं। आयाम में कम से कम 5 टोपोलॉजिकल कई गुना ्स का अस्तित्व एक साधारण जटिल के लिए होमोमोर्फिक नहीं एक खुली समस्या थी। सिप्रियन मनोलेस्कु ने दिखाया कि 5 से अधिक या उसके बराबर प्रत्येक आयाम में कई गुना हैं, जो एक साधारण जटिल के लिए होमोमोर्फिक नहीं हैं।

आयाम 4 == में व्हिटनी चाल की विफलता

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

यह भी देखें

• किर्बी कैलकुलस
• बीजगणितीय सतह
• 3-कई गुना
• 5-कई गुना
• एनरिक्स-कोडैरा वर्गीकरण
• कैसन हैंडल
• अकबुलुत कॉर्क

संदर्भ

• Donaldson, Simon K. (1983), "An application of gauge theory to four-dimensional topology", Journal of Differential Geometry, 18 (2): 279–315, doi:10.4310/jdg/1214437665
• Donaldson, Simon K.; Kronheimer, Peter B. (1997), The Geometry of Four-Manifolds, Oxford Mathematical Monographs, Oxford: Clarendon Press, ISBN 0-19-850269-9
• Freed, Daniel S.; Uhlenbeck, Karen K. (1984), Instantons and four-manifolds, Mathematical Sciences Research Institute Publications, vol. 1, Springer-Verlag, New York, doi:10.1007/978-1-4684-0258-2, ISBN 0-387-96036-8, MR 0757358
• Freedman, Michael Hartley (1982), "The topology of four-dimensional manifolds", Journal of Differential Geometry, 17 (3): 357–453, doi:10.4310/jdg/1214437136, MR 0679066
• Freedman, Michael H.; Quinn, Frank (1990), Topology of 4-manifolds, Princeton, N.J.: Princeton University Press, ISBN 0-691-08577-3
• Furuta, Mikio (2001), "Monopole Equation and the 11/8-Conjecture", Mathematical Research Letters, 8: 279–291, doi:10.4310/mrl.2001.v8.n3.a5, MR 1839478
• Kirby, Robion C. (1989), The topology of 4-manifolds, Lecture Notes in Mathematics, vol. 1374, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0089031, ISBN 978-3-540-51148-9, MR 1001966
• Gompf, Robert E.; Stipsicz, András I. (1999), 4-Manifolds and Kirby Calculus, Grad. Studies in Math., vol. 20, American Mathematical Society, MR 1707327
• Kirby, R. C.; Taylor, L. R. (1998). "A survey of 4-manifolds through the eyes of surgery". arXiv:math.GT/9803101.
• Mandelbaum, R. (1980), "Four-dimensional topology: an introduction", Bull. Amer. Math. Soc., 2: 1–159, doi:10.1090/S0273-0979-1980-14687-X
• Matveev, S. V. (2001) [1994], "Four-dimensional manifolds", Encyclopedia of Mathematics, EMS Press
• Scorpan, A. (2005), The wild world of 4-manifolds, Providence, R.I.: American Mathematical Society, ISBN 0-8218-3749-4

बाहरी संबंध

• Media related to 4-मैनिफोल्ड at Wikimedia Commons