विश्लेषणात्मक मरोड़

गणित में, रीडेमिस्टर टोरसन (या आर-टोरसन, या रीडेमिस्टर-फ्रांज़ टोरसन) कर्ट रीडेमिस्टर (रीडेमिस्टर 1935) द्वारा 3-मैनिफोल्ड्स के लिए पेश किए गए मैनिफोल्ड्स का एक टोपोलॉजिकल इनवेरिएंट है और वोल्फगैंग फ्रांज (1935) और जॉर्जेस डी राम द्वारा उच्च आयामों के लिए सामान्यीकृत किया गया है। (1936) एनालिटिक टोरसन (या रे-सिंगर टोरसन) डेनियल बी. रे और इसाडोर एम. सिंगर (1971, 1973ए, 1973बी) द्वारा रीडेमिस्टर टोरसन के एक विश्लेषणात्मक एनालॉग के रूप में परिभाषित रीमानियन मैनिफोल्ड्स का एक अपरिवर्तनीय है। जेफ़ चीगर (1977, 1979) और वर्नर मुलर (1978) ने रे और सिंगर के अनुमान को साबित कर दिया कि रीडेमिस्टर टोरसन और विश्लेषणात्मक टोरसन कॉम्पैक्ट रीमानियन मैनिफोल्ड्स के लिए समान हैं।

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

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

विश्लेषणात्मक मरोड़ की परिभाषा

यदि M एक रीमैनियन मैनिफोल्ड है और E, M के ऊपर एक वेक्टर बंडल है, तो E में मानों के साथ k-फॉर्म पर कार्य करने वाला एक लाप्लासियन ऑपरेटर है। यदि k-फॉर्म पर आइगेनवैल्यू λ_j हैं, तो ज़ेटा फ़ंक्शन ζ_k को परिभाषित किया गया है

$\zeta _{k}(s)=\sum _{\lambda _{j}>0}\lambda _{j}^{-s}$

s बड़े के लिए, और यह विश्लेषणात्मक निरंतरता द्वारा सभी जटिल s तक विस्तारित है। k-फॉर्म पर कार्य करने वाले लैप्लासियन का जीटा नियमित निर्धारक है

$\Delta _{k}=\exp(-\zeta _{k}^{\prime }(0))$

जो औपचारिक रूप से k-फॉर्म पर अभिनय करने वाले लैप्लासियन के धनात्मक आइगेनवैल्यू का गुणनफल है। विश्लेषणात्मक मरोड़ T(M,E) परिभाषित किया गया है

$T(M,E)=\exp \left(\sum _{k}(-1)^{k}k\zeta _{k}^{\prime }(0)/2\right)=\prod _{k}\Delta _{k}^{-(-1)^{k}k/2}.$

रीडेमिस्टर टोरसन की परिभाषा

मान लीजिये कि $X$ एक मौलिक समूह के साथ एक परिमित जुड़ा हुआ सीडब्ल्यू कॉम्प्लेक्स है: $\pi :=\pi _{1}(X)$${\tilde {X}}$, और $U$ को एक ऑर्थोगोनल परिमित होना चाहिए- आयामी $\pi$-प्रतिनिधित्व. मान लीजिए कि

$H_{n}^{\pi }(X;U):=H_{n}(U\otimes _{\mathbf {Z} [\pi ]}C_{*}({\tilde {X}}))=0$

