खोवानोव सजातीय: Difference between revisions

From Vigyanwiki
(Created page with "गणित में, खोवानोव होमोलॉजी एक उन्मुख लिंक अपरिवर्तनीय है जो कोच...")
 
(TEXT)
Line 1: Line 1:
गणित में, खोवानोव होमोलॉजी एक उन्मुख [[लिंक अपरिवर्तनीय]] है जो [[कोचेन कॉम्प्लेक्स]] के [[होमोलॉजी (गणित)]] के रूप में उत्पन्न होती है। इसे [[जोन्स बहुपद]] का [[वर्गीकरण]] माना जा सकता है।
गणित में, '''खोवानोव सजातीय''' एक उन्मुख [[लिंक अपरिवर्तनीय]] है जो [[कोचेन कॉम्प्लेक्स|कोचेन सम्मिश्र]] के [[होमोलॉजी (गणित)|सह-समरूपता]] के रूप में उत्पन्न होती है। इसे [[जोन्स बहुपद]] का [[वर्गीकरण]] माना जा सकता है।


इसे 1990 के दशक के अंत में [[मिखाइल खोवानोव]] द्वारा विकसित किया गया था, तब कैलिफोर्निया विश्वविद्यालय, डेविस और अब कोलंबिया विश्वविद्यालय में।
इसे 1990 के दशक के अंत में [[मिखाइल खोवानोव]] द्वारा विकसित किया गया था, तब कैलिफोर्निया विश्वविद्यालय, डेविस और अब कोलंबिया विश्वविद्यालय में है।


==अवलोकन==
==अवलोकन==
एक [[गाँठ (गणित)]] एल का प्रतिनिधित्व करने वाले किसी भी लिंक आरेख डी के लिए, हम 'खोवानोव ब्रैकेट' '<nowiki>[</nowiki>'D'<nowiki>]</nowiki>' प्रदान करते हैं, जो कि वर्गीकृत वेक्टर रिक्त स्थान का एक कोचेन कॉम्प्लेक्स है। यह जोन्स बहुपद के निर्माण में [[कॉफ़मैन ब्रैकेट]] का एनालॉग है। इसके बाद, हम '<nowiki>[</nowiki>'D'<nowiki>]</nowiki>' को डिग्री शिफ्ट ([[ श्रेणीबद्ध वेक्टर स्थान ]] में) और ऊंचाई शिफ्ट (कोचेन कॉम्प्लेक्स में) की एक श्रृंखला द्वारा सामान्यीकृत करते हैं ताकि एक प्राप्त किया जा सके। नया कोचेन कॉम्प्लेक्स 'सी'(डी)। इस कोचेन कॉम्प्लेक्स की समरूपता (गणित) एल का एक [[अपरिवर्तनीय (गणित)]] बन जाती है, और इसकी वर्गीकृत [[यूलर विशेषता]] एल का जोन्स बहुपद है।
लिंक ''L'' का प्रतिनिधित्व करने वाले किसी भी लिंक आरेख ''D'' के लिए'','' '''हम खोवानोव ब्रैकेट <nowiki>[</nowiki>'''D'''<nowiki>]</nowiki>''', क्रमिक सदिश समष्टि का एक कोचेन सम्मिश्र निर्दिष्ट करते हैं। यह जोन्स बहुपद के निर्माण में [[कॉफ़मैन ब्रैकेट]] का एनालॉग है। इसके बाद, हम एक नया कोचेन सम्मिश्र '''C'''(''D'') प्राप्त करने के लिए डिग्री शिफ्ट ([[ श्रेणीबद्ध वेक्टर स्थान |श्रेणीबद्ध सदिश समष्टि]] में) और ऊंचाई शिफ्ट (कोचेन सम्मिश्र में) की एक श्रृंखला द्वारा '''['''''D''''']''' को सामान्य करते हैं। इस कोचेन सम्मिश्र की समरूपता ''L'' का एक [[अपरिवर्तनीय (गणित)]] रूप है, और इसकी वर्गीकृत [[यूलर विशेषता]] ''L'' का जोन्स बहुपद है।


