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

गणित के वृत्त में जिसे विभेदक टोपोलॉजी कहा जाता है, एक्जाॅटिक वृत्त अलग-अलग मैनिफोल्ड के समान हैं जिसे 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-वृत्त पर कोई एक्जाॅटिक संरचना संभव नहीं है। इस प्रकार कुछ उच्च-आयामी वृत्तों में केवल दो संभावित भिन्न संरचनाएं होती हैं, अन्य में हजारों होती हैं। यहाँ ध्यान देने वाली बात यह हैं कि क्या एक्जाॅटिक 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⁶¹ की अद्वितीय समतल संरचना है, और इस प्रकार यह इस मान के साथ अंतिम विषम-आयामी वृत्त है - केवल S¹, S³, S⁵, और S⁶¹ ही इसका उदाहरण प्रकट करते हैं।

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

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

John Milnor (2009, p.12)

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

Main article: मिल्नर वृत्त

इस प्रकार यह खोजा गया हैं कि एक्जाॅटिक वृत्त के पहले उदाहरणों में से मिल्नर (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⁴
• सेर्फ़ सिद्धांत
• सात-आयामी क्षेत्र

संदर्भ

• 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