सभी n के लिए यदि हम $C_{*}({\tilde {X}})$ के लिए एक सेलुलर आधार और $U$ के लिए एक ऑर्थोगोनल $\mathbf {R}$ -आधार तय करते हैं, तो $D_{*}:=U\otimes _{\mathbf {Z} [\pi ]}C_{*}({\tilde {X}})$ एक अनुबंधित परिमित आधारित मुक्त $\mathbf {R}$-जटिल श्रृंखला है। मान लीजिए कि $\gamma _{*}:D_{*}\to D_{*+1}$से D तक $d_{n+1}\circ \gamma _{n}+\gamma _{n-1}\circ d_{n}=id_{D_{n}}$का कोई श्रृंखला संकुचन है, यानी। सभी $n$ के लिए हम एक समरूपता प्राप्त करते हैं $(d_{*}+\gamma _{*})_{\text{odd}}:D_{\text{odd}}\to D_{\text{even}}$ साथ $D_{\text{odd}}:=\oplus _{n\,odd}\,D_{n}$, $D_{\text{even}}:=\oplus _{n\,{\text{even}}}\,D_{n}$. हम रिडेमिस्टर टोरसन को परिभाषित करते हैं।

$\rho (X;U):=|\det(A)|^{-1}\in \mathbf {R} ^{>0}$

जहां A का मैट्रिक्स है $(d_{*}+\gamma _{*})_{\text{odd}}$ दिए गए आधारों के संबंध में। रिडेमिस्टर मरोड़ $\rho (X;U)$ के लिए सेलुलर आधार की स्वतंत्र चयन $C_{*}({\tilde {X}})$, के लिए ऑर्थोगोनल आधार $U$ और श्रृंखला $\gamma _{*}$संकुचन है। मान लीजिये $M$ एक कॉम्पैक्ट स्मूथ मैनिफोल्ड बनें, और मान लीजिये $\rho \colon \pi (M)\rightarrow GL(E)$ एक यूनिमॉड्यूलर प्रतिनिधित्व हो। $M$ एक सहज त्रिभुज है। वॉल्यूम के किसी भी विकल्प के लिए $\mu \in \det H_{*}(M)$, हमें एक अपरिवर्तनीय मिलता है। फिर हम धनात्मक वास्तविक संख्या $\tau _{M}(\rho :\mu )$ को $\rho$ और $\mu$ के संबंध में मैनिफोल्ड $M$ का रीडमीस्टर टोरसन कहते हैं।

रीडेमिस्टर टॉर्शन का संक्षिप्त इतिहास

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

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

1960 में मिल्नोर ने मैनिफोल्ड्स के मरोड़ वाले अपरिवर्तनीयों के द्वंद्व संबंध की खोज की और दिखाया कि गांठों का (मुड़ा हुआ) अलेक्जेंडर बहुपद $S^{3}$ में इसके आसंधि पूरक का रीडमीस्टर मरोड़ है। (मिल्नोर 1962) प्रत्येक q के लिए पोनकारे द्वैत $P_{o}$ प्रेरित करता है।

$P_{o}\colon \operatorname {det} (H_{q}(M)){\overset {\sim }{\,\longrightarrow \,}}(\operatorname {det} (H_{n-q}(M)))^{-1}$

और फिर हम प्राप्त करते हैं

$\Delta (t)=\pm t^{n}\Delta (1/t).$

आसंधि पूरक के मूल समूह का प्रतिनिधित्व उनमें केंद्रीय भूमिका निभाता है। यह आसंधि सिद्धांत और मरोड़ अपरिवर्तनीयों के बीच संबंध बताता है।

चीगर-मुलर प्रमेय

मान लीजिये कि $(M,g)$ आयाम n का एक ओरिएंटेबल कॉम्पैक्ट रीमैन मैनिफोल्ड है और $\rho \colon \pi (M)\rightarrow \mathop {GL} (E)$ आयाम N के वास्तविक वेक्टर स्पेस पर $M$ के मौलिक समूह का प्रतिनिधित्व है।  फिर हम डी राम कॉम्प्लेक्स को परिभाषित कर सकते हैं

$\Lambda ^{0}{\stackrel {d_{0}}{\longrightarrow }}\Lambda ^{1}{\stackrel {d_{1}}{\longrightarrow }}\cdots {\stackrel {d_{n-1}}{\longrightarrow }}\Lambda ^{n}$

और $E_{q}$ की समतलता के कारण औपचारिक सहायक $d_{p}$ और $\delta _{p}$ हमेशा की तरह, हम हॉज लाप्लासियन को p-फॉर्म पर भी प्राप्त करते हैं।

