असामान्‍य गोला (एक्जाॅटिक स्फीयर): Difference between revisions

Revision as of 21:31, 9 July 2023

गणित के वृत्त में जिसे विभेदक टोपोलॉजी कहा जाता है, एक्जाॅटिक वृत्त अलग-अलग मैनिफोल्ड के समान हैं जिसे M से प्रदर्शित करते है, जो होम्योमॉर्फिक है, अपितु मानक यूक्लिडियन n-वृत्त या n-वृत्त से भिन्न नहीं है। अर्थात्M अपने सभी टोपोलॉजिकल गुणों के दृष्टिकोण से वृत्त को प्रदर्शित करता है, अपितु यह समतल संरचना में प्रदर्शित होता है, जो परिचित नहीं है, इसलिए इसका नाम एक्जाॅटिक है।

प्रथम एक्जाॅटिक वृत्तों का निर्माण किसके द्वारा किया गया था? इस प्रकार जाॅन मिलनर (1956) ने उक्त आयाम में $n=7$ जैसा $S^{3}$ -फाइबर समूह को $S^{4}$ द्वारा निरस्त कर दिया था, उन्होंने दिखाया कि 7-वृत्त पर कम से कम 7 भिन्न संरचनाएँ हैं। किसी भी आयाम में मिल्नर (1959) ने दिखाया है कि उन्मुख एक्जाॅटिक वृत्तों के भिन्नता वर्ग जुड़े हुए योग के अनुसार एबेलियन मोनॉयड के गैर-भिन्न तत्वों का निर्माण करते हैं, जो परिमित समूह एबेलियन समूह है यदि आयाम 4 नहीं है। इसके द्वारा एक्जाॅटिक वृत्तों का वर्गीकरण मिचेल केर्वेयर and मिल्नर (1963) ने दिखाया कि 7-वृत्त से परे उन्मुखता पर जुड़ा हुआ योग के संचालन के अनुसार क्रम 28 के चक्रीय समूह के गैर-भिन्न तत्व के समान रहता हैं।

विशेष रूप से, इसका अर्थ यह है कि इस समूह के तत्व (n ≠ 4) Sⁿ पर समतल संरचनाओं के समतुल्य वर्ग हैं, जहां इस प्रकार दो संरचनाओं को समतुल्य माना जाता है, यदि संरचना को दूसरी संरचना पर ले जाने वाली भिन्नता को संरक्षित करने वाला अभिविन्यास है। इसके आधार पर समूह संचालन को [x] + [y] = [x + y] द्वारा परिभाषित किया गया है, जहां x और y अपने समतुल्य वर्गों के मनमाने प्रतिनिधि करते हैं, और इस प्रकार x + y समतल Sⁿ पर समतल संरचना को दर्शाता है, यह x और y का जुड़ा हुआ योग है। इस प्रकार यह दिखाना आवश्यक है कि ऐसी परिभाषा चुने गए विकल्पों पर निर्भर नहीं करती है, वास्तव में यह दिखाया जा सकता है।

परिचय

इकाई n-वृत्त, $S^{n}$ , सभी टुपल्स का समुच्चय है। यहाँ पर (n+1)-ट्यूपल्स $(x_{1},x_{2},\ldots ,x_{n+1})$ वास्तविक संख्याओं का योग जैसे $x_{1}^{2}+x_{2}^{2}+\cdots +x_{n+1}^{2}=1$ द्वारा प्रदर्शित होता हैं। उदाहरण के लिए, $S^{1}$ जबकि, वृत्त $S^{2}$ है, जहाँ पर 3 आयामों में से उक्त त्रिज्या की साधारण गेंद की सतह प्राप्त होती है। इसके आधार पर टोपोलॉजिस्ट क्षेत्र इसके लिए विशेष विधि का प्रयोग करती हैं। उदाहरण के लिए r त्रिज्या के n-वृत्तों पर बिंदु x को मूल बिंदु से इसकी दूरी को समायोजित करके इकाई n-वृत्त के बिंदु के साथ मिलान किया जा सकता है, इस प्रकार इसके आधार पर $1/r$ को इसी प्रकार, किसी भी त्रिज्या के n-घन को निरंतर n-वृत्त में परिवर्तित किया जा सकता है।

विभेदक टोपोलॉजी में, समानता की प्रासंगिक धारणा को भिन्नता द्वारा देखा जाता है, जो अतिरिक्त शर्त के साथ होमोमोर्फिज्म है कि यह सुचारू कार्य करता है, अर्थात इसमें हर स्थान के लिए सभी आदेशों का व्युत्पन्न होना चाहिए। इस प्रकार यौगिक की गणना करने के लिए, किसी को एक्स में निरंतर परिभाषित स्थानीय समन्वय प्रणालियों की आवश्यकता होती है। यहाँ पर इस प्रकार गणितज्ञों को 1956 में आश्चर्य हुआ जब मिल्नोर ने दिखाया कि निरंतर समन्वय प्रणालियों को 7-वृत्त पर दो अलग-अलग तरीकों से स्थापित किया जा सकता है, जो निरंतर अर्थ में समतुल्य थे, अपितु भिन्न अर्थ में यह उपलब्ध नहीं हैं। इस प्रकार मिल्नोर और अन्य ने यह पता लगाने का प्रयास किया हैं कि प्रत्येक आयाम में ऐसे कितने एक्जाॅटिक वृत्त उपस्थित हो सकते हैं, और यह समझने का प्रयास किया जा सकती है कि वे एक-दूसरे से कैसे संबंधित हैं। यहाँ पर 1-, 2-, 3-, 5-, 6-, 12-, 56- या 61-वृत्त पर कोई एक्जाॅटिक संरचना संभव नहीं है।^[1] इस प्रकार कुछ उच्च-आयामी वृत्तों में केवल दो संभावित भिन्न संरचनाएं होती हैं, अन्य में हजारों होती हैं। यहाँ ध्यान देने वाली बात यह हैं कि क्या एक्जाॅटिक 4-वृत्त उपस्थित हैं, और यदि हां तो कितने, यह गणित में अनसुलझी समस्याओं की सूची है।

वर्गीकरण

n-वृत्त पर समतल संरचनाओं का मोनोइड उन्मुख समतल n-मैनिफोल्ड्स का संग्रह है, जो n-वृत्त के लिए होमोमोर्फिक हैं, जो अभिविन्यास-संरक्षण भिन्नता तक ले जाया जाता है। मोनॉइड ऑपरेशन जुड़ा हुआ योग है। बशर्ते $n\neq 4$ , यह मोनॉइड समूह है और समूह $\Theta _{n}$ के लिए समरूपी है, इस प्रकार एच-कोबॉर्डिज्म या एच-कोबॉर्डिज्म वर्गों की ओरिएंटेड होमोटोपी वृत्त या होमोटॉपी n-वृत्त, जो परिमित और एबेलियन है। इसके आधार पर आयाम 4 में समतल वृत्त के मोनोइड के बारे में लगभग कुछ भी ज्ञात नहीं है, इस तथ्य से अतिरिक्त यह परिमित या गणनीय रूप से अनंत है, और इस प्रकार एबेलियन समूह प्राप्त होता है, चूंकि इस प्रकार इसके अनंत होने का संदेह दिया जाता है, इस प्रकार एक्जाॅटिक वृत्त 4-आयामी एक्जाॅटिक वृत्त और ग्लक ट्विस्ट्स पर अनुभाग देखें जा सकते है। यहां पर सामान्यीकृत किए गए पोंकारे अनुमान के अनुसार सभी समरूप n-वृत्त n-वृत्त के समरूप हैं, जिसे इस प्रकार स्टीफन स्माले ने 4 से बड़े आयामों में, माइकल फ्रीडमैन ने आयाम 4 में, और त्वरित पेरेलमैन ने आयाम 3 में प्रमाणित किया है। यहाँ पर 3 आयाम वाले एडविन ई. मोइस ने प्रमाणित किया है कि प्रत्येक टोपोलॉजिकल मैनिफोल्ड में अनिवार्य रूप से अद्वितीय समतल संरचना होती है, इस प्रकार मोइस की प्रमेय देखें, इसलिए 3-वृत्त पर समतल संरचनाओं का मोनोइड अतिरिक्त है।

समानांतर अनेक गुना

समूह $\Theta _{n}$ चक्रीय उपसमूह है, जो इस प्रकार हैं-

bP_{n+1}

n-वृत्त द्वारा दर्शाया गया है जो समानांतर कई गुनाओं को बांधता है। इसकी संरचनाएँ $bP_{n+1}$ और भागफल $\Theta _{n}/bP_{n+1}$ हैं।

इस प्रकार पेपर में अलग से वर्णित किया गया है, इसके आधार पर (केर्वेयर & मिल्नर 1963) ने जो सर्जरी सिद्धांत के विकास में प्रभावशाली था। इस प्रकार वास्तविक्ता में इस प्रकार इन गणनाओं को सर्जरी के सटीक अनुक्रम के संदर्भ में आधुनिक भाषा में तैयार किया जा सकता है, जैसा कि सर्जरी के सटीक अनुक्रम के उदाहरणों में दर्शाया गया है।

$bP_{n+1}$ समूह मुख्यतः चक्रीय समूह है, और इस स्थिति को छोड़कर भिन्न या क्रम 2 है, इस प्रकार $n=4k+3$ के लिए जिस स्थिति में यह बड़ा हो सकता है, इसका क्रम बर्नौली संख्याओं से संबंधित है। इस प्रकार यदि n सम है तो यह इससे भिन्न है। यदि n 1 मॉड 4 है, तो इसका क्रम 1 या 2 है, विशेष रूप से इसका क्रम 1 है, इस प्रकार यदि n 1, 5, 13, 29, या 61 है, और विलियम ब्राउनर (1969) ने सिद्ध कर दिया कि इसका क्रम 2 है, इस प्रकार यदि $n=1$ मॉड 4 फॉर्म का नहीं है, तो $2^{k}-3$ अब लगभग पूर्ण रूप से हल हो चुकी हैं, जिसके लिए कर्वैयर अपरिवर्तनीय समस्या से पता चलता है कि इसमें 126 से बड़े सभी n के लिए क्रम 2 है, इस स्थिति में $n=126$ अभी भी संवृत है, जिसके लिए $bP_{4k}$ के लिए $k\geq 2$ है।

2^{2k-2}(2^{2k-1}-1)B,

जहाँ B का अंश है $4B_{2k}/k$ , और $B_{2k}$ बर्नौली संख्या है, इस प्रकार टोपोलॉजिकल साहित्य में सूत्र थोड़ा भिन्न है क्योंकि टोपोलॉजिस्ट बर्नौली संख्याओं के नामकरण के लिए अलग परंपरा का उपयोग करते हैं, यह लेख संख्या सिद्धांतकारों की परंपरा का उपयोग करता है।

भागफल के बीच मानचित्र

भागफल समूह $\Theta _{n}/bP_{n+1}$ जे-समरूपता की प्रतिबिंब मॉड्यूलो वृत्तों के स्थिर समरूप समूहों के संदर्भ में विवरण है, यह या तो भागफल या सूचकांक 2 के बराबर है। अधिक सटीक रूप से इंजेक्शन मानचित्र है

\Theta _{n}/bP_{n+1}\to \pi _{n}^{S}/J,

