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

From Vigyanwiki
No edit summary
 
(6 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{short description|Topological invariant of manifolds that can distinguish homotopy-equivalent manifolds}}
{{short description|Topological invariant of manifolds that can distinguish homotopy-equivalent manifolds}}
गणित में, '''रीडेमिस्टर टोरसन''' (या '''आर-टोरसन''', या '''रीडेमिस्टर-फ्रांज़ टोरसन''') कर्ट रीडेमिस्टर (रीडेमिस्टर 1935) द्वारा 3-मैनिफोल्ड्स के लिए पेश किए गए मैनिफोल्ड्स का एक टोपोलॉजिकल इनवेरिएंट है और वोल्फगैंग फ्रांज (1935) और जॉर्जेस डी राम द्वारा उच्च आयामों के लिए सामान्यीकृत किया गया है। (1936) '''एनालिटिक टोरसन''' (या '''रे-सिंगर टोरसन''') डेनियल बी. रे और इसाडोर एम. सिंगर (1971, 1973ए, 1973बी) द्वारा रीडेमिस्टर टोरसन के एक विश्लेषणात्मक एनालॉग के रूप में परिभाषित रीमानियन मैनिफोल्ड्स का एक अपरिवर्तनीय है। जेफ़ चीगर (1977, 1979) और वर्नर मुलर (1978) ने रे और सिंगर के अनुमान को साबित कर दिया कि रीडेमिस्टर टोरसन और विश्लेषणात्मक टोरसन कॉम्पैक्ट रीमानियन मैनिफोल्ड्स के लिए समान हैं।
गणित में, '''रीडेमिस्टर मरोड़ (टॉर्शन)''' (या '''आर-मरोड़''', या '''रीडेमिस्टर-फ्रांज़ मरोड़''') कर्ट रीडेमिस्टर (रीडेमिस्टर 1935) द्वारा 3-मैनिफोल्ड्स के लिए पेश किए गए मैनिफोल्ड्स का टोपोलॉजिकल अपरिवर्तनीय है और वोल्फगैंग फ्रांज (1935) और जॉर्जेस डी राम द्वारा उच्च आयामों के लिए सामान्यीकृत किया गया है। (1936) '''एनालिटिक मरोड़''' (या '''रे-सिंगर मरोड़''') डेनियल बी. रे और इसाडोर एम. सिंगर (1971, 1973ए, 1973बी) द्वारा रीडेमिस्टर मरोड़ के एक विश्लेषणात्मक एनालॉग के रूप में परिभाषित रीमानियन मैनिफोल्ड्स का अपरिवर्तनीय है। जेफ़ चीगर (1977, 1979) और वर्नर मुलर (1978) ने रे और सिंगर के अनुमान को साबित कर दिया कि रीडेमिस्टर मरोड़ और विश्लेषणात्मक मरोड़ (टॉर्शन) कॉम्पैक्ट रीमानियन मैनिफोल्ड्स के लिए समान हैं।


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


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


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


:<math>\zeta_k(s) = \sum_{\lambda_j>0}\lambda_j^{-s}</math>
:<math>\zeta_k(s) = \sum_{\lambda_j>0}\lambda_j^{-s}</math>
s बड़े के लिए, और यह [[विश्लेषणात्मक निरंतरता]] द्वारा सभी जटिल s तक विस्तारित है। ''k''-फॉर्म पर कार्य करने वाले लैप्लासियन का जीटा नियमित निर्धारक है
s बड़े के लिए, और यह [[विश्लेषणात्मक निरंतरता]] द्वारा सभी जटिल s तक विस्तारित है। ''k''-फॉर्म पर कार्य करने वाले लैप्लासियन का जीटा नियमित निर्धारक है।


:<math>\Delta_k=\exp(-\zeta^\prime_k(0))</math>
:<math>\Delta_k=\exp(-\zeta^\prime_k(0))</math>
जो औपचारिक रूप से ''k''-फॉर्म पर अभिनय करने वाले लैप्लासियन के धनात्मक आइगेनवैल्यू का गुणनफल है। विश्लेषणात्मक मरोड़ ''T(M,E)'' परिभाषित किया गया है
जो औपचारिक रूप से ''k''-फॉर्म पर अभिनय करने वाले लैप्लासियन के धनात्मक आइगेनवैल्यू का गुणनफल है। विश्लेषणात्मक मरोड़ ''T(M,E)'' परिभाषित किया गया है।