$\Delta _{p}=\delta _{p+1}d_{p}+d_{p-1}\delta _{p}.$

यह मानते हुए कि $\partial M=0$, लाप्लासियन एक शुद्ध बिंदु स्पेक्ट्रम के साथ एक सममित सकारात्मक अर्ध-धनात्मक दीर्घवृत्त ऑपरेटर है

$0\leq \lambda _{0}\leq \lambda _{1}\leq \cdots \rightarrow \infty .$

पहले की तरह, हम $\Lambda ^{q}(E)$ पर लाप्लासियन $\Delta _{q}$ से जुड़े एक ज़ेटा फ़ंक्शन को परिभाषित कर सकते हैं

$\zeta _{q}(s;\rho )=\sum _{\lambda _{j}>0}\lambda _{j}^{-s}={\frac {1}{\Gamma (s)}}\int _{0}^{\infty }t^{s-1}{\text{Tr}}(e^{-t\Delta _{q}}-P_{q})dt,\ \ \ {\text{Re}}(s)>{\frac {n}{2}}$

कहाँ $P$ का प्रक्षेपण है $L^{2}\Lambda (E)$ कर्नेल स्थान पर ${\mathcal {H}}^{q}(E)$ लाप्लासियन का $\Delta _{q}$. इसे और भी दिखाया गया था (Seeley 1967) वह $\zeta _{q}(s;\rho )$ के मेरोमोर्फिक फ़ंक्शन तक विस्तारित है $s\in \mathbf {C}$ जो कि होलोमोर्फिक है $s=0$.

जैसा कि ऑर्थोगोनल प्रतिनिधित्व के मामले में, हम विश्लेषणात्मक मरोड़ को परिभाषित करते हैं $T_{M}(\rho ;E)$ द्वारा

$T_{M}(\rho ;E)=\exp {\biggl (}{\frac {1}{2}}\sum _{q=0}^{n}(-l)^{q}q{\frac {d}{ds}}\zeta _{q}(s;\rho ){\biggl |}_{s=0}{\biggr )}.$

1971 में डी.बी. रे और आई.एम. सिंगर ने यह अनुमान लगाया $T_{M}(\rho ;E)=\tau _{M}(\rho ;\mu )$ किसी भी एकात्मक प्रतिनिधित्व के लिए $\rho$. यह रे-सिंगर अनुमान अंततः, स्वतंत्र रूप से, साबित हुआ Cheeger (1977, 1979) और Müller (1978). दोनों दृष्टिकोण मरोड़ और उनके निशान के लघुगणक पर ध्यान केंद्रित करते हैं। यह सम-आयामी मामले की तुलना में विषम-आयामी मैनिफ़ोल्ड के लिए आसान है, जिसमें अतिरिक्त तकनीकी कठिनाइयाँ शामिल हैं। यह चीगर-मुलर प्रमेय (कि मरोड़ की दो धारणाएँ समतुल्य हैं), अतियाह-सिंगर सूचकांक प्रमेय|अतियाह-पटोदी-सिंगर प्रमेय के साथ, बाद में चेर्न-साइमन्स सिद्धांत|चेर्न-साइमन्स गड़बड़ी सिद्धांत के लिए आधार प्रदान किया।

मनमाने निरूपण के लिए चीगर-मुलर प्रमेय का प्रमाण बाद में जे. एम. बिस्मुट और वेइपिंग झांग द्वारा दिया गया था। उनका प्रमाण विटन विरूपण का उपयोग करता है।

संदर्भ