जहाँ $\pi _{n}^{S}$ वृत्त का nवाँ स्थिर समरूप समूह है, और J, J-समरूपता की प्रतिबिंब है। साथ ही $bP_{n+1}$ , जे की प्रतिबिंब चक्रीय समूह है, और इस स्थिति को छोड़कर भिन्न $n=4k+3$ या क्रम 2 है, जिस स्थिति में यह बड़ा हो सकता है, इसका क्रम बर्नौली संख्याओं से संबंधित है। इस प्रकार भागफल समूह $\pi _{n}^{S}/J$ वृत्त के स्थिर समरूप समूहों का कठिन भाग है, और तदनुसार इसके लिए $\Theta _{n}/bP_{n+1}$ एक्जाॅटिक वृत्तों का कठिन भाग है, अपितु लगभग पूर्ण रूप से वृत्तों के समरूप समूहों की गणना करने के लिए कम हो जाता है। इस प्रकार इस क्षेत्र के लिए या तो समरूपता है, जिसके आधार पर प्रतिबिंब संपूर्ण समूह को प्रदर्शित करता है, या उपसमूह 2 के सूचकांक के साथ इंजेक्शन मानचित्रत होता है। इस प्रकार उत्तरार्द्ध स्थिति ऐसी है कि यदि केरवायर इनवेरिएंट 1 के साथ n-आयामी फ़्रेमयुक्त मैनिफोल्ड उपस्थित है, जो केरवायर इनवेरिएंट समस्या के रूप में जाना जाता है। इस प्रकार एक्जाॅटिक वृत्तों के वर्गीकरण में 2 का कारक केरवायर अपरिवर्तनीय समस्या पर निर्भर करता है।

2012 वर्ष के अनुसार केवल इस स्थिति के साथ केरवायर इनवेरिएंट समस्या लगभग पूर्ण रूप से हल हो गई है, इस प्रकार $n=126$ संवृत रहना आवश्यक होता हैं, इस विवरण के लिए यह लेख देखें, इस प्रकार यह मुख्यतः ब्राउडर (1969) का कार्य है , जिससे प्रमाणित हुआ कि ऐसी विविधताएँ केवल आयाम में ही उपस्थित थीं, इस प्रकार $n=2^{j}-2$ , और हिल, हाॅप्किंस & रैविनेयल (2016), जिससे प्रमाणित हुआ कि आयाम के लिए ऐसे कई गुना नहीं थे, इस प्रकार इसके आधार पर $254=2^{8}-2$ और ऊपर दिए गए हैं। इसके आधार पर केरवायर इनवेरिएंट 1 के साथ मैनिफोल्ड्स का निर्माण आयाम 2, 6, 14, 30 और 62 में किया गया है, अपितु आयाम 126 संवृत है, जिसमें कोई भी मैनिफोल्ड न तो निर्मित किया गया है और न ही अस्वीकृत किया गया है।

Θ_n का क्रम

समूह का क्रम $\Theta _{n}$ इस सूची में दिया गया है, जिसे इस प्रकार (कैरवेयर & मिल्नर 1963) की प्रविष्टि के लिए $n=19$ द्वारा उनके पेपर में 2 गुना ग़लत है, इस खंड III के पृष्ठ में सुधार देखें जा सकते हैं। इस प्रकार मिल्नोर के एकत्रित कार्यों में से 97 इसका प्रमुख उदाहरण हैं।

Dim n	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20
order $\Theta _{n}$	1	1	1	1	1	1	28	2	8	6	992	1	3	2	16256	2	16	16	523264	24
$bP_{n+1}$	1	1	1	1	1	1	28	1	2	1	992	1	1	1	8128	1	2	1	261632	1
$\Theta _{n}/bP_{n+1}$	1	1	1	1	1	1	1	2	2×2	6	1	1	3	2	2	2	2×2×2	8×2	2	24
$\pi _{n}^{S}/J$	1	2	1	1	1	2	1	2	2×2	6	1	1	3	2×2	2	2	2×2×2	8×2	2	24
index	–	2	–	–	–	2	–	–	–	–	–	–	–	2	–	–	–	–	–	–

ध्यान दें कि इस कमी के लिए $n=4k-1$ , तब $\theta _{n}$ हैं $28=2^{2}(2^{3}-1)$ , $992=2^{5}(2^{5}-1)$ , $16256=2^{7}(2^{7}-1)$ , और $523264=2^{10}(2^{9}-1)$ को इस तालिका में आगे की प्रविष्टियों की गणना ऊपर दी गई जानकारी के साथ-साथ वृत्त के स्थिर समरूप समूहों की सूची से इंगित की जा सकती है।

वृत्त के स्थिर समरूप समूहों की गणना द्वारा, वैंग & सू (2017) सिद्ध करता है कि वृत्त $S 61$ की अद्वितीय समतल संरचना है, और इस प्रकार यह इस मान के साथ अंतिम विषम-आयामी वृत्त है - केवल $S 1$ , $S 3$ , $S 5$ , और $S 61$ ही इसका उदाहरण प्रकट करते हैं।

एक्जाॅटिक वृत्तों के स्पष्ट उदाहरण

जब 50 के दशक के मध्य में मुझे ऐसा उदाहरण मिला, तो मैं बहुत हैरान हो गया और मुझे नहीं पता था कि इसका क्या अर्थ निकाला जाए। सबसे पहले, मैंने सोचा कि मुझे आयाम सात में सामान्यीकृत पोंकारे अनुमान का एक प्रति-उदाहरण मिल गया है। अपितु सावधानीपूर्वक अध्ययन से पता चला कि मैनिफोल्ड वास्तव में $S^{7}$ के लिए होमियोमॉर्फिक था। इस प्रकार, $S^{7}$ पर एक भिन्न संरचना उपस्थित है जो मानक संरचना से भिन्न नहीं है।

John Milnor (2009, p.12)

मिल्नोर का निर्माण

इस प्रकार यह खोजा गया हैं कि एक्जाॅटिक वृत्त के पहले उदाहरणों में से मिल्नर (1956, section 3) द्वारा निम्नलिखित था, मान लीजिए $B^{4}$ यूनिट बॉल $R^{4}$ है, और $S^{3}$ इसकी सीमा (टोपोलॉजी) हो - तो 3-वृत्तोंं को हम इकाई चतुर्भुज के समूह के साथ पहचानते हैं। अब इसकी दो प्रतियाँ $B^{4}\times S^{3}$ लें , जिसे प्रत्येक सीमा के साथ $S^{3}\times S^{3}$ , और पहचान कर उन्हें साथ संयोजित कर देते हैं, इसके लिए $(a,b)$ के साथ पहली सीमा में $(a,a^{2}ba^{-1})$ दूसरी सीमा में परिणामी मैनिफ़ोल्ड में प्राकृतिक समतल संरचना होती है, और यह होमियोमॉर्फिक $S^{7}$ होती है, अपितु $S^{7}$ इससे भिन्न नहीं है, इस प्रकार मिल्नोर ने दिखाया कि यह लुप्त हो रही चौथी बेट्टी संख्या के साथ किसी भी समतल 8-गुना की सीमा नहीं है, और इसमें स्वयं के लिए कोई अभिविन्यास-उलट भिन्नता नहीं है, इनमें से किसी भी गुण का तात्पर्य यह है कि यह मानक 7-वृत्त नहीं है। मिल्नोर ने दिखाया कि इस मैनिफोल्ड में केवल दो महत्वपूर्ण बिंदु (गणित) के साथ मोर्स फ़ंक्शन है, दोनों गैर-पतित हैं, जिसका अर्थ है कि यह स्थलीय रूप से वृत्त है।

ब्रिस्कोर्न वृत्त

जैसा कि दिखाया गया है, एगबर्ट ब्रिसकोर्न (1966, 1966b) के लिए यह सभी देखें (हिरज़ेब्रुच & मेयर 1968) बिंदुओं के जटिल समूह का प्रतिच्छेदन $\mathbb {C} ^{5}$ संतुष्टि देने वाला हैं जो इस प्रकार हैं-

a^{2}+b^{2}+c^{2}+d^{3}+e^{6k-1}=0\

मूल के चारों ओर छोटे से वृत्त के साथ $k=1,2,\ldots ,28$ उन्मुख 7-वृत्त पर सभी 28 संभावित समतल संरचनाएं देता है। समान मैनिफोल्ड्स को ब्रिस्कोर्न वृत्त कहा जाता है।

मुड़ा हुआ वृत्त

अभिविन्यास-संरक्षण में भिन्नता को देखते हुए $f\colon S^{n-1}\to S^{n-1}$ , मानक डिस्क की दो प्रतियों की सीमाओं को $D^{n}$ पर संचरित करके F के साथ मिलकर मैनिफोल्ड प्राप्त होता है, जिसे मुड़ा हुआ वृत्त कहा जाता है। यह मानक n-वृत्त के समतुल्य समरूपता है, क्योंकि ग्लूइंग मानचित्र पहचान के लिए समरूप है, इस अभिविन्यास-संरक्षण भिन्नता, इसलिए डिग्री 1, अपितु मानक वृत्त के लिए सामान्य रूप से भिन्न नहीं है। इस प्रकार (मिल्नर 1959b) समुच्चय $\Gamma _{n}$ मुड़े हुए n-वृत्त का समूह होने के लिए संयोजित करने के आधार पर इसके योग के अनुसार सटीक अनुक्रम प्राप्त करता है-

\pi _{0}\operatorname {Diff} ^{+}(D^{n})\to \pi _{0}\operatorname {Diff} ^{+}(S^{n-1})\to \Gamma _{n}\to 0.

जिसके लिए $n>5$ , प्रत्येक एक्जाॅटिक n-वृत्तकार मुड़े हुए वृत्त से भिन्न होता है, स्टीफन स्माले द्वारा सिद्ध परिणाम जिसे एच-कोबॉर्डिज्म एच-कोबॉर्डिज्म प्रमेय के सटीक कथन के परिणाम के रूप में देखा जा सकता है या एच-कोबॉर्डिज्म प्रमेय की सहायता से प्राप्त करते हैं। इसके विपरीत, टुकड़े-टुकड़े रैखिक कई गुना समुच्चयिंग में सबसे बाईं ओर का नक्शा अलेक्जेंडर ट्रिक रेडियल एक्सटेंशन के माध्यम से चालू होता है: प्रत्येक पीसवाइज-लीनियर-ट्विस्टेड वृत्त मानक है। इस प्रकार समूह $\Gamma _{n}$ मुड़े हुए वृत्त सदैव समूह के लिए समरूपी होते हैं, जिसके आधार पर $\Theta _{n}$ नोटेशन अलग-अलग हैं क्योंकि पहले यह ज्ञात नहीं था कि वे समान हैं $n=3$ या 4, उदाहरण के लिए, इस स्थिति के अनुसार $n=3$ पोंकारे अनुमान के समतुल्य है।

1970 में जॉन डियर ने स्यूडोआइसोटोपी प्रमेय को सिद्ध किया जिसका तात्पर्य यह है कि $\pi _{0}\operatorname {Diff} ^{+}(D^{n})$ प्रदान किया गया भिन्न समूह है जो $n\geq 6$ प्रकार के हैं, इसलिए $\Gamma _{n}\simeq \pi _{0}\operatorname {Diff} ^{+}(S^{n-1})$ हैं जो $n\geq 6$ की सीमा का अनुसरण करता हैं।

अनुप्रयोग