:<math>T(M,E) = \exp\left(\sum_k (-1)^kk \zeta^\prime_k(0)/2\right) = \prod_k\Delta_k^{-(-1)^kk/2}.</math>
:<math>T(M,E) = \exp\left(\sum_k (-1)^kk \zeta^\prime_k(0)/2\right) = \prod_k\Delta_k^{-(-1)^kk/2}.</math>




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


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


:<math>H^\pi_n(X;U) := H_n(U \otimes_{\mathbf{Z}[\pi]} C_*({\tilde X})) = 0</math>
:<math>H^\pi_n(X;U) := H_n(U \otimes_{\mathbf{Z}[\pi]} C_*({\tilde X})) = 0</math>
सभी ''n'' के लिए यदि हम <math>C_*({\tilde X})</math> के लिए एक सेलुलर आधार और <math>U</math> के लिए एक ऑर्थोगोनल <math>\mathbf{R}</math> -आधार तय करते हैं, तो <math>D_* := U \otimes_{\mathbf{Z}[\pi]} C_*({\tilde X})</math> एक अनुबंधित परिमित आधारित मुक्त <math>\mathbf{R}</math>-जटिल श्रृंखला है। मान लीजिए कि <math>\gamma_*: D_* \to D_{*+1}</math>से D तक <math>d_{n+1} \circ \gamma_n + \gamma_{n-1} \circ d_n = id_{D_n}</math>का कोई श्रृंखला संकुचन है, यानी। सभी <math>n</math> के लिए हम एक समरूपता प्राप्त करते हैं <math>(d_* + \gamma_*)_\text{odd}: D_\text{odd} \to D_\text{even}</math> साथ <math>D_\text{odd} := \oplus_{n \, odd} \, D_n</math>, <math>D_\text{even} := \oplus_{n \, \text{even}} \, D_n</math>. हम रिडेमिस्टर टोरसन को परिभाषित करते हैं।
सभी ''n'' के लिए यदि हम <math>C_*({\tilde X})</math> के लिए सेलुलर आधार और <math>U</math> के लिए ऑर्थोगोनल <math>\mathbf{R}</math> -आधार तय करते हैं, तो <math>D_* := U \otimes_{\mathbf{Z}[\pi]} C_*({\tilde X})</math> अनुबंधित परिमित आधारित मुक्त <math>\mathbf{R}</math>-जटिल श्रृंखला है। मान लीजिए कि <math>\gamma_*: D_* \to D_{*+1}</math>से D तक <math>d_{n+1} \circ \gamma_n + \gamma_{n-1} \circ d_n = id_{D_n}</math>का कोई श्रृंखला संकुचन है, यानी। सभी <math>n</math> के लिए हम समरूपता प्राप्त करते हैं <math>(d_* + \gamma_*)_\text{odd}: D_\text{odd} \to D_\text{even}</math> साथ <math>D_\text{odd} := \oplus_{n \, odd} \, D_n</math>, <math>D_\text{even} := \oplus_{n \, \text{even}} \, D_n</math>. हम रिडेमिस्टर मरोड़ को परिभाषित करते हैं।


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


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


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


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


1960 में मिल्नोर ने मैनिफोल्ड्स के मरोड़ वाले अपरिवर्तनीयों के द्वंद्व संबंध की खोज की और दिखाया कि गांठों का (मुड़ा हुआ) अलेक्जेंडर बहुपद <math>S^3</math> में इसके आसंधि पूरक का रीडमीस्टर मरोड़ है। (मिल्नोर 1962) प्रत्येक ''q'' के लिए पोनकारे द्वैत <math>P_o</math> प्रेरित करता है।
1960 में मिल्नोर ने मैनिफोल्ड्स के मरोड़ वाले अपरिवर्तनीयों के द्वंद्व संबंध की खोज की और दिखाया कि गांठों का (मुड़ा हुआ) अलेक्जेंडर बहुपद <math>S^3</math> में इसके आसंधि पूरक का रीडमीस्टर मरोड़ है। (मिल्नोर 1962) प्रत्येक ''q'' के लिए पोनकारे द्वैत <math>P_o</math> प्रेरित करता है।
Line 42: Line 42:
==चीगर-मुलर प्रमेय==
==चीगर-मुलर प्रमेय==


