फ़्लोर होमोलॉजी: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Symplectic topology tool}}
{{Short description|Symplectic topology tool}}
गणित में, फ़्लोर [[होमोलॉजी (गणित)]] [[सिंपलेक्टिक ज्यामिति]] और निम्न-आयामी [[टोपोलॉजी]] का अध्ययन करने के लिए उपकरण है। फ़्लोर होमोलॉजी उपन्यास [[अपरिवर्तनीय (गणित)]] है जो परिमित-आयामी [[मोर्स होमोलॉजी]] के अनंत-आयामी एनालॉग के रूप में उत्पन्न होता है। [[एंड्रियास फ़्लोर]] ने सहानुभूति ज्यामिति में [[अर्नोल्ड अनुमान]] के अपने प्रमाण में फ़्लोर होमोलॉजी का पहला संस्करण पेश किया, जिसे अब लैग्रेंजियन फ़्लोर होमोलॉजी कहा जाता है। फ़्लोअर ने सिंपलेक्टिक [[मैनिफोल्ड (गणित)]] के [[लैग्रेंजियन सबमैनिफोल्ड]]्स के लिए निकट से संबंधित सिद्धांत भी विकसित किया। तीसरा निर्माण, फ़्लोर के कारण भी, यांग-मिल्स सिद्धांत | यांग-मिल्स कार्यात्मक का उपयोग करके होमोलॉजी समूहों को बंद त्रि-आयामी मैनिफोल्ड्स से जोड़ता है। ये निर्माण और उनके वंशज सिम्प्लेक्टिक और संपर्क मैनिफोल्ड्स के साथ-साथ (सुचारू) तीन- और चार-आयामी मैनिफोल्ड्स की टोपोलॉजी में वर्तमान जांच में मौलिक भूमिका निभाते हैं।
गणित में, फ़्लोर [[होमोलॉजी (गणित)|समरूपता]] [[सिंपलेक्टिक ज्यामिति]] और निम्न-आयामी [[टोपोलॉजी|सांस्थिति]] का अध्ययन करने के लिए एक उपकरण होता है। फ़्लोर समरूपता  उपन्यास [[अपरिवर्तनीय (गणित)|अपरिवर्तनीय]] होता है जो परिमित-आयामी [[मोर्स होमोलॉजी|मोर्स समरूपता]] के अनंत-आयामी कलन विधि  के रूप में उत्पन्न होता है। [[एंड्रियास फ़्लोर]] ने फ़्लोर ज्यामिति में [[अर्नोल्ड अनुमान]] के अपने प्रमाण में फ़्लोर समरूपता  का पहला संस्करण प्रस्तुत किया था, जिसे अब लैग्रेंजियन फ़्लोर समरूपता  कहा जाता है। फ़्लोअर ने सिंपलेक्टिक [[मैनिफोल्ड (गणित)|बहुरूपता]] के [[लैग्रेंजियन सबमैनिफोल्ड|लैग्रेंजियन सबबहुरूपता]] के लिए निकट से संबंधित सिद्धांत भी विकसित किया था। तीसरा निर्माण, फ़्लोर के कारण भी, यांग-मिल्स सिद्धांत कार्यात्मक का उपयोग करके समरूपता  समूहों को संवृत त्रि-आयामी बहुरूपता से जोड़ता है। ये निर्माण और उनके वंशज सिम्प्लेक्टिक और संपर्क बहुरूपता के साथ-साथ (सुचारू) तीन- और चार-आयामी बहुरूपता की सांस्थिति  में वर्तमान जांच में मौलिक भूमिका निभाते हैं।


फ़्लोर होमोलॉजी को आम तौर पर रुचि की वस्तु के साथ अनंत-आयामी मैनिफोल्ड और उस पर वास्तविक मूल्यवान फ़ंक्शन को जोड़कर परिभाषित किया जाता है। सिंपलेक्टिक संस्करण में, यह सिंपलेक्टिक मैनिफोल्ड का फ्री [[लूप स्पेस]] है जिसमें सिंपलेक्टिक एक्शन फंक्शनल है। थ्री-मैनिफोल्ड्स के लिए ([[ एक पल | पल]] ) संस्करण के लिए, यह चेर्न-साइमन्स फ़ंक्शनल के साथ त्रि-आयामी मैनिफोल्ड पर एसयू(2)-[[कनेक्शन (गणित)]] का स्थान है। शिथिल रूप से कहें तो, फ़्लोर होमोलॉजी अनंत-आयामी मैनिफोल्ड पर फ़ंक्शन की मोर्स होमोलॉजी है। फ़्लोर [[श्रृंखला जटिल]] फ़ंक्शन के [[महत्वपूर्ण बिंदु (गणित)]] (या संभवतः महत्वपूर्ण बिंदुओं के कुछ संग्रह) द्वारा फैले [[एबेलियन समूह]] से बनता है। श्रृंखला परिसर के [[विभेदक रूप]] को महत्वपूर्ण बिंदुओं (या उनके संग्रह) के कुछ जोड़े को जोड़ने वाले फ़ंक्शन की ढाल प्रवाह रेखाओं की गणना करके परिभाषित किया गया है। फ़्लोर होमोलॉजी इस श्रृंखला परिसर की होमोलॉजी (गणित) है।
फ़्लोर समरूपता  को सामान्यतः रुचि की वस्तु के साथ अनंत-आयामी बहुरूपता और उस पर वास्तविक मूल्यवान फलन को जोड़कर परिभाषित किया जाता है। सिंपलेक्टिक संस्करण में, यह सिंपलेक्टिक बहुरूपता का मुक्त [[लूप स्पेस|लूप स्थान]] होता है जिसमें सिंपलेक्टिक एक्शन फलन होता है। त्री-बहुरूपता के लिए ([[ एक पल | तत्काल प्रभावी]]) संस्करण के लिए, यह चेर्न-साइमन्स फलन के साथ त्रि-आयामी बहुरूपता पर SU(2)-[[कनेक्शन (गणित)|सम्बन्ध]] का स्थान होता है। शिथिल रूप से कहें तो, फ़्लोर समरूपता  अनंत-आयामी बहुरूपता पर फलन की मोर्स समरूपता होती है। फ़्लोर [[श्रृंखला जटिल]] फलन के [[महत्वपूर्ण बिंदु (गणित)|महत्वपूर्ण बिंदु]] (या संभवतः महत्वपूर्ण बिंदुओं के कुछ संग्रह) द्वारा फैले [[एबेलियन समूह]] से बनता है। श्रृंखला परिसर के [[विभेदक रूप]] को महत्वपूर्ण बिंदुओं (या उनके संग्रह) के कुछ जोड़े को जोड़ने वाले फलन की क्रमिक प्रवाह रेखाओं की गणना करके परिभाषित किया जाता है। फ़्लोर समरूपता इस श्रृंखला परिसर की समरूपता होती है।


[[ ग्रेडियेंट | ग्रेडियेंट]] [[फ्लो लाइन्स]] समीकरण, ऐसी स्थिति में जहां फ़्लोर के विचारों को सफलतापूर्वक लागू किया जा सकता है, आमतौर पर ज्यामितीय रूप से सार्थक और विश्लेषणात्मक रूप से ट्रैक करने योग्य समीकरण है। सिम्प्लेक्टिक फ़्लोअर होमोलॉजी के लिए, लूपस्पेस में पथ के लिए ग्रेडिएंट फ्लो समीकरण ब्याज के [[सिंपलेक्टिक मैनिफ़ोल्ड]] के लिए सिलेंडर (लूप के पथ का कुल स्थान) के मानचित्र के लिए कॉची-रीमैन समीकरण (का विकृत संस्करण) है; समाधानों को [[स्यूडोहोलोमोर्फिक वक्र]] के रूप में जाना जाता है। ग्रोमोव की कॉम्पैक्टनेस प्रमेय (टोपोलॉजी) का उपयोग तब यह दिखाने के लिए किया जाता है कि अंतर अच्छी तरह से परिभाषित है और शून्य का वर्ग है, ताकि फ़्लोर होमोलॉजी को परिभाषित किया जा सके। इंस्टेंटन फ़्लोर होमोलॉजी के लिए, ग्रेडिएंट फ़्लो समीकरण वास्तव में वास्तविक रेखा के साथ पार किए गए तीन गुना पर यांग-मिल्स समीकरण है।
[[ ग्रेडियेंट | क्रमिक]] [[फ्लो लाइन्स|प्रवाह रेखाएँ]] समीकरण, ऐसी स्थिति में जहां फ़्लोर के विचारों को सफलतापूर्वक प्रयुक्त किया जा सकता है, सामान्यतः ज्यामितीय रूप से सार्थक और विश्लेषणात्मक रूप से अन्वेषण करने योग्य समीकरण होते है। सिम्प्लेक्टिक फ़्लोअर समरूपता  के लिए, लूपस्पेस में पथ के लिए क्रमिक प्रवाह समीकरण ब्याज के [[सिंपलेक्टिक मैनिफ़ोल्ड|सिंपलेक्टिक बहुरूपता]] के लिए सिलेंडर (लूप के पथ का कुल स्थान) के मानचित्र के लिए कॉची-रीमैन समीकरण (का विकृत संस्करण) होता है; उपायों को [[स्यूडोहोलोमोर्फिक वक्र]] के रूप में जाना जाता है। ग्रोमोव की सघननेस प्रमेय (सांस्थिति ) का उपयोग तब यह दिखाने के लिए किया जाता है कि विभेदन अच्छी तरह से परिभाषित होता है और शून्य का वर्ग होता है, जिससें फ़्लोर समरूपता को परिभाषित किया जा सके। तत्काल फ़्लोर समरूपता  के लिए, क्रमिक प्रवाह समीकरण वास्तव में वास्तविक रेखा के साथ पार किए गए तीन गुना पर यांग-मिल्स समीकरण होता है।


==सिम्पलेक्टिक फ़्लोर होमोलॉजी==
==सिम्पलेक्टिक फ़्लोर समरूपता ==


सिंपलेक्टिक फ़्लोर होमोलॉजी (एसएफएच) समरूपता सिद्धांत है जो सिंपलेक्टिक मैनिफोल्ड और इसके गैर-अपक्षयी [[लक्षणरूपता]] से जुड़ा है। यदि सिम्पलेक्टोमोर्फिज्म सिम्पलेक्टोमोर्फिज्म है, तो समरूपता सिम्पलेक्टिक मैनिफोल्ड के [[मुक्त लूप स्थान]] ([[सार्वभौमिक आवरण]]) पर कार्यात्मक [[सहानुभूतिपूर्ण क्रिया]] का अध्ययन करने से उत्पन्न होती है। एसएफएच सिम्प्लेक्टोमोर्फिज्म के [[हैमिल्टनियन आइसोटोपी]] के तहत अपरिवर्तनीय है।
सिंपलेक्टिक फ़्लोर समरूपता (एसएफएच) समरूपता सिद्धांत है जो सिंपलेक्टिक बहुरूपता और इसके गैर-अपक्षयी [[लक्षणरूपता]] से जुड़ा होता है। यदि सिम्पलेक्टोमोर्फिज्म होता है, तो समरूपता सिम्पलेक्टिक बहुरूपता के [[मुक्त लूप स्थान]] ([[सार्वभौमिक आवरण]]) पर कार्यात्मक [[सहानुभूतिपूर्ण क्रिया|फ़्लोरपूर्ण क्रिया]] का अध्ययन करने से उत्पन्न होती है। एसएफएच सिम्प्लेक्टोमोर्फिज्म के [[हैमिल्टनियन आइसोटोपी]] के तहत अपरिवर्तनीय होता है।


यहां, नॉनडिजेनरेसी का मतलब है कि 1 इसके किसी भी निश्चित बिंदु पर सिम्प्लेक्टोमोर्फिज्म के व्युत्पन्न का आइगेनवैल्यू नहीं है। इस शर्त का तात्पर्य है कि निश्चित बिंदु अलग-थलग हैं। एसएफएच ऐसे सिम्पलेक्टोमोर्फिज्म के [[निश्चित बिंदु (गणित)]] द्वारा उत्पन्न श्रृंखला परिसर की समरूपता है, जहां अंतर वास्तविक रेखा के उत्पाद और सिम्पलेक्टोमोर्फिज्म के [[मैपिंग टोरस]] में कुछ स्यूडो[[होलोमोर्फिक वक्र]]ों की गणना करता है। यह स्वयं मूल मैनिफोल्ड से दो बड़े आयामों का सिम्प्लेक्टिक मैनिफोल्ड है। [[लगभग जटिल संरचना]] के उचित विकल्प के लिए, इसमें छिद्रित होलोमोर्फिक वक्र (परिमित ऊर्जा के) में सिम्प्लेक्टोमोर्फिज्म के निश्चित बिंदुओं के अनुरूप मैपिंग टोरस में लूपों के लिए बेलनाकार सिरे होते हैं। सापेक्ष सूचकांक को निश्चित बिंदुओं के जोड़े के बीच परिभाषित किया जा सकता है, और अंतर सापेक्ष सूचकांक 1 के साथ होलोमोर्फिक सिलेंडरों की संख्या की गणना करता है।
यहां, गैर-विक्षिप्तता का अर्थ है कि 1 इसके किसी भी निश्चित बिंदु पर सिम्प्लेक्टोमोर्फिज्म के व्युत्पन्न का आइगेनवैल्यू नहीं है। इस उद्देश्य का तात्पर्य है कि निश्चित बिंदु अलग-थलग हैं। एसएफएच ऐसे सिम्पलेक्टोमोर्फिज्म के [[निश्चित बिंदु (गणित)|निश्चित बिंदु]] द्वारा उत्पन्न श्रृंखला परिसर की समरूपता है, जहां विभेदक वास्तविक रेखा के उत्पाद और सिम्पलेक्टोमोर्फिज्म के [[मैपिंग टोरस|मानचित्र टोरस]] में कुछ स्यूडो[[होलोमोर्फिक वक्र|होलोमोर्फिक वक्रों]] की गणना करता है। यह स्वयं मूल बहुरूपता से दो बड़े आयामों का सिम्प्लेक्टिक बहुरूपता होती है। [[लगभग जटिल संरचना|न्यूनाधिक जटिल संरचना]] के उचित विकल्प के लिए, इसमें छिद्रित होलोमोर्फिक वक्र (परिमित ऊर्जा के) में सिम्प्लेक्टोमोर्फिज्म के निश्चित बिंदुओं के अनुरूप मानचित्र टोरस में लूपों के लिए बेलनाकार सिरे होते हैं। सापेक्ष सूचकांक को निश्चित बिंदुओं के जोड़े के मध्य  परिभाषित किया जा सकता है, और इस प्रकार विभेदक सापेक्ष सूचकांक 1 के साथ होलोमोर्फिक सिलेंडरों की संख्या की गणना करता है।