==परिभाषा==
==परिभाषा==
यह परिभाषा [[ड्रॉर बार-नटन]] के 2002 के पेपर में दी गई औपचारिकता का पालन करती है।
यह परिभाषा [[ड्रॉर बार-नटन]] के 2002 के दस्तावेज़ में दी गई औपचारिकता का अनुकरण करती है।


मान लीजिए कि {l} ग्रेडेड [[ सदिश स्थल ]] पर डिग्री शिफ्ट ऑपरेशन को दर्शाता है - यानी, आयाम m में सजातीय घटक को आयाम m + l तक स्थानांतरित कर दिया गया है।
मान लीजिए कि {l} श्रेणीबद्ध[[ सदिश स्थल | सदिश समष्टि]] पर डिग्री शिफ्ट संचालन को दर्शाता है - अर्थात, आयाम m में सजातीय घटक को आयाम m + l तक स्थानांतरित कर दिया गया है।


इसी तरह, मान लीजिए कि [s] कोचेन कॉम्प्लेक्स पर ऊंचाई शिफ्ट ऑपरेशन को दर्शाता है - अर्थात, कॉम्प्लेक्स में rth वेक्टर स्पेस या [[मॉड्यूल (गणित)]] को सभी [[अंतर (गणित)]] के साथ (r+s)वें स्थान पर स्थानांतरित कर दिया जाता है। तदनुसार स्थानांतरित किया जा रहा है।
इसी तरह, मान लीजिए कि [s] कोचेन सम्मिश्र पर ऊंचाई शिफ्ट संचालन को दर्शाता है - अर्थात, सम्मिश्र में rth सदिश समष्टि या [[मॉड्यूल (गणित)]] को (r+s) वें स्थान पर स्थानांतरित कर दिया जाता है, जिसके अनुसार सभी अंतर मानचित्रों को तदनुसार स्थानांतरित किया जाता है।


मान लीजिए कि V एक ग्रेडेड वेक्टर स्पेस है जिसमें डिग्री 1 का एक जेनरेटर q और एक जेनरेटर q है<sup>−1</sup>डिग्री का −1.
मान लीजिए V श्रेणीबद्ध सदिश समष्टि है जिसमें डिग्री 1 का एक जनरेटर q और डिग्री −1 का एक जनरेटर ''q''<sup>−1</sup> है।


अब एक लिंक एल का प्रतिनिधित्व करने वाला एक मनमाना आरेख डी लें। 'खोवानोव ब्रैकेट' के लिए सिद्धांत इस प्रकार हैं:
अब एक लिंक ''L'' का प्रतिनिधित्व करने वाला एक स्वेच्छाचारी आरेख ''D'' लीजिए। ''''खोवानोव ब्रैकेट'''<nowiki/>' के लिए स्वयंसिद्ध कथन इस प्रकार हैं:
# '['ø']' = 0 → 'Z' → 0, जहां ø खाली लिंक को दर्शाता है।
# '''[''''''''']''' = 0 → '''Z''' → 0, जहां ø रिक्त लिंक को दर्शाता है।
# '['O D']' = V ⊗ '['D']', जहां O एक अनलिंक किए गए तुच्छ घटक को दर्शाता है।
# '''['''O ''D''''']''' = ''V'' '''['''''D''''']''', जहां O एक असंबद्ध तुच्छ घटक को दर्शाता है।
# '['डी']' = 'एफ'(0 → '['डी<sub>0</sub>] → [''डी''<sub>1</sub>]{1} → 0)
#'''['''''D''''']''' = '''F'''(0 → '''['''''D''<sub>0</sub>''']''' '''['''''D''<sub>1</sub>''']'''{1} → 0)


इनमें से तीसरे में, एफ 'फ़्लैटनिंग' ऑपरेशन को दर्शाता है, जहां विकर्णों के साथ सीधे योग लेकर दोहरे कॉम्प्लेक्स से एक [[दोहरा जटिल]] बनाया जाता है। इसके अलावा, ''डी''<sub>0</sub> डी, और डी में चुने गए क्रॉसिंग के `0-स्मूथिंग' को दर्शाता है<sub>1</sub> कॉफ़मैन ब्रैकेट के लिए [[स्केन संबंध]] के अनुरूप, `1-स्मूथिंग' को दर्शाता है।
इनमें से तीसरे में, '''F''' 'फ़्लैटनिंग' संचालन को दर्शाता है, जहां विकर्णों के साथ सीधे योग लेकर दोहरे सम्मिश्र से एक [[दोहरा जटिल|एकल सम्मिश्र]] बनाया जाता है। इसके अलावा, ''D''<sub>0,</sub> ''D'' में चयन किये गए क्रॉसिंग के `0-स्मूथनिंग' को दर्शाता है, और ''D''<sub>1</sub> `1-स्मूथनिंग' को दर्शाता है, जो कॉफ़मैन ब्रैकेट के [[स्केन संबंध]] के अनुरूप है।  