मान लीजिये <math>(M,g)</math> आयाम n और का एक ओरिएंटेबल कॉम्पैक्ट रीमैन मैनिफोल्ड बनें <math>\rho\colon \pi(M)\rightarrow\mathop{GL}(E)</math> के मौलिक समूह का प्रतिनिधित्व <math>M</math> आयाम N के वास्तविक सदिश समष्टि पर। तब हम डे राम कॉम्प्लेक्स को परिभाषित कर सकते हैं
मान लीजिये कि <math>(M,g)</math> आयाम ''n'' का ओरिएंटेबल कॉम्पैक्ट रीमैन मैनिफोल्ड है और <math>\rho\colon \pi(M)\rightarrow\mathop{GL}(E)</math> आयाम ''N'' के वास्तविक सदिश स्पेस पर <math>M</math> के मौलिक समूह का प्रतिनिधित्व है।  फिर हम डी राम कॉम्प्लेक्स को परिभाषित कर सकते हैं
:<math>\Lambda^0\stackrel{d_0}{\longrightarrow}\Lambda^1\stackrel{d_1}{\longrightarrow}\cdots\stackrel{d_{n-1}}{\longrightarrow}\Lambda^n</math>
:<math>\Lambda^0\stackrel{d_0}{\longrightarrow}\Lambda^1\stackrel{d_1}{\longrightarrow}\cdots\stackrel{d_{n-1}}{\longrightarrow}\Lambda^n</math>
और औपचारिक जोड़ <math>d_p</math> और <math>\delta_p</math> के समतल होने के कारण <math>E_q</math>. हमेशा की तरह, हम पी-फॉर्म पर हॉज लाप्लासियन भी प्राप्त करते हैं
और <math>E_q</math> की समतलता के कारण औपचारिक सहायक <math>d_p</math> और <math>\delta_p</math> हमेशा की तरह, हम हॉज लाप्लासियन को ''p''-फॉर्म पर भी प्राप्त करते हैं।
:<math>\Delta_p=\delta_{p+1} d_p+d_{p-1}\delta_{p}.</math>
:<math>\Delta_p=\delta_{p+1} d_p+d_{p-1}\delta_{p}.</math>
ये मानते हुए <math>\partial M=0</math>, लैप्लासियन तब शुद्ध बिंदु स्पेक्ट्रम के साथ एक सममित धनात्मक अर्ध-धनात्मक अण्डाकार ऑपरेटर है
यह मानते हुए कि <math>\partial M=0</math>, लाप्लासियन एक शुद्ध बिंदु स्पेक्ट्रम के साथ सममित धनात्मक अर्ध-धनात्मक दीर्घवृत्त संकारक है।
:<math>0\le\lambda_0\le\lambda_1\le\cdots\rightarrow\infty.</math>
:<math>0\le\lambda_0\le\lambda_1\le\cdots\rightarrow\infty.</math>
पहले की तरह, इसलिए हम लाप्लासियन से जुड़े एक ज़ेटा फ़ंक्शन को परिभाषित कर सकते हैं <math>\Delta_q</math> पर <math>\Lambda^q(E)</math> द्वारा
पहले की तरह, हम <math>\Lambda^q(E)</math> पर लाप्लासियन <math>\Delta_q</math> से जुड़े ज़ेटा फलन को परिभाषित कर सकते हैं।
:<math>\zeta_q(s;\rho)=\sum_{\lambda_j >0}\lambda_j^{-s}=\frac{1}{\Gamma(s)}\int^\infty_0 t^{s-1}\text{Tr}(e^{-t\Delta_q} - P_q)dt,\ \ \ \text{Re}(s)>\frac{n}{2}</math>
:<math>\zeta_q(s;\rho)=\sum_{\lambda_j >0}\lambda_j^{-s}=\frac{1}{\Gamma(s)}\int^\infty_0 t^{s-1}\text{Tr}(e^{-t\Delta_q} - P_q)dt,\ \ \ \text{Re}(s)>\frac{n}{2}</math>
कहाँ <math>P</math> का प्रक्षेपण है <math>L^2 \Lambda(E)</math> कर्नेल स्थान पर <math>\mathcal{H}^q(E)</math> लाप्लासियन का <math>\Delta_q</math>. इसे और भी दिखाया गया था {{harv|Seeley|1967}} वह <math>\zeta_q(s;\rho)</math> के मेरोमोर्फिक फ़ंक्शन तक विस्तारित है <math>s\in\mathbf{C}</math> जो कि होलोमोर्फिक है <math>s=0</math>.
जहां <math>P</math> लाप्लासियन <math>\Delta_q</math> के कर्नेल स्थान <math>L^2 \Lambda(E)</math> का प्रक्षेपण <math>\mathcal{H}^q(E)</math> है। इसके अलावा (सीली 1967) द्वारा यह दिखाया गया कि <math>\zeta_q(s;\rho)</math><math>s\in\mathbf{C}</math> के मेरोमोर्फिक फलन तक विस्तारित है जो <math>s=0</math> पर होलोमोर्फिक है।


