चक्रीय समरूपता: Difference between revisions
(Created page with "गैर-अनुवांशिक ज्यामिति और गणित की संबंधित शाखाओं में, चक्रीय समर...") |
No edit summary |
||
| Line 1: | Line 1: | ||
[[गैर-अनुवांशिक ज्यामिति]] और गणित की संबंधित शाखाओं में, चक्रीय समरूपता और चक्रीय समरूपता [[साहचर्य बीजगणित]] के लिए निश्चित (सह) समरूपता सिद्धांत हैं जो | [[गैर-अनुवांशिक ज्यामिति]] और गणित की संबंधित शाखाओं में, चक्रीय समरूपता और चक्रीय समरूपता [[साहचर्य बीजगणित]] के लिए निश्चित (सह) समरूपता सिद्धांत हैं जो विविध्स के डी राम सह समरूपता को सामान्यीकृत करते हैं। इन धारणाओं को स्वतंत्र रूप से [[बोरिस त्स्यगन]] (होमोलॉजी) <ref>Boris L. Tsygan. Homology of matrix Lie algebras over rings and the [[Hochschild homology]]. Uspekhi Mat. Nauk, 38(2(230)):217–218, 1983. Translation in Russ. Math. Survey 38(2) (1983), 198–199. | ||
</ref> और [[एलेन कोन्स]] (कोहोमोलॉजी)<ref>Alain Connes. Noncommutative differential geometry. Inst. Hautes Études Sci. Publ. Math., 62:257–360, 1985. | </ref> और [[एलेन कोन्स]] (कोहोमोलॉजी)<ref>Alain Connes. Noncommutative differential geometry. Inst. Hautes Études Sci. Publ. Math., 62:257–360, 1985. | ||
</ref> उन्नीस सौ अस्सी के दशक | </ref> द्वारा प्रस्तुत किया गया था उन्नीस सौ अस्सी के दशक में, इन अपरिवर्तनीयों के गणित की कई पुरानी शाखाओं के साथ कई दिलचस्प संबंध हैं, जिनमें डी राम सिद्धांत, होशचाइल्ड (सह) समरूपता, समूह सह समरूपता और के-सिद्धांत सम्मिलित हैं। सिद्धांत के विकास में योगदानकर्ताओं में [[मैक्स करौबी]], यूरी एल. डेलेत्स्की, [[बोरिस फागिन]], [[जीन-ल्यूक ब्रिलिंस्की]], [[मारियस वोड्ज़िकी]], [[जीन लुई लोडे]], विक्टर निस्टर, [[डेनियल क्विलेन]], [[जोआचिम कुंत्ज़]], रिस्ज़र्ड नेस्ट, राल्फ़ मेयर और माइकल पुश्निग्ग सम्मिलित हैं। | ||
== परिभाषा के बारे में संकेत == | == परिभाषा के बारे में संकेत == | ||
| Line 15: | Line 15: | ||
t_n : A^{\otimes n} \to A^{\otimes n}, \quad a_1 \otimes \dots \otimes a_n \mapsto (-1)^{n-1} a_n \otimes a_1 \otimes \dots \otimes a_{n-1}. | t_n : A^{\otimes n} \to A^{\otimes n}, \quad a_1 \otimes \dots \otimes a_n \mapsto (-1)^{n-1} a_n \otimes a_1 \otimes \dots \otimes a_{n-1}. | ||
\end{align}</math> | \end{align}</math> | ||
याद रखें कि ए | याद रखें कि ए में गुणांक वाले होशचाइल्ड जटिल समूह <math> HC_n(A) := A^{\otimes n+1} </math> ए में गुणांक के साथ सेटिंग द्वारा दिए गए हैं सभी n ≥ 0 के लिए। फिर कॉन्स कॉम्प्लेक्स के घटकों को <math> C^\lambda_n(A) := HC_n(A)/ \langle 1 - t_{n+1} \rangle </math> के रूप में परिभाषित किया गया है , <math> C^\lambda_n(A) := HC_n(A)/ \langle 1 - t_{n+1} \rangle </math>और अंतर <math> d : C^\lambda_n(A) \to C^\lambda_{n-1}(A)</math> इस भागफल के लिए होशचाइल्ड अंतर का प्रतिबंध है। कोई यह जांच सकता है कि होशचाइल्ड अंतर वास्तव में संयोग के इस स्थान को प्रभावित करता है।<ref>Jean-Louis Loday. Cyclic Homology. Vol. 301. Springer Science & Business Media, 1997.</ref> | ||
<ref>Jean-Louis Loday. Cyclic Homology. Vol. 301. Springer Science & Business Media, 1997.</ref> | |||
चक्रीय समरूपता की एक | कॉन्स ने बाद में [[एबेलियन श्रेणी]] में चक्रीय वस्तु की धारणा का उपयोग करके चक्रीय समरूपता के लिए एक अधिक स्पष्ट दृष्टिकोण पाया, जो [[सरल वस्तु]] की धारणा के अनुरूप है। इस तरह, चक्रीय होमोलॉजी (और कोहोमोलॉजी) की व्याख्या एक [[व्युत्पन्न फ़ंक्टर]] के रूप में की जा सकती है, जिसे स्पष्ट रूप से (''बी'', ''बी'')-बाइकॉम्प्लेक्स के माध्यम से गणना की जा सकती है। यदि फ़ील्ड ''k'' में तर्कसंगत संख्याएं सम्मिलित हैं, तो कॉन्स कॉम्प्लेक्स के संदर्भ में परिभाषा समान समरूपता की गणना करती है। | ||
== क्रमविनिमेय वलय का | चक्रीय समरूपता की एक उल्लेखनीय विशेषता होशचाइल्ड और चक्रीय समरूपता को जोड़ने वाले एक लंबे सटीक अनुक्रम का अस्तित्व है। इस लंबे सटीक अनुक्रम को आवधिकता अनुक्रम कहा जाता है। | ||
== क्रमविनिमेय वलय का घटना == | |||
गुणात्मक शून्य के क्षेत्र k पर एक [[एफ़िन बीजगणितीय विविधता]] पर नियमित कार्यों के क्रमविनिमेय बीजगणित ए की चक्रीय सह-समरूपता की गणना [[ग्रोथेंडिक]] के क्रिस्टलीय सह-समरूपता के संदर्भ में की जा सकती है।<ref>Boris L. Fegin and Boris L. Tsygan. Additive K-theory and crystalline cohomology. Funktsional. Anal. i Prilozhen., 19(2):52–62, 96, 1985.</ref> विशेष रूप से, यदि विविधता V=स्पेक A चिकनी है, तो A की चक्रीय सहसंयोजीता को V की डी राम सहसंयोजी के रूप में इस प्रकार व्यक्त किया जाता है: | गुणात्मक शून्य के क्षेत्र k पर एक [[एफ़िन बीजगणितीय विविधता]] पर नियमित कार्यों के क्रमविनिमेय बीजगणित ए की चक्रीय सह-समरूपता की गणना [[ग्रोथेंडिक]] के क्रिस्टलीय सह-समरूपता के संदर्भ में की जा सकती है।<ref>Boris L. Fegin and Boris L. Tsygan. Additive K-theory and crystalline cohomology. Funktsional. Anal. i Prilozhen., 19(2):52–62, 96, 1985.</ref> विशेष रूप से, यदि विविधता V=स्पेक A चिकनी है, तो A की चक्रीय सहसंयोजीता को V की डी राम सहसंयोजी के रूप में इस प्रकार व्यक्त किया जाता है: | ||
:<math> HC_n(A)\simeq \Omega^n\!A/d\Omega^{n-1}\!A\oplus \bigoplus_{i\geq 1}H^{n-2i}_{DR}(V).</math> | :<math> HC_n(A)\simeq \Omega^n\!A/d\Omega^{n-1}\!A\oplus \bigoplus_{i\geq 1}H^{n-2i}_{DR}(V).</math> | ||
| Line 30: | Line 29: | ||
चक्रीय समरूपता की एक प्रेरणा K-सिद्धांत के एक सन्निकटन की आवश्यकता थी जिसे K-सिद्धांत के विपरीत, एक श्रृंखला परिसर की समरूपता के रूप में परिभाषित किया गया है। चक्रीय कोहोलॉजी वास्तव में के-सिद्धांत के साथ एक जोड़ी के साथ संपन्न है, और एक उम्मीद है कि यह जोड़ी गैर-पतित होगी। | चक्रीय समरूपता की एक प्रेरणा K-सिद्धांत के एक सन्निकटन की आवश्यकता थी जिसे K-सिद्धांत के विपरीत, एक श्रृंखला परिसर की समरूपता के रूप में परिभाषित किया गया है। चक्रीय कोहोलॉजी वास्तव में के-सिद्धांत के साथ एक जोड़ी के साथ संपन्न है, और एक उम्मीद है कि यह जोड़ी गैर-पतित होगी। | ||
ऐसे कई प्रकार परिभाषित किए गए हैं जिनका उद्देश्य टोपोलॉजी के साथ बीजगणित के साथ बेहतर ढंग से फिट होना है, जैसे फ़्रेचेट बीजगणित, <math>C^*</math>-बीजगणित | ऐसे कई प्रकार परिभाषित किए गए हैं जिनका उद्देश्य टोपोलॉजी के साथ बीजगणित के साथ बेहतर ढंग से फिट होना है, जैसे फ़्रेचेट बीजगणित, <math>C^*</math>-बीजगणित आदि। इसका कारण यह है कि के-सिद्धांत अतिरिक्त संरचना के बिना बीजगणित की तुलना में [[बानाच बीजगणित]] या [[सी*-बीजगणित]] जैसे टोपोलॉजिकल बीजगणित पर बहुत बेहतर व्यवहार करता है। चूँकि, दूसरी ओर, C*-बीजगणित पर चक्रीय समरूपता का ह्रास होता है, इसलिए संशोधित सिद्धांतों को परिभाषित करने की आवश्यकता उत्पन्न हुई। इनमें एलेन कोन्स के कारण संपूर्ण चक्रीय समरूपता, राल्फ़ मेयर के कारण विश्लेषणात्मक चक्रीय समरूपता सम्मिलित हैं।<ref> | ||
Ralf Meyer. Analytic cyclic cohomology. PhD thesis, Universität Münster, 1999</ref> या माइकल पुश्निग्ग के कारण स्पर्शोन्मुख और स्थानीय चक्रीय समरूपता।<ref>Michael Puschnigg. Diffeotopy functors of ind-algebras and local cyclic cohomology. Doc. | Ralf Meyer. Analytic cyclic cohomology. PhD thesis, Universität Münster, 1999</ref> या माइकल पुश्निग्ग के कारण स्पर्शोन्मुख और स्थानीय चक्रीय समरूपता।<ref>Michael Puschnigg. Diffeotopy functors of ind-algebras and local cyclic cohomology. Doc. | ||
Math., 8:143–245 (electronic), 2003.</ref> आखिरी वाला के-सिद्धांत के बहुत करीब है क्योंकि यह [[केके-सिद्धांत]] के द्विवेरिएंट [[चेर्न चरित्र]] से संपन्न है। | Math., 8:143–245 (electronic), 2003.</ref> आखिरी वाला के-सिद्धांत के बहुत करीब है क्योंकि यह [[केके-सिद्धांत]] के द्विवेरिएंट [[चेर्न चरित्र]] से संपन्न है। | ||
==अनुप्रयोग== | ==अनुप्रयोग== | ||
चक्रीय समरूपता के अनुप्रयोगों में से एक अतियाह-सिंगर सूचकांक प्रमेय के नए प्रमाण और सामान्यीकरण | चक्रीय समरूपता के अनुप्रयोगों में से एक अतियाह-सिंगर सूचकांक प्रमेय के नए प्रमाण और सामान्यीकरण अन्वेषण है। इन सामान्यीकरणों में वर्णक्रमीय त्रिगुणों पर आधारित सूचकांक प्रमेय हैं<ref>Alain Connes and Henri Moscovici. The local index formula in noncommutative geometry. Geom. Funct. Anal., 5(2):174–243, 1995.</ref> और [[पॉइसन मैनिफ़ोल्ड]] का [[विरूपण परिमाणीकरण]]।<ref>Ryszard Nest and Boris Tsygan. Algebraic index theorem. Comm. Math. Phys., 172(2):223–262, 1995.</ref><!-- needs to be a good representative of the theory, with enough context and relevance. The index theorem for quantum tori is linked to the [[quantum Hall effect]],<ref>http://citeseer.ist.psu.edu/old/404503.html {{Bare URL inline|date=May 2022}}</ref> and the index theorem for deformation quantization to the study of band energy redistribution in the [[Born-Oppenheimer approximation]] in molecular physics.<ref>http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.3618 {{Bare URL inline|date=May 2022}}</ref> --> | ||
सुगठित चिकना विविध पर एक अण्डाकार ऑपरेटर डी, के होमोलॉजी में एक वर्ग को परिभाषित करता है। इस वर्ग का एक अपरिवर्तनीय ऑपरेटर का विश्लेषणात्मक सूचकांक है। इसे एचसी(सी(एम)) में तत्व 1 के साथ वर्ग [डी] की जोड़ी के रूप में देखा जाता है। चक्रीय कोहोलॉजी को न केवल चिकनी विविध् के लिए, बल्कि गैर-अनुवांशिक ज्यामिति में दिखाई देने वाले पत्ते, [[कक्षीय मोड़]] और एकवचन रिक्त स्थान के लिए अण्डाकार अंतर ऑपरेटरों के उच्च अपरिवर्तनीयता प्राप्त करने के एक तरीके के रूप में देखा जा सकता है। | |||
==[[बीजगणितीय K-सिद्धांत]] की गणना== | ==[[बीजगणितीय K-सिद्धांत]] की गणना== | ||
| Line 46: | Line 46: | ||
:<math>K_n(A, I) \otimes \mathbf Q \to HC_{n-1} (A, I) \otimes \mathbf Q </math> | :<math>K_n(A, I) \otimes \mathbf Q \to HC_{n-1} (A, I) \otimes \mathbf Q </math> | ||
एक निलपोटेंट दो-तरफा आदर्श | एक निलपोटेंट दो-तरफा आदर्श के संबंध में A के सापेक्ष K-सिद्धांत के बीच सापेक्ष चक्रीय समरूपता (A और A/I के K-सिद्धांत या चक्रीय समरूपता के बीच अंतर को मापना) n≥1 के लिए एक समरूपता है। | ||
जबकि गुडविली का परिणाम मनमाने छल्ले के लिए है, एक त्वरित कमी से पता चलता है कि यह संक्षेप में केवल | जबकि गुडविली का परिणाम मनमाने छल्ले के लिए है, एक त्वरित कमी से पता चलता है कि यह संक्षेप में केवल <math>A \otimes_{\mathbf Z} \mathbf Q</math> एक बयान है उन रिंगों के लिए जिनमें Q नहीं है, K-सिद्धांत के साथ घनिष्ठ संबंध बनाए रखने के लिए चक्रीय होमोलॉजी को टोपोलॉजिकल चक्रीय होमोलॉजी द्वारा प्रतिस्थापित किया जाना चाहिए। (यदि Q, ''A'' में समाहित है, तो चक्रीय होमोलॉजी और ''A'' की टोपोलॉजिकल चक्रीय होमोलॉजी सहमत हैं।) यह इस तथ्य के अनुरूप है कि (शास्त्रीय) होशचाइल्ड होमोलॉजी, टोपोलॉजिकल होशचाइल्ड होमोलॉजी की तुलना में कम अच्छा व्यवहार करती है। उन छल्लों के लिए जिनमें Q सम्मिलित नहीं है। {{harvtxt|क्लॉसन|मैथ्यू|मोरो|2018}} ने गुडविली के परिणाम का एक दूरगामी सामान्यीकरण साबित हुआ, जिसमें कहा गया कि एक क्रमविनिमेय रिंग A के लिए ताकि [[हेन्सेलियन अंगूठी]] आदर्श के संबंध में बनी रहे, सापेक्ष K-सिद्धांत सापेक्ष टोपोलॉजिकल चक्रीय होमोलॉजी(बिना) के लिए आइसोमोर्फिक है ('Q के साथ दोनों को टेंसर करना) । उनके परिणाम में {{harvtxt|गैबर|1992}} एक प्रमेय भी सम्मिलित है , यह दावा करते हुए कि इस स्थिति में सापेक्ष K-सिद्धांत स्पेक्ट्रम मॉड्यूल एक पूर्णांक n जो A में उलटा है गायब हो जाता है। {{harvtxt|जार्डिन|1993}} [[परिमित क्षेत्र]]ों के K-सिद्धांत की क्विलेन की गणना को गलत ठहराने के लिए गैबर के परिणाम और [[सुस्लिन कठोरता]] का उपयोग किया। | ||
==यह भी देखें== | ==यह भी देखें== | ||
* | * अविनिमेय ज्यामिति | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
{{reflist}} | {{reflist}} | ||
== संदर्भ == | == संदर्भ == | ||
* {{citation|last=जार्डिन|first=जे. एफ.|title=परिमित क्षेत्रों के K-सिद्धांत पर दोबारा गौर किया गया|journal=कश्मीर सिद्धांत|volume=7|year=1993|issue=6|pages=579–595|mr=1268594|doi=10.1007/BF00961219}} | |||
* {{citation|last= | * {{citation|last=लोडे|first=जीन लुइस|author-link=जीन-लुई लोडे|title=चक्रीय समरूपता|series=ग्रुंडलह्रेन डेर मैथेमेटिसचेन विसेंसचाफ्टन|volume=301|publisher=कोंपल|year=1998|isbn=978-3-540-63074-6}} | ||
* {{citation|last= | * {{citation|last=Gabber|first=Ofer|author-link=ओफ़र गब्बर|chapter=''K''-theory of Henselian local rings and Henselian pairs|title=Algebraic ''K''-theory, commutative algebra, and algebraic geometry (Santa Margherita Ligure, 1989)|volume=126|series=Contemp. Math.|pages=59–70|publisher=AMS|year=1992}} | ||
* {{citation|last=Gabber|first=Ofer|author-link= | |||
* {{cite arXiv |title=K-theory and topological cyclic homology of henselian pairs|last1=Clausen|first1=Dustin|first2=Akhil|last2=Mathew|first3=Matthew|last3=Morrow|eprint=1803.10897|mode=cs2|class=math.KT|year=2018}} | * {{cite arXiv |title=K-theory and topological cyclic homology of henselian pairs|last1=Clausen|first1=Dustin|first2=Akhil|last2=Mathew|first3=Matthew|last3=Morrow|eprint=1803.10897|mode=cs2|class=math.KT|year=2018}} | ||
* {{citation|last=Goodwillie|first=Thomas G.|title=Relative algebraic ''K''-theory and cyclic homology|journal=Annals of Mathematics |series=Second Series|volume=124|year=1986|issue=2|pages=347–402|mr=855300|doi=10.2307/1971283|jstor=1971283}} | * {{citation|last=Goodwillie|first=Thomas G.|title=Relative algebraic ''K''-theory and cyclic homology|journal=Annals of Mathematics |series=Second Series|volume=124|year=1986|issue=2|pages=347–402|mr=855300|doi=10.2307/1971283|jstor=1971283}} | ||
Revision as of 10:52, 14 July 2023
गैर-अनुवांशिक ज्यामिति और गणित की संबंधित शाखाओं में, चक्रीय समरूपता और चक्रीय समरूपता साहचर्य बीजगणित के लिए निश्चित (सह) समरूपता सिद्धांत हैं जो विविध्स के डी राम सह समरूपता को सामान्यीकृत करते हैं। इन धारणाओं को स्वतंत्र रूप से बोरिस त्स्यगन (होमोलॉजी) [1] और एलेन कोन्स (कोहोमोलॉजी)[2] द्वारा प्रस्तुत किया गया था उन्नीस सौ अस्सी के दशक में, इन अपरिवर्तनीयों के गणित की कई पुरानी शाखाओं के साथ कई दिलचस्प संबंध हैं, जिनमें डी राम सिद्धांत, होशचाइल्ड (सह) समरूपता, समूह सह समरूपता और के-सिद्धांत सम्मिलित हैं। सिद्धांत के विकास में योगदानकर्ताओं में मैक्स करौबी, यूरी एल. डेलेत्स्की, बोरिस फागिन, जीन-ल्यूक ब्रिलिंस्की, मारियस वोड्ज़िकी, जीन लुई लोडे, विक्टर निस्टर, डेनियल क्विलेन, जोआचिम कुंत्ज़, रिस्ज़र्ड नेस्ट, राल्फ़ मेयर और माइकल पुश्निग्ग सम्मिलित हैं।
परिभाषा के बारे में संकेत
विशेषता (बीजगणित) शून्य के क्षेत्र पर रिंग ए की चक्रीय समरूपता की पहली परिभाषा, निरूपित
- एचसीn(ए) या एचnλ(ए),
ए के होशचाइल्ड होमोलॉजी से संबंधित निम्नलिखित स्पष्ट श्रृंखला कॉम्प्लेक्स के माध्यम से आगे बढ़ा, जिसे 'श्रृंखला जटिल' कहा जाता है:
किसी भी प्राकृतिक संख्या n ≥ 0 के लिए, संकारक को परिभाषित करें जो की प्राकृतिक चक्रीय क्रिया उत्पन्न करता है ए के एन-वें टेंसर उत्पाद पर:
याद रखें कि ए में गुणांक वाले होशचाइल्ड जटिल समूह ए में गुणांक के साथ सेटिंग द्वारा दिए गए हैं सभी n ≥ 0 के लिए। फिर कॉन्स कॉम्प्लेक्स के घटकों को के रूप में परिभाषित किया गया है , और अंतर इस भागफल के लिए होशचाइल्ड अंतर का प्रतिबंध है। कोई यह जांच सकता है कि होशचाइल्ड अंतर वास्तव में संयोग के इस स्थान को प्रभावित करता है।[3]
कॉन्स ने बाद में एबेलियन श्रेणी में चक्रीय वस्तु की धारणा का उपयोग करके चक्रीय समरूपता के लिए एक अधिक स्पष्ट दृष्टिकोण पाया, जो सरल वस्तु की धारणा के अनुरूप है। इस तरह, चक्रीय होमोलॉजी (और कोहोमोलॉजी) की व्याख्या एक व्युत्पन्न फ़ंक्टर के रूप में की जा सकती है, जिसे स्पष्ट रूप से (बी, बी)-बाइकॉम्प्लेक्स के माध्यम से गणना की जा सकती है। यदि फ़ील्ड k में तर्कसंगत संख्याएं सम्मिलित हैं, तो कॉन्स कॉम्प्लेक्स के संदर्भ में परिभाषा समान समरूपता की गणना करती है।
चक्रीय समरूपता की एक उल्लेखनीय विशेषता होशचाइल्ड और चक्रीय समरूपता को जोड़ने वाले एक लंबे सटीक अनुक्रम का अस्तित्व है। इस लंबे सटीक अनुक्रम को आवधिकता अनुक्रम कहा जाता है।
क्रमविनिमेय वलय का घटना
गुणात्मक शून्य के क्षेत्र k पर एक एफ़िन बीजगणितीय विविधता पर नियमित कार्यों के क्रमविनिमेय बीजगणित ए की चक्रीय सह-समरूपता की गणना ग्रोथेंडिक के क्रिस्टलीय सह-समरूपता के संदर्भ में की जा सकती है।[4] विशेष रूप से, यदि विविधता V=स्पेक A चिकनी है, तो A की चक्रीय सहसंयोजीता को V की डी राम सहसंयोजी के रूप में इस प्रकार व्यक्त किया जाता है:
यह सूत्र एक गैर-अनुवांशिक बीजगणित ए के 'गैर-अनुवांशिक स्पेक्ट्रम' के लिए डी राम कोहोमोलॉजी को परिभाषित करने का एक तरीका सुझाता है, जिसे कॉन्स द्वारा बड़े पैमाने पर विकसित किया गया था।
चक्रीय समरूपता के प्रकार
चक्रीय समरूपता की एक प्रेरणा K-सिद्धांत के एक सन्निकटन की आवश्यकता थी जिसे K-सिद्धांत के विपरीत, एक श्रृंखला परिसर की समरूपता के रूप में परिभाषित किया गया है। चक्रीय कोहोलॉजी वास्तव में के-सिद्धांत के साथ एक जोड़ी के साथ संपन्न है, और एक उम्मीद है कि यह जोड़ी गैर-पतित होगी।
ऐसे कई प्रकार परिभाषित किए गए हैं जिनका उद्देश्य टोपोलॉजी के साथ बीजगणित के साथ बेहतर ढंग से फिट होना है, जैसे फ़्रेचेट बीजगणित, -बीजगणित आदि। इसका कारण यह है कि के-सिद्धांत अतिरिक्त संरचना के बिना बीजगणित की तुलना में बानाच बीजगणित या सी*-बीजगणित जैसे टोपोलॉजिकल बीजगणित पर बहुत बेहतर व्यवहार करता है। चूँकि, दूसरी ओर, C*-बीजगणित पर चक्रीय समरूपता का ह्रास होता है, इसलिए संशोधित सिद्धांतों को परिभाषित करने की आवश्यकता उत्पन्न हुई। इनमें एलेन कोन्स के कारण संपूर्ण चक्रीय समरूपता, राल्फ़ मेयर के कारण विश्लेषणात्मक चक्रीय समरूपता सम्मिलित हैं।[5] या माइकल पुश्निग्ग के कारण स्पर्शोन्मुख और स्थानीय चक्रीय समरूपता।[6] आखिरी वाला के-सिद्धांत के बहुत करीब है क्योंकि यह केके-सिद्धांत के द्विवेरिएंट चेर्न चरित्र से संपन्न है।
अनुप्रयोग
चक्रीय समरूपता के अनुप्रयोगों में से एक अतियाह-सिंगर सूचकांक प्रमेय के नए प्रमाण और सामान्यीकरण अन्वेषण है। इन सामान्यीकरणों में वर्णक्रमीय त्रिगुणों पर आधारित सूचकांक प्रमेय हैं[7] और पॉइसन मैनिफ़ोल्ड का विरूपण परिमाणीकरण।[8]
सुगठित चिकना विविध पर एक अण्डाकार ऑपरेटर डी, के होमोलॉजी में एक वर्ग को परिभाषित करता है। इस वर्ग का एक अपरिवर्तनीय ऑपरेटर का विश्लेषणात्मक सूचकांक है। इसे एचसी(सी(एम)) में तत्व 1 के साथ वर्ग [डी] की जोड़ी के रूप में देखा जाता है। चक्रीय कोहोलॉजी को न केवल चिकनी विविध् के लिए, बल्कि गैर-अनुवांशिक ज्यामिति में दिखाई देने वाले पत्ते, कक्षीय मोड़ और एकवचन रिक्त स्थान के लिए अण्डाकार अंतर ऑपरेटरों के उच्च अपरिवर्तनीयता प्राप्त करने के एक तरीके के रूप में देखा जा सकता है।
बीजगणितीय K-सिद्धांत की गणना
साइक्लोटोमिक ट्रेस मानचित्र बीजगणितीय के-सिद्धांत (एक रिंग ए, मान लीजिए) से लेकर चक्रीय होमोलॉजी तक का एक मानचित्र है:
कुछ स्थितियों में, इस मानचित्र का उपयोग इस मानचित्र के माध्यम से K-सिद्धांत की गणना करने के लिए किया जा सकता है। इस दिशा में एक अग्रणी परिणाम एक प्रमेय है Goodwillie (1986): यह दावा करता है कि नक्शा
एक निलपोटेंट दो-तरफा आदर्श के संबंध में A के सापेक्ष K-सिद्धांत के बीच सापेक्ष चक्रीय समरूपता (A और A/I के K-सिद्धांत या चक्रीय समरूपता के बीच अंतर को मापना) n≥1 के लिए एक समरूपता है।
जबकि गुडविली का परिणाम मनमाने छल्ले के लिए है, एक त्वरित कमी से पता चलता है कि यह संक्षेप में केवल एक बयान है उन रिंगों के लिए जिनमें Q नहीं है, K-सिद्धांत के साथ घनिष्ठ संबंध बनाए रखने के लिए चक्रीय होमोलॉजी को टोपोलॉजिकल चक्रीय होमोलॉजी द्वारा प्रतिस्थापित किया जाना चाहिए। (यदि Q, A में समाहित है, तो चक्रीय होमोलॉजी और A की टोपोलॉजिकल चक्रीय होमोलॉजी सहमत हैं।) यह इस तथ्य के अनुरूप है कि (शास्त्रीय) होशचाइल्ड होमोलॉजी, टोपोलॉजिकल होशचाइल्ड होमोलॉजी की तुलना में कम अच्छा व्यवहार करती है। उन छल्लों के लिए जिनमें Q सम्मिलित नहीं है। क्लॉसन, मैथ्यू & मोरो (2018) ने गुडविली के परिणाम का एक दूरगामी सामान्यीकरण साबित हुआ, जिसमें कहा गया कि एक क्रमविनिमेय रिंग A के लिए ताकि हेन्सेलियन अंगूठी आदर्श के संबंध में बनी रहे, सापेक्ष K-सिद्धांत सापेक्ष टोपोलॉजिकल चक्रीय होमोलॉजी(बिना) के लिए आइसोमोर्फिक है ('Q के साथ दोनों को टेंसर करना) । उनके परिणाम में गैबर (1992) एक प्रमेय भी सम्मिलित है , यह दावा करते हुए कि इस स्थिति में सापेक्ष K-सिद्धांत स्पेक्ट्रम मॉड्यूल एक पूर्णांक n जो A में उलटा है गायब हो जाता है। जार्डिन (1993) परिमित क्षेत्रों के K-सिद्धांत की क्विलेन की गणना को गलत ठहराने के लिए गैबर के परिणाम और सुस्लिन कठोरता का उपयोग किया।
यह भी देखें
- अविनिमेय ज्यामिति
टिप्पणियाँ
- ↑ Boris L. Tsygan. Homology of matrix Lie algebras over rings and the Hochschild homology. Uspekhi Mat. Nauk, 38(2(230)):217–218, 1983. Translation in Russ. Math. Survey 38(2) (1983), 198–199.
- ↑ Alain Connes. Noncommutative differential geometry. Inst. Hautes Études Sci. Publ. Math., 62:257–360, 1985.
- ↑ Jean-Louis Loday. Cyclic Homology. Vol. 301. Springer Science & Business Media, 1997.
- ↑ Boris L. Fegin and Boris L. Tsygan. Additive K-theory and crystalline cohomology. Funktsional. Anal. i Prilozhen., 19(2):52–62, 96, 1985.
- ↑ Ralf Meyer. Analytic cyclic cohomology. PhD thesis, Universität Münster, 1999
- ↑ Michael Puschnigg. Diffeotopy functors of ind-algebras and local cyclic cohomology. Doc. Math., 8:143–245 (electronic), 2003.
- ↑ Alain Connes and Henri Moscovici. The local index formula in noncommutative geometry. Geom. Funct. Anal., 5(2):174–243, 1995.
- ↑ Ryszard Nest and Boris Tsygan. Algebraic index theorem. Comm. Math. Phys., 172(2):223–262, 1995.
संदर्भ
- जार्डिन, जे. एफ. (1993), "परिमित क्षेत्रों के K-सिद्धांत पर दोबारा गौर किया गया", कश्मीर सिद्धांत, 7 (6): 579–595, doi:10.1007/BF00961219, MR 1268594
- लोडे, जीन लुइस (1998), चक्रीय समरूपता, ग्रुंडलह्रेन डेर मैथेमेटिसचेन विसेंसचाफ्टन, vol. 301, कोंपल, ISBN 978-3-540-63074-6
- Gabber, Ofer (1992), "K-theory of Henselian local rings and Henselian pairs", Algebraic K-theory, commutative algebra, and algebraic geometry (Santa Margherita Ligure, 1989), Contemp. Math., vol. 126, AMS, pp. 59–70
- Clausen, Dustin; Mathew, Akhil; Morrow, Matthew (2018), "K-theory and topological cyclic homology of henselian pairs", arXiv:1803.10897 [math.KT]
- Goodwillie, Thomas G. (1986), "Relative algebraic K-theory and cyclic homology", Annals of Mathematics, Second Series, 124 (2): 347–402, doi:10.2307/1971283, JSTOR 1971283, MR 0855300
- Rosenberg, Jonathan (1994), Algebraic K-theory and its applications, Graduate Texts in Mathematics, vol. 147, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94248-3, MR 1282290, Zbl 0801.19001. Errata