इसके बाद, हम 'सामान्यीकृत' कॉम्प्लेक्स C(''D'') = [''D''][−''n'' का निर्माण करते हैं<sub>−</sub>]{एन<sub>+</sub>−2n<sub>−</sub>}, जहां एन<sub>−</sub> डी, और एन के लिए चुने गए आरेख में बाएं हाथ से क्रॉसिंग की संख्या को दर्शाता है<sub>+</sub> दाएँ हाथ से क्रॉसिंग की संख्या.
इसके बाद, हम 'सामान्यीकृत' सम्मिश्र '''C'''(''D'') = '''['''''D''''']'''[−''n''<sub>−</sub>]{''n''<sub>+</sub> − 2''n''<sub>−</sub>} का निर्माण करते हैं, जहां ''n''<sub>−</sub>D के लिए चयन किये गए आरेख में बाएं हाथ से क्रॉसिंग की संख्या को दर्शाता है, और ''n''<sub>+</sub> दाएं हाथ से क्रॉसिंग की संख्या को दर्शाता है।
 
''एल'' की खोवानोव समरूपता को इस जटिल सी(''डी'') के सहसमरूपता एच(''एल'') के रूप में परिभाषित किया गया है। यह पता चला है कि खोवानोव होमोलॉजी वास्तव में ''एल'' का एक अपरिवर्तनीय है, और यह आरेख की पसंद पर निर्भर नहीं करता है। H(''L'') की श्रेणीबद्ध यूलर विशेषता ''L'' का जोन्स बहुपद बन जाती है। हालाँकि, H(''L'') में जोन्स बहुपद की तुलना में ''L'' के बारे में अधिक जानकारी शामिल है, लेकिन सटीक विवरण अभी तक पूरी तरह से समझ में नहीं आया है।
 
2006 में ड्रोर बार-नटन ने किसी भी गाँठ के लिए खोवानोव होमोलॉजी (या श्रेणी) की गणना करने के लिए एक कंप्यूटर प्रोग्राम विकसित किया।<ref>New Scientist 18 Oct 2008</ref>


''L'' की '''खोवानोव समरूपता''' को इस सम्मिश्र '''C'''(''D'') के सहसमरूपता '''H'''(''L'') के रूप में परिभाषित किया गया है। यह पता चला है कि खोवानोव सजातीय वास्तव में ''L'' का एक अपरिवर्तनीय है, और आरेख की पसंद पर निर्भर नहीं करता है। H(''L'') की श्रेणीबद्ध यूलर विशेषता ''L'' का जोन्स बहुपद बन जाती है। हालाँकि, H(''L'') में जोन्स बहुपद की तुलना में ''L'' के बारे में अधिक जानकारी सम्मिलित है, लेकिन सटीक विवरण अभी तक पूरी तरह से समझ में नहीं आया है।