जैसा कि ऑर्थोगोनल प्रतिनिधित्व के मामले में, हम विश्लेषणात्मक मरोड़ को परिभाषित करते हैं <math>T_M(\rho;E)</math> द्वारा
ऑर्थोगोनल प्रतिनिधित्व के स्तिथि में, हम विश्लेषणात्मक मरोड़ <math>T_M(\rho;E)</math> को परिभाषित करते हैं।
:<math>T_M(\rho;E) = \exp\biggl(\frac{1}{2}\sum^n_{q=0}(-l)^qq\frac{d}{ds}\zeta_q(s;\rho)\biggl|_{s=0}\biggr).</math>
:<math>T_M(\rho;E) = \exp\biggl(\frac{1}{2}\sum^n_{q=0}(-l)^qq\frac{d}{ds}\zeta_q(s;\rho)\biggl|_{s=0}\biggr).</math>
1971 में डी.बी. रे और आई.एम. सिंगर ने यह अनुमान लगाया <math>T_M(\rho;E)=\tau_M(\rho;\mu)</math> किसी भी एकात्मक प्रतिनिधित्व के लिए <math>\rho</math>. यह रे-सिंगर अनुमान अंततः, स्वतंत्र रूप से, साबित हुआ  {{harvs|txt=yes|last=Cheeger|year1=1977|year2=1979}} और  {{harvtxt|Müller|1978}}. दोनों दृष्टिकोण मरोड़ और उनके निशान के लघुगणक पर ध्यान केंद्रित करते हैं। यह सम-आयामी मामले की तुलना में विषम-आयामी मैनिफ़ोल्ड के लिए आसान है, जिसमें अतिरिक्त तकनीकी कठिनाइयाँ शामिल हैं। यह चीगर-मुलर प्रमेय (कि मरोड़ की दो धारणाएँ समतुल्य हैं), अतियाह-सिंगर सूचकांक प्रमेय|अतियाह-पटोदी-सिंगर प्रमेय के साथ, बाद में चेर्न-साइमन्स सिद्धांत|चेर्न-साइमन्स गड़बड़ी सिद्धांत के लिए आधार प्रदान किया।
1971 में डी.बी. रे और आई.एम. सिंगर ने यह अनुमान लगाया <math>T_M(\rho;E)=\tau_M(\rho;\mu)</math> किसी भी एकात्मक प्रतिनिधित्व <math>\rho</math> के लिए यह रे-सिंगर अनुमान अंततः चीगर (1977, 1979) और मुलर (1978) द्वारा स्वतंत्र रूप से सिद्ध हुआ। दोनों दृष्टिकोण मरोड़ और उनके निशान के लघुगणक पर ध्यान केंद्रित करते हैं। यह सम-आयामी स्तिथि की तुलना में विषम-आयामी मैनिफ़ोल्ड के लिए आसान है, जिसमें अतिरिक्त तकनीकी कठिनाइयाँ सम्मिलित हैं। यह चीगर-मुलर प्रमेय (कि मरोड़ की दो धारणाएँ समतुल्य हैं), तियाह-पटोदी-सिंगर प्रमेय के साथ, बाद में चेर्न-साइमन क्षोभ सिद्धांत के लिए आधार प्रदान किया था।


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