• Bismut, J. -M.; Zhang, W. (1994-03-01), "Milnor and Ray-Singer metrics on the equivariant determinant of a flat vector bundle", Geometric & Functional Analysis (in English), 4 (2): 136–212, doi:10.1007/BF01895837, ISSN 1420-8970, S2CID 121327250
• Brody, E. J. (1960), "The topological classification of the lens spaces", Annals of Mathematics, 2, 71 (1): 163–184, doi:10.2307/1969884, JSTOR 1969884, MR 0116336
• Cheeger, Jeff (1977), "Analytic torsion and Reidemeister torsion", Proceedings of the National Academy of Sciences of the United States of America, 74 (7): 2651–2654, Bibcode:1977PNAS...74.2651C, doi:10.1073/pnas.74.7.2651, MR 0451312, PMC 431228, PMID 16592411
• Cheeger, Jeff (1979), "Analytic torsion and the heat equation", Annals of Mathematics, 2, 109 (2): 259–322, doi:10.2307/1971113, JSTOR 1971113, MR 0528965
• Franz, Wolfgang (1935), "Ueber die Torsion einer Ueberdeckung", Journal für die reine und angewandte Mathematik, 1935 (173): 245–254, doi:10.1515/crll.1935.173.245, S2CID 125224119
• Milnor, John (1962), "A duality theorem for Reidemeister torsion", Annals of Mathematics, 76 (1): 137–138, doi:10.2307/1970268, JSTOR 1970268
• Milnor, John (1966), "Whitehead torsion", Bulletin of the American Mathematical Society, 72 (3): 358–426, doi:10.1090/S0002-9904-1966-11484-2, MR 0196736
• Mishchenko, Aleksandr S. (2001) [1994], "Reidemeister torsion", Encyclopedia of Mathematics, EMS Press
• Müller, Werner (1978), "Analytic torsion and R-torsion of Riemannian manifolds", Advances in Mathematics, 28 (3): 233–305, doi:10.1016/0001-8708(78)90116-0, MR 0498252
• Nicolaescu, Liviu I. (2002), Notes on the Reidemeister torsion (PDF) Online book
• Nicolaescu, Liviu I. (2003), The Reidemeister torsion of 3-manifolds, de Gruyter Studies in Mathematics, vol. 30, Berlin: Walter de Gruyter & Co., pp. xiv+249, doi:10.1515/9783110198102, ISBN 3-11-017383-2, MR 1968575
• Ray, Daniel B.; Singer, Isadore M. (1973a), "Analytic torsion for complex manifolds.", Annals of Mathematics, 2, 98 (1): 154–177, doi:10.2307/1970909, JSTOR 1970909, MR 0383463
• Ray, Daniel B.; Singer, Isadore M. (1973b), "Analytic torsion.", Partial differential equations, Proc. Sympos. Pure Math., vol. XXIII, Providence, R.I.: Amer. Math. Soc., pp. 167–181, MR 0339293
• Ray, Daniel B.; Singer, Isadore M. (1971), "R-torsion and the Laplacian on Riemannian manifolds.", Advances in Mathematics, 7 (2): 145–210, doi:10.1016/0001-8708(71)90045-4, MR 0295381
• Reidemeister, Kurt (1935), "Homotopieringe und Linsenräume", Abh. Math. Sem. Univ. Hamburg, 11: 102–109, doi:10.1007/BF02940717, S2CID 124078064
• de Rham, Georges (1936), "Sur les nouveaux invariants topologiques de M. Reidemeister", Recueil Mathématique (Matematicheskii Sbornik), Nouvelle Série, 1 (5): 737–742, Zbl 0016.04501
• Turaev, Vladimir (2002), Torsions of 3-dimensional manifolds, Progress in Mathematics, vol. 208, Basel: Birkhäuser Verlag, pp. x+196, doi:10.1007/978-3-0348-7999-6, ISBN 3-7643-6911-6, MR 1958479
• Mazur, Barry. "Remarks on the Alexander polynomial" (PDF).
• Seeley, R. T. (1967), "Complex powers of an elliptic operator", in Calderón, Alberto P. (ed.), Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966), Proceedings of Symposia in Pure Mathematics, vol. 10, Providence, R.I.: Amer. Math. Soc., pp. 288–307, ISBN 978-0-8218-1410-9, MR 0237943