कॉम्पैक्ट मैनिफोल्ड के हैमिल्टनियन सिम्प्लेक्टोमोर्फिज्म की सिंपलेक्टिक फ़्लोर होमोलॉजी, अंतर्निहित मैनिफोल्ड के एकवचन होमोलॉजी के लिए आइसोमोर्फिक है। इस प्रकार, उस मैनिफ़ोल्ड की बेट्टी संख्याओं का योग गैर-अपक्षयी लक्षणवाद के लिए निश्चित बिंदुओं की संख्या के लिए अर्नोल्ड अनुमान के संस्करण द्वारा अनुमानित निचली सीमा उत्पन्न करता है। हैमिल्टनियन सिम्प्लेक्टोमोर्फिज्म के एसएफएच में पैंट (गणित) उत्पाद की जोड़ी भी है जो [[क्वांटम कोहोमोलॉजी]] के बराबर विकृत [[कप उत्पाद]] है। गैर-सटीक लक्षणात्मकता के लिए उत्पाद का संस्करण भी मौजूद है।
सघन बहुरूपता के हैमिल्टनियन सिम्प्लेक्टोमोर्फिज्म की सिंपलेक्टिक फ़्लोर समरूपता, अंतर्निहित बहुरूपता के एकवचन समरूपता  के लिए समरूपी होता है। इस प्रकार, उस बहुरूपता की बेट्टी संख्याओं का योग गैर-अपक्षयी लक्षणवाद के लिए निश्चित बिंदुओं की संख्या के लिए अर्नोल्ड अनुमान के संस्करण द्वारा अनुमानित निचली सीमा उत्पन्न करता है। हैमिल्टनियन सिम्प्लेक्टोमोर्फिज्म के एसएफएच में पैंट जोड़ी का उत्पाद भी है जो [[क्वांटम कोहोमोलॉजी|क्वांटम सह-समरूपता]] के सामान्तर विकृत [[कप उत्पाद]] है। गैर-स्पष्ट सिंपलेक्टोमोर्फ्स के लिए उत्पाद का संस्करण भी उपस्थित होता है।


मैनिफोल्ड एम के [[कोटैंजेंट बंडल]] के लिए, फ़्लोर होमोलॉजी इसकी गैर-कॉम्पैक्टनेस के कारण हैमिल्टनियन की पसंद पर निर्भर करती है। हैमिल्टनवासियों के लिए जो अनंत पर द्विघात हैं, फ़्लोर होमोलॉजी एम के मुक्त लूप स्थान की एकवचन होमोलॉजी है (इस कथन के विभिन्न संस्करणों के प्रमाण विटर्बो, सलामोन-वेबर, एबोंडांडोलो-श्वार्ज़ और कोहेन के कारण हैं)। कोटैंजेंट बंडल के फ़्लोर होमोलॉजी पर अधिक जटिल ऑपरेशन हैं जो अंतर्निहित मैनिफोल्ड के लूप स्पेस की होमोलॉजी पर [[स्ट्रिंग टोपोलॉजी]] ऑपरेशन के अनुरूप हैं।
बहुरूपता M के [[कोटैंजेंट बंडल]] के लिए, फ़्लोर समरूपता इसकी गैर-सघननेस के कारण हैमिल्टनियन की पसंद पर निर्भर करती है। हैमिल्टनियन्स के लिए जो अनंत पर द्विघात होता हैं, फ़्लोर समरूपता M के मुक्त लूप स्थान की एकवचन समरूपता होती है (इस कथन के विभिन्न संस्करणों के प्रमाण विटर्बो, सलामोन-वेबर, एबोंडांडोलो-श्वार्ज़ और कोहेन के कारण होता हैं)। कोटैंजेंट बंडल के फ़्लोर समरूपता  पर अधिक जटिल संचालन होता हैं जो अंतर्निहित बहुरूपता के लूप स्पेस की समरूपता पर [[स्ट्रिंग टोपोलॉजी|स्ट्रिंग सांस्थिति]] ऑपरेशन के अनुरूप होता हैं।


फ़्लोर होमोलॉजी का सहानुभूतिपूर्ण संस्करण [[समरूप दर्पण समरूपता]] अनुमान के निर्माण में महत्वपूर्ण तरीके से सामने आता है।
फ़्लोर समरूपता का सिंपलेक्टिक संस्करण [[समरूप दर्पण समरूपता]] अनुमान के निर्माण में महत्वपूर्ण विधि से सामने आता है।


===पीएसएस समरूपता===
===पीएसएस समरूपता===
1996 में एस. पियुनिखिन, डी. सलामोन और एम. श्वार्ज़ ने फ़्लोर होमोलॉजी और [[ क्वांटम कोहॉमोलॉजी रिंग |क्वांटम कोहॉमोलॉजी रिंग]] के बीच संबंध के बारे में परिणामों को संक्षेप में प्रस्तुत किया और निम्नलिखित के रूप में तैयार किया।{{harvtxt|Piunikhin|Salamon|Schwarz|1996}}
1996 में एस. पियुनिखिन, डी. सलामोन और एम. श्वार्ज़ ने फ़्लोर समरूपता और [[ क्वांटम कोहॉमोलॉजी रिंग |क्वांटम सह-समरूपता रिंग]] के मध्य  संबंध के बारे में परिणामों को संक्षेप में प्रस्तुत किया जाता और निम्नलिखित के रूप में प्रदर्शित किया जाता है।{{harvtxt|पियुनिखिन|सलामोन | श्वार्ज़|1996}}


:*अर्ध-सकारात्मक सिम्पलेक्टिक मैनिफोल्ड (एम,ω) के लूप स्पेस के फ़्लोर कोहोमोलॉजी समूह एम के सामान्य कोहोमोलॉजी के लिए स्वाभाविक रूप से आइसोमोर्फिक हैं, जो [[डेक परिवर्तन]] के समूह से जुड़े उपयुक्त [[नोविकोव रिंग]] द्वारा तनावग्रस्त हैं।
* अर्ध-सकारात्मक सिम्पलेक्टिक बहुरूपता (''M'',ω) के लूप स्पेस के फ़्लोर सह-समरूपता  समूह ''M'' के सामान्य सह-समरूपता  के लिए स्वाभाविक रूप से समरूपी होता हैं, जो [[डेक परिवर्तन]] के समूह से जुड़े उपयुक्त [[नोविकोव रिंग]] द्वारा तन्य होता हैं।
:*यह समरूपता एम के [[सह-समरूपता]] पर [[क्वांटम कप उत्पाद]] संरचना को फ़्लोर समरूपता पर जोड़ी-पैंट उत्पाद के साथ जोड़ती है।


अर्ध-सकारात्मक की उपरोक्त स्थिति और सिंपलेक्टिक मैनिफोल्ड एम की सघनता हमारे लिए क्वांटम कोहोमोलॉजी#नोविकोव रिंग प्राप्त करने और फ़्लोर होमोलॉजी और क्वांटम कोहोमोलॉजी दोनों की परिभाषा के लिए आवश्यक है। अर्ध-सकारात्मक स्थिति का अर्थ है कि निम्नलिखित में से कोई धारण करता है (ध्यान दें कि तीन मामले असंयुक्त नहीं हैं):
* यह समरूपता ''M'' के [[सह-समरूपता]] पर [[क्वांटम कप उत्पाद]] संरचना को फ़्लोर समरूपता पर जोड़ी-पैंट उत्पाद के साथ जोड़ती है।


:*<math>\langle [\omega],A\rangle=\lambda\langle c_1,A\rangle</math> π में प्रत्येक A के लिए<sub>2</sub>(एम) जहां λ≥0 (एम मोनोटोन है)।
अर्ध-सकारात्मक की उपरोक्त स्थिति और सिंपलेक्टिक बहुरूपता ''M'' की सघनता हमारे लिए क्वांटम सह-समरूपता नोविकोव रिंग प्राप्त करने और फ़्लोर समरूपता और क्वांटम सह-समरूपता  दोनों की परिभाषा के लिए आवश्यक होता है। अर्ध-सकारात्मक स्थिति का अर्थ है कि निम्नलिखित में से कोई धारण करता है (ध्यान दें कि तीन स्थिति असंयुक्त नहीं होता हैं):
:*<math>\langle c_1,A\rangle=0</math> प्रत्येक ए के लिए {{pi}}<sub>2</sub>(एम)
:*न्यूनतम चेर्न संख्या N ≥ 0 द्वारा परिभाषित <math>\langle c_1,\pi_2(M)\rangle=N\mathbb{Z}</math> n − 2 से बड़ा या उसके बराबर है।


सिम्प्लेक्टिक मैनिफोल्ड एम के क्वांटम कोहोमोलॉजी समूह को नोविकोव रिंग Λ के साथ सामान्य कोहोमोलॉजी के टेंसर उत्पादों के रूप में परिभाषित किया जा सकता है, यानी।
* <math>\langle [\omega],A\rangle=\lambda\langle c_1,A\rangle</math> π<sub>2</sub>(''M'') में प्रत्येक A के लिए होता है जहाँ λ≥0 (M मोनोटोन है) होता है।


::<math>QH_*(M)=H_*(M)\otimes\Lambda.</math>
* <math>\langle c_1,A\rangle=0</math> π<sub>2</sub>(''M'') में प्रत्येक A के लिए होता है।
फ़्लोर होमोलॉजी का यह निर्माण एम पर लगभग जटिल संरचना की पसंद पर स्वतंत्रता और [[मोर्स सिद्धांत]] और स्यूडोहोलोमोर्फिक वक्रों के विचारों से प्रदान की गई फ़्लोर होमोलॉजी के समरूपता की व्याख्या करता है, जहां हमें पृष्ठभूमि के रूप में होमोलॉजी और कोहोलॉजी के बीच पोंकारे द्वंद्व को पहचानना चाहिए।


==[[ तीन manifolds | तीन manifolds]] की फ़्लोर होमोलॉजी==
* न्यूनतम चेर्न संख्या N ≥ 0 द्वारा परिभाषित <math>\langle c_1,\pi_2(M)\rangle=N\mathbb{Z}</math> n − 2 से बड़ा या उसके सामान्तर होता है।
[[कई गुना बंद]] थ्री-मैनिफ़ोल्ड्स से संबंधित कई समतुल्य फ़्लोअर समरूपताएँ हैं। प्रत्येक से तीन प्रकार के समरूपता समूह उत्पन्न होते हैं, जो सटीक त्रिभुज में फिट होते हैं। थ्री-मैनिफोल्ड में गाँठ प्रत्येक सिद्धांत के श्रृंखला परिसर पर निस्पंदन प्रेरित करती है, जिसकी श्रृंखला होमोटॉपी प्रकार गाँठ अपरिवर्तनीय है। (उनकी समरूपताएं संयुक्त रूप से परिभाषित खोवानोव समरूपता के समान औपचारिक गुणों को संतुष्ट करती हैं।)


ये समरूपताएं 4-मैनिफोल्ड्स के डोनाल्डसन और सीबर्ग इनवेरिएंट के साथ-साथ सिम्प्लेक्टिक 4-मैनिफोल्ड्स के टाउब्स के ग्रोमोव इनवेरिएंट से निकटता से संबंधित हैं; इन सिद्धांतों के अनुरूप तीन गुना समरूपताओं के अंतरों का अध्ययन प्रासंगिक अंतर समीकरणों (यांग-मिल्स सिद्धांत|यांग-मिल्स, सेइबर्ग-विटन गेज सिद्धांत|सेइबर्ग-विटन, और कॉची-रीमैन समीकरण|कॉची-) के समाधान पर विचार करके किया जाता है। रीमैन, क्रमशः) 3-मैनिफोल्ड क्रॉस आर पर। 3-मैनिफोल्ड फ़्लोर होमोलॉजीज़ को सीमा के साथ चार-मैनिफ़ोल्ड के लिए सापेक्ष इनवेरिएंट का लक्ष्य भी होना चाहिए, जो साथ ग्लूइंग द्वारा प्राप्त बंद 4-मैनिफोल्ड के इनवेरिएंट को ग्लूइंग निर्माण से संबंधित है। उनकी सीमाओं के साथ 3 गुना घिरा हुआ। ([[टोपोलॉजिकल क्वांटम क्षेत्र सिद्धांत]] सिद्धांत की धारणा से निकटता से संबंधित है।) हीगार्ड फ़्लोर होमोलॉजी के लिए, 3-मैनिफ़ोल्ड होमोलॉजी को पहले परिभाषित किया गया था, और बंद 4-मैनिफ़ोल्ड के लिए अपरिवर्तनीय को बाद में इसके संदर्भ में परिभाषित किया गया था।
सिम्प्लेक्टिक बहुरूपता एम के क्वांटम सह-समरूपता  समूह को नोविकोव रिंग Λ के साथ सामान्य सह-समरूपता के टेंसर उत्पादों के रूप में परिभाषित किया जा सकता है, अर्थात्।