यदि M टुकड़ा-वार रैखिक मैनिफोल्ड है, जो M पर संगत समतल संरचनाओं को खोजने की समस्या समूहों के ज्ञान पर निर्भर करती है, इस प्रकार यहाँ पर Γ_k = Θ_k. अधिक सटीक रूप से, किसी भी सुचारु संरचना के अस्तित्व में बाधाएँ समूहों में निहित होती हैं, इस प्रकार H_k+1(M, Γ_k) k के विभिन्न मानों के लिए, जबकि यदि ऐसी कोई समतल संरचना उपस्थित है तो ऐसी सभी समतल संरचनाओं को समूहों का उपयोग करके वर्गीकृत किया जा सकता है, इस प्रकार H_k(M, Γ_k) को विशेष रूप से समूह Γ_k विलुप्त हो जाता हैं, यदि k < 7, इसलिए अधिकतम 7 आयाम वाले सभी पीएल मैनिफोल्ड में समतल संरचना होती है, जो अनिवार्य रूप से अद्वितीय होती है यदि मैनिफोल्ड का आयाम अधिकतम 6 होता हैं।

निम्नलिखित परिमित एबेलियन समूह मूलतः समान हैं:

समूह Θ_n उन्मुख होमोटॉपी n-वृत्तों के एच-कोबॉर्डिज़्म वर्गों के लिए अनुमानित होती हैं।
उन्मुख n-वृत्तों के एच-कोबॉर्डिज़्म वर्गों का समूह हैं।
समूह Γ_n मुड़े हुए उन्मुख n-वृत्त के समान हैं।
होमोटॉपी समूह $π$ _n(पीएल/डीआईFF) हैं।
यदि n ≠ 3, होमोटॉपी समूह $π$ _n(शीर्ष/अंतर) के लिए यदि n = 3 इस समूह का क्रम 2 है, किर्बी-सीबेनमैन इनवेरिएंट देखें।
एक उन्मुख पीएल n-वृत्त की समतल संरचनाओं का समूह हैं।
यदि n ≠ 4, उन्मुख टोपोलॉजिकल n-वृत्त की समतल संरचनाओं का समूह हैं।
यदि n ≠ 5, Sⁿ⁻¹ के सभी अभिविन्यास-संरक्षण भिन्नताओं के समूह के घटकों का समूह हैं।

4-आयामी एक्जाॅटिक वृत्त और ग्लक ट्विस्ट

4 आयामों में यह ज्ञात नहीं है कि 4-वृत्त पर कोई एक्जाॅटिक समतल संरचनाएं हैं या नहीं। यह कथन कि उनका अस्तित्व नहीं है, सुचारु पोंकारे अनुमान के रूप में जाना जाता है, और इसकी चर्चा की जाती है, माइकल फ्रीडमैन, राॅबर्ट गाॅम्फ, and स्काॅट माॅरिसन et al. (2010) कहते हैं कि यह असत्य माना जाता है।

एक्जाॅटिक 4-वृत्तों के लिए प्रस्तावित कुछ उम्मीदवार कैपेल-शेनसन वृत्त हैं, (सिल्वेन कैपेल and जूलियस शेनसन (1976)) और ग्लुक ट्विस्ट द्वारा व्युत्पन्न (ग्लक 1962) ट्विस्ट वृत्त का निर्माण S में 2-वृत्त S⁴ के ट्यूबलर का समीपस्थ भाग को काटकर किया जाता है, और इसकी सीमा S²×S¹ की भिन्नता का उपयोग करके इसे वापस संयोजित दिया गया हैं। इसका परिणाम सदैव S⁴ के समरूपी होता है, इसके पिछले कुछ वर्षों में कई मामलों को सुचारु 4 आयामी पोंकारे अनुमान के संभावित प्रतिउदाहरण के रूप में निरस्त कर दिया गया था। उदाहरण के लिए, कैमरून गॉर्डन (1976), जोस मोंटेसिनो (1983), स्टीवन पी. प्लॉटनिक (1984), गोम्फ (1991), हाबिरो, मारुमोटो & यामाडा (2000), सेल्मन अकबुलुत (2010), गाॅम्फ (2010), किम & यामाडा (2017) इसका प्रमुख उदाहरण हैं।

यह भी देखें

मिल्नोर का वृत्त
एटलस (टोपोलॉजी)
क्लचिंग निर्माण
एक्जाॅटिक R4 या एक्जाॅटिक R⁴
सेर्फ़ सिद्धांत
सात-आयामी क्षेत्र

संदर्भ

↑ Behrens, M.; Hill, M.; Hopkins, M. J.; Mahowald, M. (2020). "कोकर जे का उपयोग करके कम आयामों में विदेशी क्षेत्रों का पता लगाना". Journal of the London Mathematical Society (in English). 101 (3): 1173–1218. arXiv:1708.06854. doi:10.1112/jlms.12301. ISSN 1469-7750. S2CID 119170255.

Akbulut, Selman (2010), "Cappell–Shaneson homotopy spheres are standard", Annals of Mathematics, 171 (3): 2171–2175, arXiv:0907.0136, doi:10.4007/annals.2010.171.2171, S2CID 754611
Brieskorn, Egbert V. (1966), "Examples of singular normal complex spaces which are topological manifolds", Proceedings of the National Academy of Sciences, 55 (6): 1395–1397, Bibcode:1966PNAS...55.1395B, doi:10.1073/pnas.55.6.1395, MR 0198497, PMC 224331, PMID 16578636
Brieskorn, Egbert (1966b), "Beispiele zur Differentialtopologie von Singularitäten", Invent. Math., 2 (1): 1–14, Bibcode:1966InMat...2....1B, doi:10.1007/BF01403388, MR 0206972, S2CID 123268657
Browder, William (1969), "The Kervaire invariant of framed manifolds and its generalization", Annals of Mathematics, 90 (1): 157–186, doi:10.2307/1970686, JSTOR 1970686, MR 0251736
Cappell, Sylvain E.; Shaneson, Julius L. (1976), "Some new four-manifolds", Annals of Mathematics, 104 (1): 61–72, doi:10.2307/1971056, JSTOR 1971056
Freedman, Michael; Gompf, Robert; Morrison, Scott; Walker, Kevin (2010), "Man and machine thinking about the smooth 4-dimensional Poincaré conjecture", Quantum Topology, 1 (2): 171–208, arXiv:0906.5177, doi:10.4171/qt/5, S2CID 18029746
Gluck, Herman (1962), "The embedding of two-spheres in the four-sphere", Transactions of the American Mathematical Society, 104 (2): 308–333, doi:10.2307/1993581, JSTOR 1993581, MR 0146807
Hughes, Mark; Kim, Seungwon; Miller, Maggie (2018), Gluck Twists Of S⁴ Are Diffeomorphic to S⁴, arXiv:1804.09169v1
Gompf, Robert E (1991), "Killing the Akbulut-Kirby 4-sphere, with relevance to the Andres-Curtis and Schoenflies problems", Topology, 30: 123–136, doi:10.1016/0040-9383(91)90036-4
Gompf, Robert E (2010), "More Cappell-Shaneson spheres are standard", Algebraic & Geometric Topology, 10 (3): 1665–1681, arXiv:0908.1914, doi:10.2140/agt.2010.10.1665, S2CID 16936498
Gordon, Cameron McA. (1976), "Knots in the 4-sphere", Commentarii Mathematici Helvetici, 51: 585–596, doi:10.1007/BF02568175, S2CID 119479183
Habiro, Kazuo; Marumoto, Yoshihiko; Yamada, Yuichi (2000), "Gluck surgery and framed links in 4-manifolds", Series on Knots and Everything, World Scientific, 24: 80–93, ISBN 978-9810243401
Hill, Michael A.; Hopkins, Michael J.; Ravenel, Douglas C. (2016) [First published as arXiv 2009]. "On the non-existence of elements of Kervaire invariant one". Annals of Mathematics. 184 (1): 1–262. arXiv:0908.3724. doi:10.4007/annals.2016.184.1.1. S2CID 13007483.
Hirzebruch, Friedrich; Mayer, Karl Heinz (1968), O(n)-Mannigfaligkeiten, Exotische Sphären und Singularitäten, Lecture Notes in Mathematics, vol. 57, Berlin-New York: Springer-Verlag, doi:10.1007/BFb0074355, ISBN 978-3-540-04227-3, MR 0229251 This book describes Brieskorn's work relating exotic spheres to singularities of complex manifolds.
Kervaire, Michel A.; Milnor, John W. (1963). "Groups of homotopy spheres: I" (PDF). Annals of Mathematics. 77 (3): 504–537. doi:10.2307/1970128. JSTOR 1970128. MR 0148075. – This paper describes the structure of the group of smooth structures on an n-sphere for n > 4. The promised paper "Groups of Homotopy Spheres: II" never appeared, but Levine's lecture notes contain the material which it might have been expected to contain.
Kim, Min Hoon; Yamada, Shohei (2017), Ideal classes and Cappell-Shaneson homotopy 4-spheres, arXiv:1707.03860v1
Levine, Jerome P. (1985), "Lectures on groups of homotopy spheres", Algebraic and geometric topology, Lecture Notes in Mathematics, vol. 1126, Berlin-New York: Springer-Verlag, pp. 62–95, doi:10.1007/BFb0074439, ISBN 978-3-540-15235-4, MR 8757031
Milnor, John W. (1956), "On manifolds homeomorphic to the 7-sphere", Annals of Mathematics, 64 (2): 399–405, doi:10.2307/1969983, JSTOR 1969983, MR 0082103, S2CID 18780087
Milnor, John W. (1959), "Sommes de variétés différentiables et structures différentiables des sphères", Bulletin de la Société Mathématique de France, 87: 439–444, doi:10.24033/bsmf.1538, MR 0117744
Milnor, John W. (1959b), "Differentiable structures on spheres", American Journal of Mathematics, 81 (4): 962–972, doi:10.2307/2372998, JSTOR 2372998, MR 0110107
Milnor, John (2000), "Classification of $(n-1)$ -connected $2n$ -dimensional manifolds and the discovery of exotic spheres", in Cappell, Sylvain; Ranicki, Andrew; Rosenberg, Jonathan (eds.), Surveys on Surgery Theory: Volume 1, Annals of Mathematics Studies 145, Princeton University Press, pp. 25–30, ISBN 9780691049380, MR 1747528.
Milnor, John Willard (2009), "Fifty years ago: topology of manifolds in the 50s and 60s" (PDF), in Mrowka, Tomasz S.; Ozsváth, Peter S. (eds.), Low dimensional topology. Lecture notes from the 15th Park City Mathematics Institute (PCMI) Graduate Summer School held in Park City, UT, Summer 2006., IAS/Park City Math. Ser., vol. 15, Providence, R.I.: American Mathematical Society, pp. 9–20, ISBN 978-0-8218-4766-4, MR 2503491
Milnor, John W. (2011), "Differential topology forty-six years later" (PDF), Notices of the American Mathematical Society, 58 (6): 804–809
Montesinos, José M. (1983), "On twins in the four-sphere I" (PDF), The Quarterly Journal of Mathematics, 34 (6): 171–199, doi:10.1093/qmath/34.2.171
Plotnick, Steven P (1984), Gordon, Cameron McA. (ed.), Fibered knots in $S^{4}$ – twisted, spinning, rolling, surgery, and branching, American Mathematical Society, Contemporary Mathematics Volume 35, pp. 437–459, ISBN 978-0-8218-5033-6.
Wang, Guozhen; Xu, Zhouli (2017), "The triviality of the 61-stem in the stable homotopy groups of spheres", Annals of Mathematics, 186 (2): 501–580, arXiv:1601.02184, doi:10.4007/annals.2017.186.2.3, MR 3702672, S2CID 119147703.
Rudyak, Yuli B. (2001) [1994], "Milnor sphere", Encyclopedia of Mathematics, EMS Press

बाहरी संबंध