2006 में ड्रोर बार-नटन ने किसी भी ग्रंथि के लिए खोवानोव सजातीय (या श्रेणी) की गणना करने के लिए एक कंप्यूटर क्रमादेश विकसित करता है।<ref>New Scientist 18 Oct 2008</ref>
==संबंधित सिद्धांत==
==संबंधित सिद्धांत==
खोवानोव की समरूपता के सबसे दिलचस्प पहलुओं में से एक यह है कि इसके सटीक अनुक्रम औपचारिक रूप से [[3 manifolds]] के फ़्लोर समरूपता में उत्पन्न होने वाले अनुक्रमों के समान हैं। इसके अलावा, इसका उपयोग [[गेज सिद्धांत]] और उसके समकक्षों का उपयोग करके पहले प्रदर्शित परिणाम का एक और प्रमाण तैयार करने के लिए किया गया है: जैकब रासमुसेन का [[पीटर क्रोनहाइमर]] और टॉमाज़ म्रोवका के प्रमेय का नया प्रमाण, जिसे पहले [[मिल्नोर अनुमान (टोपोलॉजी)]] के रूप में जाना जाता था (नीचे देखें)। पीटर ओज़स्वथ और ज़ोल्टन स्ज़ाबो (गणितज्ञ) के [[फ़्लोर होमोलॉजी]] के साथ खोवानोव होमोलॉजी से संबंधित एक [[वर्णक्रमीय अनुक्रम]] है | ज़ोल्टन स्ज़ाबो (डॉवलिन 2018)।<ref>{{cite arXiv|last=Dowlin|first=Nathan|date=2018-11-19|title=खोवानोव होमोलॉजी से नॉट फ़्लोर होमोलॉजी तक एक वर्णक्रमीय अनुक्रम|class=math.GT|eprint=1811.07848}}</ref> इस वर्णक्रमीय अनुक्रम ने दो सिद्धांतों (डनफील्ड एट अल. 2005) के बीच संबंधों पर पहले के अनुमान को सुलझाया। एक अन्य वर्णक्रमीय अनुक्रम (ओज़स्वथ-स्ज़ाबो 2005) खोवानोव समरूपता के एक प्रकार को एक गाँठ के साथ शाखायुक्त [[डबल कवर (टोपोलॉजी)]] के हीगार्ड फ़्लोर समरूपता से जोड़ता है। एक तिहाई (ब्लूम 2009) ब्रांच्ड डबल कवर के मोनोपोल फ़्लोर होमोलॉजी के एक प्रकार में परिवर्तित होता है। 2010 में क्रोनहाइमर और म्रोवका <ref>{{cite journal|last1=Kronheimer|first1=Peter B.|last2=Mrowka|first2=Tomasz|title=खोवानोव होमोलॉजी एक अननॉट-डिटेक्टर है।|journal=Publ. Math. Inst. Hautes Études Sci.|date=2011|volume=113|pages=97–208|doi=10.1007/s10240-010-0030-y|arxiv=1005.4346|s2cid=119586228}}</ref> अपने इंस्टेंटन नॉट फ़्लोर होमोलॉजी समूह से सटे एक वर्णक्रमीय अनुक्रम का प्रदर्शन किया और इसका उपयोग यह दिखाने के लिए किया कि खोवानोव होमोलॉजी (इंस्टेंटन नॉट फ़्लोर होमोलॉजी की तरह) अनकॉट का पता लगाता है।
खोवानोव की समरूपता के सबसे रोचक गुण में से एक यह है कि इसके सटीक अनुक्रम औपचारिक रूप से [[3 manifolds|3 बहुरूपता]] के फ़्लोर समरूपता में उत्पन्न होने वाले अनुक्रमों के समान हैं। इसके अलावा, इसका उपयोग [[गेज सिद्धांत]] और उसके समकक्षों का उपयोग करके पहली बार प्रदर्शित परिणाम का एक और प्रमाण तैयार करने के लिए किया गया है: जैकब रासमुसेन का [[पीटर क्रोनहाइमर]] और टॉमाज़ म्रोवका के प्रमेय का नया प्रमाण, जिसे पहले [[मिल्नोर अनुमान (टोपोलॉजी)]] के रूप में जाना जाता था (नीचे देखें)। पीटर ओज़स्वथ और ज़ोल्टन स्ज़ाबो (डॉवलिन 2018) की नॉट फ़्लोर [[फ़्लोर होमोलॉजी|सजातीय]] के साथ खोवानोव सजातीय से संबंधित एक [[वर्णक्रमीय अनुक्रम]] है।<ref>{{cite arXiv|last=Dowlin|first=Nathan|date=2018-11-19|title=खोवानोव होमोलॉजी से नॉट फ़्लोर होमोलॉजी तक एक वर्णक्रमीय अनुक्रम|class=math.GT|eprint=1811.07848}}</ref> इस वर्णक्रमीय अनुक्रम ने दो सिद्धांतों (डनफील्ड एट अल. 2005) के मध्य संबंधों पर पहले के अनुमान को निश्चित किया है। एक अन्य वर्णक्रमीय अनुक्रम (ओज़स्वथ-स्ज़ाबो 2005) खोवानोव समरूपता के एक प्रकार को एक गाँठ के साथ शाखित [[डबल कवर (टोपोलॉजी)|दोहरे आवरण]] के हीगार्ड फ़्लोर समरूपता से जोड़ता है। एक तिहाई (ब्लूम 2009) शाखित दोहरे आवरण के एकध्रुव फ़्लोर सजातीय के एक प्रकार में परिवर्तित होता है। 2010 में क्रोनहाइमर और म्रोवका ने <ref>{{cite journal|last1=Kronheimer|first1=Peter B.|last2=Mrowka|first2=Tomasz|title=खोवानोव होमोलॉजी एक अननॉट-डिटेक्टर है।|journal=Publ. Math. Inst. Hautes Études Sci.|date=2011|volume=113|pages=97–208|doi=10.1007/s10240-010-0030-y|arxiv=1005.4346|s2cid=119586228}}</ref> अपने इंस्टेंटन नॉट फ़्लोर सजातीय समूह से प्रतिस्पर्शी एक वर्णक्रमीय अनुक्रम का प्रदर्शन किया और इसका उपयोग यह दिखाने के लिए किया कि खोवानोव सजातीय (इंस्टेंटन नॉट फ़्लोर सजातीय की तरह) अनकॉट का पता लगाता है।