सीमा के साथ 3-मैनिफोल्ड होमोलॉजी का 3-मैनिफोल्ड तक विस्तार भी है: सिले हुए फ़्लोर होमोलॉजी {{harv|Juhász|2008}} और सीमाबद्ध फ़्लोर समरूपता {{harv|Lipshitz|Ozsváth|Thurston|2008}}. ये सीमा के साथ दो 3-मैनिफोल्ड की सीमा के साथ संघ के रूप में वर्णित 3-मैनिफोल्ड के फ़्लोर होमोलॉजी के लिए ग्लूइंग फ़ार्मुलों द्वारा बंद 3-मैनिफ़ोल्ड के लिए अपरिवर्तनीय से संबंधित हैं।
<math>QH_*(M)=H_*(M)\otimes\Lambda.</math>


यदि [[ तीन गुना |तीन गुना]] [[संपर्क संरचना]] से सुसज्जित है, तो थ्री-मैनिफोल्ड फ़्लोर होमोलॉजीज़ भी होमोलॉजी के विशिष्ट तत्व से सुसज्जित हैं। क्रोनहाइमर और म्रोका ने सबसे पहले सेइबर्ग-विटन मामले में संपर्क तत्व पेश किया। ओज़स्वाथ और स्जाबो ने कॉन्टैक्ट मैनिफोल्ड्स और ओपन बुक डीकंपोजिशन के बीच गिरौक्स के संबंध का उपयोग करके हीगार्ड फ़्लोर होमोलॉजी के लिए इसका निर्माण किया, और यह एम्बेडेड कॉन्टैक्ट होमोलॉजी में खाली सेट के होमोलॉजी वर्ग के रूप में मुफ्त में आता है। (जिसे, अन्य तीन के विपरीत, इसकी परिभाषा के लिए संपर्क होमोलॉजी की आवश्यकता होती है। एम्बेडेड संपर्क होमोलॉजी के लिए देखें {{harvtxt|Hutchings|2009}}.
फ़्लोर समरूपता  का यह निर्माण ''M'' पर न्यूनाधिक जटिल संरचना की पसंद पर स्वतंत्रता और [[मोर्स सिद्धांत]] और स्यूडोहोलोमोर्फिक वक्रों के विचारों से प्रदान की गई फ़्लोर समरूपता के समरूपता की व्याख्या करता है, जहां हमें पृष्ठभूमि के रूप में समरूपता और सह-समरूपता  के मध्य  पोंकारे द्वंद्व को पहचाना जाता है।


ये सभी सिद्धांत प्राथमिक सापेक्ष ग्रेडिंग से सुसज्जित हैं; इन्हें क्रोनहाइमर और म्रोका (एसडब्ल्यूएफ के लिए), ग्रिप और हुआंग (एचएफ के लिए), और हचिंग्स (ईसीएच के लिए) द्वारा पूर्ण ग्रेडिंग (ओरिएंटेड 2-प्लेन फ़ील्ड के होमोटोपी वर्गों द्वारा) तक उठा लिया गया है। क्रिस्टोफ़ारो-गार्डिनर ने दिखाया है कि ईसीएच और सीबर्ग-विटन फ़्लोर कोहोलॉजी के बीच ताउब्स की समरूपता इन पूर्ण ग्रेडिंग को संरक्षित करती है।
==[[ तीन manifolds | त्री बहुरूपता]] की फ़्लोर समरूपता ==
[[कई गुना बंद|कई गुना संवृत]] त्री-बहुरूपता्स से संबंधित कई समतुल्य फ़्लोअर समरूपताएँ उपस्थित होती हैं। प्रत्येक से तीन प्रकार के समरूपता समूह उत्पन्न होते हैं, जो त्रुटिहीन त्रिभुज में स्थापित होते हैं। त्री-बहुरूपता में ग्रंथि प्रत्येक सिद्धांत के श्रृंखला परिसर पर निस्पंदन प्रेरित करती है, जिसकी श्रृंखला होमोटॉपी प्रकार ग्रंथि अपरिवर्तनीय है। (उनकी समरूपताएं संयुक्त रूप से परिभाषित खोवानोव समरूपता के समान औपचारिक गुणों को परितृप्त करती हैं।)


===इंस्टेंटन फ़्लोर होमोलॉजी===
ये समरूपताएं 4-बहुरूपता के डोनाल्डसन और सीबर्ग इनवेरिएंट के साथ-साथ सिम्प्लेक्टिक 4-बहुरूपता के टाउब्स के ग्रोमोव इनवेरिएंट से निकटता से संबंधित होता हैं; इन सिद्धांतों के अनुरूप तीन गुना समरूपताओं के विभेदकों का अध्ययन प्रासंगिक विभेदक समीकरणों (क्रमशः यांग-मिल्स, सेइबर्ग-विटन और कॉची-रीमैन) के समाधान पर विचार करके किया जाता है। 3-बहुरूपता क्रॉस आर फ़्लोर समरूपता को सीमा के साथ चार-बहुरूपता के लिए सापेक्ष इनवेरिएंट का लक्ष्य भी होना चाहिए, जो कि उनकी सीमाओं के साथ बंधे हुए 3-मैनिफोल्ड्स को एक साथ जोड़कर प्राप्त किए गए बंद 4-मैनिफोल्ड के इनवेरिएंट्स को ग्लूइंग निर्माण से संबंधित है।([[टोपोलॉजिकल क्वांटम क्षेत्र सिद्धांत]] सिद्धांत की धारणा से निकटता से संबंधित है।) हीगार्ड फ़्लोर समरूपता  के लिए, 3-बहुरूपता समरूपता  को पहले परिभाषित किया गया था, और संवृत 4-बहुरूपता के लिए अपरिवर्तनीय को बाद में इसके संदर्भ में परिभाषित किया गया था।
यह फ़्लोअर द्वारा स्वयं प्रस्तुत [[डोनाल्डसन सिद्धांत]] से जुड़ा तीन गुना अपरिवर्तनीय है। यह चेर्न-साइमन्स सिद्धांत का उपयोग करके प्राप्त किया जाता है | चेर्न-साइमन्स [[प्रमुख बंडल]] [[एसयू(2)]]-बंडल पर कनेक्शन (गणित) के स्थान पर तीन-मैनिफोल्ड (अधिक सटीक रूप से, होमोलॉजी 3-गोले) पर कार्य करता है। इसके महत्वपूर्ण बिंदु [[फ्लैट कनेक्शन]] हैं और इसकी प्रवाह रेखाएं इंस्टेंटन हैं, यानी वास्तविक रेखा के साथ पार किए गए तीन गुना पर एंटी-सेल्फ-डुअल कनेक्शन। इंस्टेंटन फ़्लोर होमोलॉजी को [[ कैसन अपरिवर्तनीय |कैसन अपरिवर्तनीय]] के सामान्यीकरण के रूप में देखा जा सकता है क्योंकि फ़्लोर होमोलॉजी की [[यूलर विशेषता]] कैसन इनवेरिएंट से सहमत है।


फ़्लोर द्वारा फ़्लोर होमोलॉजी की शुरुआत के तुरंत बाद, डोनाल्डसन को एहसास हुआ कि कोबॉर्डिज़्म मानचित्रों को प्रेरित करते हैं। यह संरचना का पहला उदाहरण था जिसे टोपोलॉजिकल क्वांटम फ़ील्ड सिद्धांत के रूप में जाना जाता है।
सीमा के साथ 3-बहुरूपता समरूपता  का 3-बहुरूपता तक विस्तार भी है: सिले हुए फ़्लोर समरूपता  {{harv|जुहाज़्ज़|2008}} और सीमाबद्ध फ़्लोर समरूपता {{harv|लिपशिट्ज़|ओज़स्वथ|थर्स्टन|2008}} होती है। ये सीमा के साथ दो 3-बहुरूपता की सीमा के साथ संघ के रूप में वर्णित 3-बहुरूपता के फ़्लोर समरूपता  के लिए ग्लूइंग फ़ार्मुलों द्वारा संवृत 3-बहुरूपता के लिए अपरिवर्तनीय से संबंधित होता हैं।


===सेइबर्ग-विटन फ़्लोर होमोलॉजी===
यदि [[ तीन गुना |त्रिगुणित]] [[संपर्क संरचना]] से सुसज्जित होता है, तो त्री-बहुरूपता फ़्लोर समरूपता भी समरूपता  के विशिष्ट तत्व से सुसज्जित होता हैं। क्रोनहाइमर और म्रोका ने सबसे पहले सेइबर्ग-विटन मामले में संपर्क तत्व प्रस्तुत किया था। ओज़स्वाथ और स्जाबो ने कॉन्टैक्ट बहुरूपता और ओपन बुक अपघटन के मध्य  गिरौक्स के संबंध का उपयोग करके हीगार्ड फ़्लोर समरूपता  के लिए इसका निर्माण किया, और यह अंतर्निहित सम्पर्क समरूपता  में विवृत समुच्चय के समरूपता  वर्ग के रूप में मुफ्त में आता है। (जिसे, अन्य तीन के विपरीत, इसकी परिभाषा के लिए संपर्क समरूपता  की आवश्यकता होती है। एम्बेडेड संपर्क समरूपता  के लिए देखें {{harvtxt|हचइंग्स|2009}}। ये सभी सिद्धांत प्राथमिक सापेक्ष श्रेणीकरण से सुसज्जित होते हैं; इन्हें क्रोनहाइमर और म्रोका (एसडब्ल्यूएफ के लिए), ग्रिप और हुआंग (एचएफ के लिए), और हचिंग्स (ईसीएच के लिए) द्वारा पूर्ण श्रेणीकरण (उन्मुख 2-प्लेन क्षेत्र के समरूपता वर्गों द्वारा) तक उठा लिया गया है। क्रिस्टोफ़ारो-गार्डिनर ने दिखाया है कि ईसीएच और सीबर्ग-विटन फ़्लोर सह-समरूपता  के मध्य  ताउब्स की समरूपता इन पूर्ण श्रेणीकरण को संरक्षित करती है।
सेबर्ग-विटन फ़्लोर होमोलॉजी या मोनोपोल फ़्लोर होमोलॉजी चिकनी [[3-कई गुना]] (स्पिन-सी संरचना से सुसज्जित) का होमोलॉजी सिद्धांत है।<sup>सी</sup>संरचना). इसे थ्री-मैनिफोल्ड पर यू(1) कनेक्शन पर चेर्न-साइमन्स-डिराक फ़ंक्शनल की मोर्स होमोलॉजी के रूप में देखा जा सकता है। संबंधित ढाल प्रवाह समीकरण वास्तविक रेखा के साथ पार किए गए 3-मैनिफोल्ड पर सेबर्ग-विटन समीकरण से मेल खाता है। समान रूप से, श्रृंखला परिसर के जनरेटर 3-मैनिफोल्ड और वास्तविक रेखा के उत्पाद पर सेइबर्ग-विटन समीकरणों (मोनोपोल के रूप में जाना जाता है) के अनुवाद-अपरिवर्तनीय समाधान हैं, और अंतर उत्पाद पर सेइबर्ग-विटन समीकरणों के समाधान की गणना करता है तीन गुना और वास्तविक रेखा की, जो अनंत और नकारात्मक अनंत पर अपरिवर्तनीय समाधानों के लिए स्पर्शोन्मुख हैं।


सीबर्ग-विटन-फ़्लोर होमोलॉजी का संस्करण [[पीटर क्रोनहाइमर]] और टॉमाज़ म्रोवका द्वारा मोनोग्राफ [[मोनोपोल और थ्री-मैनिफोल्ड्स]] में कठोरता से बनाया गया था, जहां इसे मोनोपोल फ़्लोर होमोलॉजी के रूप में जाना जाता है। टौब्स ने दिखाया है कि एम्बेडेड संपर्क समरूपता के लिए यह समरूपी है। तर्कसंगत समरूपता 3-क्षेत्रों के लिए एसडब्ल्यूएफ के वैकल्पिक निर्माण दिए गए हैं {{harvtxt|Manolescu|2003}} और {{harvtxt|Frøyshov|2010}}; वे सहमत होने के लिए जाने जाते हैं।
===इंस्टेंटन फ़्लोर समरूपता ===
यह फ़्लोअर द्वारा स्वयं प्रस्तुत [[डोनाल्डसन सिद्धांत]] से जुड़ा तीन गुना अपरिवर्तनीय होता है। यह चेर्न-साइमन्स सिद्धांत का उपयोग करके प्राप्त किया जाता है।  चेर्न-साइमन्स [[प्रमुख बंडल]] [[एसयू(2)]]-बंडल पर सम्बन्ध के स्थान पर तीन-बहुरूपता (अधिक त्रुटिहीन रूप से, समरूपता  3-गोले) पर कार्य करता है। इसके महत्वपूर्ण बिंदु [[फ्लैट कनेक्शन|फ्लैट सम्बन्ध]] हैं और इसकी प्रवाह रेखाएं तात्कालिक होती हैं, अर्थात् वास्तविक रेखा के साथ पार किए गए तीन गुना पर एंटी-सेल्फ-डुअल सम्बंध इंस्टेंटन फ़्लोर समरूपता  को [[ कैसन अपरिवर्तनीय |कैसन अपरिवर्तनीय]] के सामान्यीकरण के रूप में देखा जा सकता है क्योंकि फ़्लोर समरूपता की [[यूलर विशेषता]] कैसन इनवेरिएंट से सहमत होता है।


===हीगार्ड फ़्लोर होमोलॉजी===
फ़्लोर द्वारा फ़्लोर समरूपता  की प्रारम्भ के शीघ्र पश्चात्, डोनाल्डसन को एहसास हुआ कि कोबॉर्डिज़्म मानचित्रों को प्रेरित करते हैं। यह संरचना का पहला उदाहरण था जिसे टोपोलॉजिकल क्वांटम क्षेत्र सिद्धांत के रूप में जाना जाता है।
हीगार्ड फ़्लोर होमोलॉजी पीटर ओज़स्वथ और ज़ोल्टन स्ज़ाबो (गणितज्ञ) के कारण अपरिवर्तनीय है | स्पिन से सुसज्जित बंद 3-मैनिफोल्ड का ज़ोल्टन स्ज़ाबो<sup>सी</sup>संरचना. इसकी गणना लैग्रेंजियन फ़्लोर होमोलॉजी के अनुरूप निर्माण के माध्यम से अंतरिक्ष के हेगार्ड विभाजन का उपयोग करके की जाती है। {{harvtxt|Kutluhan|Lee|Taubes|2020}} ने प्रमाण की घोषणा की कि हीगार्ड फ़्लोर होमोलॉजी सीबर्ग-विटन फ़्लोर होमोलॉजी के समरूपी है, और {{harvtxt|Colin|Ghiggini|Honda|2011}} ने प्रमाण की घोषणा की कि हीगार्ड फ़्लोर होमोलॉजी का प्लस-संस्करण (रिवर्स ओरिएंटेशन के साथ) एम्बेडेड संपर्क होमोलॉजी के लिए आइसोमोर्फिक है।


थ्री-मैनिफोल्ड में गाँठ हीगार्ड फ़्लोर होमोलॉजी समूहों पर निस्पंदन को प्रेरित करती है, और फ़िल्टर किए गए होमोटॉपी प्रकार शक्तिशाली [[गाँठ अपरिवर्तनीय]] है, जिसे नॉट फ़्लोर होमोलॉजी कहा जाता है। यह [[अलेक्जेंडर बहुपद]] का [[वर्गीकरण]] करता है। नॉट फ़्लोर होमोलॉजी को परिभाषित किया गया था {{Harvtxt|Ozsváth|Szabó|2004}} और स्वतंत्र रूप से {{harvtxt|Rasmussen|2003}}. यह गाँठ वंश का पता लगाने के लिए जाना जाता है। हीगार्ड स्प्लिटिंग के लिए [[ग्रिड आरेख]]ों का उपयोग करते हुए, नॉट फ़्लोर होमोलॉजी को संयोजनात्मक निर्माण दिया गया था {{harvtxt|Manolescu|Ozsváth|Sarkar|2009}}.
===सेइबर्ग-विटन फ़्लोर समरूपता ===
सेबर्ग-विटन फ़्लोर समरूपता  या मोनोपोल फ़्लोर समरूपता  चिकनी [[3-कई गुना]] (स्पिन-सी संरचना से सुसज्जित) का समरूपता  सिद्धांत है। इसे त्री-बहुरूपता पर यू(1) कनेक्शन पर चेर्न-साइमन्स-डिराक फलन ल की मोर्स समरूपता  के रूप में देखा जा सकता है। संबंधित क्रमिक प्रवाह समीकरण वास्तविक रेखा के साथ पार किए गए 3-बहुरूपता पर सेबर्ग-विटन समीकरण से मेल खाता है। समान रूप से, श्रृंखला परिसर के जनरेटर 3-बहुरूपता और वास्तविक रेखा के उत्पाद पर सेइबर्ग-विटन समीकरणों (मोनोपोल के रूप में जाना जाता है) के अनुवाद-अपरिवर्तनीय समाधान हैं, और विभेदक उत्पाद पर सेइबर्ग-विटन समीकरणों के समाधान की गणना करता है तीन गुना और वास्तविक रेखा की, जो अनंत और नकारात्मक अनंत पर अपरिवर्तनीय समाधानों के लिए स्पर्शोन्मुख हैं।


गाँठ पर शाखाबद्ध S^3 के [[डबल कवर (टोपोलॉजी)]] की हीगार्ड फ़्लोर होमोलॉजी वर्णक्रमीय अनुक्रम द्वारा खोवानोव होमोलॉजी से संबंधित है {{harv|Ozsváth|Szabó|2005}}.
सीबर्ग-विटन-फ़्लोर समरूपता  का संस्करण [[पीटर क्रोनहाइमर]] और टॉमाज़ म्रोवका द्वारा मोनोग्राफ [[मोनोपोल और थ्री-मैनिफोल्ड्स|मोनोपोल और त्री-बहुरूपता]] में कठोरता से बनाया गया था, जहां इसे मोनोपोल फ़्लोर समरूपता  के रूप में जाना जाता है। टौब्स ने दिखाया है कि एम्बेडेड संपर्क समरूपता के लिए यह समरूपी है। तर्कसंगत समरूपता 3-क्षेत्रों के लिए एसडब्ल्यूएफ के वैकल्पिक निर्माण दिए गए हैं {{harvtxt|Manolescu|2003}} और {{harvtxt|Frøyshov|2010}}; वे सहमत होने के लिए जाने जाते हैं।


हीगार्ड फ़्लोर होमोलॉजी के टोपी संस्करण का संयुक्त रूप से वर्णन किया गया था {{harvtxt|Sarkar|Wang|2010}}. हीगार्ड फ़्लोर होमोलॉजी के प्लस और माइनस संस्करण, और संबंधित ओज़स्वथ-स्ज़ाबो चार-मैनिफोल्ड इनवेरिएंट को संयुक्त रूप से भी वर्णित किया जा सकता है {{harv|Manolescu|Ozsváth|Thurston|2009}}.
===हीगार्ड फ़्लोर समरूपता ===
हीगार्ड फ़्लोर समरूपता  पीटर ओज़स्वथ और ज़ोल्टन स्ज़ाबो (गणितज्ञ) के कारण अपरिवर्तनीय है | स्पिन से सुसज्जित संवृत 3-बहुरूपता का ज़ोल्टन स्ज़ाबो<sup>सी</sup>संरचना. इसकी गणना लैग्रेंजियन फ़्लोर समरूपता  के अनुरूप निर्माण के माध्यम से विभेदकिक्ष के हेगार्ड विभाजन का उपयोग करके की जाती है। {{harvtxt|Kutluhan|Lee|Taubes|2020}} ने प्रमाण की घोषणा की कि हीगार्ड फ़्लोर समरूपता  सीबर्ग-विटन फ़्लोर समरूपता  के समरूपी है, और {{harvtxt|Colin|Ghiggini|Honda|2011}} ने प्रमाण की घोषणा की कि हीगार्ड फ़्लोर समरूपता  का प्लस-संस्करण (रिवर्स ओरिएंटेशन के साथ) एम्बेडेड संपर्क समरूपता  के लिए समरूपी है।
 
त्री-बहुरूपता में ग्रंथि हीगार्ड फ़्लोर समरूपता  समूहों पर निस्पंदन को प्रेरित करती है, और फ़िल्टर किए गए होमोटॉपी प्रकार शक्तिशाली [[गाँठ अपरिवर्तनीय|ग्रंथि अपरिवर्तनीय]] है, जिसे नॉट फ़्लोर समरूपता  कहा जाता है। यह [[अलेक्जेंडर बहुपद]] का [[वर्गीकरण]] करता है। नॉट फ़्लोर समरूपता  को परिभाषित किया गया था {{Harvtxt|Ozsváth|Szabó|2004}} और स्वतंत्र रूप से {{harvtxt|Rasmussen|2003}}. यह ग्रंथि वंश का पता लगाने के लिए जाना जाता है। हीगार्ड स्प्लिटिंग के लिए [[ग्रिड आरेख]]ों का उपयोग करते हुए, नॉट फ़्लोर समरूपता  को संयोजनात्मक निर्माण दिया गया था {{harvtxt|Manolescu|Ozsváth|Sarkar|2009}}.
 
ग्रंथि पर शाखाबद्ध S^3 के [[डबल कवर (टोपोलॉजी)|डबल कवर (सांस्थिति )]] की हीगार्ड फ़्लोर समरूपता  वर्णक्रमीय अनुक्रम द्वारा खोवानोव समरूपता  से संबंधित है {{harv|Ozsváth|Szabó|2005}}.
 
हीगार्ड फ़्लोर समरूपता  के टोपी संस्करण का संयुक्त रूप से वर्णन किया गया था {{harvtxt|Sarkar|Wang|2010}}. हीगार्ड फ़्लोर समरूपता  के प्लस और माइनस संस्करण, और संबंधित ओज़स्वथ-स्ज़ाबो चार-बहुरूपता इनवेरिएंट को संयुक्त रूप से भी वर्णित किया जा सकता है {{harv|Manolescu|Ozsváth|Thurston|2009}}.


===एंबेडेड संपर्क समरूपता===
===एंबेडेड संपर्क समरूपता===
[[माइकल हचिंग्स (गणितज्ञ)]] के कारण एंबेडेड संपर्क होमोलॉजी, 3-मैनिफोल्ड्स का अपरिवर्तनीय है (स्पिन की पसंद के अनुरूप विशिष्ट दूसरे होमोलॉजी वर्ग के साथ)<sup>सीबर्ग-विटन फ़्लोअर समरूपता में सी</sup> संरचना) आइसोमोर्फिक ([[क्लिफोर्ड टौब्स]] के काम द्वारा) सेबर्ग-विटन फ़्लोअर कोहोमोलॉजी और परिणामस्वरूप (द्वारा घोषित कार्य द्वारा) {{harvnb|Kutluhan|Lee|Taubes|2020}} और {{harvnb|Colin|Ghiggini|Honda|2011}}) हीगार्ड फ़्लोर होमोलॉजी के प्लस-संस्करण के लिए (रिवर्स ओरिएंटेशन के साथ)। इसे ताउब्स के ग्रोमोव इनवेरिएंट के विस्तार के रूप में देखा जा सकता है, जिसे सीबर्ग-विटन इनवेरिएंट के समतुल्य माना जाता है, बंद सिम्पलेक्टिक 4-मैनिफोल्ड्स से लेकर कुछ गैर-कॉम्पैक्ट सिम्पलेक्टिक 4-मैनिफोल्ड्स (अर्थात्, संपर्क तीन-मैनिफोल्ड क्रॉस आर)। इसका निर्माण सहानुभूति क्षेत्र सिद्धांत के अनुरूप है, जिसमें यह बंद रीब कक्षाओं के कुछ संग्रहों द्वारा उत्पन्न होता है और इसका अंतर रीब कक्षाओं के कुछ संग्रहों पर समाप्त होने वाले कुछ होलोमोर्फिक वक्रों की गणना करता है। यह रीब कक्षाओं के संग्रह पर तकनीकी स्थितियों में एसएफटी से भिन्न है जो इसे उत्पन्न करता है - और दिए गए सिरों के साथ [[ फ्रेडहोम सूचकांक |फ्रेडहोम सूचकांक]] 1 के साथ सभी होलोमोर्फिक वक्रों की गिनती में नहीं, बल्कि केवल वे जो ईसीएच इंडेक्स द्वारा दी गई टोपोलॉजिकल स्थिति को संतुष्ट करते हैं, जो विशेष रूप से तात्पर्य यह है कि विचार किए गए वक्र (मुख्य रूप से) अंतर्निहित हैं।
[[माइकल हचिंग्स (गणितज्ञ)]] के कारण एंबेडेड संपर्क समरूपता , 3-बहुरूपता का अपरिवर्तनीय है (स्पिन की पसंद के अनुरूप विशिष्ट दूसरे समरूपता  वर्ग के साथ)<sup>सीबर्ग-विटन फ़्लोअर समरूपता में सी</sup> संरचना) समरूपी ([[क्लिफोर्ड टौब्स]] के काम द्वारा) सेबर्ग-विटन फ़्लोअर सह-समरूपता  और परिणामस्वरूप (द्वारा घोषित कार्य द्वारा) {{harvnb|Kutluhan|Lee|Taubes|2020}} और {{harvnb|Colin|Ghiggini|Honda|2011}}) हीगार्ड फ़्लोर समरूपता  के प्लस-संस्करण के लिए (रिवर्स ओरिएंटेशन के साथ)। इसे ताउब्स के ग्रोमोव इनवेरिएंट के विस्तार के रूप में देखा जा सकता है, जिसे सीबर्ग-विटन इनवेरिएंट के समतुल्य माना जाता है, संवृत सिम्पलेक्टिक 4-बहुरूपता से लेकर कुछ गैर-सघन सिम्पलेक्टिक 4-बहुरूपता (अर्थात्, संपर्क तीन-बहुरूपता क्रॉस आर)। इसका निर्माण फ़्लोर क्षेत्र सिद्धांत के अनुरूप है, जिसमें यह संवृत रीब कक्षाओं के कुछ संग्रहों द्वारा उत्पन्न होता है और इसका विभेदक रीब कक्षाओं के कुछ संग्रहों पर समाप्त होने वाले कुछ होलोमोर्फिक वक्रों की गणना करता है। यह रीब कक्षाओं के संग्रह पर तकनीकी स्थितियों में एसएफटी से भिन्न है जो इसे उत्पन्न करता है - और दिए गए सिरों के साथ [[ फ्रेडहोम सूचकांक |फ्रेडहोम सूचकांक]] 1 के साथ सभी होलोमोर्फिक वक्रों की गिनती में नहीं, बल्कि केवल वे जो ईसीएच इंडेक्स द्वारा दी गई टोपोलॉजिकल स्थिति को परितृप्त करते हैं, जो विशेष रूप से तात्पर्य यह है कि विचार किए गए वक्र (मुख्य रूप से) विभेदक्निहित हैं।