Exotic spheres on the Manifold Atlas
Exotic sphere home page on the home page of Andrew Ranicki. Assorted source material relating to exotic spheres.
An animation of exotic 7-spheres Video from a presentation by Niles Johnson at the Second Abel conference in honor of John Milnor.
The Gluck construction on the Manifold Atlas

[1] Behrens, M.; Hill, M.; Hopkins, M. J.; Mahowald, M. (2020). "कोकर जे का उपयोग करके कम आयामों में विदेशी क्षेत्रों का पता लगाना". Journal of the London Mathematical Society (in English). 101 (3): 1173–1218. arXiv:1708.06854. doi:10.1112/jlms.12301. ISSN 1469-7750. S2CID 119170255.

[1]

@@ Line 1: / Line 1: @@
-गणित के क्षेत्र में जिसे [[ विभेदक टोपोलॉजी |विभेदक टोपोलॉजी]] कहा जाता है, विदेशी क्षेत्र अलग-अलग मैनिफोल्ड ''एम'' है जो [[ होम्योमॉर्फिक |होम्योमॉर्फिक]] है लेकिन मानक यूक्लिडियन एन-स्फीयर|''एन''-स्फीयर से भिन्न नहीं है। अर्थात्, ''एम'' अपने सभी टोपोलॉजिकल गुणों के दृष्टिकोण से क्षेत्र है, लेकिन [[चिकनी संरचना]] रखता है जो परिचित नहीं है (इसलिए इसका नाम विदेशी है)।
+गणित के वृत्त में जिसे [[ विभेदक टोपोलॉजी |विभेदक टोपोलॉजी]] कहा जाता है, एक्जाॅटिक वृत्त अलग-अलग मैनिफोल्ड के समान हैं जिसे ''M से प्रदर्शित करते'' है, जो [[ होम्योमॉर्फिक |होम्योमॉर्फिक]] है, अपितु मानक यूक्लिडियन n-वृत्त या ''n''-वृत्त से भिन्न नहीं है। अर्थात्''M'' अपने सभी टोपोलॉजिकल गुणों के दृष्टिकोण से वृत्त को प्रदर्शित करता है, अपितु यह [[चिकनी संरचना|समतल संरचना]] में प्रदर्शित होता है, जो परिचित नहीं है, इसलिए इसका नाम एक्जाॅटिक है।
-प्रथम विदेशी क्षेत्रों का निर्माण किसके द्वारा किया गया था? {{harvs|authorlink=John Milnor|first=John|last=Milnor|year=1956|txt=yes}} आयाम में <math>n = 7</math> जैसा <math>S^3</math>-[[फाइबर बंडल]] खत्म <math>S^4</math>. उन्होंने दिखाया कि 7-गोले पर कम से कम 7 भिन्न संरचनाएँ हैं। किसी भी आयाम में {{harvtxt|Milnor|1959}} दिखाया गया है कि उन्मुख विदेशी क्षेत्रों के भिन्नता वर्ग जुड़े हुए योग के तहत एबेलियन मोनॉयड के गैर-तुच्छ तत्वों का निर्माण करते हैं, जो [[परिमित समूह]] [[एबेलियन समूह]] है यदि आयाम 4 नहीं है। द्वारा विदेशी क्षेत्रों का वर्गीकरण {{harvs |authorlink1=Michel Kervaire |first1=Michel |last1=Kervaire |last2=Milnor |year=1963 |txt=yes}}दिखाया गया कि 7-गोले से परे [[ उन्मुखता |उन्मुखता]] [[जुड़ा हुआ योग]] के संचालन के तहत क्रम 28 के [[चक्रीय समूह]] के गैर-तुच्छ तत्व हैं।
+प्रथम एक्जाॅटिक वृत्तों का निर्माण किसके द्वारा किया गया था? इस प्रकार {{harvs|authorlink=जाॅन मिलनर|first=जाॅन|last=मिलनर|year=1956|txt=yes}} ने उक्त आयाम में <math>n = 7</math> जैसा <math>S^3</math>-[[फाइबर बंडल|फाइबर समूह]] को <math>S^4</math> द्वारा निरस्त कर दिया था, उन्होंने दिखाया कि 7-वृत्त पर कम से कम 7 भिन्न संरचनाएँ हैं। किसी भी आयाम में {{harvtxt|मिल्नर|1959}} ने दिखाया है कि उन्मुख एक्जाॅटिक वृत्तों के भिन्नता वर्ग जुड़े हुए योग के अनुसार एबेलियन मोनॉयड के गैर-भिन्न तत्वों का निर्माण करते हैं, जो [[परिमित समूह]] [[एबेलियन समूह]] है यदि आयाम 4 नहीं है। इसके द्वारा एक्जाॅटिक वृत्तों का वर्गीकरण {{harvs |authorlink1=मिचेल केर्वेयर |first1=मिचेल |last1=केर्वेयर |last2=मिल्नर |year=1963 |txt=yes}} ने दिखाया कि 7-वृत्त से परे [[ उन्मुखता |उन्मुखता]] पर [[जुड़ा हुआ योग]] के संचालन के अनुसार क्रम 28 के [[चक्रीय समूह]] के गैर-भिन्न तत्व के समान रहता हैं।
-विशेष रूप से, इसका मतलब यह है कि इस समूह के तत्व (एन ≠ 4) एस पर चिकनी संरचनाओं के समतुल्य वर्ग हैं<sup>n</sup>, जहां दो संरचनाओं को समतुल्य माना जाता है यदि संरचना को दूसरी संरचना पर ले जाने वाली भिन्नता को संरक्षित करने वाला अभिविन्यास है। समूह संचालन को [x] + [y] = [x + y] द्वारा परिभाषित किया गया है,
+विशेष रूप से, इसका अर्थ यह है कि इस समूह के तत्व (n ≠ 4) S<sup>n</sup> पर समतल संरचनाओं के समतुल्य वर्ग हैं, जहां इस प्रकार दो संरचनाओं को समतुल्य माना जाता है, यदि संरचना को दूसरी संरचना पर ले जाने वाली भिन्नता को संरक्षित करने वाला अभिविन्यास है। इसके आधार पर समूह संचालन को [x] + [y] = [x + y] द्वारा परिभाषित किया गया है, जहां x और y अपने समतुल्य वर्गों के मनमाने प्रतिनिधि करते हैं, और इस प्रकार x + y समतल ''S<sup>n</sup>'' पर समतल संरचना को दर्शाता है, यह x और y का जुड़ा हुआ योग है। इस प्रकार यह दिखाना आवश्यक है कि ऐसी परिभाषा चुने गए विकल्पों पर निर्भर नहीं करती है, वास्तव में यह दिखाया जा सकता है।
-जहां x और y अपने समतुल्य वर्गों के मनमाने प्रतिनिधि हैं, और x + y चिकने ''S'' पर चिकनी संरचना को दर्शाता है<sup>n</sup> यह x और y का जुड़ा हुआ योग है। यह दिखाना आवश्यक है कि ऐसी परिभाषा चुने गए विकल्पों पर निर्भर नहीं करती है; वास्तव में यह दिखाया जा सकता है।
 ==परिचय==