खोवानोव होमोलॉजी ली बीजगणित एसएल के प्रतिनिधित्व सिद्धांत से संबंधित है<sub>2</sub>. मिखाइल खोवानोव और लेव रोज़ान्स्की ने तब से एसएल से जुड़े होमोलॉजी (गणित) सिद्धांतों को परिभाषित किया है<sub>''n''</sub> सभी के लिए एन. 2003 में, [[कैथरीन स्ट्रॉपेल]] ने खोवानोव होमोलॉजी को टेंगल्स के एक इनवेरिएंट (रेशेतिखिन-तुराएव इनवेरिएंट का एक वर्गीकृत संस्करण) तक विस्तारित किया, जो sl को भी सामान्यीकृत करता है।<sub>''n''</sub> सभी के लिए एन.
खोवानोव सजातीय ली बीजगणित sl<sub>2</sub> के प्रतिनिधित्व सिद्धांत से संबंधित है। मिखाइल खोवानोव और लेव रोज़ान्स्की ने तब से सभी ''n'' के लिए sl<sub>''n''</sub> से संबंधित समरूपता सिद्धांतों को परिभाषित किया है। 2003 में, [[कैथरीन स्ट्रॉपेल]] ने खोवानोव सजातीय को टेंगल्स के एक निश्चन (रेशेतिखिन-तुराएव निश्चन का एक वर्गीकृत संस्करण) तक विस्तारित किया, जो सभी ''n'' के लिए sl<sub>''n''</sub> को सामान्यीकृत करता है। पॉल सीडेल और इवान स्मिथ ने लैग्रेंजियन प्रतिच्छेदन फ़्लोर सजातीय का उपयोग करके एक एकल वर्गीकृत ग्रंथि सजातीय सिद्धांत का निर्माण किया है, जिसे वे खोवानोव सजातीय के एकल वर्गीकृत संस्करण के लिए समरूपी होने का अनुमान लगाते हैं। [[सिप्रियन मनोलेस्कु]] ने तब से उनके निर्माण को सरल बना दिया है और दिखाया है कि [[सीडेल-स्मिथ अपरिवर्तनीय|सीडेल-स्मिथ निश्चर]] के अपने संस्करण के अंतर्निहित कोचेन सम्मिश्र से जोन्स बहुपद को कैसे पुनर्प्राप्त किया जाए।
पॉल सीडेल और इवान स्मिथ ने लैग्रेंजियन इंटरसेक्शन फ़्लोर होमोलॉजी का उपयोग करके एक एकल वर्गीकृत गाँठ होमोलॉजी सिद्धांत का निर्माण किया है, जिसे वे खोवानोव होमोलॉजी के एकल वर्गीकृत संस्करण के लिए आइसोमोर्फिक होने का अनुमान लगाते हैं। [[सिप्रियन मनोलेस्कु]] ने तब से उनके निर्माण को सरल बना दिया है और दिखाया है कि [[सीडेल-स्मिथ अपरिवर्तनीय]] के अपने संस्करण के अंतर्निहित कोचेन कॉम्प्लेक्स से जोन्स बहुपद को कैसे पुनर्प्राप्त किया जाए।


