4-मैनिफोल्ड

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

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

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

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

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

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

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

सुचारु 4-मैनिफोल्ड के सिद्धांत में एक बड़ी खुली समस्या है, मात्र जुड़े हुए सुसम्बद्ध वाले को वर्गीकृत करना। जैसा कि सामयिक ज्ञात हैं, यह दो भागों में विभाजित है:
 * 1) कौन से सामयिक मैनिफोल्ड सुचारु हैं?
 * 2) विभिन्न सुचारु संरचनाओं को एक सुगम मैनिफोल्ड पर वर्गीकृत करें।

प्रथम समस्या का लगभग पूर्ण उत्तर है, जिसमें मात्र सुसम्बद्ध 4-मैनिफोल्ड से जुड़ी सुचारु संरचनाएं हैं। सबसे पूर्व, किर्बी-सीबेनमैन वर्ग को अंतर्धान होना चाहिए।
 * यदि प्रतिच्छेदन रूप निश्चित है डोनाल्डसन का प्रमेय एक पूर्ण उत्तर देता है: एक सुचारु संरचना होती है यदि और मात्र यदि रूप विकर्णीय है।
 * यदि रूप अनिश्चित और विषम है तो एक सुचारु संरचना होती है।
 * यदि रूप अनिश्चित है और यहां तक ​​कि हम यह भी मान सकते हैं कि यदि आवश्यक हो तो निर्देशन बदलकर यह गैर-सकारात्मक हस्ताक्षर का है, जिस स्थिति में यह कुछ m और n के लिए E8(−1) की II1,1 और 2n प्रतियों की m प्रतियों के योग के लिए समरूपी है। यदि m ≥ 3n(ताकि आयाम कम से कम 11/8 गुना |हस्ताक्षर|) तो एक सुचारु संरचना है, जो n K3 सतहों और m − 3n S2×S2 की प्रतियों का एक जुड़ा हुआ योग लेकर दी गई है। यदि m ≤ 2n(तो आयाम अधिक से अधिक 10/8 गुना है | हस्ताक्षर |) तो फुरुता ने सिद्ध किया कि कोई सुचारु सरंचना स्थित नहीं है । यह 10/8 और 11/8 के बीच एक छोटा सा अंतर छोड़ देता है जहां उत्तर अधिकतर ज्ञात होता है।(उपर्युक्त सबसे छोटी स्थित में n = 2 और m = 5 है, परन्तु बाहर कर दिया जाता है, इसलिए सबसे छोटा जाली जिसके लिए उत्तर वर्तमान में ज्ञात नहीं है, वह जाली II7,55 पद 62 का n = 3 और m = 7 है। इस क्षेत्र में वर्त्तमान की(2019 तक) प्रगति के लिए देखें। ) "11/8 अनुमान" बताता है कि यदि आयाम 11/8 गुना से कम है तो सुचारु संरचनाएं स्थित नहीं हैं।

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

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


 * 4 के अतिरिक्त अन्य आयामों में, किर्बी-सीबेनमैन अपरिवर्तनीय पीएल संरचना के अस्तित्व में बाधा प्रदान करता है; दूसरे शब्दों में एक सुसम्बद्ध सामयिक मैनिफोल्ड में पीएल संरचना होती है यदि और मात्र यदि H4(M,'Z'/2'Z') में इसका किर्बी-सीबेनमैन निश्चरअंतर्धान हो जाता है। आयाम 3 और निचले में, प्रत्येक सामयिक मैनिफोल्ड अनिवार्य रूप से अद्वितीय पीएल संरचना को स्वीकार करता है। आयाम 4 में अंतर्धान होने वाले किर्बी-सीबेनमैन निश्चर के कई उदाहरण हैं परन्तु कोई पीएल संरचना नहीं है।
 * 4 के अतिरिक्त किसी भी आयाम में, एक सुसम्बद्ध सामयिक मैनिफोल्ड में अनिवार्य रूप से विशिष्ट पीएल या सुचारु संरचनाओं की मात्र एक सीमित संख्या होती है। आयाम 4 में, सुसम्बद्ध मैनिफोल्ड में गैर-डिफियोमॉर्फिक सुचारु संरचनाओं की संख्या अनंत संख्या में हो सकती है।
 * चार एकमात्र आयाम n है जिसके लिए 'R'n में विजातीय सुचारु संरचना हो सकती है। 'R'4 में विजातीय सुचारु संरचनाओं की एक अगणनीय संख्या है; विजातीय R 4 देखें ।
 * सुचारू पॉइनकेयर अनुमान का समाधान 4 के अतिरिक्त अन्य सभी आयामों में जाना जाता है(यह सामान्यतः कम से कम 7 आयामों में असत्य होता है; विजातीय क्षेत्र देखें)। पीएल मैनिफोल्ड के लिए पोंकारे अनुमान 4 के अतिरिक्त अन्य सभी आयामों के लिए सिद्ध किया गया है, परन्तु यह ज्ञात नहीं है कि यह 4 आयामों में सत्य है या नहीं(यह 4 आयामों में सुचारु पोंकारे अनुमान के बराबर है)।
 * सहज h-कोबोर्डवाद प्रमेय सह-बोर्डवाद के लिए मान्य है, अथवा न तो सह-बोर्डवाद और न ही इसकी सीमा का आयाम 4 हो। यह विफल हो सकता है यदि सह-बोर्डवाद की सीमा का आयाम 4 हो(जैसा कि साइमन डोनाल्डसन द्वारा दिखाया गया है)। यदि सह-बोर्डवाद का आयाम 4 है, तो यह अज्ञात है कि h-सह-बोर्डवाद प्रमेय धारण करता है या नहीं।
 * 4 के बराबर नहीं होने वाले आयाम के सामयिक मैनिफोल्ड में एक हैंडलबॉडी अपघटन है। आयाम 4 के मैनिफोल्ड में एक हैंडलबॉडी अपघटन होता है यदि और मात्र यदि वे सुचारु हों।
 * सुसम्बद्ध 4-आयामी सामयिक मैनिफोल्ड हैं जो किसी भी साधारण जटिल के लिए होमोमोर्फिक नहीं हैं। आयाम में कम से कम 5 सामयिक मैनिफोल्ड का अस्तित्व एक साधारण जटिल के लिए होमोमोर्फिक नहीं एक खुली समस्या थी। सिप्रियन मनोलेस्कु ने दिखाया कि 5 से अधिक या उसके बराबर प्रत्येक आयाम में मैनिफोल्ड हैं, जो एक साधारण जटिल के लिए होमोमोर्फिक नहीं हैं।

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

यह भी देखें

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