-इकाई n-क्षेत्र, <math>S^n</math>, सभी टुपल्स का सेट है|(n+1)-ट्यूपल्स <math>(x_1, x_2, \ldots , x_{n+1})</math> वास्तविक संख्याओं का, जैसे कि योग <math>x_1^2 + x_2^2 + \cdots + x_{n+1}^2 = 1</math>. उदाहरण के लिए, <math>S^1</math> जबकि, वृत्त है <math>S^2</math> 3 आयामों में से त्रिज्या की साधारण गेंद की सतह है। टोपोलॉजिस्ट स्थान, उलटा) ढंग। उदाहरण के लिए, त्रिज्या r के n-गोले पर बिंदु x को मूल बिंदु से इसकी दूरी को समायोजित करके इकाई n-गोले के बिंदु के साथ मिलान किया जा सकता है <math>1/r</math>. इसी प्रकार, किसी भी त्रिज्या के n-घन को लगातार n-गोले में परिवर्तित किया जा सकता है।
+इकाई n-वृत्त, <math>S^n</math>, सभी टुपल्स का समुच्चय है। यहाँ पर (n+1)-ट्यूपल्स <math>(x_1, x_2, \ldots , x_{n+1})</math> वास्तविक संख्याओं का योग जैसे <math>x_1^2 + x_2^2 + \cdots + x_{n+1}^2 = 1</math> द्वारा प्रदर्शित होता हैं। उदाहरण के लिए, <math>S^1</math> जबकि, वृत्त <math>S^2</math> है, जहाँ पर 3 आयामों में से उक्त त्रिज्या की साधारण गेंद की सतह प्राप्त होती है। इसके आधार पर टोपोलॉजिस्ट क्षेत्र इसके लिए विशेष विधि का प्रयोग करती हैं। उदाहरण के लिए r त्रिज्या के n-वृत्तों पर बिंदु x को मूल बिंदु से इसकी दूरी को समायोजित करके इकाई n-वृत्त के बिंदु के साथ मिलान किया जा सकता है, इस प्रकार इसके आधार पर <math>1/r</math> को इसी प्रकार, किसी भी त्रिज्या के n-घन को निरंतर n-वृत्त में परिवर्तित किया जा सकता है।
-विभेदक टोपोलॉजी में, समानता की प्रासंगिक धारणा को [[भिन्नता]] द्वारा देखा जाता है, जो अतिरिक्त शर्त के साथ होमोमोर्फिज्म है कि यह [[सुचारू कार्य]] है, अर्थात, इसमें हर जगह सभी आदेशों का व्युत्पन्न होना चाहिए। [[ यौगिक |यौगिक]] की गणना करने के लिए, किसी को एक्स में लगातार परिभाषित स्थानीय समन्वय प्रणालियों की आवश्यकता होती है। गणितज्ञों को 1956 में आश्चर्य हुआ जब मिल्नोर ने दिखाया कि लगातार समन्वय प्रणालियों को 7-गोले पर दो अलग-अलग तरीकों से स्थापित किया जा सकता है जो निरंतर अर्थ में समतुल्य थे, लेकिन भिन्न अर्थ में नहीं. मिल्नोर और अन्य ने यह पता लगाने की कोशिश की कि प्रत्येक आयाम में ऐसे कितने विदेशी क्षेत्र मौजूद हो सकते हैं और यह समझने की कोशिश की जा सकती है कि वे एक-दूसरे से कैसे संबंधित हैं। 1-, 2-, 3-, 5-, 6-, 12-, 56- या 61-गोले पर कोई विदेशी संरचना संभव नहीं है।<ref>{{Cite journal|last1=Behrens|first1=M.|last2=Hill|first2=M.|last3=Hopkins|first3=M. J.|last4=Mahowald|first4=M.|date=2020|title=कोकर जे का उपयोग करके कम आयामों में विदेशी क्षेत्रों का पता लगाना|url=https://onlinelibrary.wiley.com/doi/abs/10.1112/jlms.12301|journal=Journal of the London Mathematical Society|language=en|volume=101|issue=3|pages=1173–1218|arxiv=1708.06854|doi=10.1112/jlms.12301|s2cid=119170255 |issn=1469-7750}}</ref> कुछ उच्च-आयामी क्षेत्रों में केवल दो संभावित भिन्न संरचनाएं होती हैं, अन्य में हजारों होती हैं। क्या विदेशी 4-गोले मौजूद हैं, और यदि हां तो कितने, यह गणित में अनसुलझी समस्याओं की सूची है।
+विभेदक टोपोलॉजी में, समानता की प्रासंगिक धारणा को [[भिन्नता]] द्वारा देखा जाता है, जो अतिरिक्त शर्त के साथ होमोमोर्फिज्म है कि यह [[सुचारू कार्य]] करता है, अर्थात इसमें हर स्थान के लिए सभी आदेशों का व्युत्पन्न होना चाहिए। इस प्रकार [[ यौगिक |यौगिक]] की गणना करने के लिए, किसी को एक्स में निरंतर परिभाषित स्थानीय समन्वय प्रणालियों की आवश्यकता होती है। यहाँ पर इस प्रकार गणितज्ञों को 1956 में आश्चर्य हुआ जब मिल्नोर ने दिखाया कि निरंतर समन्वय प्रणालियों को 7-वृत्त पर दो अलग-अलग तरीकों से स्थापित किया जा सकता है, जो निरंतर अर्थ में समतुल्य थे, अपितु भिन्न अर्थ में यह उपलब्ध नहीं हैं। इस प्रकार मिल्नोर और अन्य ने यह पता लगाने का प्रयास किया हैं कि प्रत्येक आयाम में ऐसे कितने एक्जाॅटिक वृत्त उपस्थित हो सकते हैं, और यह समझने का प्रयास किया जा सकती है कि वे एक-दूसरे से कैसे संबंधित हैं। यहाँ पर 1-, 2-, 3-, 5-, 6-, 12-, 56- या 61-वृत्त पर कोई एक्जाॅटिक संरचना संभव नहीं है।<ref>{{Cite journal|last1=Behrens|first1=M.|last2=Hill|first2=M.|last3=Hopkins|first3=M. J.|last4=Mahowald|first4=M.|date=2020|title=कोकर जे का उपयोग करके कम आयामों में विदेशी क्षेत्रों का पता लगाना|url=https://onlinelibrary.wiley.com/doi/abs/10.1112/jlms.12301|journal=Journal of the London Mathematical Society|language=en|volume=101|issue=3|pages=1173–1218|arxiv=1708.06854|doi=10.1112/jlms.12301|s2cid=119170255 |issn=1469-7750}}</ref> इस प्रकार कुछ उच्च-आयामी वृत्तों में केवल दो संभावित भिन्न संरचनाएं होती हैं, अन्य में हजारों होती हैं। यहाँ ध्यान देने वाली बात यह हैं कि क्या एक्जाॅटिक 4-वृत्त उपस्थित हैं, और यदि हां तो कितने, यह गणित में अनसुलझी समस्याओं की सूची है।
 ==वर्गीकरण==
-एन-गोले पर चिकनी संरचनाओं का मोनोइड उन्मुख चिकनी एन-मैनिफोल्ड्स का संग्रह है जो एन-गोले के लिए होमोमोर्फिक हैं, जो अभिविन्यास-संरक्षण भिन्नता तक ले जाया जाता है। मोनॉइड ऑपरेशन जुड़ा हुआ योग है। बशर्ते <math>n\ne  4</math>, यह मोनॉइड समूह है और समूह के लिए समरूपी है <math>\Theta_n</math> एच-कोबॉर्डिज्म|एच-कोबॉर्डिज्म वर्गों की ओरिएंटेड होमोटोपी क्षेत्र|होमोटॉपी एन-स्फीयर, जो परिमित और एबेलियन है। आयाम 4 में चिकने गोले के मोनोइड के बारे में लगभग कुछ भी ज्ञात नहीं है, इस तथ्य से परे कि यह परिमित या गणनीय रूप से अनंत है, और एबेलियन है, हालांकि इसके अनंत होने का संदेह है; विदेशी क्षेत्र#4-आयामी विदेशी क्षेत्र और ग्लक ट्विस्ट्स पर अनुभाग देखें। सामान्यीकृत पोंकारे अनुमान के अनुसार सभी समरूप एन-गोले एन-गोले के समरूप हैं, जिसे [[स्टीफन स्माले]] ने 4 से बड़े आयामों में, [[माइकल फ्रीडमैन]] ने आयाम 4 में, और [[ त्वरित पेरेलमैन |त्वरित पेरेलमैन]] ने आयाम 3 में साबित किया है। आयाम 3 में, एडविन ई. मोइस ने साबित किया है प्रत्येक टोपोलॉजिकल मैनिफोल्ड में अनिवार्य रूप से अद्वितीय चिकनी संरचना होती है (मोइस की प्रमेय देखें), इसलिए 3-गोले पर चिकनी संरचनाओं का मोनोइड तुच्छ है।
+n-वृत्त पर समतल संरचनाओं का मोनोइड उन्मुख समतल n-मैनिफोल्ड्स का संग्रह है, जो n-वृत्त के लिए होमोमोर्फिक हैं, जो अभिविन्यास-संरक्षण भिन्नता तक ले जाया जाता है। मोनॉइड ऑपरेशन जुड़ा हुआ योग है। बशर्ते <math>n\ne  4</math>, यह मोनॉइड समूह है और समूह <math>\Theta_n</math> के लिए समरूपी है, इस प्रकार एच-कोबॉर्डिज्म या एच-कोबॉर्डिज्म वर्गों की ओरिएंटेड होमोटोपी वृत्त या होमोटॉपी n-वृत्त, जो परिमित और एबेलियन है। इसके आधार पर आयाम 4 में समतल वृत्त के मोनोइड के बारे में लगभग कुछ भी ज्ञात नहीं है, इस तथ्य से अतिरिक्त यह परिमित या गणनीय रूप से अनंत है, और इस प्रकार एबेलियन समूह प्राप्त होता है, चूंकि इस प्रकार इसके अनंत होने का संदेह दिया जाता है, इस प्रकार एक्जाॅटिक वृत्त 4-आयामी एक्जाॅटिक वृत्त और ग्लक ट्विस्ट्स पर अनुभाग देखें जा सकते है। यहां पर सामान्यीकृत किए गए पोंकारे अनुमान के अनुसार सभी समरूप n-वृत्त n-वृत्त के समरूप हैं, जिसे इस प्रकार [[स्टीफन स्माले]] ने 4 से बड़े आयामों में, [[माइकल फ्रीडमैन]] ने आयाम 4 में, और [[ त्वरित पेरेलमैन |त्वरित पेरेलमैन]] ने आयाम 3 में प्रमाणित किया है। यहाँ पर 3 आयाम वाले एडविन ई. मोइस ने प्रमाणित किया है कि प्रत्येक टोपोलॉजिकल मैनिफोल्ड में अनिवार्य रूप से अद्वितीय समतल संरचना होती है, इस प्रकार मोइस की प्रमेय देखें, इसलिए 3-वृत्त पर समतल संरचनाओं का मोनोइड अतिरिक्त है।
 ===समानांतर अनेक गुना===
-समूह <math>\Theta_n</math> चक्रीय उपसमूह है
+समूह <math>\Theta_n</math> चक्रीय उपसमूह है, जो इस प्रकार हैं-
 :<math>bP_{n+1}</math>
-एन-गोले द्वारा दर्शाया गया है जो [[समानांतर कई गुना]]ओं को बांधता है। की संरचनाएँ <math>bP_{n+1}</math> और भागफल
+n-वृत्त द्वारा दर्शाया गया है जो [[समानांतर कई गुना]]ओं को बांधता है। इसकी संरचनाएँ <math>bP_{n+1}</math> और भागफल <math>\Theta_n/bP_{n+1}</math> हैं।
-:<math>\Theta_n/bP_{n+1}</math>
+इस प्रकार पेपर में अलग से वर्णित किया गया है, इसके आधार पर {{harvs|authorlink1=माइकल केर्वेयर|last1=केर्वेयर|last2=मिल्नर|authorlink2=जाॅन मिल्नर|year=1963}} ने जो [[सर्जरी सिद्धांत]] के विकास में प्रभावशाली था। इस प्रकार वास्तविक्ता में इस प्रकार इन गणनाओं को सर्जरी के सटीक अनुक्रम के संदर्भ में आधुनिक भाषा में तैयार किया जा सकता है, जैसा कि सर्जरी के सटीक अनुक्रम के उदाहरणों में दर्शाया गया है।
-पेपर में अलग से वर्णित किया गया है {{harvs|authorlink1=Michel Kervaire|last1=Kervaire|last2=Milnor|authorlink2=John Milnor|year=1963}}, जो [[सर्जरी सिद्धांत]] के विकास में प्रभावशाली था। वास्तव में, इन गणनाओं को सर्जरी के सटीक अनुक्रम के संदर्भ में आधुनिक भाषा में तैयार किया जा सकता है, जैसा कि सर्जरी के सटीक अनुक्रम#उदाहरणों में दर्शाया गया है।
-समूह <math>bP_{n+1}</math> चक्रीय समूह है, और मामले को छोड़कर तुच्छ या क्रम 2 है <math>n = 4k+3</math>, जिस स्थिति में यह बड़ा हो सकता है, इसका क्रम [[बर्नौली संख्या]]ओं से संबंधित है। यदि n सम है तो यह तुच्छ है। यदि n 1 मॉड 4 है तो इसका क्रम 1 या 2 है; विशेष रूप से इसका क्रम 1 है यदि n 1, 5, 13, 29, या 61 है, और {{harvs|txt|first=William|last=Browder|authorlink=William Browder (mathematician)|year=1969}} सिद्ध कर दिया कि इसका क्रम 2 है यदि <math>n = 1</math> मॉड 4 फॉर्म का नहीं है <math>2^k - 3</math>. यह अब लगभग पूरी तरह से हल हो चुकी [[कर्वैयर अपरिवर्तनीय]] समस्या से पता चलता है कि इसमें 126 से बड़े सभी n के लिए क्रम 2 है; मामला <math>n = 126</math> अभी भी खुला है. के लिए <math>bP_{4k}</math> के लिए <math>k\ge 2</math> है
+<math>bP_{n+1}</math> समूह मुख्यतः चक्रीय समूह है, और इस स्थिति को छोड़कर भिन्न या क्रम 2 है, इस प्रकार <math>n = 4k+3</math> के लिए जिस स्थिति में यह बड़ा हो सकता है, इसका क्रम [[बर्नौली संख्या|बर्नौली संख्याओं]] से संबंधित है। इस प्रकार यदि n सम है तो यह इससे भिन्न है। यदि n 1 मॉड 4 है, तो इसका क्रम 1 या 2 है, विशेष रूप से इसका क्रम 1 है, इस प्रकार यदि n 1, 5, 13, 29, या 61 है, और {{harvs|txt|first=विलियम|last=ब्राउनर|authorlink=विलियम ब्राउनर (गणितज्ञ)|year=1969}} ने सिद्ध कर दिया कि इसका क्रम 2 है, इस प्रकार यदि <math>n = 1</math> मॉड 4 फॉर्म का नहीं है, तो <math>2^k - 3</math> अब लगभग पूर्ण रूप से हल हो चुकी हैं, जिसके लिए [[कर्वैयर अपरिवर्तनीय]] समस्या से पता चलता है कि इसमें 126 से बड़े सभी n के लिए क्रम 2 है, इस स्थिति में <math>n = 126</math> अभी भी संवृत है, जिसके लिए <math>bP_{4k}</math> के लिए <math>k\ge 2</math> है।
 :<math>2^{2k-2}(2^{2k-1}-1)B,</math>
-जहाँ B का अंश है <math>4B_{2k}/k</math>, और <math>B_{2k}</math> बर्नौली संख्या है. (टोपोलॉजिकल साहित्य में सूत्र थोड़ा भिन्न है क्योंकि टोपोलॉजिस्ट बर्नौली संख्याओं के नामकरण के लिए अलग परंपरा का उपयोग करते हैं; यह लेख संख्या सिद्धांतकारों की परंपरा का उपयोग करता है।)
+जहाँ B का अंश है <math>4B_{2k}/k</math>, और <math>B_{2k}</math> बर्नौली संख्या है, इस प्रकार टोपोलॉजिकल साहित्य में सूत्र थोड़ा भिन्न है क्योंकि टोपोलॉजिस्ट बर्नौली संख्याओं के नामकरण के लिए अलग परंपरा का उपयोग करते हैं, यह लेख संख्या सिद्धांतकारों की परंपरा का उपयोग करता है।
 ===भागफल के बीच मानचित्र===
-भागफल समूह <math>\Theta_n/bP_{n+1}</math> [[जे-समरूपता]] की छवि मॉड्यूलो क्षेत्रों के स्थिर समरूप समूहों के संदर्भ में विवरण है; यह या तो भागफल या सूचकांक 2 के बराबर है। अधिक सटीक रूप से इंजेक्शन मानचित्र है
+भागफल समूह <math>\Theta_n/bP_{n+1}</math> [[जे-समरूपता]] की प्रतिबिंब मॉड्यूलो वृत्तों के स्थिर समरूप समूहों के संदर्भ में विवरण है, यह या तो भागफल या सूचकांक 2 के बराबर है। अधिक सटीक रूप से इंजेक्शन मानचित्र है
 :<math>\Theta_n/bP_{n+1}\to \pi_n^S/J,</math>
-कहाँ <math>\pi_n^S</math> गोले का nवाँ स्थिर समरूप समूह है, और J, J-समरूपता की छवि है। साथ ही <math>bP_{n+1}</math>, जे की छवि चक्रीय समूह है, और मामले को छोड़कर तुच्छ या क्रम 2 है <math>n = 4k+3</math>, जिस स्थिति में यह बड़ा हो सकता है, इसका क्रम बर्नौली संख्याओं से संबंधित है। भागफल समूह <math>\pi_n^S/J</math> गोले के स्थिर समरूप समूहों का कठिन हिस्सा है, और तदनुसार <math>\Theta_n/bP_{n+1}</math> विदेशी क्षेत्रों का कठिन हिस्सा है, लेकिन लगभग पूरी तरह से क्षेत्रों के समरूप समूहों की गणना करने के लिए कम हो जाता है। नक्शा या तो समरूपता है (छवि संपूर्ण समूह है), या उपसमूह 2 के सूचकांक के साथ इंजेक्शन मानचित्र है। उत्तरार्द्ध मामला है अगर और केवल अगर केरवायर इनवेरिएंट 1 के साथ एन-आयामी फ़्रेमयुक्त मैनिफोल्ड मौजूद है, जो है केरवायर इनवेरिएंट समस्या के रूप में जाना जाता है। इस प्रकार विदेशी क्षेत्रों के वर्गीकरण में 2 का कारक केरवायर अपरिवर्तनीय समस्या पर निर्भर करता है।
+जहाँ <math>\pi_n^S</math> वृत्त का nवाँ स्थिर समरूप समूह है, और J, J-समरूपता की प्रतिबिंब है। साथ ही <math>bP_{n+1}</math>, जे की प्रतिबिंब चक्रीय समूह है, और इस स्थिति को छोड़कर भिन्न <math>n = 4k+3</math> या क्रम 2 है, जिस स्थिति में यह बड़ा हो सकता है, इसका क्रम बर्नौली संख्याओं से संबंधित है। इस प्रकार भागफल समूह <math>\pi_n^S/J</math> वृत्त के स्थिर समरूप समूहों का कठिन भाग है, और तदनुसार इसके लिए <math>\Theta_n/bP_{n+1}</math> एक्जाॅटिक वृत्तों का कठिन भाग है, अपितु लगभग पूर्ण रूप से वृत्तों के समरूप समूहों की गणना करने के लिए कम हो जाता है। इस प्रकार इस क्षेत्र के लिए या तो समरूपता है, जिसके आधार पर प्रतिबिंब संपूर्ण समूह को प्रदर्शित करता है, या उपसमूह 2 के सूचकांक के साथ इंजेक्शन मानचित्रत होता है। इस प्रकार उत्तरार्द्ध स्थिति ऐसी है कि यदि केरवायर इनवेरिएंट 1 के साथ n-आयामी फ़्रेमयुक्त मैनिफोल्ड उपस्थित है, जो केरवायर इनवेरिएंट समस्या के रूप में जाना जाता है। इस प्रकार एक्जाॅटिक वृत्तों के वर्गीकरण में 2 का कारक केरवायर अपरिवर्तनीय समस्या पर निर्भर करता है।
-{{as of|2012}}, केवल मामले के साथ, केरवायर इनवेरिएंट समस्या लगभग पूरी तरह से हल हो गई है <math>n=126</math> खुला रहना; विवरण के लिए वह लेख देखें. यह मुख्यतः का कार्य है {{harvtxt|Browder|1969}}, जिससे साबित हुआ कि ऐसी विविधताएँ केवल आयाम में ही मौजूद थीं <math>n=2^j-2</math>, और {{harvtxt|Hill|Hopkins|Ravenel|2016}}, जिससे साबित हुआ कि आयाम के लिए ऐसे कई गुना नहीं थे <math>254=2^8-2</math> और ऊपर दिए गए। केरवायर इनवेरिएंट 1 के साथ मैनिफोल्ड्स का निर्माण आयाम 2, 6, 14, 30 और 62 में किया गया है, लेकिन आयाम 126 खुला है, जिसमें कोई भी मैनिफोल्ड न तो निर्मित किया गया है और न ही अस्वीकृत किया गया है।
+वर्ष के अनुसार केवल इस स्थिति के साथ केरवायर इनवेरिएंट समस्या लगभग पूर्ण रूप से हल हो गई है, इस प्रकार <math>n=126</math>  संवृत रहना आवश्यक होता हैं, इस विवरण के लिए यह लेख देखें, इस प्रकार यह मुख्यतः {{harvtxt|ब्राउडर|1969}} का कार्य है , जिससे प्रमाणित हुआ कि ऐसी विविधताएँ केवल आयाम में ही उपस्थित थीं, इस प्रकार <math>n=2^j-2</math>, और {{harvtxt|हिल|हाॅप्किंस|रैविनेयल|2016}}, जिससे प्रमाणित हुआ कि आयाम के लिए ऐसे कई गुना नहीं थे, इस प्रकार इसके आधार पर <math>254=2^8-2</math> और ऊपर दिए गए हैं। इसके आधार पर केरवायर इनवेरिएंट 1 के साथ मैनिफोल्ड्स का निर्माण आयाम 2, 6, 14, 30 और 62 में किया गया है, अपितु आयाम 126 संवृत है, जिसमें कोई भी मैनिफोल्ड न तो निर्मित किया गया है और न ही अस्वीकृत किया गया है।
-===Θ का क्रम<sub>n</sub>===
+===Θ<sub>n</sub> का क्रम===
-समूह का क्रम <math>\Theta_n</math> इस तालिका में दिया गया है {{OEIS|id=A001676}} से {{harv|Kervaire|Milnor|1963}} (सिवाय इसके कि प्रविष्टि के लिए <math>n = 19</math> उनके पेपर में 2 गुना ग़लत है; खंड III पृष्ठ में सुधार देखें। मिल्नोर के एकत्रित कार्यों में से 97)।
+समूह का क्रम <math>\Theta_n</math> इस सूची में दिया गया है, जिसे इस प्रकार {{harv|कैरवेयर|मिल्नर|1963}} की प्रविष्टि के लिए <math>n = 19</math> द्वारा उनके पेपर में 2 गुना ग़लत है, इस खंड III के पृष्ठ में सुधार देखें जा सकते हैं। इस प्रकार मिल्नोर के एकत्रित कार्यों में से 97 इसका प्रमुख उदाहरण हैं।
 :{| class="wikitable" style="text-align:center"
@@ Line 57: / Line 55: @@
 | – || 2 || – || – || – || 2 || – || – || – || – || – || – || – || 2 || – || – || – || – || – || –
 |}
-ध्यान दें कि मंद के लिए <math>n = 4k - 1</math>, तब <math>\theta_n</math> हैं <math>28 = 2^2(2^3-1)</math>, <math>992 = 2^5(2^5 - 1)</math>, <math>16256 = 2^7(2^7 - 1) </math>, और <math>523264 = 2^{10}(2^9 - 1)  </math>. इस तालिका में आगे की प्रविष्टियों की गणना ऊपर दी गई जानकारी के साथ-साथ गोले के स्थिर समरूप समूहों की तालिका से की जा सकती है।
+ध्यान दें कि इस कमी के लिए <math>n = 4k - 1</math>, तब <math>\theta_n</math> हैं <math>28 = 2^2(2^3-1)</math>, <math>992 = 2^5(2^5 - 1)</math>, <math>16256 = 2^7(2^7 - 1) </math>, और <math>523264 = 2^{10}(2^9 - 1)  </math> को इस तालिका में आगे की प्रविष्टियों की गणना ऊपर दी गई जानकारी के साथ-साथ वृत्त के स्थिर समरूप समूहों की सूची से इंगित की जा सकती है।
-गोले के स्थिर समरूप समूहों की गणना द्वारा, {{harvtxt|Wang|Xu|2017}} सिद्ध करता है कि गोला {{math|''S''<sup>61</sup>}} की अद्वितीय चिकनी संरचना है, और यह इस संपत्ति के साथ अंतिम विषम-आयामी क्षेत्र है - केवल वही हैं {{math|''S''<sup>1</sup>}}, {{math|''S''<sup>3</sup>}}, {{math|''S''<sup>5</sup>}}, और {{math|''S''<sup>61</sup>}}.
+वृत्त के स्थिर समरूप समूहों की गणना द्वारा, {{harvtxt|वैंग|सू|2017}} सिद्ध करता है कि वृत्त {{math|''S''<sup>61</sup>}} की अद्वितीय समतल संरचना है, और इस प्रकार यह इस मान के साथ अंतिम विषम-आयामी वृत्त है - केवल {{math|''S''<sup>1</sup>}}, {{math|''S''<sup>3</sup>}}, {{math|''S''<sup>5</sup>}}, और {{math|''S''<sup>61</sup>}} ही इसका उदाहरण प्रकट करते हैं।
-==विदेशी क्षेत्रों के स्पष्ट उदाहरण==
+==एक्जाॅटिक वृत्तों के स्पष्ट उदाहरण==
 {{quote box
 |align=right
 |width=33%
-|quote=  When I came upon such an example in the mid-50s, I was very puzzled and didn't know what to make of it. At first, I thought I'd found a counterexample to the generalized Poincaré conjecture in dimension seven. But careful study showed that the manifold really was homeomorphic to <math>S^7</math>. Thus, there exists a differentiable structure on <math>S^7</math> not diffeomorphic to the standard one.
+|quote=  जब 50 के दशक के मध्य में मुझे ऐसा उदाहरण मिला, तो मैं बहुत हैरान हो गया और मुझे नहीं पता था कि इसका क्या अर्थ निकाला जाए। सबसे पहले, मैंने सोचा कि मुझे आयाम सात में सामान्यीकृत पोंकारे अनुमान का एक प्रति-उदाहरण मिल गया है। अपितु सावधानीपूर्वक अध्ययन से पता चला कि मैनिफोल्ड वास्तव में <math>S^7</math> के लिए होमियोमॉर्फिक था। इस प्रकार, <math>S^7</math> पर एक भिन्न संरचना उपस्थित है जो मानक संरचना से भिन्न नहीं है।
 |source={{harvs|txt|first=John|last=Milnor|year=2009|loc=p.12}}
 }}
 === मिल्नोर का निर्माण ===
-{{Main|Milnor's sphere}}
+{{Main|मिल्नर वृत्त}}
-द्वारा खोजे गए विदेशी क्षेत्र के पहले उदाहरणों में से {{harvtxt|Milnor|1956|loc=section 3}} निम्नलिखित था. मान लीजिए <math id= en.wikipedia.org/wiki/Ball_(Mathemathics) >B^4</math> यूनिट बॉल है गणित>\R^4<nowiki></math></nowiki>, और चलो <math>S^3</math> इसकी [[सीमा (टोपोलॉजी)]] हो - 3-गोला जिसे हम इकाई चतुर्भुज के समूह के साथ पहचानते हैं। अब इसकी दो प्रतियाँ लें <math>B^4 \times S^3</math>, प्रत्येक सीमा के साथ <math>S^3 \times S^3</math>, और पहचान कर उन्हें साथ चिपका दें <math>(a,b)</math> के साथ पहली सीमा में <math>(a,a^2ba^{-1})</math> दूसरी सीमा में. परिणामी मैनिफ़ोल्ड में प्राकृतिक चिकनी संरचना होती है और यह होमियोमॉर्फिक होती है <math>S^7</math>, लेकिन इससे भिन्न नहीं है <math>S^7</math>. मिल्नोर ने दिखाया कि यह लुप्त हो रही चौथी बेट्टी संख्या के साथ किसी भी चिकनी 8-गुना की सीमा नहीं है, और इसमें स्वयं के लिए कोई अभिविन्यास-उलट भिन्नता नहीं है; इनमें से किसी भी गुण का तात्पर्य यह है कि यह मानक 7-गोला नहीं है। मिल्नोर ने दिखाया कि इस मैनिफोल्ड में केवल दो [[महत्वपूर्ण बिंदु (गणित)]] के साथ [[मोर्स फ़ंक्शन]] है, दोनों गैर-पतित, जिसका अर्थ है कि यह स्थलीय रूप से क्षेत्र है।
-=== ब्रिस्कोर्न गोले ===
+इस प्रकार यह खोजा गया हैं कि एक्जाॅटिक वृत्त के पहले उदाहरणों में से {{harvtxt|मिल्नर|1956|loc=section 3}} द्वारा निम्नलिखित था, मान लीजिए <math id= en.wikipedia.org/wiki/Ball_(Mathemathics) >B^4</math> यूनिट बॉल <math>R^4</math> है, और <math>S^3</math> इसकी [[सीमा (टोपोलॉजी)]] हो - तो 3-वृत्तोंं को हम इकाई चतुर्भुज के समूह के साथ पहचानते हैं। अब इसकी दो प्रतियाँ <math>B^4 \times S^3</math> लें , जिसे प्रत्येक सीमा के साथ <math>S^3 \times S^3</math>, और पहचान कर उन्हें साथ संयोजित कर देते हैं, इसके लिए <math>(a,b)</math> के साथ पहली सीमा में <math>(a,a^2ba^{-1})</math> दूसरी सीमा में परिणामी मैनिफ़ोल्ड में प्राकृतिक समतल संरचना होती है, और यह होमियोमॉर्फिक <math>S^7</math> होती है, अपितु <math>S^7</math> इससे भिन्न नहीं है, इस प्रकार मिल्नोर ने दिखाया कि यह लुप्त हो रही चौथी बेट्टी संख्या के साथ किसी भी समतल 8-गुना की सीमा नहीं है, और इसमें स्वयं के लिए कोई अभिविन्यास-उलट भिन्नता नहीं है, इनमें से किसी भी गुण का तात्पर्य यह है कि यह मानक 7-वृत्त नहीं है। मिल्नोर ने दिखाया कि इस मैनिफोल्ड में केवल दो [[महत्वपूर्ण बिंदु (गणित)]] के साथ [[मोर्स फ़ंक्शन]] है, दोनों गैर-पतित हैं, जिसका अर्थ है कि यह स्थलीय रूप से वृत्त है।
-जैसा कि दिखाया गया है {{harvs|txt=yes|first=Egbert |last=Brieskorn|author-link=Egbert Brieskorn|year=1966|year2=1966b}} (यह सभी देखें {{harv|Hirzebruch|Mayer|1968}}) बिंदुओं के जटिल समूह का प्रतिच्छेदन <math>\Complex^5</math> संतुष्टि देने वाला
+=== ब्रिस्कोर्न वृत्त ===
+जैसा कि दिखाया गया है, {{harvs|txt=yes|first=एगबर्ट |last=ब्रिसकोर्न|author-link=एगबर्ट ब्रिसकोर्न|year=1966|year2=1966b}} के लिए यह सभी देखें {{harv|हिरज़ेब्रुच|मेयर|1968}} बिंदुओं के जटिल समूह का प्रतिच्छेदन <math>\Complex^5</math> संतुष्टि देने वाला हैं जो इस प्रकार हैं-
 :<math>a^2 + b^2 + c^2 + d^3 + e^{6k-1} = 0\ </math>
-मूल के चारों ओर छोटे से गोले के साथ <math>k = 1, 2, \ldots, 28</math> उन्मुख 7-गोले पर सभी 28 संभावित चिकनी संरचनाएं देता है। समान मैनिफोल्ड्स को ब्रिस्कोर्न गोले कहा जाता है।
+मूल के चारों ओर छोटे से वृत्त के साथ <math>k = 1, 2, \ldots, 28</math> उन्मुख 7-वृत्त पर सभी 28 संभावित समतल संरचनाएं देता है। समान मैनिफोल्ड्स को ब्रिस्कोर्न वृत्त कहा जाता है।
-==मुड़े हुए गोले==
+==मुड़ा हुआ वृत्त==
-एक (अभिविन्यास-संरक्षण) भिन्नता को देखते हुए <math>f\colon S^{n-1} \to   S^{n-1}</math>, मानक डिस्क की दो प्रतियों की सीमाओं को चिपकाना <math>D^n</math> एफ के साथ मिलकर मैनिफोल्ड प्राप्त होता है जिसे मुड़ा हुआ गोला कहा जाता है (मोड़ एफ के साथ)। यह मानक एन-क्षेत्र के समतुल्य समरूपता है क्योंकि ग्लूइंग मानचित्र पहचान के लिए समरूप है (एक अभिविन्यास-संरक्षण भिन्नता, इसलिए डिग्री 1), लेकिन मानक क्षेत्र के लिए सामान्य रूप से भिन्न नहीं है। {{harv|Milnor|1959b}}
+अभिविन्यास-संरक्षण में भिन्नता को देखते हुए <math>f\colon S^{n-1} \to   S^{n-1}</math>, मानक डिस्क की दो प्रतियों की सीमाओं को <math>D^n</math> पर संचरित करके F के साथ मिलकर मैनिफोल्ड प्राप्त होता है, जिसे मुड़ा हुआ वृत्त कहा जाता है। यह मानक n-वृत्त के समतुल्य समरूपता है, क्योंकि ग्लूइंग मानचित्र पहचान के लिए समरूप है, इस अभिविन्यास-संरक्षण भिन्नता, इसलिए डिग्री 1, अपितु मानक वृत्त के लिए सामान्य रूप से भिन्न नहीं है। इस प्रकार {{harv|मिल्नर|1959b}} समुच्चय <math>\Gamma_n</math> मुड़े हुए n-वृत्त का समूह होने के लिए संयोजित करने के आधार पर इसके योग के अनुसार सटीक अनुक्रम प्राप्त करता है-
-सेटिंग <math>\Gamma_n</math> मुड़े हुए n-गोले का समूह होने के लिए (कनेक्ट योग के तहत), कोई सटीक अनुक्रम प्राप्त करता है
 :<math>\pi_0\operatorname{Diff}^+(D^n) \to \pi_0\operatorname{Diff}^+(S^{n-1}) \to \Gamma_n \to 0.</math>
-के लिए <math>n>5</math>, प्रत्येक विदेशी एन-गोलाकार मुड़े हुए गोले से भिन्न होता है, स्टीफन स्माले द्वारा सिद्ध परिणाम जिसे एच-कोबॉर्डिज्म #एच-कोबॉर्डिज्म प्रमेय के सटीक कथन के परिणाम के रूप में देखा जा सकता है|एच-कोबॉर्डिज्म प्रमेय। (इसके विपरीत, [[ टुकड़े-टुकड़े रैखिक कई गुना |टुकड़े-टुकड़े रैखिक कई गुना]] सेटिंग में सबसे बाईं ओर का नक्शा अलेक्जेंडर ट्रिक#रेडियल एक्सटेंशन के माध्यम से चालू होता है: प्रत्येक पीसवाइज-लीनियर-ट्विस्टेड गोला मानक है।) समूह <math>\Gamma_n</math> मुड़े हुए गोले हमेशा समूह के लिए समरूपी होते हैं <math>\Theta_n</math>. नोटेशन अलग-अलग हैं क्योंकि पहले यह ज्ञात नहीं था कि वे समान हैं <math>n = 3</math> या 4; उदाहरण के लिए, मामला <math>n = 3</math> पोंकारे अनुमान के समतुल्य है।
+जिसके लिए <math>n>5</math>, प्रत्येक एक्जाॅटिक n-वृत्तकार मुड़े हुए वृत्त से भिन्न होता है, स्टीफन स्माले द्वारा सिद्ध परिणाम जिसे एच-कोबॉर्डिज्म एच-कोबॉर्डिज्म प्रमेय के सटीक कथन के परिणाम के रूप में देखा जा सकता है या एच-कोबॉर्डिज्म प्रमेय की सहायता से प्राप्त करते हैं। इसके विपरीत, [[ टुकड़े-टुकड़े रैखिक कई गुना |टुकड़े-टुकड़े रैखिक कई गुना]] समुच्चयिंग में सबसे बाईं ओर का नक्शा अलेक्जेंडर ट्रिक रेडियल एक्सटेंशन के माध्यम से चालू होता है: प्रत्येक पीसवाइज-लीनियर-ट्विस्टेड वृत्त मानक है। इस प्रकार समूह <math>\Gamma_n</math> मुड़े हुए वृत्त सदैव समूह के लिए समरूपी होते हैं, जिसके आधार पर <math>\Theta_n</math> नोटेशन अलग-अलग हैं क्योंकि पहले यह ज्ञात नहीं था कि वे समान हैं <math>n = 3</math> या 4, उदाहरण के लिए, इस स्थिति के अनुसार <math>n = 3</math> पोंकारे अनुमान के समतुल्य है।
-में [[जॉन डियर]] ने [[स्यूडोआइसोटोपी प्रमेय]] को सिद्ध किया जिसका तात्पर्य यह है <math>\pi_0 \operatorname{Diff}^+(D^n)</math> प्रदान किया गया तुच्छ समूह है <math>n \geq 6</math>, इसलिए <math>\Gamma_n \simeq \pi_0 \operatorname{Diff}^+(S^{n-1})</math> बशर्ते <math>n \geq 6</math>.
+में [[जॉन डियर]] ने [[स्यूडोआइसोटोपी प्रमेय]] को सिद्ध किया जिसका तात्पर्य यह है कि <math>\pi_0 \operatorname{Diff}^+(D^n)</math> प्रदान किया गया भिन्न समूह है जो <math>n \geq 6</math> प्रकार के हैं, इसलिए <math>\Gamma_n \simeq \pi_0 \operatorname{Diff}^+(S^{n-1})</math> हैं जो <math>n \geq 6</math> की सीमा का अनुसरण करता हैं।
 ==अनुप्रयोग==
-यदि एम टुकड़ा-वार रैखिक मैनिफोल्ड है तो एम पर संगत चिकनी संरचनाओं को खोजने की समस्या समूहों के ज्ञान पर निर्भर करती है {{nowrap|1=Γ<sub>''k''</sub> = Θ<sub>''k''</sub>}}. अधिक सटीक रूप से, किसी भी सुचारु संरचना के अस्तित्व में बाधाएँ समूहों में निहित होती हैं {{nowrap|H<sub>''k+1''</sub>(''M'', Γ<sub>''k''</sub>)}} k के विभिन्न मानों के लिए, जबकि यदि ऐसी कोई चिकनी संरचना मौजूद है तो ऐसी सभी चिकनी संरचनाओं को समूहों का उपयोग करके वर्गीकृत किया जा सकता है {{nowrap|H<sub>''k''</sub>(''M'', Γ<sub>''k''</sub>)}}.
+यदि M टुकड़ा-वार रैखिक मैनिफोल्ड है, जो M पर संगत समतल संरचनाओं को खोजने की समस्या समूहों के ज्ञान पर निर्भर करती है, इस प्रकार यहाँ पर {{nowrap|1=Γ<sub>''k''</sub> = Θ<sub>''k''</sub>}}. अधिक सटीक रूप से, किसी भी सुचारु संरचना के अस्तित्व में बाधाएँ समूहों में निहित होती हैं, इस प्रकार {{nowrap|H<sub>''k+1''</sub>(''M'', Γ<sub>''k''</sub>)}} k के विभिन्न मानों के लिए, जबकि यदि ऐसी कोई समतल संरचना उपस्थित है तो ऐसी सभी समतल संरचनाओं को समूहों का उपयोग करके वर्गीकृत किया जा सकता है, इस प्रकार {{nowrap|H<sub>''k''</sub>(''M'', Γ<sub>''k''</sub>)}} को विशेष रूप से समूह Γ<sub>''k''</sub> विलुप्त हो जाता हैं, यदि {{nowrap|''k'' &lt; 7}}, इसलिए अधिकतम 7 आयाम वाले सभी पीएल मैनिफोल्ड में समतल संरचना होती है, जो अनिवार्य रूप से अद्वितीय होती है यदि मैनिफोल्ड का आयाम अधिकतम 6 होता हैं।
-विशेष रूप से समूह Γ<sub>''k''</sub> गायब हो जाओ अगर {{nowrap|''k'' &lt; 7}}, इसलिए अधिकतम 7 आयाम वाले सभी पीएल मैनिफोल्ड में चिकनी संरचना होती है, जो अनिवार्य रूप से अद्वितीय होती है यदि मैनिफोल्ड का आयाम अधिकतम 6 हो।
 निम्नलिखित परिमित एबेलियन समूह मूलतः समान हैं:
-*समूह Θ<sub>''n''</sub> उन्मुख होमोटॉपी एन-क्षेत्रों के एच-कोबॉर्डिज़्म वर्गों की।
+*समूह Θ<sub>''n''</sub> उन्मुख होमोटॉपी n-वृत्तों के एच-कोबॉर्डिज़्म वर्गों के लिए अनुमानित होती हैं।
-*उन्मुख एन-क्षेत्रों के एच-कोबॉर्डिज़्म वर्गों का समूह।
+*उन्मुख n-वृत्तों के एच-कोबॉर्डिज़्म वर्गों का समूह हैं।
-*समूह Γ<sub>''n''</sub> मुड़े हुए उन्मुख एन-गोले का।
+*समूह Γ<sub>''n''</sub> मुड़े हुए उन्मुख n-वृत्त के समान हैं।
-*होमोटॉपी समूह {{pi}}<sub>''n''</sub>(पीएल/डीआईएफएफ)
+*होमोटॉपी समूह {{pi}}<sub>''n''</sub>(पीएल/डीआईFF) हैं।
-*अगर {{nowrap|''n'' ≠ 3}}, होमोटॉपी समूह {{pi}}<sub>''n''</sub>(शीर्ष/अंतर) (यदि {{nowrap|1=''n'' = 3}} इस समूह का क्रम 2 है; किर्बी-सीबेनमैन इनवेरिएंट देखें)।
+*यदि {{nowrap|''n'' ≠ 3}}, होमोटॉपी समूह {{pi}}<sub>''n''</sub>(शीर्ष/अंतर) के लिए यदि {{nowrap|1=''n'' = 3}} इस समूह का क्रम 2 है, किर्बी-सीबेनमैन इनवेरिएंट देखें।
-*एक उन्मुख पीएल एन-गोले की चिकनी संरचनाओं का समूह।
+*एक उन्मुख पीएल n-वृत्त की समतल संरचनाओं का समूह हैं।
-*अगर {{nowrap|''n'' ≠ 4}}, उन्मुख टोपोलॉजिकल एन-क्षेत्र की चिकनी संरचनाओं का समूह।
+*यदि {{nowrap|''n'' ≠ 4}}, उन्मुख टोपोलॉजिकल n-वृत्त की समतल संरचनाओं का समूह हैं।
-*अगर {{nowrap|''n'' &ne; 5}}, एस के सभी अभिविन्यास-संरक्षण भिन्नताओं के समूह के घटकों का समूह<sup>n−1</sup>.
+*यदि {{nowrap|''n'' &ne; 5}}, S<sup>n−1</sup> के सभी अभिविन्यास-संरक्षण भिन्नताओं के समूह के घटकों का समूह हैं।
-==4-आयामी विदेशी क्षेत्र और ग्लक ट्विस्ट==
+==4-आयामी एक्जाॅटिक वृत्त और ग्लक ट्विस्ट==
-आयामों में यह ज्ञात नहीं है कि 4-गोले पर कोई विदेशी चिकनी संरचनाएं हैं या नहीं। यह कथन कि उनका अस्तित्व नहीं है, सुचारु पोंकारे अनुमान के रूप में जाना जाता है, और इसकी चर्चा की जाती है {{harvs|txt | last1=Freedman | first1=Michael | authorlink1=Michael Freedman| last2=Gompf | first2=Robert | authorlink2=Robert Gompf| last3=Morrison | first3=Scott | last4=Walker | first4=Kevin | year=2010}} जो कहते हैं कि यह झूठ माना जाता है।
+आयामों में यह ज्ञात नहीं है कि 4-वृत्त पर कोई एक्जाॅटिक समतल संरचनाएं हैं या नहीं। यह कथन कि उनका अस्तित्व नहीं है, सुचारु पोंकारे अनुमान के रूप में जाना जाता है, और इसकी चर्चा की जाती है, {{harvs|txt | last1=फ्रीडमैन | first1=माइकल | authorlink1=माइकल फ्रीडमैन| last2=गाॅम्फ | first2=राॅबर्ट | authorlink2=रॉबर्ट गोम्फ| last3=माॅरिसन | first3=स्काॅट | last4=वाकर | first4=केविन | year=2010}} कहते हैं कि यह असत्य माना जाता है।
-विदेशी 4-क्षेत्रों के लिए प्रस्तावित कुछ उम्मीदवार कैपेल-शेनसन क्षेत्र हैं ({{harvs|txt|last1=Cappell|first1=Sylvain|authorlink1=Sylvain Cappell|last2=Shaneson|first2=Julius|authorlink2=Julius Shaneson|year=1976}}) और ग्लुक ट्विस्ट द्वारा व्युत्पन्न {{harv|Gluck|1962}}. ग्लक ट्विस्ट गोले का निर्माण एस में 2-गोले एस के ट्यूबलर पड़ोस को काटकर किया जाता है<sup>4</sup>और इसकी सीमा S की भिन्नता का उपयोग करके इसे वापस चिपका दिया गया<sup>2</sup>×S<sup>1</sup>. परिणाम सदैव S के समरूपी होता है<sup>4</sup>. पिछले कुछ वर्षों में कई मामलों को सुचारु 4 आयामी पोंकारे अनुमान के संभावित प्रतिउदाहरण के रूप में खारिज कर दिया गया था। उदाहरण के लिए, {{harvs|txt|last=Gordon|first=Cameron|authorlink=Cameron Gordon (mathematician)| year=1976}}, {{harvs|txt|last=Montesinos|first=José|year=1983}}, {{harvs|txt|last=Plotnick|first=Steven P. |year=1984}}, {{harvtxt|Gompf|1991}}, {{harvtxt|Habiro|Marumoto|Yamada|2000}}, {{harvs|txt|last=Akbulut|first=Selman|authorlink=Selman Akbulut| year=2010}}, {{harvtxt|Gompf|2010}}, {{harvtxt|Kim | Yamada|2017}}.
+एक्जाॅटिक 4-वृत्तों के लिए प्रस्तावित कुछ उम्मीदवार कैपेल-शेनसन वृत्त हैं, ({{harvs|txt|last1=कैपेल|first1=सिल्वेन|authorlink1=सिल्वेन कैपेल|last2=शेनसन|first2=जूलियस|authorlink2=जूलियस शैनेसन|year=1976}}) और ग्लुक ट्विस्ट द्वारा व्युत्पन्न {{harv|ग्लक|1962}} ट्विस्ट वृत्त का निर्माण S में 2-वृत्त S<sup>4</sup> के ट्यूबलर का समीपस्थ भाग को काटकर किया जाता है, और इसकी सीमा S<sup>2</sup>×S<sup>1</sup> की भिन्नता का उपयोग करके इसे वापस संयोजित दिया गया हैं। इसका परिणाम सदैव S<sup>4</sup> के समरूपी होता है, इसके पिछले कुछ वर्षों में कई मामलों को सुचारु 4 आयामी पोंकारे अनुमान के संभावित प्रतिउदाहरण के रूप में निरस्त कर दिया गया था। उदाहरण के लिए, {{harvs|txt|last=गॉर्डन|first=कैमरून|authorlink=कैमरून गॉर्डन (गणितज्ञ)| year=1976}}, {{harvs|txt|last=मोंटेसिनो|first=जोस|year=1983}}, {{harvs|txt|last=प्लॉटनिक|first=स्टीवन पी. |year=1984}}, {{harvtxt|गोम्फ|1991}}, {{harvtxt|हाबिरो|मारुमोटो|यामाडा|2000}}, {{harvs|txt|last=अकबुलुत|first=सेल्मन|authorlink=सेल्मन| year=2010}}, {{harvtxt|गाॅम्फ|2010}}, {{harvtxt|किम|यामाडा|2017}} इसका प्रमुख उदाहरण हैं।
 ==यह भी देखें==
-* मिल्नोर का क्षेत्र
+* मिल्नोर का वृत्त
 *[[एटलस (टोपोलॉजी)]]
 *[[क्लचिंग निर्माण]]
-*विदेशी आर4|विदेशी आर<sup>4</sup>
+*एक्जाॅटिक R4 या एक्जाॅटिक R<sup>4</sup>
 *[[सेर्फ़ सिद्धांत]]
-*सात-आयामी अंतरिक्ष
+*सात-आयामी क्षेत्र
 ==संदर्भ==

Anonymous

Search

असामान्‍य गोला (एक्जाॅटिक स्फीयर): Difference between revisions

Namespaces

More

Page actions

Revision as of 21:31, 9 July 2023

Contents

परिचय