वेनस्टीन का अनुमान है कि संपर्क [[4-कई गुना]] में किसी भी संपर्क फॉर्म के लिए बंद रीब कक्षा होती है जो किसी भी मैनिफोल्ड पर होती है जिसका ईसीएच गैर-तुच्छ है, और ईसीएच से निकटता से संबंधित तकनीकों का उपयोग करके टाउब्स द्वारा साबित किया गया था; इस कार्य के विस्तार से ECH और SWF के बीच समरूपता उत्पन्न हुई। ईसीएच में कई निर्माण (इसकी अच्छी तरह से परिभाषितता सहित) इस समरूपता पर निर्भर करते हैं {{harv|Taubes|2007}}.
वेनस्टीन का अनुमान है कि संपर्क [[4-कई गुना]] में किसी भी संपर्क फॉर्म के लिए संवृत रीब कक्षा होती है जो किसी भी बहुरूपता पर होती है जिसका ईसीएच गैर-तुच्छ है, और ईसीएच से निकटता से संबंधित तकनीकों का उपयोग करके टाउब्स द्वारा साबित किया गया था; इस कार्य के विस्तार से ECH और SWF के मध्य  समरूपता उत्पन्न हुई। ईसीएच में कई निर्माण (इसकी अच्छी तरह से परिभाषितता सहित) इस समरूपता पर निर्भर करते हैं {{harv|Taubes|2007}}.