==लिंक (गाँठ) बहुपद से संबंध==
==लिंक (ग्रंथि) बहुपदों से संबंध==
2006 में [[गणितज्ञों की अंतर्राष्ट्रीय कांग्रेस]] में मिखाइल खोवानोव ने खोवानोव समरूपता के दृष्टिकोण से गाँठ बहुपदों के संबंध के लिए निम्नलिखित स्पष्टीकरण प्रदान किया। तीन कड़ियों के लिए स्केन संबंध <math>L_1,L_2</math> और <math>L_3</math> के रूप में वर्णित है
2006 में [[गणितज्ञों की अंतर्राष्ट्रीय कांग्रेस]] में मिखाइल खोवानोव ने खोवानोव समरूपता के दृष्टिकोण से ग्रंथि बहुपदों के संबंध के लिए निम्नलिखित स्पष्टीकरण प्रदान किया है। तीन लिंक <math>L_1,L_2</math> और <math>L_3</math>के लिए स्केन संबंध को इस प्रकार वर्णित किया गया है


:<math>\lambda P(L_1)-\lambda^{-1}P(L_2)=(q-q^{-1})P(L_3).</math>
:<math>\lambda P(L_1)-\lambda^{-1}P(L_2)=(q-q^{-1})P(L_3).</math>
स्थानापन्न <math>\lambda=q^n, n\le0</math> एक लिंक बहुपद अपरिवर्तनीय की ओर ले जाता है <math>P_n(L)\in\Z[q,q^{-1}]</math>, ताकि सामान्यीकृत किया जा सके
<math>\lambda=q^n, n\le0</math> को प्रतिस्थापित करने से एक लिंक बहुपद अपरिवर्तनीय <math>P_n(L)\in\Z[q,q^{-1}]</math> बनता है, जिसे सामान्यीकृत किया जाता है


:<math>\begin{align}
:<math>\begin{align}
Line 45: Line 42:
P_0(unknot) &= 1
P_0(unknot) &= 1
\end{align}</math>
\end{align}</math>
के लिए <math>n > 0</math> बहुपद <math>P_n(L)</math> [[क्वांटम समूह]] के [[प्रतिनिधित्व सिद्धांत]] के माध्यम से व्याख्या की जा सकती है <math>sl(n)</math> और <math>P_0(L)</math> क्वांटम लाई [[सुपरबीजगणित]] के माध्यम से <math>U_q(gl(1|1))</math>.
<math>n > 0</math> के लिए बहुपद <math>P_n(L)</math> की व्याख्या [[क्वांटम समूह]] <math>sl(n)</math> और <math>P_0(L)</math> के [[प्रतिनिधित्व सिद्धांत]] के माध्यम से क्वांटम लाई [[सुपरबीजगणित]] <math>U_q(gl(1|1))</math> के माध्यम से की जा सकती है।


*सिकंदर बहुपद <math>P_0(L)</math> बिगग्रेडेड नॉट होमोलॉजी सिद्धांत की यूलर विशेषता है।
*अलेक्जेंडर बहुपद <math>P_0(L)</math> एक बिगग्रेडेड नॉट सजातीय सिद्धांत की यूलर विशेषता है।
*<math>P_1(L)=1</math> तुच्छ है.
*<math>P_1(L)=1</math> तुच्छ है।
*जोन्स बहुपद <math>P_2(L)</math> बिगग्रेडेड लिंक होमोलॉजी सिद्धांत की यूलर विशेषता है।
*जोन्स बहुपद <math>P_2(L)</math> एक बिगग्रेडेड लिंक सजातीय सिद्धांत की यूलर विशेषता है।
*संपूर्ण [[होमफ्लाई बहुपद]]|होमफ्लाई-पीटी बहुपद एक त्रिगुणित श्रेणीबद्ध लिंक होमोलॉजी सिद्धांत की यूलर विशेषता है।
*संपूर्ण [[होमफ्लाई-पीटी]] बहुपद एक त्रिगुणित श्रेणीबद्ध लिंक सजातीय सिद्धांत की यूलर विशेषता है।


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