==संदर्भ==
==संदर्भ==
Line 120: Line 120:
|first=Barry |last=Mazur |authorlink=Barry Mazur |url=http://www.math.harvard.edu/~mazur/papers/alexander_polynomial.pdf }}
|first=Barry |last=Mazur |authorlink=Barry Mazur |url=http://www.math.harvard.edu/~mazur/papers/alexander_polynomial.pdf }}
*{{Citation | last1=Seeley | first1=R. T. | editor1-last=Calderón | editor1-first=Alberto P. | title=Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966) | publisher=Amer. Math. Soc. | location=Providence, R.I. | series=Proceedings of Symposia in Pure Mathematics | isbn=978-0-8218-1410-9 | mr=0237943 | year=1967 | volume=10 | chapter=Complex powers of an elliptic operator | pages=288–307}}
*{{Citation | last1=Seeley | first1=R. T. | editor1-last=Calderón | editor1-first=Alberto P. | title=Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966) | publisher=Amer. Math. Soc. | location=Providence, R.I. | series=Proceedings of Symposia in Pure Mathematics | isbn=978-0-8218-1410-9 | mr=0237943 | year=1967 | volume=10 | chapter=Complex powers of an elliptic operator | pages=288–307}}
[[Category: विभेदक ज्यामिति]] [[Category: 3 manifolds]] [[Category: शल्य चिकित्सा सिद्धांत]]


 
[[Category:3 manifolds]]
 
[[Category:CS1 English-language sources (en)]]
[[Category: Machine Translated Page]]
[[Category:Created On 08/07/2023]]
[[Category:Created On 08/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:विभेदक ज्यामिति]]
[[Category:शल्य चिकित्सा सिद्धांत]]

Latest revision as of 15:41, 31 July 2023

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

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

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

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

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

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

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


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

मान लीजिये कि मौलिक समूह के साथ परिमित जुड़ा हुआ सीडब्ल्यू कॉम्प्लेक्स है: , और को ऑर्थोगोनल परिमित होना चाहिए- आयामी -प्रतिनिधित्व। मान लीजिए कि

सभी n के लिए यदि हम के लिए सेलुलर आधार और के लिए ऑर्थोगोनल -आधार तय करते हैं, तो अनुबंधित परिमित आधारित मुक्त -जटिल श्रृंखला है। मान लीजिए कि से D तक का कोई श्रृंखला संकुचन है, यानी। सभी के लिए हम समरूपता प्राप्त करते हैं साथ , . हम रिडेमिस्टर मरोड़ को परिभाषित करते हैं।

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

रीडेमिस्टर मरोड़ का संक्षिप्त इतिहास

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

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

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

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

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

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

मान लीजिये कि आयाम n का ओरिएंटेबल कॉम्पैक्ट रीमैन मैनिफोल्ड है और आयाम N के वास्तविक सदिश स्पेस पर के मौलिक समूह का प्रतिनिधित्व है।  फिर हम डी राम कॉम्प्लेक्स को परिभाषित कर सकते हैं

और की समतलता के कारण औपचारिक सहायक और हमेशा की तरह, हम हॉज लाप्लासियन को p-फॉर्म पर भी प्राप्त करते हैं।

यह मानते हुए कि , लाप्लासियन एक शुद्ध बिंदु स्पेक्ट्रम के साथ सममित धनात्मक अर्ध-धनात्मक दीर्घवृत्त संकारक है।

पहले की तरह, हम पर लाप्लासियन से जुड़े ज़ेटा फलन को परिभाषित कर सकते हैं।

जहां लाप्लासियन के कर्नेल स्थान का प्रक्षेपण है। इसके अलावा (सीली 1967) द्वारा यह दिखाया गया कि के मेरोमोर्फिक फलन तक विस्तारित है जो पर होलोमोर्फिक है।

ऑर्थोगोनल प्रतिनिधित्व के स्तिथि में, हम विश्लेषणात्मक मरोड़ को परिभाषित करते हैं।

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

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

संदर्भ