ईसीएच के संपर्क तत्व का विशेष रूप से अच्छा रूप है: यह रीब कक्षाओं के खाली संग्रह से जुड़ा चक्र है।
ईसीएच के संपर्क तत्व का विशेष रूप से अच्छा रूप है: यह रीब कक्षाओं के विवृत संग्रह से जुड़ा चक्र है।


एम्बेडेड संपर्क होमोलॉजी के एनालॉग को किसी सतह (संभवतः सीमा के साथ) के सिम्पलेक्टोमोर्फिज्म के टोरी के मानचित्रण के लिए परिभाषित किया जा सकता है और इसे आवधिक फ़्लोर होमोलॉजी के रूप में जाना जाता है, जो सतह सिम्पलेक्टोमोर्फिज़्म के सिम्पलेक्टिक फ़्लोर होमोलॉजी को सामान्यीकृत करता है। अधिक सामान्यतः, इसे 3-मैनिफोल्ड पर किसी भी [[स्थिर हैमिल्टनियन संरचना]] के संबंध में परिभाषित किया जा सकता है; संपर्क संरचनाओं की तरह, स्थिर हैमिल्टनियन संरचनाएं गैर-लुप्त वेक्टर क्षेत्र (रीब वेक्टर क्षेत्र) को परिभाषित करती हैं, और हचिंग्स और टौब्स ने उनके लिए वेनस्टीन अनुमान का एनालॉग साबित किया है, अर्थात् उनके पास हमेशा बंद कक्षाएं होती हैं (जब तक कि वे 2 की टोरी की मैपिंग नहीं कर रहे हों) -टोरस).
एम्बेडेड संपर्क समरूपता  के कलन विधि  को किसी सतह (संभवतः सीमा के साथ) के सिम्पलेक्टोमोर्फिज्म के टोरी के मानचित्रण के लिए परिभाषित किया जा सकता है और इसे आवधिक फ़्लोर समरूपता  के रूप में जाना जाता है, जो सतह सिम्पलेक्टोमोर्फिज़्म के सिम्पलेक्टिक फ़्लोर समरूपता  को सामान्यीकृत करता है। अधिक सामान्यतः, इसे 3-बहुरूपता पर किसी भी [[स्थिर हैमिल्टनियन संरचना]] के संबंध में परिभाषित किया जा सकता है; संपर्क संरचनाओं की तरह, स्थिर हैमिल्टनियन संरचनाएं गैर-लुप्त वेक्टर क्षेत्र (रीब वेक्टर क्षेत्र) को परिभाषित करती हैं, और हचिंग्स और टौब्स ने उनके लिए वेनस्टीन अनुमान का कलन विधि  साबित किया है, अर्थात् उनके पास हमेशा संवृत कक्षाएं होती हैं (जब तक कि वे 2 की टोरी की मानचित्र नहीं कर रहे हों) -टोरस).


==लैग्रेंजियन इंटरसेक्शन फ़्लोर होमोलॉजी==
==लैग्रेंजियन इंटरसेक्शन फ़्लोर समरूपता ==
सिंपलेक्टिक मैनिफोल्ड के दो ट्रांसवर्सली इंटरसेक्टिंग लैग्रैन्जियन सबमैनिफोल्ड्स की लैग्रैन्जियन फ्लोर होमोलॉजी, दो सबमैनिफोल्ड्स के प्रतिच्छेदन बिंदुओं द्वारा उत्पन्न चेन कॉम्प्लेक्स की होमोलॉजी है और जिसका अंतर [[स्यूडोहोलोमोर्फिक]] [[व्हिटनी डिस्क]] को गिनता है।
सिंपलेक्टिक बहुरूपता के दो ट्रांसवर्सली इंटरसेक्टिंग लैग्रैन्जियन सबबहुरूपता की लैग्रैन्जियन फ्लोर समरूपता , दो सबबहुरूपता के प्रतिच्छेदन बिंदुओं द्वारा उत्पन्न चेन कॉम्प्लेक्स की समरूपता  है और जिसका विभेदक [[स्यूडोहोलोमोर्फिक]] [[व्हिटनी डिस्क]] को गिनता है।


तीन लैग्रेंजियन सबमैनिफोल्ड्स एल दिए गए हैं<sub>0</sub>, एल<sub>1</sub>, और मैं<sub>2</sub> सिंपलेक्टिक मैनिफोल्ड में, लैग्रेंजियन फ़्लोर होमोलॉजी पर उत्पाद संरचना है:
तीन लैग्रेंजियन सबबहुरूपता एल दिए गए हैं<sub>0</sub>, एल<sub>1</sub>, और मैं<sub>2</sub> सिंपलेक्टिक बहुरूपता में, लैग्रेंजियन फ़्लोर समरूपता  पर उत्पाद संरचना है:


:<math>HF(L_0, L_1) \otimes HF(L_1,L_2) \rightarrow HF(L_0,L_2), </math>
:<math>HF(L_0, L_1) \otimes HF(L_1,L_2) \rightarrow HF(L_0,L_2), </math>
जिसे होलोमोर्फिक त्रिकोणों की गिनती करके परिभाषित किया गया है (अर्थात, त्रिकोण के होलोमोर्फिक मानचित्र जिनके शीर्ष और किनारे उपयुक्त चौराहे बिंदुओं और लैग्रेंजियन सबमैनिफोल्ड्स पर मैप होते हैं)।
जिसे होलोमोर्फिक त्रिकोणों की गिनती करके परिभाषित किया गया है (अर्थात, त्रिकोण के होलोमोर्फिक मानचित्र जिनके शीर्ष और किनारे उपयुक्त चौराहे बिंदुओं और लैग्रेंजियन सबबहुरूपता पर मैप होते हैं)।


इस विषय पर पेपर फुकाया, ओह, ओनो और ओह्टा के कारण हैं; लालोंडे और कॉर्निया के [[ क्लस्टर समरूपता |क्लस्टर समरूपता]] पर हालिया काम इसके लिए अलग दृष्टिकोण पेश करता है। लैग्रेन्जियन सबमेनिफोल्ड्स की जोड़ी की फ़्लोर होमोलॉजी हमेशा मौजूद नहीं हो सकती है; जब ऐसा होता है, तो यह हैमिल्टनियन आइसोटोपी का उपयोग करके लैग्रेंजियन को दूसरे से दूर आइसोटोप करने में बाधा उत्पन्न करता है।
इस विषय पर पेपर फुकाया, ओह, ओनो और ओह्टा के कारण हैं; लालोंडे और कॉर्निया के [[ क्लस्टर समरूपता |क्लस्टर समरूपता]] पर हालिया काम इसके लिए अलग दृष्टिकोण प्रस्तुत करता है। लैग्रेन्जियन सबमेनिफोल्ड्स की जोड़ी की फ़्लोर समरूपता  हमेशा मौजूद नहीं हो सकती है; जब ऐसा होता है, तो यह हैमिल्टनियन आइसोटोपी का उपयोग करके लैग्रेंजियन को दूसरे से दूर आइसोटोप करने में बाधा उत्पन्न करता है।


फ़्लोर होमोलॉजी के कई प्रकार लैग्रेंजियन फ़्लोर होमोलॉजी के विशेष मामले हैं। एम के सिम्प्लेक्टोमोर्फिज्म के सिंपलेक्टिक फ्लोर होमोलॉजी को लैग्रेंजियन फ्लोर होमोलॉजी के मामले के रूप में माना जा सकता है जिसमें परिवेश मैनिफोल्ड एम को एम के साथ पार किया जाता है और लैग्रेंजियन सबमेनिफोल्ड्स विकर्ण और सिम्प्लेक्टोमोर्फिज्म का ग्राफ होते हैं। हीगार्ड फ़्लोर होमोलॉजी का निर्माण तीन-मैनिफ़ोल्ड के हीगार्ड विभाजन का उपयोग करके परिभाषित पूरी तरह से वास्तविक सबमैनिफ़ोल्ड के लिए लैग्रेंजियन फ़्लोर होमोलॉजी के प्रकार पर आधारित है। सीडेल-स्मिथ और मैनोलेस्कु ने लैग्रेन्जियन फ़्लोर होमोलॉजी के निश्चित मामले के रूप में लिंक इनवेरिएंट का निर्माण किया, जो अनुमानित रूप से खोवानोव होमोलॉजी से सहमत है, जो संयोजन-परिभाषित लिंक इनवेरिएंट है।
फ़्लोर समरूपता  के कई प्रकार लैग्रेंजियन फ़्लोर समरूपता  के विशेष मामले हैं। एम के सिम्प्लेक्टोमोर्फिज्म के सिंपलेक्टिक फ्लोर समरूपता  को लैग्रेंजियन फ्लोर समरूपता  के मामले के रूप में माना जा सकता है जिसमें परिवेश बहुरूपता एम को एम के साथ पार किया जाता है और लैग्रेंजियन सबमेनिफोल्ड्स विकर्ण और सिम्प्लेक्टोमोर्फिज्म का ग्राफ होते हैं। हीगार्ड फ़्लोर समरूपता  का निर्माण तीन-बहुरूपता के हीगार्ड विभाजन का उपयोग करके परिभाषित पूरी तरह से वास्तविक सबबहुरूपता के लिए लैग्रेंजियन फ़्लोर समरूपता  के प्रकार पर आधारित है। सीडेल-स्मिथ और मैनोलेस्कु ने लैग्रेन्जियन फ़्लोर समरूपता  के निश्चित मामले के रूप में लिंक इनवेरिएंट का निर्माण किया, जो अनुमानित रूप से खोवानोव समरूपता  से सहमत है, जो संयोजन-परिभाषित लिंक इनवेरिएंट है।