2010 में, पीटर बी. क्रोनहाइमर और टोमाज़ म्रोवका ने साबित किया कि खोवानोव होमोलॉजी अनकॉट का पता लगाती है। वर्गीकृत सिद्धांत में गैर-वर्गीकृत सिद्धांत की तुलना में अधिक जानकारी होती है। हालाँकि खोवानोव समरूपता अनकनॉट का पता लगाती है, यह अभी तक ज्ञात नहीं है कि जोन्स बहुपद#ओपन समस्याएँ होती हैं या नहीं।
2010 में, क्रोनहाइमर और म्रोवका ने सिद्ध किया कि खोवानोव सजातीय अनकॉट का पता लगाती है। वर्गीकृत सिद्धांत में गैर-वर्गीकृत सिद्धांत की तुलना में अधिक जानकारी होती है। हालाँकि खोवानोव समरूपता अनकनॉट का पता लगाती है, यह अभी तक ज्ञात नहीं है कि जोन्स बहुपद करता है या नहीं करता है।


==टिप्पणियाँ==
==टिप्पणियाँ==
{{Reflist}}
{{Reflist}}


==संदर्भ==
==संदर्भ==
Line 142: Line 138:
  | volume = 126
  | volume = 126
  | year = 2005| citeseerx = 10.1.1.586.3553 }}.
  | year = 2005| citeseerx = 10.1.1.586.3553 }}.