===अतियाह-फ्लोअर अनुमान===
===अतियाह-फ्लोअर अनुमान===
अतियाह-फ़्लोर अनुमान इंस्टेंटन फ़्लोर होमोलॉजी को लैग्रेंजियन इंटरसेक्शन फ़्लोर होमोलॉजी से जोड़ता है।<ref>{{harvnb|Atiyah|1988}}</ref> [[सतह (टोपोलॉजी)]] के साथ विभाजित हीगार्ड के साथ 3-मैनिफोल्ड Y पर विचार करें <math>\Sigma</math>. फिर फ्लैट कनेक्शन का स्थान चालू करें <math>\Sigma</math> मॉड्यूलो गेज तुल्यता सिम्प्लेक्टिक मैनिफोल्ड है <math>M(\Sigma)</math> आयाम 6जी-6 का, जहां जी सतह का [[जीनस (गणित)]] है <math>\Sigma</math>. हीगार्ड बंटवारे में, <math>\Sigma</math> दो अलग-अलग 3-मैनिफ़ोल्ड को सीमित करता है; सीमा एम्बेड के साथ प्रत्येक 3-मैनिफोल्ड पर फ्लैट कनेक्शन मॉड्यूलो गेज तुल्यता का स्थान <math>M(\Sigma)</math> लैग्रेंजियन सबमैनिफोल्ड के रूप में। कोई लैग्रेंजियन इंटरसेक्शन फ़्लोर होमोलॉजी पर विचार कर सकता है। वैकल्पिक रूप से, हम 3-मैनिफोल्ड Y के इंस्टेंटन फ़्लोर होमोलॉजी पर विचार कर सकते हैं। अतियाह-फ़्लोर अनुमान का दावा है कि ये दो अपरिवर्तनीय आइसोमोर्फिक हैं। सलामन-वेहरहेम और डेमी-फुकाया इस अनुमान को साबित करने के लिए अपने कार्यक्रमों पर काम कर रहे हैं।
अतियाह-फ़्लोर अनुमान इंस्टेंटन फ़्लोर समरूपता  को लैग्रेंजियन इंटरसेक्शन फ़्लोर समरूपता  से जोड़ता है।<ref>{{harvnb|Atiyah|1988}}</ref> [[सतह (टोपोलॉजी)|सतह (सांस्थिति )]] के साथ विभाजित हीगार्ड के साथ 3-बहुरूपता Y पर विचार करें <math>\Sigma</math>. फिर फ्लैट कनेक्शन का स्थान चालू करें <math>\Sigma</math> मॉड्यूलो गेज तुल्यता सिम्प्लेक्टिक बहुरूपता है <math>M(\Sigma)</math> आयाम 6जी-6 का, जहां जी सतह का [[जीनस (गणित)]] है <math>\Sigma</math>. हीगार्ड बंटवारे में, <math>\Sigma</math> दो अलग-अलग 3-बहुरूपता को सीमित करता है; सीमा एम्बेड के साथ प्रत्येक 3-बहुरूपता पर फ्लैट कनेक्शन मॉड्यूलो गेज तुल्यता का स्थान <math>M(\Sigma)</math> लैग्रेंजियन सबबहुरूपता के रूप में। कोई लैग्रेंजियन इंटरसेक्शन फ़्लोर समरूपता  पर विचार कर सकता है। वैकल्पिक रूप से, हम 3-बहुरूपता Y के इंस्टेंटन फ़्लोर समरूपता  पर विचार कर सकते हैं। अतियाह-फ़्लोर अनुमान का दावा है कि ये दो अपरिवर्तनीय समरूपी हैं। सलामन-वेहरहेम और डेमी-फुकाया इस अनुमान को साबित करने के लिए अपने कार्यक्रमों पर काम कर रहे हैं।


===दर्पण समरूपता से संबंध===
===दर्पण समरूपता से संबंध===
[[मैक्सिम कोनत्सेविच]] का होमोलॉजिकल मिरर समरूपता अनुमान, कैलाबी-यॉ मैनिफोल्ड में लैग्रैंगियंस के लैग्रैन्जियन फ़्लोर होमोलॉजी के बीच समानता की भविष्यवाणी करता है। <math>X</math> और दर्पण कैलाबी-यॉ मैनिफोल्ड पर [[सुसंगत ढेर]]ों के विस्तारित समूह। इस स्थिति में, किसी को फ़्लोर होमोलॉजी समूहों पर नहीं बल्कि फ़्लोर श्रृंखला समूहों पर ध्यान केंद्रित करना चाहिए। पैंट-पैंट उत्पाद के समान, कोई छद्म-होलोमोर्फिक एन-गॉन का उपयोग करके बहु-रचनाओं का निर्माण कर सकता है। ये रचनाएँ संतुष्ट करती हैं <math>A_\infty</math>-संबंध सभी (अबाधित) लैग्रेंजियन सबमेनिफोल्ड्स की श्रेणी को सिम्प्लेक्टिक मैनिफोल्ड में बनाते हैं <math>A_\infty</math>-श्रेणी, जिसे फुकाया श्रेणी कहा जाता है।
[[मैक्सिम कोनत्सेविच]] का होमोलॉजिकल मिरर समरूपता अनुमान, कैलाबी-यॉ बहुरूपता में लैग्रैंगियंस के लैग्रैन्जियन फ़्लोर समरूपता  के मध्य  समानता की भविष्यवाणी करता है। <math>X</math> और दर्पण कैलाबी-यॉ बहुरूपता पर [[सुसंगत ढेर]]ों के विस्तारित समूह। इस स्थिति में, किसी को फ़्लोर समरूपता  समूहों पर नहीं बल्कि फ़्लोर श्रृंखला समूहों पर ध्यान केंद्रित करना चाहिए। पैंट-पैंट उत्पाद के समान, कोई छद्म-होलोमोर्फिक एन-गॉन का उपयोग करके बहु-रचनाओं का निर्माण कर सकता है। ये रचनाएँ परितृप्त करती हैं <math>A_\infty</math>-संबंध सभी (अबाधित) लैग्रेंजियन सबमेनिफोल्ड्स की श्रेणी को सिम्प्लेक्टिक बहुरूपता में बनाते हैं <math>A_\infty</math>-श्रेणी, जिसे फुकाया श्रेणी कहा जाता है।


अधिक सटीक होने के लिए, किसी को लैग्रेंजियन में अतिरिक्त डेटा जोड़ना होगा - ग्रेडिंग और [[स्पिन संरचना]]। अंतर्निहित भौतिकी के सम्मान में इन संरचनाओं के विकल्प वाले लैग्रेंजियन को अक्सर मेम्ब्रेन (एम-सिद्धांत) कहा जाता है। होमोलॉजिकल मिरर समरूपता अनुमान में कहा गया है कि कैलाबी-यौ की फुकाया श्रेणी के बीच प्रकार की व्युत्पन्न [[मोरिता तुल्यता]] है <math>X</math> और दर्पण के सुसंगत ढेरों की सीमाबद्ध [[व्युत्पन्न श्रेणी]] के अंतर्गत [[डीजी श्रेणी]], और इसके विपरीत।
अधिक त्रुटिहीन होने के लिए, किसी को लैग्रेंजियन में अतिरिक्त डेटा जोड़ना होगा - श्रेणीकरण और [[स्पिन संरचना]]। विभेदक्निहित भौतिकी के सम्मान में इन संरचनाओं के विकल्प वाले लैग्रेंजियन को अक्सर मेम्ब्रेन (एम-सिद्धांत) कहा जाता है। होमोलॉजिकल मिरर समरूपता अनुमान में कहा गया है कि कैलाबी-यौ की फुकाया श्रेणी के मध्य  प्रकार की व्युत्पन्न [[मोरिता तुल्यता]] है <math>X</math> और दर्पण के सुसंगत ढेरों की सीमाबद्ध [[व्युत्पन्न श्रेणी]] के विभेदक्गत [[डीजी श्रेणी]], और इसके विपरीत।


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


एसएफटी [[ कई गुना संपर्क करें |कई गुना संपर्क करें]] के [[लेजेंडरी सबमैनिफोल्ड]] के सापेक्ष अपरिवर्तनीय को भी जोड़ता है जिसे सापेक्ष संपर्क होमोलॉजी के रूप में जाना जाता है। इसके जनरेटर रीब कॉर्ड हैं, जो रीब वेक्टर क्षेत्र के प्रक्षेपवक्र हैं जो लैग्रेन्जियन पर शुरू और समाप्त होते हैं, और इसका अंतर संपर्क मैनिफोल्ड के [[सरलीकरण]] में कुछ होलोमोर्फिक स्ट्रिप्स की गणना करता है जिनके सिरे दिए गए रीब कॉर्ड के लिए स्पर्शोन्मुख हैं।
एसएफटी [[ कई गुना संपर्क करें |कई गुना संपर्क करें]] के [[लेजेंडरी सबमैनिफोल्ड|लेजेंडरी सबबहुरूपता]] के सापेक्ष अपरिवर्तनीय को भी जोड़ता है जिसे सापेक्ष संपर्क समरूपता  के रूप में जाना जाता है। इसके जनरेटर रीब कॉर्ड हैं, जो रीब वेक्टर क्षेत्र के प्रक्षेपवक्र हैं जो लैग्रेन्जियन पर शुरू और समाप्त होते हैं, और इसका विभेदक संपर्क बहुरूपता के [[सरलीकरण]] में कुछ होलोमोर्फिक स्ट्रिप्स की गणना करता है जिनके सिरे दिए गए रीब कॉर्ड के लिए स्पर्शोन्मुख हैं।


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


==फ़्लोर होमोटॉपी==
==फ़्लोर होमोटॉपी==
किसी वस्तु के फ़्लोर होमोलॉजी सिद्धांत का निर्माण करने का कल्पनीय तरीका संबंधित स्पेक्ट्रम (होमोटॉपी सिद्धांत) का निर्माण करना होगा, जिसकी सामान्य होमोलॉजी वांछित फ़्लोर होमोलॉजी है। ऐसे [[स्पेक्ट्रम (समरूप सिद्धांत)]] होमोलॉजी सिद्धांतों को लागू करने से अन्य दिलचस्प अपरिवर्तनीयताएं प्राप्त हो सकती हैं। यह रणनीति राल्फ कोहेन, जॉन जोन्स और [[ ग्रीम सहगल |ग्रीम सहगल]] द्वारा प्रस्तावित की गई थी, और सेबर्ग-विटन-फ्लोर होमोलॉजी के लिए कुछ मामलों में इसे लागू किया गया था। {{harvtxt|Manolescu|2003}} और कोहेन द्वारा कोटैंजेंट बंडलों की सिम्प्लेक्टिक फ़्लोर होमोलॉजी के लिए। यह दृष्टिकोण मनोलेस्कु के 2013 के पिन (2)-इक्विवेरिएंट सेबर्ग-विटन फ़्लोर होमोलॉजी के निर्माण का आधार था, जिसके साथ उन्होंने आयाम 5 और उच्चतर के कई गुना के लिए त्रिकोणीय अनुमान को अस्वीकार कर दिया था।
किसी वस्तु के फ़्लोर समरूपता  सिद्धांत का निर्माण करने का कल्पनीय तरीका संबंधित स्पेक्ट्रम (होमोटॉपी सिद्धांत) का निर्माण करना होगा, जिसकी सामान्य समरूपता  वांछित फ़्लोर समरूपता  है। ऐसे [[स्पेक्ट्रम (समरूप सिद्धांत)]] समरूपता  सिद्धांतों को प्रयुक्त  करने से अन्य दिलचस्प अपरिवर्तनीयताएं प्राप्त हो सकती हैं। यह रणनीति राल्फ कोहेन, जॉन जोन्स और [[ ग्रीम सहगल |ग्रीम सहगल]] द्वारा प्रस्तावित की गई थी, और सेबर्ग-विटन-फ्लोर समरूपता  के लिए कुछ मामलों में इसे प्रयुक्त  किया गया था। {{harvtxt|Manolescu|2003}} और कोहेन द्वारा कोटैंजेंट बंडलों की सिम्प्लेक्टिक फ़्लोर समरूपता  के लिए। यह दृष्टिकोण मनोलेस्कु के 2013 के पिन (2)-इक्विवेरिएंट सेबर्ग-विटन फ़्लोर समरूपता  के निर्माण का आधार था, जिसके साथ उन्होंने आयाम 5 और उच्चतर के कई गुना के लिए त्रिकोणीय अनुमान को अस्वीकार कर दिया था।


==विश्लेषणात्मक बुनियाद==
==विश्लेषणात्मक बुनियाद==
Line 108: Line 110:


==गणना==
==गणना==
फ़्लोर होमोलॉजीज़ की स्पष्ट रूप से गणना करना आम तौर पर कठिन होता है। उदाहरण के लिए, सभी सतही लक्षणों के लिए सिंपलेक्टिक फ़्लोर होमोलॉजी 2007 में ही पूरी हो गई थी। हीगार्ड फ़्लोर होमोलॉजी इस संबंध में सफल कहानी रही है: शोधकर्ताओं ने 3-मैनिफोल्ड के विभिन्न वर्गों के लिए इसकी गणना करने के लिए इसकी बीजगणितीय संरचना का उपयोग किया है और संयोजनात्मक पाया है गणना के लिए एल्गोरिदम
फ़्लोर समरूपता ज़ की स्पष्ट रूप से गणना करना सामान्यतः कठिन होता है। उदाहरण के लिए, सभी सतही लक्षणों के लिए सिंपलेक्टिक फ़्लोर समरूपता  2007 में ही पूरी हो गई थी। हीगार्ड फ़्लोर समरूपता  इस संबंध में सफल कहानी रही है: शोधकर्ताओं ने 3-बहुरूपता के विभिन्न वर्गों के लिए इसकी गणना करने के लिए इसकी बीजगणितीय संरचना का उपयोग किया है और संयोजनात्मक पाया है गणना के लिए एल्गोरिदम
अधिकांश सिद्धांत का. यह मौजूदा आक्रमणकारियों और संरचनाओं से भी जुड़ा हुआ है और 3-मैनिफोल्ड टोपोलॉजी में कई अंतर्दृष्टि प्राप्त हुई हैं।
अधिकांश सिद्धांत का. यह मौजूदा आक्रमणकारियों और संरचनाओं से भी जुड़ा हुआ है और 3-बहुरूपता सांस्थिति  में कई विभेदक्दृष्टि प्राप्त हुई हैं।


==संदर्भ==
==संदर्भ==

Revision as of 03:20, 14 July 2023

गणित में, फ़्लोर समरूपता सिंपलेक्टिक ज्यामिति और निम्न-आयामी सांस्थिति का अध्ययन करने के लिए एक उपकरण होता है। फ़्लोर समरूपता उपन्यास अपरिवर्तनीय होता है जो परिमित-आयामी मोर्स समरूपता के अनंत-आयामी कलन विधि के रूप में उत्पन्न होता है। एंड्रियास फ़्लोर ने फ़्लोर ज्यामिति में अर्नोल्ड अनुमान के अपने प्रमाण में फ़्लोर समरूपता का पहला संस्करण प्रस्तुत किया था, जिसे अब लैग्रेंजियन फ़्लोर समरूपता कहा जाता है। फ़्लोअर ने सिंपलेक्टिक बहुरूपता के लैग्रेंजियन सबबहुरूपता के लिए निकट से संबंधित सिद्धांत भी विकसित किया था। तीसरा निर्माण, फ़्लोर के कारण भी, यांग-मिल्स सिद्धांत कार्यात्मक का उपयोग करके समरूपता समूहों को संवृत त्रि-आयामी बहुरूपता से जोड़ता है। ये निर्माण और उनके वंशज सिम्प्लेक्टिक और संपर्क बहुरूपता के साथ-साथ (सुचारू) तीन- और चार-आयामी बहुरूपता की सांस्थिति में वर्तमान जांच में मौलिक भूमिका निभाते हैं।

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

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

सिम्पलेक्टिक फ़्लोर समरूपता

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

यहां, गैर-विक्षिप्तता का अर्थ है कि 1 इसके किसी भी निश्चित बिंदु पर सिम्प्लेक्टोमोर्फिज्म के व्युत्पन्न का आइगेनवैल्यू नहीं है। इस उद्देश्य का तात्पर्य है कि निश्चित बिंदु अलग-थलग हैं। एसएफएच ऐसे सिम्पलेक्टोमोर्फिज्म के निश्चित बिंदु द्वारा उत्पन्न श्रृंखला परिसर की समरूपता है, जहां विभेदक वास्तविक रेखा के उत्पाद और सिम्पलेक्टोमोर्फिज्म के मानचित्र टोरस में कुछ स्यूडोहोलोमोर्फिक वक्रों की गणना करता है। यह स्वयं मूल बहुरूपता से दो बड़े आयामों का सिम्प्लेक्टिक बहुरूपता होती है। न्यूनाधिक जटिल संरचना के उचित विकल्प के लिए, इसमें छिद्रित होलोमोर्फिक वक्र (परिमित ऊर्जा के) में सिम्प्लेक्टोमोर्फिज्म के निश्चित बिंदुओं के अनुरूप मानचित्र टोरस में लूपों के लिए बेलनाकार सिरे होते हैं। सापेक्ष सूचकांक को निश्चित बिंदुओं के जोड़े के मध्य परिभाषित किया जा सकता है, और इस प्रकार विभेदक सापेक्ष सूचकांक 1 के साथ होलोमोर्फिक सिलेंडरों की संख्या की गणना करता है।

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

बहुरूपता M के कोटैंजेंट बंडल के लिए, फ़्लोर समरूपता इसकी गैर-सघननेस के कारण हैमिल्टनियन की पसंद पर निर्भर करती है। हैमिल्टनियन्स के लिए जो अनंत पर द्विघात होता हैं, फ़्लोर समरूपता M के मुक्त लूप स्थान की एकवचन समरूपता होती है (इस कथन के विभिन्न संस्करणों के प्रमाण विटर्बो, सलामोन-वेबर, एबोंडांडोलो-श्वार्ज़ और कोहेन के कारण होता हैं)। कोटैंजेंट बंडल के फ़्लोर समरूपता पर अधिक जटिल संचालन होता हैं जो अंतर्निहित बहुरूपता के लूप स्पेस की समरूपता पर स्ट्रिंग सांस्थिति ऑपरेशन के अनुरूप होता हैं।

फ़्लोर समरूपता का सिंपलेक्टिक संस्करण समरूप दर्पण समरूपता अनुमान के निर्माण में महत्वपूर्ण विधि से सामने आता है।

पीएसएस समरूपता

1996 में एस. पियुनिखिन, डी. सलामोन और एम. श्वार्ज़ ने फ़्लोर समरूपता और क्वांटम सह-समरूपता रिंग के मध्य संबंध के बारे में परिणामों को संक्षेप में प्रस्तुत किया जाता और निम्नलिखित के रूप में प्रदर्शित किया जाता है।पियुनिखिन, सलामोन & श्वार्ज़ (1996)

  • अर्ध-सकारात्मक सिम्पलेक्टिक बहुरूपता (M,ω) के लूप स्पेस के फ़्लोर सह-समरूपता समूह M के सामान्य सह-समरूपता के लिए स्वाभाविक रूप से समरूपी होता हैं, जो डेक परिवर्तन के समूह से जुड़े उपयुक्त नोविकोव रिंग द्वारा तन्य होता हैं।

अर्ध-सकारात्मक की उपरोक्त स्थिति और सिंपलेक्टिक बहुरूपता M की सघनता हमारे लिए क्वांटम सह-समरूपता नोविकोव रिंग प्राप्त करने और फ़्लोर समरूपता और क्वांटम सह-समरूपता दोनों की परिभाषा के लिए आवश्यक होता है। अर्ध-सकारात्मक स्थिति का अर्थ है कि निम्नलिखित में से कोई धारण करता है (ध्यान दें कि तीन स्थिति असंयुक्त नहीं होता हैं):

  • π2(M) में प्रत्येक A के लिए होता है जहाँ λ≥0 (M मोनोटोन है) होता है।
  • π2(M) में प्रत्येक A के लिए होता है।
  • न्यूनतम चेर्न संख्या N ≥ 0 द्वारा परिभाषित n − 2 से बड़ा या उसके सामान्तर होता है।

सिम्प्लेक्टिक बहुरूपता एम के क्वांटम सह-समरूपता समूह को नोविकोव रिंग Λ के साथ सामान्य सह-समरूपता के टेंसर उत्पादों के रूप में परिभाषित किया जा सकता है, अर्थात्।

फ़्लोर समरूपता का यह निर्माण M पर न्यूनाधिक जटिल संरचना की पसंद पर स्वतंत्रता और मोर्स सिद्धांत और स्यूडोहोलोमोर्फिक वक्रों के विचारों से प्रदान की गई फ़्लोर समरूपता के समरूपता की व्याख्या करता है, जहां हमें पृष्ठभूमि के रूप में समरूपता और सह-समरूपता के मध्य पोंकारे द्वंद्व को पहचाना जाता है।

त्री बहुरूपता की फ़्लोर समरूपता

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

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

सीमा के साथ 3-बहुरूपता समरूपता का 3-बहुरूपता तक विस्तार भी है: सिले हुए फ़्लोर समरूपता (जुहाज़्ज़ 2008) और सीमाबद्ध फ़्लोर समरूपता (लिपशिट्ज़, ओज़स्वथ & थर्स्टन 2008) होती है। ये सीमा के साथ दो 3-बहुरूपता की सीमा के साथ संघ के रूप में वर्णित 3-बहुरूपता के फ़्लोर समरूपता के लिए ग्लूइंग फ़ार्मुलों द्वारा संवृत 3-बहुरूपता के लिए अपरिवर्तनीय से संबंधित होता हैं।

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

इंस्टेंटन फ़्लोर समरूपता

यह फ़्लोअर द्वारा स्वयं प्रस्तुत डोनाल्डसन सिद्धांत से जुड़ा तीन गुना अपरिवर्तनीय होता है। यह चेर्न-साइमन्स सिद्धांत का उपयोग करके प्राप्त किया जाता है। चेर्न-साइमन्स प्रमुख बंडल एसयू(2)-बंडल पर सम्बन्ध के स्थान पर तीन-बहुरूपता (अधिक त्रुटिहीन रूप से, समरूपता 3-गोले) पर कार्य करता है। इसके महत्वपूर्ण बिंदु फ्लैट सम्बन्ध हैं और इसकी प्रवाह रेखाएं तात्कालिक होती हैं, अर्थात् वास्तविक रेखा के साथ पार किए गए तीन गुना पर एंटी-सेल्फ-डुअल सम्बंध इंस्टेंटन फ़्लोर समरूपता को कैसन अपरिवर्तनीय के सामान्यीकरण के रूप में देखा जा सकता है क्योंकि फ़्लोर समरूपता की यूलर विशेषता कैसन इनवेरिएंट से सहमत होता है।

फ़्लोर द्वारा फ़्लोर समरूपता की प्रारम्भ के शीघ्र पश्चात्, डोनाल्डसन को एहसास हुआ कि कोबॉर्डिज़्म मानचित्रों को प्रेरित करते हैं। यह संरचना का पहला उदाहरण था जिसे टोपोलॉजिकल क्वांटम क्षेत्र सिद्धांत के रूप में जाना जाता है।

सेइबर्ग-विटन फ़्लोर समरूपता

सेबर्ग-विटन फ़्लोर समरूपता या मोनोपोल फ़्लोर समरूपता चिकनी 3-कई गुना (स्पिन-सी संरचना से सुसज्जित) का समरूपता सिद्धांत है। इसे त्री-बहुरूपता पर यू(1) कनेक्शन पर चेर्न-साइमन्स-डिराक फलन ल की मोर्स समरूपता के रूप में देखा जा सकता है। संबंधित क्रमिक प्रवाह समीकरण वास्तविक रेखा के साथ पार किए गए 3-बहुरूपता पर सेबर्ग-विटन समीकरण से मेल खाता है। समान रूप से, श्रृंखला परिसर के जनरेटर 3-बहुरूपता और वास्तविक रेखा के उत्पाद पर सेइबर्ग-विटन समीकरणों (मोनोपोल के रूप में जाना जाता है) के अनुवाद-अपरिवर्तनीय समाधान हैं, और विभेदक उत्पाद पर सेइबर्ग-विटन समीकरणों के समाधान की गणना करता है तीन गुना और वास्तविक रेखा की, जो अनंत और नकारात्मक अनंत पर अपरिवर्तनीय समाधानों के लिए स्पर्शोन्मुख हैं।

सीबर्ग-विटन-फ़्लोर समरूपता का संस्करण पीटर क्रोनहाइमर और टॉमाज़ म्रोवका द्वारा मोनोग्राफ मोनोपोल और त्री-बहुरूपता में कठोरता से बनाया गया था, जहां इसे मोनोपोल फ़्लोर समरूपता के रूप में जाना जाता है। टौब्स ने दिखाया है कि एम्बेडेड संपर्क समरूपता के लिए यह समरूपी है। तर्कसंगत समरूपता 3-क्षेत्रों के लिए एसडब्ल्यूएफ के वैकल्पिक निर्माण दिए गए हैं Manolescu (2003) और Frøyshov (2010); वे सहमत होने के लिए जाने जाते हैं।

हीगार्ड फ़्लोर समरूपता

हीगार्ड फ़्लोर समरूपता पीटर ओज़स्वथ और ज़ोल्टन स्ज़ाबो (गणितज्ञ) के कारण अपरिवर्तनीय है | स्पिन से सुसज्जित संवृत 3-बहुरूपता का ज़ोल्टन स्ज़ाबोसीसंरचना. इसकी गणना लैग्रेंजियन फ़्लोर समरूपता के अनुरूप निर्माण के माध्यम से विभेदकिक्ष के हेगार्ड विभाजन का उपयोग करके की जाती है। Kutluhan, Lee & Taubes (2020) ने प्रमाण की घोषणा की कि हीगार्ड फ़्लोर समरूपता सीबर्ग-विटन फ़्लोर समरूपता के समरूपी है, और Colin, Ghiggini & Honda (2011) ने प्रमाण की घोषणा की कि हीगार्ड फ़्लोर समरूपता का प्लस-संस्करण (रिवर्स ओरिएंटेशन के साथ) एम्बेडेड संपर्क समरूपता के लिए समरूपी है।

त्री-बहुरूपता में ग्रंथि हीगार्ड फ़्लोर समरूपता समूहों पर निस्पंदन को प्रेरित करती है, और फ़िल्टर किए गए होमोटॉपी प्रकार शक्तिशाली ग्रंथि अपरिवर्तनीय है, जिसे नॉट फ़्लोर समरूपता कहा जाता है। यह अलेक्जेंडर बहुपद का वर्गीकरण करता है। नॉट फ़्लोर समरूपता को परिभाषित किया गया था Ozsváth & Szabó (2004) और स्वतंत्र रूप से Rasmussen (2003). यह ग्रंथि वंश का पता लगाने के लिए जाना जाता है। हीगार्ड स्प्लिटिंग के लिए ग्रिड आरेखों का उपयोग करते हुए, नॉट फ़्लोर समरूपता को संयोजनात्मक निर्माण दिया गया था Manolescu, Ozsváth & Sarkar (2009).

ग्रंथि पर शाखाबद्ध S^3 के डबल कवर (सांस्थिति ) की हीगार्ड फ़्लोर समरूपता वर्णक्रमीय अनुक्रम द्वारा खोवानोव समरूपता से संबंधित है (Ozsváth & Szabó 2005).

हीगार्ड फ़्लोर समरूपता के टोपी संस्करण का संयुक्त रूप से वर्णन किया गया था Sarkar & Wang (2010). हीगार्ड फ़्लोर समरूपता के प्लस और माइनस संस्करण, और संबंधित ओज़स्वथ-स्ज़ाबो चार-बहुरूपता इनवेरिएंट को संयुक्त रूप से भी वर्णित किया जा सकता है (Manolescu, Ozsváth & Thurston 2009).