==बाहरी संबंध==
==बाहरी संबंध==
*[https://arxiv.org/abs/1005.4346 Khovanov homology is an unknot-detector] by [[Kronheimer]] and [[Tomasz Mrowka|Mrowka]]
*[https://arxiv.org/abs/1005.4346 Khovanov homology is an unknot-detector] by [[Kronheimer]] and [[Tomasz Mrowka|Mrowka]]

Revision as of 13:30, 14 July 2023

गणित में, खोवानोव सजातीय एक उन्मुख लिंक अपरिवर्तनीय है जो कोचेन सम्मिश्र के सह-समरूपता के रूप में उत्पन्न होती है। इसे जोन्स बहुपद का वर्गीकरण माना जा सकता है।

इसे 1990 के दशक के अंत में मिखाइल खोवानोव द्वारा विकसित किया गया था, तब कैलिफोर्निया विश्वविद्यालय, डेविस और अब कोलंबिया विश्वविद्यालय में है।

अवलोकन

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

परिभाषा

यह परिभाषा ड्रॉर बार-नटन के 2002 के दस्तावेज़ में दी गई औपचारिकता का अनुकरण करती है।

मान लीजिए कि {l} श्रेणीबद्ध सदिश समष्टि पर डिग्री शिफ्ट संचालन को दर्शाता है - अर्थात, आयाम m में सजातीय घटक को आयाम m + l तक स्थानांतरित कर दिया गया है।

इसी तरह, मान लीजिए कि [s] कोचेन सम्मिश्र पर ऊंचाई शिफ्ट संचालन को दर्शाता है - अर्थात, सम्मिश्र में rth सदिश समष्टि या मॉड्यूल (गणित) को (r+s) वें स्थान पर स्थानांतरित कर दिया जाता है, जिसके अनुसार सभी अंतर मानचित्रों को तदनुसार स्थानांतरित किया जाता है।

मान लीजिए V श्रेणीबद्ध सदिश समष्टि है जिसमें डिग्री 1 का एक जनरेटर q और डिग्री −1 का एक जनरेटर q−1 है।

अब एक लिंक L का प्रतिनिधित्व करने वाला एक स्वेच्छाचारी आरेख D लीजिए। 'खोवानोव ब्रैकेट' के लिए स्वयंसिद्ध कथन इस प्रकार हैं:

  1. [ø] = 0 → Z → 0, जहां ø रिक्त लिंक को दर्शाता है।
  2. [O D] = V[D], जहां O एक असंबद्ध तुच्छ घटक को दर्शाता है।
  3. [D] = F(0 → [D0][D1]{1} → 0)

इनमें से तीसरे में, F 'फ़्लैटनिंग' संचालन को दर्शाता है, जहां विकर्णों के साथ सीधे योग लेकर दोहरे सम्मिश्र से एक एकल सम्मिश्र बनाया जाता है। इसके अलावा, D0, D में चयन किये गए क्रॉसिंग के `0-स्मूथनिंग' को दर्शाता है, और D1 `1-स्मूथनिंग' को दर्शाता है, जो कॉफ़मैन ब्रैकेट के स्केन संबंध के अनुरूप है।

इसके बाद, हम 'सामान्यीकृत' सम्मिश्र C(D) = [D][−n]{n+ − 2n} का निर्माण करते हैं, जहां nD के लिए चयन किये गए आरेख में बाएं हाथ से क्रॉसिंग की संख्या को दर्शाता है, और n+ दाएं हाथ से क्रॉसिंग की संख्या को दर्शाता है।

L की खोवानोव समरूपता को इस सम्मिश्र C(D) के सहसमरूपता H(L) के रूप में परिभाषित किया गया है। यह पता चला है कि खोवानोव सजातीय वास्तव में L का एक अपरिवर्तनीय है, और आरेख की पसंद पर निर्भर नहीं करता है। H(L) की श्रेणीबद्ध यूलर विशेषता L का जोन्स बहुपद बन जाती है। हालाँकि, H(L) में जोन्स बहुपद की तुलना में L के बारे में अधिक जानकारी सम्मिलित है, लेकिन सटीक विवरण अभी तक पूरी तरह से समझ में नहीं आया है।

2006 में ड्रोर बार-नटन ने किसी भी ग्रंथि के लिए खोवानोव सजातीय (या श्रेणी) की गणना करने के लिए एक कंप्यूटर क्रमादेश विकसित करता है।[1]

संबंधित सिद्धांत

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

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

लिंक (ग्रंथि) बहुपदों से संबंध

2006 में गणितज्ञों की अंतर्राष्ट्रीय कांग्रेस में मिखाइल खोवानोव ने खोवानोव समरूपता के दृष्टिकोण से ग्रंथि बहुपदों के संबंध के लिए निम्नलिखित स्पष्टीकरण प्रदान किया है। तीन लिंक और के लिए स्केन संबंध को इस प्रकार वर्णित किया गया है

को प्रतिस्थापित करने से एक लिंक बहुपद अपरिवर्तनीय बनता है, जिसे सामान्यीकृत किया जाता है

के लिए बहुपद की व्याख्या क्वांटम समूह और के प्रतिनिधित्व सिद्धांत के माध्यम से क्वांटम लाई सुपरबीजगणित के माध्यम से की जा सकती है।

  • अलेक्जेंडर बहुपद एक बिगग्रेडेड नॉट सजातीय सिद्धांत की यूलर विशेषता है।
  • तुच्छ है।
  • जोन्स बहुपद एक बिगग्रेडेड लिंक सजातीय सिद्धांत की यूलर विशेषता है।
  • संपूर्ण होमफ्लाई-पीटी बहुपद एक त्रिगुणित श्रेणीबद्ध लिंक सजातीय सिद्धांत की यूलर विशेषता है।

अनुप्रयोग

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

2010 में, क्रोनहाइमर और म्रोवका ने सिद्ध किया कि खोवानोव सजातीय अनकॉट का पता लगाती है। वर्गीकृत सिद्धांत में गैर-वर्गीकृत सिद्धांत की तुलना में अधिक जानकारी होती है। हालाँकि खोवानोव समरूपता अनकनॉट का पता लगाती है, यह अभी तक ज्ञात नहीं है कि जोन्स बहुपद करता है या नहीं करता है।

टिप्पणियाँ

  1. New Scientist 18 Oct 2008
  2. Dowlin, Nathan (2018-11-19). "खोवानोव होमोलॉजी से नॉट फ़्लोर होमोलॉजी तक एक वर्णक्रमीय अनुक्रम". arXiv:1811.07848 [math.GT].
  3. Kronheimer, Peter B.; Mrowka, Tomasz (2011). "खोवानोव होमोलॉजी एक अननॉट-डिटेक्टर है।". Publ. Math. Inst. Hautes Études Sci. 113: 97–208. arXiv:1005.4346. doi:10.1007/s10240-010-0030-y. S2CID 119586228.

संदर्भ

बाहरी संबंध