एंबेडेड संपर्क समरूपता

माइकल हचिंग्स (गणितज्ञ) के कारण एंबेडेड संपर्क समरूपता , 3-बहुरूपता का अपरिवर्तनीय है (स्पिन की पसंद के अनुरूप विशिष्ट दूसरे समरूपता वर्ग के साथ)सीबर्ग-विटन फ़्लोअर समरूपता में सी संरचना) समरूपी (क्लिफोर्ड टौब्स के काम द्वारा) सेबर्ग-विटन फ़्लोअर सह-समरूपता और परिणामस्वरूप (द्वारा घोषित कार्य द्वारा) Kutluhan, Lee & Taubes 2020 और Colin, Ghiggini & Honda 2011) हीगार्ड फ़्लोर समरूपता के प्लस-संस्करण के लिए (रिवर्स ओरिएंटेशन के साथ)। इसे ताउब्स के ग्रोमोव इनवेरिएंट के विस्तार के रूप में देखा जा सकता है, जिसे सीबर्ग-विटन इनवेरिएंट के समतुल्य माना जाता है, संवृत सिम्पलेक्टिक 4-बहुरूपता से लेकर कुछ गैर-सघन सिम्पलेक्टिक 4-बहुरूपता (अर्थात्, संपर्क तीन-बहुरूपता क्रॉस आर)। इसका निर्माण फ़्लोर क्षेत्र सिद्धांत के अनुरूप है, जिसमें यह संवृत रीब कक्षाओं के कुछ संग्रहों द्वारा उत्पन्न होता है और इसका विभेदक रीब कक्षाओं के कुछ संग्रहों पर समाप्त होने वाले कुछ होलोमोर्फिक वक्रों की गणना करता है। यह रीब कक्षाओं के संग्रह पर तकनीकी स्थितियों में एसएफटी से भिन्न है जो इसे उत्पन्न करता है - और दिए गए सिरों के साथ फ्रेडहोम सूचकांक 1 के साथ सभी होलोमोर्फिक वक्रों की गिनती में नहीं, बल्कि केवल वे जो ईसीएच इंडेक्स द्वारा दी गई टोपोलॉजिकल स्थिति को परितृप्त करते हैं, जो विशेष रूप से तात्पर्य यह है कि विचार किए गए वक्र (मुख्य रूप से) विभेदक्निहित हैं।

वेनस्टीन का अनुमान है कि संपर्क 4-कई गुना में किसी भी संपर्क फॉर्म के लिए संवृत रीब कक्षा होती है जो किसी भी बहुरूपता पर होती है जिसका ईसीएच गैर-तुच्छ है, और ईसीएच से निकटता से संबंधित तकनीकों का उपयोग करके टाउब्स द्वारा साबित किया गया था; इस कार्य के विस्तार से ECH और SWF के मध्य समरूपता उत्पन्न हुई। ईसीएच में कई निर्माण (इसकी अच्छी तरह से परिभाषितता सहित) इस समरूपता पर निर्भर करते हैं (Taubes 2007).

ईसीएच के संपर्क तत्व का विशेष रूप से अच्छा रूप है: यह रीब कक्षाओं के विवृत संग्रह से जुड़ा चक्र है।

एम्बेडेड संपर्क समरूपता के कलन विधि को किसी सतह (संभवतः सीमा के साथ) के सिम्पलेक्टोमोर्फिज्म के टोरी के मानचित्रण के लिए परिभाषित किया जा सकता है और इसे आवधिक फ़्लोर समरूपता के रूप में जाना जाता है, जो सतह सिम्पलेक्टोमोर्फिज़्म के सिम्पलेक्टिक फ़्लोर समरूपता को सामान्यीकृत करता है। अधिक सामान्यतः, इसे 3-बहुरूपता पर किसी भी स्थिर हैमिल्टनियन संरचना के संबंध में परिभाषित किया जा सकता है; संपर्क संरचनाओं की तरह, स्थिर हैमिल्टनियन संरचनाएं गैर-लुप्त वेक्टर क्षेत्र (रीब वेक्टर क्षेत्र) को परिभाषित करती हैं, और हचिंग्स और टौब्स ने उनके लिए वेनस्टीन अनुमान का कलन विधि साबित किया है, अर्थात् उनके पास हमेशा संवृत कक्षाएं होती हैं (जब तक कि वे 2 की टोरी की मानचित्र नहीं कर रहे हों) -टोरस).

लैग्रेंजियन इंटरसेक्शन फ़्लोर समरूपता

सिंपलेक्टिक बहुरूपता के दो ट्रांसवर्सली इंटरसेक्टिंग लैग्रैन्जियन सबबहुरूपता की लैग्रैन्जियन फ्लोर समरूपता , दो सबबहुरूपता के प्रतिच्छेदन बिंदुओं द्वारा उत्पन्न चेन कॉम्प्लेक्स की समरूपता है और जिसका विभेदक स्यूडोहोलोमोर्फिक व्हिटनी डिस्क को गिनता है।

तीन लैग्रेंजियन सबबहुरूपता एल दिए गए हैं0, एल1, और मैं2 सिंपलेक्टिक बहुरूपता में, लैग्रेंजियन फ़्लोर समरूपता पर उत्पाद संरचना है:

जिसे होलोमोर्फिक त्रिकोणों की गिनती करके परिभाषित किया गया है (अर्थात, त्रिकोण के होलोमोर्फिक मानचित्र जिनके शीर्ष और किनारे उपयुक्त चौराहे बिंदुओं और लैग्रेंजियन सबबहुरूपता पर मैप होते हैं)।

इस विषय पर पेपर फुकाया, ओह, ओनो और ओह्टा के कारण हैं; लालोंडे और कॉर्निया के क्लस्टर समरूपता पर हालिया काम इसके लिए अलग दृष्टिकोण प्रस्तुत करता है। लैग्रेन्जियन सबमेनिफोल्ड्स की जोड़ी की फ़्लोर समरूपता हमेशा मौजूद नहीं हो सकती है; जब ऐसा होता है, तो यह हैमिल्टनियन आइसोटोपी का उपयोग करके लैग्रेंजियन को दूसरे से दूर आइसोटोप करने में बाधा उत्पन्न करता है।

फ़्लोर समरूपता के कई प्रकार लैग्रेंजियन फ़्लोर समरूपता के विशेष मामले हैं। एम के सिम्प्लेक्टोमोर्फिज्म के सिंपलेक्टिक फ्लोर समरूपता को लैग्रेंजियन फ्लोर समरूपता के मामले के रूप में माना जा सकता है जिसमें परिवेश बहुरूपता एम को एम के साथ पार किया जाता है और लैग्रेंजियन सबमेनिफोल्ड्स विकर्ण और सिम्प्लेक्टोमोर्फिज्म का ग्राफ होते हैं। हीगार्ड फ़्लोर समरूपता का निर्माण तीन-बहुरूपता के हीगार्ड विभाजन का उपयोग करके परिभाषित पूरी तरह से वास्तविक सबबहुरूपता के लिए लैग्रेंजियन फ़्लोर समरूपता के प्रकार पर आधारित है। सीडेल-स्मिथ और मैनोलेस्कु ने लैग्रेन्जियन फ़्लोर समरूपता के निश्चित मामले के रूप में लिंक इनवेरिएंट का निर्माण किया, जो अनुमानित रूप से खोवानोव समरूपता से सहमत है, जो संयोजन-परिभाषित लिंक इनवेरिएंट है।

अतियाह-फ्लोअर अनुमान

अतियाह-फ़्लोर अनुमान इंस्टेंटन फ़्लोर समरूपता को लैग्रेंजियन इंटरसेक्शन फ़्लोर समरूपता से जोड़ता है।[1] सतह (सांस्थिति ) के साथ विभाजित हीगार्ड के साथ 3-बहुरूपता Y पर विचार करें . फिर फ्लैट कनेक्शन का स्थान चालू करें मॉड्यूलो गेज तुल्यता सिम्प्लेक्टिक बहुरूपता है आयाम 6जी-6 का, जहां जी सतह का जीनस (गणित) है . हीगार्ड बंटवारे में, दो अलग-अलग 3-बहुरूपता को सीमित करता है; सीमा एम्बेड के साथ प्रत्येक 3-बहुरूपता पर फ्लैट कनेक्शन मॉड्यूलो गेज तुल्यता का स्थान लैग्रेंजियन सबबहुरूपता के रूप में। कोई लैग्रेंजियन इंटरसेक्शन फ़्लोर समरूपता पर विचार कर सकता है। वैकल्पिक रूप से, हम 3-बहुरूपता Y के इंस्टेंटन फ़्लोर समरूपता पर विचार कर सकते हैं। अतियाह-फ़्लोर अनुमान का दावा है कि ये दो अपरिवर्तनीय समरूपी हैं। सलामन-वेहरहेम और डेमी-फुकाया इस अनुमान को साबित करने के लिए अपने कार्यक्रमों पर काम कर रहे हैं।

दर्पण समरूपता से संबंध

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

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

सिम्पलेक्टिक फील्ड सिद्धांत (एसएफटी)

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

एसएफटी कई गुना संपर्क करें के लेजेंडरी सबबहुरूपता के सापेक्ष अपरिवर्तनीय को भी जोड़ता है जिसे सापेक्ष संपर्क समरूपता के रूप में जाना जाता है। इसके जनरेटर रीब कॉर्ड हैं, जो रीब वेक्टर क्षेत्र के प्रक्षेपवक्र हैं जो लैग्रेन्जियन पर शुरू और समाप्त होते हैं, और इसका विभेदक संपर्क बहुरूपता के सरलीकरण में कुछ होलोमोर्फिक स्ट्रिप्स की गणना करता है जिनके सिरे दिए गए रीब कॉर्ड के लिए स्पर्शोन्मुख हैं।

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

फ़्लोर होमोटॉपी

किसी वस्तु के फ़्लोर समरूपता सिद्धांत का निर्माण करने का कल्पनीय तरीका संबंधित स्पेक्ट्रम (होमोटॉपी सिद्धांत) का निर्माण करना होगा, जिसकी सामान्य समरूपता वांछित फ़्लोर समरूपता है। ऐसे स्पेक्ट्रम (समरूप सिद्धांत) समरूपता सिद्धांतों को प्रयुक्त करने से अन्य दिलचस्प अपरिवर्तनीयताएं प्राप्त हो सकती हैं। यह रणनीति राल्फ कोहेन, जॉन जोन्स और ग्रीम सहगल द्वारा प्रस्तावित की गई थी, और सेबर्ग-विटन-फ्लोर समरूपता के लिए कुछ मामलों में इसे प्रयुक्त किया गया था। Manolescu (2003) और कोहेन द्वारा कोटैंजेंट बंडलों की सिम्प्लेक्टिक फ़्लोर समरूपता के लिए। यह दृष्टिकोण मनोलेस्कु के 2013 के पिन (2)-इक्विवेरिएंट सेबर्ग-विटन फ़्लोर समरूपता के निर्माण का आधार था, जिसके साथ उन्होंने आयाम 5 और उच्चतर के कई गुना के लिए त्रिकोणीय अनुमान को अस्वीकार कर दिया था।

विश्लेषणात्मक बुनियाद

इनमें से कई फ़्लोअर समरूपताओं का पूरी तरह और कठोरता से निर्माण नहीं किया गया है, और कई अनुमानित तुल्यताएँ सिद्ध नहीं की गई हैं। इसमें शामिल विश्लेषण में तकनीकी कठिनाइयाँ आती हैं, विशेष रूप से स्यूडोहोलोमोर्फिक वक्रों के कॉम्पेक्टिफिकेशन (गणित) मॉड्यूलि रिक्त स्थान के निर्माण में। होफ़र ने, क्रिस वायसोकी और एडुआर्ड ज़ेन्डर के सहयोग से, बहुरूपी ्स के अपने सिद्धांत और सामान्य फ्रेडहोम सिद्धांत के माध्यम से नई विश्लेषणात्मक नींव विकसित की है। हालाँकि पॉलीफोल्ड परियोजना अभी तक पूरी तरह से पूरी नहीं हुई है, कुछ महत्वपूर्ण मामलों में सरल तरीकों का उपयोग करके ट्रांसवर्सेलिटी दिखाई गई है।

गणना

फ़्लोर समरूपता ज़ की स्पष्ट रूप से गणना करना सामान्यतः कठिन होता है। उदाहरण के लिए, सभी सतही लक्षणों के लिए सिंपलेक्टिक फ़्लोर समरूपता 2007 में ही पूरी हो गई थी। हीगार्ड फ़्लोर समरूपता इस संबंध में सफल कहानी रही है: शोधकर्ताओं ने 3-बहुरूपता के विभिन्न वर्गों के लिए इसकी गणना करने के लिए इसकी बीजगणितीय संरचना का उपयोग किया है और संयोजनात्मक पाया है गणना के लिए एल्गोरिदम अधिकांश सिद्धांत का. यह मौजूदा आक्रमणकारियों और संरचनाओं से भी जुड़ा हुआ है और 3-बहुरूपता सांस्थिति में कई विभेदक्दृष्टि प्राप्त हुई हैं।

संदर्भ

फ़ुटनोट्स

किताबें और सर्वेक्षण

शोध लेख

बाहरी संबंध