अतियाह-सिंगर सूचकांक प्रमेय: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 17: Line 17:
}}
}}


[[विभेदक ज्यामिति]] में, अतियाह-सिंगर सूचकांक प्रमेय, [[माइकल अतियाह]] और [[इसादोर गायक]] (1963) द्वारा सिद्ध किया गया,{{sfn|Atiyah|Singer|1963}} बताता है कि [[कॉम्पैक्ट मैनिफोल्ड]] पर अण्डाकार ऑपरेटर के लिए, विश्लेषणात्मक सूचकांक (समाधान के स्थान के आयाम से संबंधित) टोपोलॉजिकल इंडेक्स (कुछ टोपोलॉजिकल डेटा के संदर्भ में परिभाषित) के सामान्तर है। इसमें अनेक अन्य प्रमेय सम्मिलित  हैं, जैसे चेर्न-गॉस-बोनट प्रमेय और रीमैन-रोच प्रमेय, विशेष स्थितियों के रूप में, और [[सैद्धांतिक भौतिकी]] के लिए इसके अनुप्रयोग हैं।{{sfn|Kayani|2020}}{{sfn|Hamilton|2020|p=11}}
[[विभेदक ज्यामिति]] में, अतियाह-सिंगर सूचकांक प्रमेय, [[माइकल अतियाह]] और [[इसादोर गायक|इसादोर सिंगर]] (1963) द्वारा सिद्ध किया गया है,{{sfn|Atiyah|Singer|1963}} जिसमे यह बताता है कि [[कॉम्पैक्ट मैनिफोल्ड]] पर वर्गाकार  ऑपरेटर के लिए, विश्लेषणात्मक सूचकांक (समाधान के स्थान के आयाम से संबंधित) टोपोलॉजिकल इंडेक्स (कुछ टोपोलॉजिकल डेटा के संदर्भ में परिभाषित) के सामान्तर है। इसमें अनेक अन्य प्रमेय सम्मिलित  हैं, जैसे चेर्न-गॉस-बोनट प्रमेय और रीमैन-रोच प्रमेय, विशेष स्थितियों के रूप में, और [[सैद्धांतिक भौतिकी]] के लिए इसके अनुप्रयोग हैं।{{sfn|Kayani|2020}}{{sfn|Hamilton|2020|p=11}}


== इतिहास                        ==
== इतिहास                        ==
अण्डाकार अंतर ऑपरेटरों के लिए सूचकांक समस्या इज़राइल गेलफैंड द्वारा प्रस्तुत की गई थी।{{sfn|Gel'fand|1960}} उन्होंने सूचकांक के होमोटॉपी इनवेरिएंस पर ध्यान दिया, और [[ टोपोलॉजिकल अपरिवर्तनीय |टोपोलॉजिकल अपरिवर्तनीय]] ्स के माध्यम से इसके लिए सूत्र मांगा। कुछ प्रेरक उदाहरणों में रीमैन-रोच प्रमेय और इसका सामान्यीकरण, हिरज़ेब्रुक-रीमैन-रोच प्रमेय, और हिरज़ेब्रुक हस्ताक्षर प्रमेय सम्मिलित  हैं। [[फ्रेडरिक हिरज़ेब्रुच]] और [[आर्मंड बोरेल]] ने स्पिन मैनिफोल्ड के जीनस की अभिन्नता को सिद्ध किया था, और अतियाह ने सुझाव दिया कि इस अभिन्नता को समझाया जा सकता है यदि यह [[डिराक ऑपरेटर]] का सूचकांक होता (जिसे 1961 में अतियाह और सिंगर द्वारा फिर से खोजा गया था)।
वर्गाकार  अंतर ऑपरेटरों के लिए सूचकांक समस्या इज़राइल गेलफैंड द्वारा प्रस्तुत की गई थी।{{sfn|Gel'fand|1960}} उन्होंने सूचकांक के होमोटॉपी इनवेरिएंस पर ध्यान दिया, और [[ टोपोलॉजिकल अपरिवर्तनीय |टोपोलॉजिकल अपरिवर्तनीय]] ्स के माध्यम से इसके लिए सूत्र मांगा। कुछ प्रेरक उदाहरणों में रीमैन-रोच प्रमेय और इसका सामान्यीकरण, हिरज़ेब्रुक-रीमैन-रोच प्रमेय, और हिरज़ेब्रुक हस्ताक्षर प्रमेय सम्मिलित  हैं। [[फ्रेडरिक हिरज़ेब्रुच]] और [[आर्मंड बोरेल]] ने स्पिन मैनिफोल्ड के जीनस की अभिन्नता को सिद्ध किया था, और अतियाह ने सुझाव दिया कि इस अभिन्नता को समझाया जा सकता है यदि यह [[डिराक ऑपरेटर]] का सूचकांक होता (जिसे 1961 में अतियाह और सिंगर द्वारा फिर से खोजा गया था)।


अतियाह-सिंगर प्रमेय की घोषणा 1963 में की गई थी।{{sfn|Atiyah|Singer|1963}} इस घोषणा में दिए गए प्रमाण उनके द्वारा कभी प्रकाशित नहीं किए गए, चूंकि यह पैलैस की पुस्तक में दिखाई देता है।{{sfn|Palais|1965}} यह कार्टन-श्वार्ट्ज सेमिनार 1963/64 में भी दिखाई देता है{{sfn|Cartan-Schwartz|1965}} जो [[प्रिंसटन विश्वविद्यालय]] में [[रिचर्ड पैलेस]] के नेतृत्व में सेमिनार के साथ-साथ पेरिस में आयोजित किया गया था। पेरिस में आखिरी बातचीत अतियाह ने सीमा के साथ मैनिफोल्ड्स पर की थी। उनका पहला प्रकाशित प्रमाण{{sfn|Atiyah|Singer|1968a}} ने पहले प्रमाण के [[सह-बॉर्डिज्म]] सिद्धांत को के-सिद्धांत से बदल दिया, और उन्होंने इसका उपयोग कागजात के दूसरे अनुक्रम में विभिन्न सामान्यीकरणों के प्रमाण देने के लिए किया।{{sfnmp|1a1=Atiyah|1a2=Singer|2a1=Atiyah|2a2=Singer|3a1=Atiyah|3a2=Singer|4a1=Atiyah|4a2=Singer|1y=1968a|2y=1968b|3y=1971a|4y=1971b}}
अतियाह-सिंगर प्रमेय की घोषणा 1963 में की गई थी।{{sfn|Atiyah|Singer|1963}} इस घोषणा में दिए गए प्रमाण उनके द्वारा कभी प्रकाशित नहीं किए गए, चूंकि यह पैलैस की पुस्तक में दिखाई देता है।{{sfn|Palais|1965}} यह कार्टन-श्वार्ट्ज सेमिनार 1963/64 में भी दिखाई देता है{{sfn|Cartan-Schwartz|1965}} जो [[प्रिंसटन विश्वविद्यालय]] में [[रिचर्ड पैलेस]] के नेतृत्व में सेमिनार के साथ-साथ पेरिस में आयोजित किया गया था। पेरिस में आखिरी बातचीत अतियाह ने सीमा के साथ मैनिफोल्ड्स पर की थी। उनका पहला प्रकाशित प्रमाण{{sfn|Atiyah|Singer|1968a}} ने पहले प्रमाण के [[सह-बॉर्डिज्म]] सिद्धांत को के-सिद्धांत से बदल दिया, और उन्होंने इसका उपयोग कागजात के दूसरे अनुक्रम में विभिन्न सामान्यीकरणों के प्रमाण देने के लिए किया।{{sfnmp|1a1=Atiyah|1a2=Singer|2a1=Atiyah|2a2=Singer|3a1=Atiyah|3a2=Singer|4a1=Atiyah|4a2=Singer|1y=1968a|2y=1968b|3y=1971a|4y=1971b}}
Line 26: Line 26:
*1965: सर्गेई नोविकोव (गणितज्ञ)|सर्गेई पी. नोविकोव ने स्मूथ मैनिफोल्ड्स पर तर्कसंगत [[पोंट्रीगिन वर्ग]] के टोपोलॉजिकल इनवेरिएंस पर अपने परिणाम प्रकाशित किए।{{sfn|Novikov|1965}}
*1965: सर्गेई नोविकोव (गणितज्ञ)|सर्गेई पी. नोविकोव ने स्मूथ मैनिफोल्ड्स पर तर्कसंगत [[पोंट्रीगिन वर्ग]] के टोपोलॉजिकल इनवेरिएंस पर अपने परिणाम प्रकाशित किए।{{sfn|Novikov|1965}}
* [[रॉबिन किर्बी]] और लॉरेंट सी. सिबेनमैन के परिणाम,{{sfn|Kirby|Siebenmann|1969}} रेने थॉम के पेपर के साथ संयुक्त{{sfn|Thom|1956}} टोपोलॉजिकल मैनिफोल्ड्स पर तर्कसंगत पोंट्रीगिन वर्गों के अस्तित्व को सिद्ध किया। तर्कसंगत पोंट्रीगिन कक्षाएं चिकनी और टोपोलॉजिकल मैनिफोल्ड्स पर सूचकांक प्रमेय के आवश्यक तत्व हैं।
* [[रॉबिन किर्बी]] और लॉरेंट सी. सिबेनमैन के परिणाम,{{sfn|Kirby|Siebenmann|1969}} रेने थॉम के पेपर के साथ संयुक्त{{sfn|Thom|1956}} टोपोलॉजिकल मैनिफोल्ड्स पर तर्कसंगत पोंट्रीगिन वर्गों के अस्तित्व को सिद्ध किया। तर्कसंगत पोंट्रीगिन कक्षाएं चिकनी और टोपोलॉजिकल मैनिफोल्ड्स पर सूचकांक प्रमेय के आवश्यक तत्व हैं।
*1969: माइकल अतियाह ने इच्छा से मीट्रिक स्थानों पर अमूर्त अण्डाकार ऑपरेटरों को परिभाषित किया। कास्पारोव के सिद्धांत और कोन्स की गैर-अनुवांशिक अंतर ज्यामिति में सार अण्डाकार संचालक नायक बन गए।{{sfn|Atiyah|1970}}
*1969: माइकल अतियाह ने इच्छा से मीट्रिक स्थानों पर अमूर्त वर्गाकार  ऑपरेटरों को परिभाषित किया। कास्पारोव के सिद्धांत और कोन्स की गैर-अनुवांशिक अंतर ज्यामिति में सार वर्गाकार  संचालक नायक बन गए।{{sfn|Atiyah|1970}}
*1971: इसाडोर सिंगर ने सूचकांक सिद्धांत के भविष्य के विस्तार के लिए व्यापक कार्यक्रम का प्रस्ताव रखा।{{sfn|Singer|1971}}
*1971: इसाडोर सिंगर ने सूचकांक सिद्धांत के भविष्य के विस्तार के लिए व्यापक कार्यक्रम का प्रस्ताव रखा।{{sfn|Singer|1971}}
*1972: गेनाडी जी. कास्पारोव ने अमूर्त अण्डाकार ऑपरेटरों द्वारा के-होमोलॉजी की प्राप्ति पर अपना काम प्रकाशित किया।{{sfn|Kasparov|1972}}
*1972: गेनाडी जी. कास्पारोव ने अमूर्त वर्गाकार  ऑपरेटरों द्वारा के-होमोलॉजी की प्राप्ति पर अपना काम प्रकाशित किया।{{sfn|Kasparov|1972}}
*1973: अतियाह, [[राउल बॉट]] और [[विजय पटोदी]] ने सूचकांक प्रमेय का नया प्रमाण दिया{{sfn|Atiyah|Bott|Patodi|1973}} मेलरोज़ द्वारा पेपर में वर्णित ऊष्मा समीकरण का उपयोग करते हुए।{{sfn|Melrose|1993}}
*1973: अतियाह, [[राउल बॉट]] और [[विजय पटोदी]] ने सूचकांक प्रमेय का नया प्रमाण दिया{{sfn|Atiyah|Bott|Patodi|1973}} मेलरोज़ द्वारा पेपर में वर्णित ऊष्मा समीकरण का उपयोग करते हुए।{{sfn|Melrose|1993}}
*1977: [[ डेनिस सुलिवान |डेनिस सुलिवान]] ने 4 से भिन्न आयामों के टोपोलॉजिकल मैनिफोल्ड्स पर लिप्सचिट्ज़ और [[क्वासिकोनफॉर्मल मैपिंग|क्वासिकोनफॉर्मल मानचित्रण]] संरचनाओं के अस्तित्व और विशिष्टता पर अपना प्रमेय स्थापित किया।{{sfn|Sullivan|1979}}
*1977: [[ डेनिस सुलिवान |डेनिस सुलिवान]] ने 4 से भिन्न आयामों के टोपोलॉजिकल मैनिफोल्ड्स पर लिप्सचिट्ज़ और [[क्वासिकोनफॉर्मल मैपिंग|क्वासिकोनफॉर्मल मानचित्रण]] संरचनाओं के अस्तित्व और विशिष्टता पर अपना प्रमेय स्थापित किया।{{sfn|Sullivan|1979}}
Line 42: Line 42:
*एक्स [[ सघन स्थान |सघन स्थान]] स्मूथ [[ कई गुना |अनेक गुना]] (बिना सीमा के) है।
*एक्स [[ सघन स्थान |सघन स्थान]] स्मूथ [[ कई गुना |अनेक गुना]] (बिना सीमा के) है।
*E और F, X के ऊपर चिकने [[वेक्टर बंडल|सदिश बंडल]] हैं।
*E और F, X के ऊपर चिकने [[वेक्टर बंडल|सदिश बंडल]] हैं।
*D, E से F तक अण्डाकार अंतर ऑपरेटर है। इसलिए स्थानीय निर्देशांक में यह अंतर ऑपरेटर के रूप में कार्य करता है, जो E के चिकने खंडों को F के चिकने खंडों तक ले जाता है।
*D, E से F तक वर्गाकार  अंतर ऑपरेटर है। इसलिए स्थानीय निर्देशांक में यह अंतर ऑपरेटर के रूप में कार्य करता है, जो E के चिकने खंडों को F के चिकने खंडों तक ले जाता है।


==डिफरेंशियल ऑपरेटर का प्रतीक==
==डिफरेंशियल ऑपरेटर का प्रतीक==
यदि D, k वेरिएबल्स में क्रम n के यूक्लिडियन स्पेस पर डिफरेंशियल ऑपरेटर है <math>x_1, \dots, x_k</math>, तबइसका अंतर ऑपरेटर का प्रतीक 2k चर का कार्य है
यदि D, k वेरिएबल्स में क्रम n के यूक्लिडियन स्पेस पर डिफरेंशियल ऑपरेटर है <math>x_1, \dots, x_k</math>, तबइसका अंतर ऑपरेटर का प्रतीक 2k चर का कार्य है
<math>x_1, \dots, x_k, y_1, \dots, y_k</math>, n से कम क्रम की सभी शर्तों को हटाकर और प्रतिस्थापित करके दिया गया <math>\partial/\partial x_i</math> द्वारा <math>y_i</math>. तबप्रतीक डिग्री n के चर y में सजातीय है। यद्यपि प्रतीक अच्छी तरह से परिभाषित है <math>\partial/\partial x_i</math> के साथ आवागमन नहीं करता <math>x_i</math> क्योंकि हम केवल उच्चतम ऑर्डर शर्तों को रखते हैं और अंतर ऑपरेटर निम्न-ऑर्डर शर्तों तक कम्यूट करते हैं। यदि प्रतीक अशून्य है तबऑपरेटर को अण्डाकार कहा जाता है, जब भी कम से कम ''y'' अशून्य होता है।
<math>x_1, \dots, x_k, y_1, \dots, y_k</math>, n से कम क्रम की सभी शर्तों को हटाकर और प्रतिस्थापित करके दिया गया <math>\partial/\partial x_i</math> द्वारा <math>y_i</math>. तबप्रतीक डिग्री n के चर y में सजातीय है। यद्यपि प्रतीक अच्छी तरह से परिभाषित है <math>\partial/\partial x_i</math> के साथ आवागमन नहीं करता <math>x_i</math> क्योंकि हम केवल उच्चतम ऑर्डर शर्तों को रखते हैं और अंतर ऑपरेटर निम्न-ऑर्डर शर्तों तक कम्यूट करते हैं। यदि प्रतीक अशून्य है तबऑपरेटर को वर्गाकार  कहा जाता है, जब भी कम से कम ''y'' अशून्य होता है।


उदाहरण: ''k'' वेरिएबल में लाप्लास ऑपरेटर का प्रतीक है <math>y_1^2 + \cdots + y_k^2</math>, और इसलिए यह अण्डाकार है क्योंकि जब भी इनमें से कोई भी अशून्य होता है <math>y_i</math>शून्येतर हैं. वेव ऑपरेटर का प्रतीक होता है <math>-y_1^2 + \cdots + y_k^2</math>, जो कि अण्डाकार नहीं है यदि <math>k\ge 2</math>, क्योंकि ys के कुछ गैर-शून्य मानों के लिए प्रतीक गायब हो जाता है।
उदाहरण: ''k'' वेरिएबल में लाप्लास ऑपरेटर का प्रतीक है <math>y_1^2 + \cdots + y_k^2</math>, और इसलिए यह वर्गाकार  है क्योंकि जब भी इनमें से कोई भी अशून्य होता है <math>y_i</math>शून्येतर हैं. वेव ऑपरेटर का प्रतीक होता है <math>-y_1^2 + \cdots + y_k^2</math>, जो कि वर्गाकार  नहीं है यदि <math>k\ge 2</math>, क्योंकि ys के कुछ गैर-शून्य मानों के लिए प्रतीक गायब हो जाता है।


स्मूथ मैनिफ़ोल्ड (सामान्यतः, अंतर ऑपरेटर समन्वय परिवर्तन ([[जेट बंडल]] देखें) के अनुसार  जटिल तरीके से बदलते हैं; चूंकि, उच्चतम क्रम के शब्द टेंसर की तरह बदलते हैं, इसलिए हमें कोटैंजेंट रिक्त स्थान पर अच्छी तरह से परिभाषित सजातीय कार्य मिलते हैं जो स्थानीय चार्ट की पसंद से स्वतंत्र होते हैं .) अधिक सामान्यतः, दो सदिश बंडलों ई और एफ के बीच अंतर ऑपरेटर का प्रतीक बंडल होम (ई, एफ) के एक्स के कोटैंजेंट स्पेस के पुलबैक का खंड है। अंतर ऑपरेटर को अण्डाकार कहा जाता है यदि का तत्व घर<sub>x</sub>, एफ<sub>x</sub>) X के किसी भी बिंदु x पर सभी गैर-शून्य कोटैंजेंट वैक्टर के लिए उलटा है।
स्मूथ मैनिफ़ोल्ड (सामान्यतः, अंतर ऑपरेटर समन्वय परिवर्तन ([[जेट बंडल]] देखें) के अनुसार  जटिल तरीके से बदलते हैं; चूंकि, उच्चतम क्रम के शब्द टेंसर की तरह बदलते हैं, इसलिए हमें कोटैंजेंट रिक्त स्थान पर अच्छी तरह से परिभाषित सजातीय कार्य मिलते हैं जो स्थानीय चार्ट की पसंद से स्वतंत्र होते हैं .) अधिक सामान्यतः, दो सदिश बंडलों ई और एफ के बीच अंतर ऑपरेटर का प्रतीक बंडल होम (ई, एफ) के एक्स के कोटैंजेंट स्पेस के पुलबैक का खंड है। अंतर ऑपरेटर को वर्गाकार  कहा जाता है यदि का तत्व घर<sub>x</sub>, एफ<sub>x</sub>) X के किसी भी बिंदु x पर सभी गैर-शून्य कोटैंजेंट वैक्टर के लिए उलटा है।


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


==विश्लेषणात्मक सूचकांक                                          ==
==विश्लेषणात्मक सूचकांक                                          ==
चूंकि अण्डाकार अंतर ऑपरेटर डी में छद्म व्युत्क्रम है, यह [[ फ्रेडहोम संचालक |फ्रेडहोम संचालक]] है। किसी भी फ्रेडहोम ऑपरेटर के पास सूचकांक होता है, जिसे डी (डीएफ = 0 के समाधान) के [[कर्नेल (बीजगणित)]] के (परिमित) आयाम और डी के [[कोकर्नेल]] के (परिमित) आयाम (दाईं ओर की बाधाओं) के बीच अंतर के रूप में परिभाषित किया गया है। -एक अमानवीय समीकरण का हाथ-पक्ष जैसे Df = g, या समकक्ष संचालिका का कर्नेल)। दूसरे शब्दों में,
चूंकि वर्गाकार  अंतर ऑपरेटर डी में छद्म व्युत्क्रम है, यह [[ फ्रेडहोम संचालक |फ्रेडहोम संचालक]] है। किसी भी फ्रेडहोम ऑपरेटर के पास सूचकांक होता है, जिसे डी (डीएफ = 0 के समाधान) के [[कर्नेल (बीजगणित)]] के (परिमित) आयाम और डी के [[कोकर्नेल]] के (परिमित) आयाम (दाईं ओर की बाधाओं) के बीच अंतर के रूप में परिभाषित किया गया है। -एक अमानवीय समीकरण का हाथ-पक्ष जैसे Df = g, या समकक्ष संचालिका का कर्नेल)। दूसरे शब्दों में,
:सूचकांक(डी) = डिम केर(डी) - डिम कोकर(डी) = डिम केर(डी) - डिम केर(डी*)।
:सूचकांक(डी) = डिम केर(डी) - डिम कोकर(डी) = डिम केर(डी) - डिम केर(डी*)।
इसे कभी-कभी डी का 'विश्लेषणात्मक सूचकांक' भी कहा जाता है।
इसे कभी-कभी डी का 'विश्लेषणात्मक सूचकांक' भी कहा जाता है।


'उदाहरण:' मान लीजिए कि मैनिफोल्ड वृत्त है (जिसे 'R'/'Z' माना जाता है), और D कुछ जटिल स्थिरांक λ के लिए ऑपरेटर d/dx - λ है। (यह अण्डाकार ऑपरेटर का सबसे सरल उदाहरण है।) तब कर्नेल exp (λx) के गुणकों का स्थान है यदि λ 2πi का अभिन्न गुणक है और अन्यथा 0 है, और सहायक का कर्नेल λ के साथ समान स्थान है इसके जटिल संयुग्म द्वारा प्रतिस्थापित किया गया। तबडी का सूचकांक 0 है। यह उदाहरण दिखाता है कि अण्डाकार ऑपरेटरों के कर्नेल और कोकर्नेल अण्डाकार ऑपरेटर के भिन्न होने पर लगातार कूद सकते हैं, इसलिए निरंतर टोपोलॉजिकल डेटा के संदर्भ में उनके आयामों के लिए कोई अच्छा सूत्र नहीं है। चूँकि कर्नेल और कोकर्नेल के आयामों में उछाल समान है, इसलिए उनके आयामों के अंतर से दिया गया सूचकांक, वास्तव में लगातार बदलता रहता है, और सूचकांक प्रमेय द्वारा टोपोलॉजिकल डेटा के संदर्भ में दिया जा सकता है।
'उदाहरण:' मान लीजिए कि मैनिफोल्ड वृत्त है (जिसे 'R'/'Z' माना जाता है), और D कुछ जटिल स्थिरांक λ के लिए ऑपरेटर d/dx - λ है। (यह वर्गाकार  ऑपरेटर का सबसे सरल उदाहरण है।) तब कर्नेल exp (λx) के गुणकों का स्थान है यदि λ 2πi का अभिन्न गुणक है और अन्यथा 0 है, और सहायक का कर्नेल λ के साथ समान स्थान है इसके जटिल संयुग्म द्वारा प्रतिस्थापित किया गया। तबडी का सूचकांक 0 है। यह उदाहरण दिखाता है कि वर्गाकार  ऑपरेटरों के कर्नेल और कोकर्नेल वर्गाकार  ऑपरेटर के भिन्न होने पर लगातार कूद सकते हैं, इसलिए निरंतर टोपोलॉजिकल डेटा के संदर्भ में उनके आयामों के लिए कोई अच्छा सूत्र नहीं है। चूँकि कर्नेल और कोकर्नेल के आयामों में उछाल समान है, इसलिए उनके आयामों के अंतर से दिया गया सूचकांक, वास्तव में लगातार बदलता रहता है, और सूचकांक प्रमेय द्वारा टोपोलॉजिकल डेटा के संदर्भ में दिया जा सकता है।


==टोपोलॉजिकल इंडेक्स==
==टोपोलॉजिकल इंडेक्स==
अण्डाकार विभेदक ऑपरेटर का टोपोलॉजिकल सूचकांक <math>D</math> चिकने सदिश बंडलों के बीच <math>E</math> और <math>F</math> पर <math>n</math>-आयामी कॉम्पैक्ट मैनिफोल्ड <math>X</math> द्वारा दिया गया है
वर्गाकार  विभेदक ऑपरेटर का टोपोलॉजिकल सूचकांक <math>D</math> चिकने सदिश बंडलों के बीच <math>E</math> और <math>F</math> पर <math>n</math>-आयामी कॉम्पैक्ट मैनिफोल्ड <math>X</math> द्वारा दिया गया है


:<math>(-1)^n\operatorname{ch}(D)\operatorname{Td}(X)[X] = (-1)^n\int_X \operatorname{ch}(D)\operatorname{Td}(X)</math>
:<math>(-1)^n\operatorname{ch}(D)\operatorname{Td}(X)[X] = (-1)^n\int_X \operatorname{ch}(D)\operatorname{Td}(X)</math>
Line 81: Line 81:
K(TX) को Y के साथ कुछ यूक्लिडियन स्पेस के साथ इस ऑपरेशन की छवि के रूप में परिभाषित किया गया है, जिसके लिए K(TY) को पूर्णांक 'Z' (बॉट-आवधिकता के परिणामस्वरूप) के साथ स्वाभाविक रूप से पहचाना जा सकता है। यह मानचित्र यूक्लिडियन अंतरिक्ष में एक्स के एम्बेडिंग से स्वतंत्र है। अभी ऊपर जैसा डिफरेंशियल ऑपरेटर स्वाभाविक रूप से K(TX) के तत्व को परिभाषित करता है, और इस मानचित्र के अनुसार  'Z' में छवि टोपोलॉजिकल इंडेक्स है।
K(TX) को Y के साथ कुछ यूक्लिडियन स्पेस के साथ इस ऑपरेशन की छवि के रूप में परिभाषित किया गया है, जिसके लिए K(TY) को पूर्णांक 'Z' (बॉट-आवधिकता के परिणामस्वरूप) के साथ स्वाभाविक रूप से पहचाना जा सकता है। यह मानचित्र यूक्लिडियन अंतरिक्ष में एक्स के एम्बेडिंग से स्वतंत्र है। अभी ऊपर जैसा डिफरेंशियल ऑपरेटर स्वाभाविक रूप से K(TX) के तत्व को परिभाषित करता है, और इस मानचित्र के अनुसार  'Z' में छवि टोपोलॉजिकल इंडेक्स है।


सदैव की तरह, डी कॉम्पैक्ट मैनिफोल्ड एक्स पर सदिश बंडल ई और एफ के बीच अण्डाकार अंतर ऑपरेटर है।
सदैव की तरह, डी कॉम्पैक्ट मैनिफोल्ड एक्स पर सदिश बंडल ई और एफ के बीच वर्गाकार  अंतर ऑपरेटर है।


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


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


यद्यपि विश्लेषणात्मक सूचकांक का सीधे मूल्यांकन करना सामान्यतः कठिन होता है, यह कम से कम स्पष्ट रूप से पूर्णांक है। टोपोलॉजिकल इंडेक्स परिभाषा के अनुसार परिमेय संख्या है, किन्तुसामान्यतः परिभाषा से यह बिल्कुल भी स्पष्ट नहीं है कि यह अभिन्न भी है। तबअतियाह-सिंगर इंडेक्स प्रमेय कुछ गहरी अभिन्नता गुणों का तात्पर्य करता है, क्योंकि इसका तात्पर्य है कि टोपोलॉजिकल इंडेक्स अभिन्न है।
यद्यपि विश्लेषणात्मक सूचकांक का सीधे मूल्यांकन करना सामान्यतः कठिन होता है, यह कम से कम स्पष्ट रूप से पूर्णांक है। टोपोलॉजिकल इंडेक्स परिभाषा के अनुसार परिमेय संख्या है, किन्तुसामान्यतः परिभाषा से यह बिल्कुल भी स्पष्ट नहीं है कि यह अभिन्न भी है। तबअतियाह-सिंगर इंडेक्स प्रमेय कुछ गहरी अभिन्नता गुणों का तात्पर्य करता है, क्योंकि इसका तात्पर्य है कि टोपोलॉजिकल इंडेक्स अभिन्न है।


यदि ऑपरेटर स्वयं संलग्न है तबअण्डाकार अंतर ऑपरेटर का सूचकांक स्पष्ट रूप से गायब हो जाता है। यह तब भी गायब हो जाता है जब मैनिफोल्ड
यदि ऑपरेटर स्वयं संलग्न है तबवर्गाकार  अंतर ऑपरेटर का सूचकांक स्पष्ट रूप से गायब हो जाता है। यह तब भी गायब हो जाता है जब मैनिफोल्ड


=== ग्रोथेंडिक-रीमैन-रोच से संबंध ===
=== ग्रोथेंडिक-रीमैन-रोच से संबंध ===
Line 101: Line 101:
इस कारण {{harv|टेलीमैन|1983}}, {{harv|टेलीमैन|1984}}:
इस कारण {{harv|टेलीमैन|1983}}, {{harv|टेलीमैन|1984}}:


:किसी भी अमूर्त अण्डाकार ऑपरेटर के लिए {{harv|अतियाह|1970}} बंद, उन्मुख, टोपोलॉजिकल मैनिफोल्ड पर, विश्लेषणात्मक सूचकांक टोपोलॉजिकल सूचकांक के सामान्तर होता है।
:किसी भी अमूर्त वर्गाकार  ऑपरेटर के लिए {{harv|अतियाह|1970}} बंद, उन्मुख, टोपोलॉजिकल मैनिफोल्ड पर, विश्लेषणात्मक सूचकांक टोपोलॉजिकल सूचकांक के सामान्तर होता है।
इस परिणाम का प्रमाण विशिष्ट विचारों से होकर गुजरता है, जिसमें कॉम्बिनेटरियल और लिप्सचिट्ज़ मैनिफोल्ड्स पर हॉज सिद्धांत का विस्तार सम्मिलित  है। {{harv|टेलीमैन|1980}}, {{harv|टेलीमैन|1983}}, अतियाह-सिंगर के हस्ताक्षर ऑपरेटर का लिप्सचिट्ज़ मैनिफोल्ड्स तक विस्तार {{harv|टेलीमैन|1983}}, कास्परोव की के-होमोलॉजी {{harv|कास्पारोव|1972}} और टोपोलॉजिकल कोबॉर्डिज्म {{harv|किर्बी|सिबेनमैन|1977}}.
इस परिणाम का प्रमाण विशिष्ट विचारों से होकर गुजरता है, जिसमें कॉम्बिनेटरियल और लिप्सचिट्ज़ मैनिफोल्ड्स पर हॉज सिद्धांत का विस्तार सम्मिलित  है। {{harv|टेलीमैन|1980}}, {{harv|टेलीमैन|1983}}, अतियाह-सिंगर के हस्ताक्षर ऑपरेटर का लिप्सचिट्ज़ मैनिफोल्ड्स तक विस्तार {{harv|टेलीमैन|1983}}, कास्परोव की के-होमोलॉजी {{harv|कास्पारोव|1972}} और टोपोलॉजिकल कोबॉर्डिज्म {{harv|किर्बी|सिबेनमैन|1977}}.


Line 123: Line 123:


===अन्य एक्सटेंशन===
===अन्य एक्सटेंशन===
*अतियाह-सिंगर प्रमेय अण्डाकार स्यूडोडिफरेंशियल ऑपरेटरों पर उसी तरह प्रयुक्त होता है जैसे अण्डाकार अंतर ऑपरेटरों के लिए। वास्तव में, टेक्निकल कारणों से अधिकांश प्रारंभिक प्रमाणों ने विभेदक ऑपरेटरों के अतिरिक्त छद्मविभेदक के साथ काम किया: उनके अतिरिक्त लचीलेपन ने प्रमाणों के कुछ चरणों को आसान बना दिया।
*अतियाह-सिंगर प्रमेय वर्गाकार  स्यूडोडिफरेंशियल ऑपरेटरों पर उसी तरह प्रयुक्त होता है जैसे वर्गाकार  अंतर ऑपरेटरों के लिए। वास्तव में, टेक्निकल कारणों से अधिकांश प्रारंभिक प्रमाणों ने विभेदक ऑपरेटरों के अतिरिक्त छद्मविभेदक के साथ काम किया: उनके अतिरिक्त लचीलेपन ने प्रमाणों के कुछ चरणों को आसान बना दिया।
*दो सदिश बंडलों के बीच अण्डाकार ऑपरेटर के साथ काम करने के अतिरिक्त, कभी-कभी अण्डाकार कॉम्प्लेक्स के साथ काम करना अधिक सुविधाजनक होता है <math display="block">0\rightarrow E_0 \rightarrow E_1 \rightarrow E_2 \rightarrow \dotsm \rightarrow E_m \rightarrow 0</math> सदिश बंडलों का. अंतर यह है कि प्रतीक अभी स्पष्ट अनुक्रम बनाते हैं (शून्य खंड से हटकर)। ऐसे मामले में जब कॉम्प्लेक्स में सिर्फ दो गैर-शून्य बंडल होते हैं, तबइसका कारण है कि प्रतीक शून्य खंड से समरूपता है, इसलिए 2 शब्दों वाला अण्डाकार कॉम्प्लेक्स अनिवार्य रूप से दो सदिश बंडलों के बीच अण्डाकार ऑपरेटर के समान है। इसके विपरीत, अण्डाकार कॉम्प्लेक्स के लिए सूचकांक प्रमेय को आसानी से अण्डाकार ऑपरेटर के मामले में कम किया जा सकता है: दो सदिश बंडल कॉम्प्लेक्स के सम या विषम शब्दों के योग द्वारा दिए जाते हैं, और अण्डाकार ऑपरेटर ऑपरेटरों का योग है अण्डाकार परिसर और उनके जोड़, सम बंडलों के योग तक सीमित हैं।
*दो सदिश बंडलों के बीच वर्गाकार  ऑपरेटर के साथ काम करने के अतिरिक्त, कभी-कभी वर्गाकार  कॉम्प्लेक्स के साथ काम करना अधिक सुविधाजनक होता है <math display="block">0\rightarrow E_0 \rightarrow E_1 \rightarrow E_2 \rightarrow \dotsm \rightarrow E_m \rightarrow 0</math> सदिश बंडलों का. अंतर यह है कि प्रतीक अभी स्पष्ट अनुक्रम बनाते हैं (शून्य खंड से हटकर)। ऐसे मामले में जब कॉम्प्लेक्स में सिर्फ दो गैर-शून्य बंडल होते हैं, तबइसका कारण है कि प्रतीक शून्य खंड से समरूपता है, इसलिए 2 शब्दों वाला वर्गाकार  कॉम्प्लेक्स अनिवार्य रूप से दो सदिश बंडलों के बीच वर्गाकार  ऑपरेटर के समान है। इसके विपरीत, वर्गाकार  कॉम्प्लेक्स के लिए सूचकांक प्रमेय को आसानी से वर्गाकार  ऑपरेटर के मामले में कम किया जा सकता है: दो सदिश बंडल कॉम्प्लेक्स के सम या विषम शब्दों के योग द्वारा दिए जाते हैं, और वर्गाकार  ऑपरेटर ऑपरेटरों का योग है वर्गाकार  परिसर और उनके जोड़, सम बंडलों के योग तक सीमित हैं।
*यदि मैनिफोल्ड को सीमाबद्ध करने की अनुमति है, तबपरिमित सूचकांक सुनिश्चित करने के लिए अण्डाकार ऑपरेटर के डोमेन पर कुछ प्रतिबंध लगाए जाने चाहिए। यह स्थितियां स्थानीय हो सकती हैं (जैसे यह मांग करना कि डोमेन में अनुभाग सीमा पर गायब हो जाएं) या अधिक जटिल वैश्विक स्थितियां (जैसे कि यह आवश्यक है कि डोमेन में अनुभाग कुछ अंतर समीकरण को हल करें)। स्थानीय मामले पर अतियाह और बॉट द्वारा काम किया गया था, किन्तुउन्होंने दिखाया कि अनेक रोचक ऑपरेटर (उदाहरण के लिए, [[हस्ताक्षर ऑपरेटर]]) स्थानीय सीमा शर्तों को स्वीकार नहीं करते हैं। इन ऑपरेटरों को संभालने के लिए, माइकल अतियाह, [[विजय कुमार पटोदी]] और इसादोर सिंगर ने वैश्विक सीमा शर्तों की शुरुआत की, जो सीमा के साथ सिलेंडर को मैनिफ़ोल्ड से जोड़ने और फिर डोमेन को उन अनुभागों तक सीमित करने के सामान्तर है जो सिलेंडर के साथ वर्गाकार एकीकृत हैं। के प्रमाण में यह दृष्टिकोण अपनाया जाता है {{harvtxt|मेलरोज़|1993}} अतियाह-पटोदी-सिंगर सूचकांक प्रमेय के।
*यदि मैनिफोल्ड को सीमाबद्ध करने की अनुमति है, तबपरिमित सूचकांक सुनिश्चित करने के लिए वर्गाकार  ऑपरेटर के डोमेन पर कुछ प्रतिबंध लगाए जाने चाहिए। यह स्थितियां स्थानीय हो सकती हैं (जैसे यह मांग करना कि डोमेन में अनुभाग सीमा पर गायब हो जाएं) या अधिक जटिल वैश्विक स्थितियां (जैसे कि यह आवश्यक है कि डोमेन में अनुभाग कुछ अंतर समीकरण को हल करें)। स्थानीय मामले पर अतियाह और बॉट द्वारा काम किया गया था, किन्तुउन्होंने दिखाया कि अनेक रोचक ऑपरेटर (उदाहरण के लिए, [[हस्ताक्षर ऑपरेटर]]) स्थानीय सीमा शर्तों को स्वीकार नहीं करते हैं। इन ऑपरेटरों को संभालने के लिए, माइकल अतियाह, [[विजय कुमार पटोदी]] और इसादोर सिंगर ने वैश्विक सीमा शर्तों की शुरुआत की, जो सीमा के साथ सिलेंडर को मैनिफ़ोल्ड से जोड़ने और फिर डोमेन को उन अनुभागों तक सीमित करने के सामान्तर है जो सिलेंडर के साथ वर्गाकार एकीकृत हैं। के प्रमाण में यह दृष्टिकोण अपनाया जाता है {{harvtxt|मेलरोज़|1993}} अतियाह-पटोदी-सिंगर सूचकांक प्रमेय के।
*केवल अण्डाकार ऑपरेटर के अतिरिक्त, कोई कुछ स्थान Y द्वारा पैरामीटरयुक्त अण्डाकार ऑपरेटरों के परिवार पर विचार कर सकता है। इस मामले में सूचकांक पूर्णांक के अतिरिक्त Y के K-सिद्धांत का तत्व है। यदि परिवार में ऑपरेटर वास्तविक हैं, तबसूचकांक Y के वास्तविक K-सिद्धांत में निहित है। यह थोड़ी अतिरिक्त जानकारी देता है, क्योंकि Y के वास्तविक K-सिद्धांत से लेकर जटिल K-सिद्धांत तक का नक्शा सदैव इंजेक्शन योग्य नहीं होता है। .
*केवल वर्गाकार  ऑपरेटर के अतिरिक्त, कोई कुछ स्थान Y द्वारा पैरामीटरयुक्त वर्गाकार  ऑपरेटरों के परिवार पर विचार कर सकता है। इस मामले में सूचकांक पूर्णांक के अतिरिक्त Y के K-सिद्धांत का तत्व है। यदि परिवार में ऑपरेटर वास्तविक हैं, तबसूचकांक Y के वास्तविक K-सिद्धांत में निहित है। यह थोड़ी अतिरिक्त जानकारी देता है, क्योंकि Y के वास्तविक K-सिद्धांत से लेकर जटिल K-सिद्धांत तक का नक्शा सदैव इंजेक्शन योग्य नहीं होता है। .
*यदि अण्डाकार ऑपरेटर के साथ चलते हुए, कॉम्पैक्ट मैनिफोल्ड इसके अतिरिक्त, किसी को [[लेफ्शेट्ज़ निश्चित-बिंदु प्रमेय]] का सामान्यीकरण मिलता है, जिसमें समूह जी के निश्चित-बिंदु उपमानों से आने वाले शब्द होते हैं। यह भी देखें: [[समतुल्य सूचकांक प्रमेय]]।
*यदि वर्गाकार  ऑपरेटर के साथ चलते हुए, कॉम्पैक्ट मैनिफोल्ड इसके अतिरिक्त, किसी को [[लेफ्शेट्ज़ निश्चित-बिंदु प्रमेय]] का सामान्यीकरण मिलता है, जिसमें समूह जी के निश्चित-बिंदु उपमानों से आने वाले शब्द होते हैं। यह भी देखें: [[समतुल्य सूचकांक प्रमेय]]।
*{{harvtxt|अतियाह|1976}} ने दिखाया कि इंडेक्स प्रमेय को कुछ गैर-कॉम्पैक्ट मैनिफोल्ड्स तक कैसे बढ़ाया जाए, जिस पर कॉम्पैक्ट भागफल के साथ भिन्न समूह द्वारा कार्य किया जाता है। इस मामले में अण्डाकार ऑपरेटर का कर्नेल सामान्य रूप से अनंत आयामी है, किन्तु [[वॉन न्यूमैन बीजगणित]] पर मॉड्यूल के आयाम का उपयोग करके परिमित सूचकांक प्राप्त करना संभव है; यह सूचकांक पूर्णांक मान के अतिरिक्त सामान्यतः वास्तविक है। इस संस्करण को ''एल'' कहा जाता है<sup>2</sup>सूचकांक प्रमेय, और द्वारा उपयोग किया गया था {{harvtxt|अतियाह|श्मिड|1977}} [[अर्धसरल झूठ समूह]]ों के [[असतत श्रृंखला प्रतिनिधित्व]] के गुणों को पुनः प्राप्त करने के लिए।
*{{harvtxt|अतियाह|1976}} ने दिखाया कि इंडेक्स प्रमेय को कुछ गैर-कॉम्पैक्ट मैनिफोल्ड्स तक कैसे बढ़ाया जाए, जिस पर कॉम्पैक्ट भागफल के साथ भिन्न समूह द्वारा कार्य किया जाता है। इस मामले में वर्गाकार  ऑपरेटर का कर्नेल सामान्य रूप से अनंत आयामी है, किन्तु [[वॉन न्यूमैन बीजगणित]] पर मॉड्यूल के आयाम का उपयोग करके परिमित सूचकांक प्राप्त करना संभव है; यह सूचकांक पूर्णांक मान के अतिरिक्त सामान्यतः वास्तविक है। इस संस्करण को ''एल'' कहा जाता है<sup>2</sup>सूचकांक प्रमेय, और द्वारा उपयोग किया गया था {{harvtxt|अतियाह|श्मिड|1977}} [[अर्धसरल झूठ समूह]]ों के [[असतत श्रृंखला प्रतिनिधित्व]] के गुणों को पुनः प्राप्त करने के लिए।
*कैलियास सूचकांक प्रमेय गैर-कॉम्पैक्ट विषम-आयामी स्थान पर डिराक ऑपरेटर के लिए सूचकांक प्रमेय है। अतियाह-सिंगर इंडेक्स केवल कॉम्पैक्ट स्पेस पर परिभाषित किया गया है, और जब उनका आयाम विषम होता है तबगायब हो जाता है। 1978 में [[कॉन्स्टेंटाइन कैलियास]] ने अपने पीएच.डी. के सुझाव पर। सलाहकार [[रोमन जैकिव]] ने [[हिग्स फील्ड]] नामक [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्युह]] से सुसज्जित स्थानों पर इस सूचकांक प्रमेय को प्राप्त करने के लिए [[चिरल विसंगति]] का उपयोग किया।<ref>[https://projecteuclid.org/download/pdf_1/euclid.cmp/1103904395  Index Theorems on Open Spaces]</ref> डिराक ऑपरेटर का सूचकांक टोपोलॉजिकल इनवेरिएंट है जो अनंत पर गोले पर हिग्स फ़ील्ड की वाइंडिंग को मापता है। यदि यू हिग्स फ़ील्ड की दिशा में इकाई आव्युह है, तबसूचकांक यू (डीयू) के अभिन्न अंग के समानुपाती होता है<sup>n−1</sup> अनंत पर (n−1)-गोले पर। यदि n सम है, तबयह सदैव शून्य होता है।
*कैलियास सूचकांक प्रमेय गैर-कॉम्पैक्ट विषम-आयामी स्थान पर डिराक ऑपरेटर के लिए सूचकांक प्रमेय है। अतियाह-सिंगर इंडेक्स केवल कॉम्पैक्ट स्पेस पर परिभाषित किया गया है, और जब उनका आयाम विषम होता है तबगायब हो जाता है। 1978 में [[कॉन्स्टेंटाइन कैलियास]] ने अपने पीएच.डी. के सुझाव पर। सलाहकार [[रोमन जैकिव]] ने [[हिग्स फील्ड]] नामक [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्युह]] से सुसज्जित स्थानों पर इस सूचकांक प्रमेय को प्राप्त करने के लिए [[चिरल विसंगति]] का उपयोग किया।<ref>[https://projecteuclid.org/download/pdf_1/euclid.cmp/1103904395  Index Theorems on Open Spaces]</ref> डिराक ऑपरेटर का सूचकांक टोपोलॉजिकल इनवेरिएंट है जो अनंत पर गोले पर हिग्स फ़ील्ड की वाइंडिंग को मापता है। यदि यू हिग्स फ़ील्ड की दिशा में इकाई आव्युह है, तबसूचकांक यू (डीयू) के अभिन्न अंग के समानुपाती होता है<sup>n−1</sup> अनंत पर (n−1)-गोले पर। यदि n सम है, तबयह सदैव शून्य होता है।
**इस अपरिवर्तनीय की टोपोलॉजिकल व्याख्या और [[बोरिस फेडोसोव]] द्वारा प्रस्तावित होर्मेंडर इंडेक्स के साथ इसका संबंध, जैसा कि लार्स होर्मेंडर द्वारा सामान्यीकृत किया गया था, राउल बॉट और [[रॉबर्ट थॉमस सीली]] द्वारा प्रकाशित किया गया था।<ref>[https://projecteuclid.org/download/pdf_1/euclid.cmp/1103904396  Some Remarks on the Paper of Callias]</ref>
**इस अपरिवर्तनीय की टोपोलॉजिकल व्याख्या और [[बोरिस फेडोसोव]] द्वारा प्रस्तावित होर्मेंडर इंडेक्स के साथ इसका संबंध, जैसा कि लार्स होर्मेंडर द्वारा सामान्यीकृत किया गया था, राउल बॉट और [[रॉबर्ट थॉमस सीली]] द्वारा प्रकाशित किया गया था।<ref>[https://projecteuclid.org/download/pdf_1/euclid.cmp/1103904396  Some Remarks on the Paper of Callias]</ref>
Line 159: Line 159:
ई तक सीमित.
ई तक सीमित.


यदि हम अण्डाकार ऑपरेटरों के अतिरिक्त अण्डाकार परिसरों के लिए सूचकांक प्रमेय का उपयोग करते हैं तबहिरज़ेब्रुक-रीमैन-रोच प्रमेय की यह व्युत्पत्ति अधिक स्वाभाविक है। हम कॉम्प्लेक्स को मान सकते हैं
यदि हम वर्गाकार  ऑपरेटरों के अतिरिक्त वर्गाकार  परिसरों के लिए सूचकांक प्रमेय का उपयोग करते हैं तबहिरज़ेब्रुक-रीमैन-रोच प्रमेय की यह व्युत्पत्ति अधिक स्वाभाविक है। हम कॉम्प्लेक्स को मान सकते हैं


:<math>0 \rightarrow V \rightarrow V \otimes \Lambda^{0,1}T^*(X) \rightarrow V \otimes \Lambda^{0,2}T^*(X) \rightarrow \dotsm</math>
:<math>0 \rightarrow V \rightarrow V \otimes \Lambda^{0,1}T^*(X) \rightarrow V \otimes \Lambda^{0,2}T^*(X) \rightarrow \dotsm</math>
Line 196: Line 196:
यूक्लिडियन स्पेस पर निरंतर गुणांक ऑपरेटरों के मामले में छद्मविभेदक ऑपरेटरों को आसानी से समझाया जा सकता है। इस मामले में, निरंतर गुणांक अंतर ऑपरेटर केवल बहुपदों द्वारा गुणन के [[फूरियर रूपांतरण]] हैं, और निरंतर गुणांक छद्मविभेदक ऑपरेटर केवल अधिक सामान्य कार्यों द्वारा गुणन के फूरियर रूपांतरण हैं।
यूक्लिडियन स्पेस पर निरंतर गुणांक ऑपरेटरों के मामले में छद्मविभेदक ऑपरेटरों को आसानी से समझाया जा सकता है। इस मामले में, निरंतर गुणांक अंतर ऑपरेटर केवल बहुपदों द्वारा गुणन के [[फूरियर रूपांतरण]] हैं, और निरंतर गुणांक छद्मविभेदक ऑपरेटर केवल अधिक सामान्य कार्यों द्वारा गुणन के फूरियर रूपांतरण हैं।


सूचकांक प्रमेय के अनेक प्रमाण विभेदक ऑपरेटरों के अतिरिक्त छद्मविभेदक ऑपरेटरों का उपयोग करते हैं। इसका कारण यह है कि अनेक उद्देश्यों के लिए पर्याप्त अंतर ऑपरेटर नहीं हैं। उदाहरण के लिए, धनात्मक क्रम के अण्डाकार अंतर ऑपरेटर का छद्म व्युत्क्रम अंतर ऑपरेटर नहीं है, किंतु छद्म अंतर ऑपरेटर है।
सूचकांक प्रमेय के अनेक प्रमाण विभेदक ऑपरेटरों के अतिरिक्त छद्मविभेदक ऑपरेटरों का उपयोग करते हैं। इसका कारण यह है कि अनेक उद्देश्यों के लिए पर्याप्त अंतर ऑपरेटर नहीं हैं। उदाहरण के लिए, धनात्मक क्रम के वर्गाकार  अंतर ऑपरेटर का छद्म व्युत्क्रम अंतर ऑपरेटर नहीं है, किंतु छद्म अंतर ऑपरेटर है।
इसके अतिरिक्त, K(B(X), S(X)) (क्लचिंग फलन) के तत्वों का प्रतिनिधित्व करने वाले डेटा और अण्डाकार स्यूडोडिफरेंशियल ऑपरेटरों के प्रतीकों के बीच सीधा पत्राचार है।
इसके अतिरिक्त, K(B(X), S(X)) (क्लचिंग फलन) के तत्वों का प्रतिनिधित्व करने वाले डेटा और वर्गाकार  स्यूडोडिफरेंशियल ऑपरेटरों के प्रतीकों के बीच सीधा पत्राचार है।


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


===कोबॉर्डिज्म ===
===कोबॉर्डिज्म ===
Line 207: Line 207:


===K-सिद्धांत===
===K-सिद्धांत===
अतियाह और सिंगर के पहले प्रकाशित प्रमाण में सह-बॉर्डिज्म के अतिरिक्त के-सिद्धांत का उपयोग किया गया था। यदि मैं एक्स से वाई तक कॉम्पैक्ट मैनिफोल्ड्स का कोई समावेश है, तबउन्होंने 'पुशफॉरवर्ड' ऑपरेशन को परिभाषित किया है<sub>!</sub> X के अण्डाकार ऑपरेटरों पर Y के अण्डाकार ऑपरेटरों पर जो सूचकांक को संरक्षित करता है। Y को कुछ ऐसे गोले के रूप में लेने से जिसमें X एम्बेड होता है, यह क्षेत्रों के मामले में सूचकांक प्रमेय को कम कर देता है। यदि Y गोला है और X, Y में अंतर्निहित कोई बिंदु है, तब Y पर कोई भी अण्डाकार ऑपरेटर i के अंतर्गत छवि है<sub>!</sub> बिंदु पर कुछ अण्डाकार ऑपरेटर का। यह सूचकांक प्रमेय को बिंदु के मामले में कम कर देता है, जहां यह तुच्छ है।
अतियाह और सिंगर के पहले प्रकाशित प्रमाण में सह-बॉर्डिज्म के अतिरिक्त के-सिद्धांत का उपयोग किया गया था। यदि मैं एक्स से वाई तक कॉम्पैक्ट मैनिफोल्ड्स का कोई समावेश है, तबउन्होंने 'पुशफॉरवर्ड' ऑपरेशन को परिभाषित किया है<sub>!</sub> X के वर्गाकार  ऑपरेटरों पर Y के वर्गाकार  ऑपरेटरों पर जो सूचकांक को संरक्षित करता है। Y को कुछ ऐसे गोले के रूप में लेने से जिसमें X एम्बेड होता है, यह क्षेत्रों के मामले में सूचकांक प्रमेय को कम कर देता है। यदि Y गोला है और X, Y में अंतर्निहित कोई बिंदु है, तब Y पर कोई भी वर्गाकार  ऑपरेटर i के अंतर्गत छवि है<sub>!</sub> बिंदु पर कुछ वर्गाकार  ऑपरेटर का। यह सूचकांक प्रमेय को बिंदु के मामले में कम कर देता है, जहां यह तुच्छ है।


===गर्मी समीकरण===
===गर्मी समीकरण===
Line 293: Line 293:


{{DEFAULTSORT:Atiyah-Singer index theorem}}
{{DEFAULTSORT:Atiyah-Singer index theorem}}
श्रेणी:विभेदक ऑपरेटर
श्रेणी:विभेदक ऑपरेटर
श्रेणी:अण्डाकार आंशिक अवकल समीकरण
श्रेणी:वर्गाकार  आंशिक अवकल समीकरण
श्रेणी:विभेदक ज्यामिति में प्रमेय
श्रेणी:विभेदक ज्यामिति में प्रमेय



Revision as of 12:49, 22 July 2023

अतियाह-सिंगर सूचकांक प्रमेय
Fieldविभेदक ज्यामिति
First proof byमाइकल अतियाह और इसादोर सिंगर
First proof in1963
Consequencesचेर्न-गॉस-बोनट प्रमेय
ग्रोथेंडिक-रीमैन-रोच प्रमेय
हिरज़ेब्रुच हस्ताक्षर प्रमेय
रोक्लिन का प्रमेय

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

इतिहास

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

अतियाह-सिंगर प्रमेय की घोषणा 1963 में की गई थी।[1] इस घोषणा में दिए गए प्रमाण उनके द्वारा कभी प्रकाशित नहीं किए गए, चूंकि यह पैलैस की पुस्तक में दिखाई देता है।[5] यह कार्टन-श्वार्ट्ज सेमिनार 1963/64 में भी दिखाई देता है[6] जो प्रिंसटन विश्वविद्यालय में रिचर्ड पैलेस के नेतृत्व में सेमिनार के साथ-साथ पेरिस में आयोजित किया गया था। पेरिस में आखिरी बातचीत अतियाह ने सीमा के साथ मैनिफोल्ड्स पर की थी। उनका पहला प्रकाशित प्रमाण[7] ने पहले प्रमाण के सह-बॉर्डिज्म सिद्धांत को के-सिद्धांत से बदल दिया, और उन्होंने इसका उपयोग कागजात के दूसरे अनुक्रम में विभिन्न सामान्यीकरणों के प्रमाण देने के लिए किया।[8]

  • 1965: सर्गेई नोविकोव (गणितज्ञ)|सर्गेई पी. नोविकोव ने स्मूथ मैनिफोल्ड्स पर तर्कसंगत पोंट्रीगिन वर्ग के टोपोलॉजिकल इनवेरिएंस पर अपने परिणाम प्रकाशित किए।[9]
  • रॉबिन किर्बी और लॉरेंट सी. सिबेनमैन के परिणाम,[10] रेने थॉम के पेपर के साथ संयुक्त[11] टोपोलॉजिकल मैनिफोल्ड्स पर तर्कसंगत पोंट्रीगिन वर्गों के अस्तित्व को सिद्ध किया। तर्कसंगत पोंट्रीगिन कक्षाएं चिकनी और टोपोलॉजिकल मैनिफोल्ड्स पर सूचकांक प्रमेय के आवश्यक तत्व हैं।
  • 1969: माइकल अतियाह ने इच्छा से मीट्रिक स्थानों पर अमूर्त वर्गाकार ऑपरेटरों को परिभाषित किया। कास्पारोव के सिद्धांत और कोन्स की गैर-अनुवांशिक अंतर ज्यामिति में सार वर्गाकार संचालक नायक बन गए।[12]
  • 1971: इसाडोर सिंगर ने सूचकांक सिद्धांत के भविष्य के विस्तार के लिए व्यापक कार्यक्रम का प्रस्ताव रखा।[13]
  • 1972: गेनाडी जी. कास्पारोव ने अमूर्त वर्गाकार ऑपरेटरों द्वारा के-होमोलॉजी की प्राप्ति पर अपना काम प्रकाशित किया।[14]
  • 1973: अतियाह, राउल बॉट और विजय पटोदी ने सूचकांक प्रमेय का नया प्रमाण दिया[15] मेलरोज़ द्वारा पेपर में वर्णित ऊष्मा समीकरण का उपयोग करते हुए।[16]
  • 1977: डेनिस सुलिवान ने 4 से भिन्न आयामों के टोपोलॉजिकल मैनिफोल्ड्स पर लिप्सचिट्ज़ और क्वासिकोनफॉर्मल मानचित्रण संरचनाओं के अस्तित्व और विशिष्टता पर अपना प्रमेय स्थापित किया।[17]
  • 1983: एज्रा गेट्ज़लर[18] एडवर्ड विटन के विचारों से प्रेरित[19] और लुइस अल्वारेज़ गौम ने उन ऑपरेटरों के लिए स्थानीय सूचकांक प्रमेय का संक्षिप्त प्रमाण दिया जो स्थानीय रूप से डायराक ऑपरेटर हैं; इसमें अनेक उपयोगी मामले सम्मिलित हैं।
  • 1983: निकोले टेलीमैन ने सिद्ध किया कि सदिश बंडलों में मूल्यों वाले हस्ताक्षर ऑपरेटरों के विश्लेषणात्मक सूचकांक टोपोलॉजिकल इनवेरिएंट हैं।[20]
  • 1984: टेलीमैन ने टोपोलॉजिकल मैनिफोल्ड्स पर इंडेक्स प्रमेय स्थापित किया।[21]
  • 1986: एलेन कोन्स ने गैर-अनुवांशिक ज्यामिति पर अपना मौलिक पेपर प्रकाशित किया।[22]
  • 1989: साइमन डोनाल्डसन|साइमन के. डोनाल्डसन और सुलिवन ने आयाम 4 के क्वासिकोनफॉर्मल मैनिफोल्ड्स पर यांग-मिल्स सिद्धांत का अध्ययन किया। वहडिग्री दो के विभेदक रूपों पर परिभाषित हस्ताक्षर ऑपरेटर एस का परिचय देते हैं।[23]
  • 1990: कोन्स और हेनरी मोस्कोविसी ने गैर-कम्यूटेटिव ज्यामिति के संदर्भ में स्थानीय सूचकांक सूत्र को सिद्ध किया।[24]
  • 1994: कॉन्स, सुलिवन और टेलीमैन ने क्वासिकोनफॉर्मल मैनिफोल्ड्स पर हस्ताक्षर ऑपरेटरों के लिए सूचकांक प्रमेय को सिद्ध किया।[25]

संकेतन

  • एक्स सघन स्थान स्मूथ अनेक गुना (बिना सीमा के) है।
  • E और F, X के ऊपर चिकने सदिश बंडल हैं।
  • D, E से F तक वर्गाकार अंतर ऑपरेटर है। इसलिए स्थानीय निर्देशांक में यह अंतर ऑपरेटर के रूप में कार्य करता है, जो E के चिकने खंडों को F के चिकने खंडों तक ले जाता है।

डिफरेंशियल ऑपरेटर का प्रतीक

यदि D, k वेरिएबल्स में क्रम n के यूक्लिडियन स्पेस पर डिफरेंशियल ऑपरेटर है , तबइसका अंतर ऑपरेटर का प्रतीक 2k चर का कार्य है , n से कम क्रम की सभी शर्तों को हटाकर और प्रतिस्थापित करके दिया गया द्वारा . तबप्रतीक डिग्री n के चर y में सजातीय है। यद्यपि प्रतीक अच्छी तरह से परिभाषित है के साथ आवागमन नहीं करता क्योंकि हम केवल उच्चतम ऑर्डर शर्तों को रखते हैं और अंतर ऑपरेटर निम्न-ऑर्डर शर्तों तक कम्यूट करते हैं। यदि प्रतीक अशून्य है तबऑपरेटर को वर्गाकार कहा जाता है, जब भी कम से कम y अशून्य होता है।

उदाहरण: k वेरिएबल में लाप्लास ऑपरेटर का प्रतीक है , और इसलिए यह वर्गाकार है क्योंकि जब भी इनमें से कोई भी अशून्य होता है शून्येतर हैं. वेव ऑपरेटर का प्रतीक होता है , जो कि वर्गाकार नहीं है यदि , क्योंकि ys के कुछ गैर-शून्य मानों के लिए प्रतीक गायब हो जाता है।

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

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

विश्लेषणात्मक सूचकांक

चूंकि वर्गाकार अंतर ऑपरेटर डी में छद्म व्युत्क्रम है, यह फ्रेडहोम संचालक है। किसी भी फ्रेडहोम ऑपरेटर के पास सूचकांक होता है, जिसे डी (डीएफ = 0 के समाधान) के कर्नेल (बीजगणित) के (परिमित) आयाम और डी के कोकर्नेल के (परिमित) आयाम (दाईं ओर की बाधाओं) के बीच अंतर के रूप में परिभाषित किया गया है। -एक अमानवीय समीकरण का हाथ-पक्ष जैसे Df = g, या समकक्ष संचालिका का कर्नेल)। दूसरे शब्दों में,

सूचकांक(डी) = डिम केर(डी) - डिम कोकर(डी) = डिम केर(डी) - डिम केर(डी*)।

इसे कभी-कभी डी का 'विश्लेषणात्मक सूचकांक' भी कहा जाता है।

'उदाहरण:' मान लीजिए कि मैनिफोल्ड वृत्त है (जिसे 'R'/'Z' माना जाता है), और D कुछ जटिल स्थिरांक λ के लिए ऑपरेटर d/dx - λ है। (यह वर्गाकार ऑपरेटर का सबसे सरल उदाहरण है।) तब कर्नेल exp (λx) के गुणकों का स्थान है यदि λ 2πi का अभिन्न गुणक है और अन्यथा 0 है, और सहायक का कर्नेल λ के साथ समान स्थान है इसके जटिल संयुग्म द्वारा प्रतिस्थापित किया गया। तबडी का सूचकांक 0 है। यह उदाहरण दिखाता है कि वर्गाकार ऑपरेटरों के कर्नेल और कोकर्नेल वर्गाकार ऑपरेटर के भिन्न होने पर लगातार कूद सकते हैं, इसलिए निरंतर टोपोलॉजिकल डेटा के संदर्भ में उनके आयामों के लिए कोई अच्छा सूत्र नहीं है। चूँकि कर्नेल और कोकर्नेल के आयामों में उछाल समान है, इसलिए उनके आयामों के अंतर से दिया गया सूचकांक, वास्तव में लगातार बदलता रहता है, और सूचकांक प्रमेय द्वारा टोपोलॉजिकल डेटा के संदर्भ में दिया जा सकता है।

टोपोलॉजिकल इंडेक्स

वर्गाकार विभेदक ऑपरेटर का टोपोलॉजिकल सूचकांक चिकने सदिश बंडलों के बीच और पर -आयामी कॉम्पैक्ट मैनिफोल्ड द्वारा दिया गया है

दूसरे शब्दों में मिश्रित कोहोलॉजी वर्ग के शीर्ष आयामी घटक का मूल्य मैनिफोल्ड के मौलिक समरूपता वर्ग पर चिह्न के अंतर तक. यहाँ,

  • के जटिल स्पर्शरेखा बंडल का टोड वर्ग है .
  • के सामान्तर है , कहाँ
    • गोलाकार बंडल के लिए थॉम समरूपता है
    • चेर्न चरित्र है
    • में अंतर तत्व है दो सदिश बंडलों से संबद्ध और पर और समरूपता उपस्थान पर उनके बीच .
    • का प्रतीक है

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

जहाँ खींचने से विभाजन का अर्थ होता है वर्गीकृत स्थान के कोहोमोलॉजी रिंग से वापस .

कोई केवल के-सिद्धांत का उपयोग करके टोपोलॉजिकल इंडेक्स को भी परिभाषित कर सकता है (और यह वैकल्पिक परिभाषा उपरोक्त चेर्न-वर्ण निर्माण के साथ निश्चित अर्थ में संगत है)। यदि किसी तत्व का टोपोलॉजिकल इंडेक्स K(TX) को Y के साथ कुछ यूक्लिडियन स्पेस के साथ इस ऑपरेशन की छवि के रूप में परिभाषित किया गया है, जिसके लिए K(TY) को पूर्णांक 'Z' (बॉट-आवधिकता के परिणामस्वरूप) के साथ स्वाभाविक रूप से पहचाना जा सकता है। यह मानचित्र यूक्लिडियन अंतरिक्ष में एक्स के एम्बेडिंग से स्वतंत्र है। अभी ऊपर जैसा डिफरेंशियल ऑपरेटर स्वाभाविक रूप से K(TX) के तत्व को परिभाषित करता है, और इस मानचित्र के अनुसार 'Z' में छवि टोपोलॉजिकल इंडेक्स है।

सदैव की तरह, डी कॉम्पैक्ट मैनिफोल्ड एक्स पर सदिश बंडल ई और एफ के बीच वर्गाकार अंतर ऑपरेटर है।

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

'डी का विश्लेषणात्मक सूचकांक इसके टोपोलॉजिकल इंडेक्स के सामान्तर है।'

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

यद्यपि विश्लेषणात्मक सूचकांक का सीधे मूल्यांकन करना सामान्यतः कठिन होता है, यह कम से कम स्पष्ट रूप से पूर्णांक है। टोपोलॉजिकल इंडेक्स परिभाषा के अनुसार परिमेय संख्या है, किन्तुसामान्यतः परिभाषा से यह बिल्कुल भी स्पष्ट नहीं है कि यह अभिन्न भी है। तबअतियाह-सिंगर इंडेक्स प्रमेय कुछ गहरी अभिन्नता गुणों का तात्पर्य करता है, क्योंकि इसका तात्पर्य है कि टोपोलॉजिकल इंडेक्स अभिन्न है।

यदि ऑपरेटर स्वयं संलग्न है तबवर्गाकार अंतर ऑपरेटर का सूचकांक स्पष्ट रूप से गायब हो जाता है। यह तब भी गायब हो जाता है जब मैनिफोल्ड

ग्रोथेंडिक-रीमैन-रोच से संबंध

ग्रोथेंडिक-रीमैन-रोच प्रमेय | ग्रोथेंडिक-रीमैन-रोच प्रमेय सूचकांक प्रमेय के पीछे मुख्य प्रेरणाओं में से था क्योंकि सूचकांक प्रमेय वास्तविक मैनिफोल्ड्स की समुच्चयिंग में इस प्रमेय का समकक्ष है। अभी, यदि कोई नक्शा है कॉम्पैक्ट स्थिर रूप से लगभग जटिल मैनिफ़ोल्ड का, फिर क्रमविनिमेय आरेख होता है[28]<ब्लॉककोट>182x182पिक्सेल</ब्लॉककोट>यदि बिंदु है, तबहम उपरोक्त कथन को पुनर्प्राप्त करते हैं। यहाँ जटिल सदिश बंडलों का ग्रोथेंडिक समूह है। यह क्रमविनिमेय आरेख औपचारिक रूप से जीआरआर प्रमेय के समान है क्योंकि दाईं ओर के कोहोलॉजी समूहों को चिकनी प्रकार के चाउ रिंग द्वारा प्रतिस्थापित किया जाता है, और बाईं ओर ग्रोथेंडिक समूह को बीजगणितीय सदिश बंडलों के ग्रोथेंडिक समूह द्वारा दिया जाता है।

अतियाह-सिंगर सूचकांक प्रमेय का विस्तार

टेलीमैन इंडेक्स प्रमेय

इस कारण (टेलीमैन 1983), (टेलीमैन 1984):

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

इस परिणाम का प्रमाण विशिष्ट विचारों से होकर गुजरता है, जिसमें कॉम्बिनेटरियल और लिप्सचिट्ज़ मैनिफोल्ड्स पर हॉज सिद्धांत का विस्तार सम्मिलित है। (टेलीमैन 1980), (टेलीमैन 1983), अतियाह-सिंगर के हस्ताक्षर ऑपरेटर का लिप्सचिट्ज़ मैनिफोल्ड्स तक विस्तार (टेलीमैन 1983), कास्परोव की के-होमोलॉजी (कास्पारोव 1972) और टोपोलॉजिकल कोबॉर्डिज्म (किर्बी & सिबेनमैन 1977).

इस परिणाम से पता चलता है कि सूचकांक प्रमेय केवल भिन्नता कथन नहीं है, किंतु टोपोलॉजिकल कथन है।

कॉन्स-डोनाल्डसन-सुलिवन-टेलीमैन इंडेक्स प्रमेय

इस कारण (डोनाल्डसन & सुलिवन 1989), (कोन्स, सुलिवान & टेलीमैन 1994):

किसी भी क्वासिकोनफॉर्मल मैनिफोल्ड के लिए हिरज़ेब्रुच-थॉम विशेषता वर्गों का स्थानीय निर्माण उपस्थित है।

यह सिद्धांत हस्ताक्षर ऑपरेटर एस पर आधारित है, जिसे सम-आयामी क्वासिकोनफॉर्मल मैनिफोल्ड्स पर मध्य डिग्री अंतर रूपों पर परिभाषित किया गया है (तुलना करें) (डोनाल्डसन & सुलिवान 1989)).

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

यह परिणाम गणित में सिंगर के कार्यक्रम संभावनाओं की तर्ज पर महत्वपूर्ण प्रगति का गठन करते हैं (सिंगर 1971). साथ ही, वहटोपोलॉजिकल मैनिफोल्ड्स पर तर्कसंगत पोंट्रजागिन कक्षाओं का प्रभावी निर्माण भी प्रदान करते हैं। कागज़ (टेलीमैन 1985) थॉम के तर्कसंगत पोंट्रजागिन वर्गों के मूल निर्माण के बीच लिंक प्रदान करता है (थॉम 1956) और सूचकांक सिद्धांत.

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

क्वासिकोनफॉर्मल संरचनाएं (कोन्स, सुलिवान & टेलीमैन 1994) और अधिक सामान्यतः एलपी-संरचनाएँ, पी > एन(एन+1)/2, एम. हिल्सम द्वारा प्रस्तुत (हिल्सम 1999), आयाम n के टोपोलॉजिकल मैनिफोल्ड्स पर सबसे अशक्त विश्लेषणात्मक संरचनाएं हैं जिनके लिए सूचकांक प्रमेय को जाना जाता है।

अन्य एक्सटेंशन

  • अतियाह-सिंगर प्रमेय वर्गाकार स्यूडोडिफरेंशियल ऑपरेटरों पर उसी तरह प्रयुक्त होता है जैसे वर्गाकार अंतर ऑपरेटरों के लिए। वास्तव में, टेक्निकल कारणों से अधिकांश प्रारंभिक प्रमाणों ने विभेदक ऑपरेटरों के अतिरिक्त छद्मविभेदक के साथ काम किया: उनके अतिरिक्त लचीलेपन ने प्रमाणों के कुछ चरणों को आसान बना दिया।
  • दो सदिश बंडलों के बीच वर्गाकार ऑपरेटर के साथ काम करने के अतिरिक्त, कभी-कभी वर्गाकार कॉम्प्लेक्स के साथ काम करना अधिक सुविधाजनक होता है
    सदिश बंडलों का. अंतर यह है कि प्रतीक अभी स्पष्ट अनुक्रम बनाते हैं (शून्य खंड से हटकर)। ऐसे मामले में जब कॉम्प्लेक्स में सिर्फ दो गैर-शून्य बंडल होते हैं, तबइसका कारण है कि प्रतीक शून्य खंड से समरूपता है, इसलिए 2 शब्दों वाला वर्गाकार कॉम्प्लेक्स अनिवार्य रूप से दो सदिश बंडलों के बीच वर्गाकार ऑपरेटर के समान है। इसके विपरीत, वर्गाकार कॉम्प्लेक्स के लिए सूचकांक प्रमेय को आसानी से वर्गाकार ऑपरेटर के मामले में कम किया जा सकता है: दो सदिश बंडल कॉम्प्लेक्स के सम या विषम शब्दों के योग द्वारा दिए जाते हैं, और वर्गाकार ऑपरेटर ऑपरेटरों का योग है वर्गाकार परिसर और उनके जोड़, सम बंडलों के योग तक सीमित हैं।
  • यदि मैनिफोल्ड को सीमाबद्ध करने की अनुमति है, तबपरिमित सूचकांक सुनिश्चित करने के लिए वर्गाकार ऑपरेटर के डोमेन पर कुछ प्रतिबंध लगाए जाने चाहिए। यह स्थितियां स्थानीय हो सकती हैं (जैसे यह मांग करना कि डोमेन में अनुभाग सीमा पर गायब हो जाएं) या अधिक जटिल वैश्विक स्थितियां (जैसे कि यह आवश्यक है कि डोमेन में अनुभाग कुछ अंतर समीकरण को हल करें)। स्थानीय मामले पर अतियाह और बॉट द्वारा काम किया गया था, किन्तुउन्होंने दिखाया कि अनेक रोचक ऑपरेटर (उदाहरण के लिए, हस्ताक्षर ऑपरेटर) स्थानीय सीमा शर्तों को स्वीकार नहीं करते हैं। इन ऑपरेटरों को संभालने के लिए, माइकल अतियाह, विजय कुमार पटोदी और इसादोर सिंगर ने वैश्विक सीमा शर्तों की शुरुआत की, जो सीमा के साथ सिलेंडर को मैनिफ़ोल्ड से जोड़ने और फिर डोमेन को उन अनुभागों तक सीमित करने के सामान्तर है जो सिलेंडर के साथ वर्गाकार एकीकृत हैं। के प्रमाण में यह दृष्टिकोण अपनाया जाता है मेलरोज़ (1993) अतियाह-पटोदी-सिंगर सूचकांक प्रमेय के।
  • केवल वर्गाकार ऑपरेटर के अतिरिक्त, कोई कुछ स्थान Y द्वारा पैरामीटरयुक्त वर्गाकार ऑपरेटरों के परिवार पर विचार कर सकता है। इस मामले में सूचकांक पूर्णांक के अतिरिक्त Y के K-सिद्धांत का तत्व है। यदि परिवार में ऑपरेटर वास्तविक हैं, तबसूचकांक Y के वास्तविक K-सिद्धांत में निहित है। यह थोड़ी अतिरिक्त जानकारी देता है, क्योंकि Y के वास्तविक K-सिद्धांत से लेकर जटिल K-सिद्धांत तक का नक्शा सदैव इंजेक्शन योग्य नहीं होता है। .
  • यदि वर्गाकार ऑपरेटर के साथ चलते हुए, कॉम्पैक्ट मैनिफोल्ड इसके अतिरिक्त, किसी को लेफ्शेट्ज़ निश्चित-बिंदु प्रमेय का सामान्यीकरण मिलता है, जिसमें समूह जी के निश्चित-बिंदु उपमानों से आने वाले शब्द होते हैं। यह भी देखें: समतुल्य सूचकांक प्रमेय
  • अतियाह (1976) ने दिखाया कि इंडेक्स प्रमेय को कुछ गैर-कॉम्पैक्ट मैनिफोल्ड्स तक कैसे बढ़ाया जाए, जिस पर कॉम्पैक्ट भागफल के साथ भिन्न समूह द्वारा कार्य किया जाता है। इस मामले में वर्गाकार ऑपरेटर का कर्नेल सामान्य रूप से अनंत आयामी है, किन्तु वॉन न्यूमैन बीजगणित पर मॉड्यूल के आयाम का उपयोग करके परिमित सूचकांक प्राप्त करना संभव है; यह सूचकांक पूर्णांक मान के अतिरिक्त सामान्यतः वास्तविक है। इस संस्करण को एल कहा जाता है2सूचकांक प्रमेय, और द्वारा उपयोग किया गया था अतियाह & श्मिड (1977) अर्धसरल झूठ समूहों के असतत श्रृंखला प्रतिनिधित्व के गुणों को पुनः प्राप्त करने के लिए।
  • कैलियास सूचकांक प्रमेय गैर-कॉम्पैक्ट विषम-आयामी स्थान पर डिराक ऑपरेटर के लिए सूचकांक प्रमेय है। अतियाह-सिंगर इंडेक्स केवल कॉम्पैक्ट स्पेस पर परिभाषित किया गया है, और जब उनका आयाम विषम होता है तबगायब हो जाता है। 1978 में कॉन्स्टेंटाइन कैलियास ने अपने पीएच.डी. के सुझाव पर। सलाहकार रोमन जैकिव ने हिग्स फील्ड नामक हर्मिटियन आव्युह से सुसज्जित स्थानों पर इस सूचकांक प्रमेय को प्राप्त करने के लिए चिरल विसंगति का उपयोग किया।[29] डिराक ऑपरेटर का सूचकांक टोपोलॉजिकल इनवेरिएंट है जो अनंत पर गोले पर हिग्स फ़ील्ड की वाइंडिंग को मापता है। यदि यू हिग्स फ़ील्ड की दिशा में इकाई आव्युह है, तबसूचकांक यू (डीयू) के अभिन्न अंग के समानुपाती होता हैn−1 अनंत पर (n−1)-गोले पर। यदि n सम है, तबयह सदैव शून्य होता है।
    • इस अपरिवर्तनीय की टोपोलॉजिकल व्याख्या और बोरिस फेडोसोव द्वारा प्रस्तावित होर्मेंडर इंडेक्स के साथ इसका संबंध, जैसा कि लार्स होर्मेंडर द्वारा सामान्यीकृत किया गया था, राउल बॉट और रॉबर्ट थॉमस सीली द्वारा प्रकाशित किया गया था।[30]


उदाहरण

चेर्न-गॉस-बोनट प्रमेय

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

ठोस गणना इस प्रकार है: विभाजन सिद्धांत की भिन्नता के अनुसार, यदि आयाम का वास्तविक सदिश बंडल है विशिष्ट वर्गों से जुड़े दावों को सिद्ध करने के लिए, हम मान सकते हैं कि जटिल रेखा बंडल हैं ऐसा है कि . इसलिए, हम चेर्न जड़ों पर विचार कर सकते हैं , , .

उपरोक्त चेर्न जड़ों और यूलर वर्ग के मानक गुणों का उपयोग करते हुए, हमारे पास वह है . चेर्न चरित्र और टॉड वर्ग के लिए,[31]

सूचकांक प्रमेय को प्रयुक्त करना,

जो चेर्न-गॉस-बोनट प्रमेय का टोपोलॉजिकल संस्करण है (चेर्न-वील समरूपता को प्रयुक्त करके ज्यामितीय संस्करण प्राप्त किया जा रहा है)।

हिर्ज़ेब्रुच-रीमैन-रोच प्रमेय

एक्स को होलोमोर्फिक सदिश बंडल वी के साथ (जटिल) आयाम एन के जटिल मैनिफोल्ड के रूप में लें। हम सदिश बंडल ई और एफ को आई के साथ प्रकार (0, आई) के वी में गुणांक के साथ अंतर रूपों के बंडलों का योग मानते हैं। सम या विषम, और हम अंतर संचालिका D को योग मानते हैं

ई तक सीमित.

यदि हम वर्गाकार ऑपरेटरों के अतिरिक्त वर्गाकार परिसरों के लिए सूचकांक प्रमेय का उपयोग करते हैं तबहिरज़ेब्रुक-रीमैन-रोच प्रमेय की यह व्युत्पत्ति अधिक स्वाभाविक है। हम कॉम्प्लेक्स को मान सकते हैं

द्वारा दिए गए अंतर के साथ . फिर i'th सहसंगति समूह केवल सुसंगत सहसमरूपता समूह H हैi(X, V), इसलिए इस कॉम्प्लेक्स का विश्लेषणात्मक सूचकांक V की होलोमोर्फिक यूलर विशेषता है:

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

सूचकांक प्रमेय को प्रयुक्त करने पर, हम हिरज़ेब्रुच-रीमैन-रोच प्रमेय प्राप्त करते हैं:

वास्तव में हमें सभी जटिल मैनिफोल्ड्स के लिए इसका सामान्यीकरण मिलता है: हिरज़ेब्रुक का प्रमाण केवल प्रोजेक्टिव कॉम्प्लेक्स मैनिफोल्ड्स X के लिए काम करता है।

हिर्ज़ेब्रुच हस्ताक्षर प्रमेय

हिरज़ेब्रुक हस्ताक्षर प्रमेय में कहा गया है कि आयाम 4k के कॉम्पैक्ट ओरिएंटेड मैनिफोल्ड एक्स का हस्ताक्षर मैनिफोल्ड के एल जीनस द्वारा दिया गया है। यह निम्नलिखित हस्ताक्षर ऑपरेटर पर प्रयुक्त अतियाह-सिंगर सूचकांक प्रमेय का अनुसरण करता है।

बंडल E और F, X के विभेदक रूपों के बंडल पर ऑपरेटर के +1 और −1 एइगेन्स्पकेस द्वारा दिए गए हैं, जो k-रूपों पर कार्य करता है हॉज दोहरे का समय। ऑपरेटर डी हॉज लाप्लासियन है

ई तक ही सीमित है, जहां 'डी' कार्टन बाहरी व्युत्पन्न है और 'डी'* इसका सहायक है।

डी का विश्लेषणात्मक सूचकांक मैनिफोल्ड एक्स का हस्ताक्षर है, और इसका टोपोलॉजिकल इंडेक्स एक्स का एल जीनस है, इसलिए यह सामान्तर हैं।

जीनस और रोचलिन का प्रमेय

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

आयाम 4 में यह परिणाम रोचलिन के प्रमेय का तात्पर्य है कि 4-आयामी स्पिन मैनिफोल्ड का हस्ताक्षर 16 से विभाज्य है: यह इस प्रकार है क्योंकि आयाम 4 में जीनस हस्ताक्षर का आठवां हिस्सा शून्य से कम है।

प्रमाण तकनीक

छद्मविभेदक ऑपरेटर

यूक्लिडियन स्पेस पर निरंतर गुणांक ऑपरेटरों के मामले में छद्मविभेदक ऑपरेटरों को आसानी से समझाया जा सकता है। इस मामले में, निरंतर गुणांक अंतर ऑपरेटर केवल बहुपदों द्वारा गुणन के फूरियर रूपांतरण हैं, और निरंतर गुणांक छद्मविभेदक ऑपरेटर केवल अधिक सामान्य कार्यों द्वारा गुणन के फूरियर रूपांतरण हैं।

सूचकांक प्रमेय के अनेक प्रमाण विभेदक ऑपरेटरों के अतिरिक्त छद्मविभेदक ऑपरेटरों का उपयोग करते हैं। इसका कारण यह है कि अनेक उद्देश्यों के लिए पर्याप्त अंतर ऑपरेटर नहीं हैं। उदाहरण के लिए, धनात्मक क्रम के वर्गाकार अंतर ऑपरेटर का छद्म व्युत्क्रम अंतर ऑपरेटर नहीं है, किंतु छद्म अंतर ऑपरेटर है। इसके अतिरिक्त, K(B(X), S(X)) (क्लचिंग फलन) के तत्वों का प्रतिनिधित्व करने वाले डेटा और वर्गाकार स्यूडोडिफरेंशियल ऑपरेटरों के प्रतीकों के बीच सीधा पत्राचार है।

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

कोबॉर्डिज्म

प्रारंभिक प्रमाण हिरज़ेब्रुच-रीमैन-रोच प्रमेय (1954) पर आधारित था, और इसमें कोबर्डिज़्म सिद्धांत और छद्म-विभेदक संचालक सम्मिलित थे।

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

K-सिद्धांत

अतियाह और सिंगर के पहले प्रकाशित प्रमाण में सह-बॉर्डिज्म के अतिरिक्त के-सिद्धांत का उपयोग किया गया था। यदि मैं एक्स से वाई तक कॉम्पैक्ट मैनिफोल्ड्स का कोई समावेश है, तबउन्होंने 'पुशफॉरवर्ड' ऑपरेशन को परिभाषित किया है! X के वर्गाकार ऑपरेटरों पर Y के वर्गाकार ऑपरेटरों पर जो सूचकांक को संरक्षित करता है। Y को कुछ ऐसे गोले के रूप में लेने से जिसमें X एम्बेड होता है, यह क्षेत्रों के मामले में सूचकांक प्रमेय को कम कर देता है। यदि Y गोला है और X, Y में अंतर्निहित कोई बिंदु है, तब Y पर कोई भी वर्गाकार ऑपरेटर i के अंतर्गत छवि है! बिंदु पर कुछ वर्गाकार ऑपरेटर का। यह सूचकांक प्रमेय को बिंदु के मामले में कम कर देता है, जहां यह तुच्छ है।

गर्मी समीकरण

(अतियाह, बॉट & पाटोदी 1973) ने ऊष्मा समीकरण का उपयोग करके सूचकांक प्रमेय का नया प्रमाण दिया, उदाहरण देखें। बर्लिन, गेट्ज़लर & वर्गेन (1992). इसका प्रमाण भी प्रकाशित किया गया है (मेलरोज़ 1993) और (गिल्की 1994).

यदि D, आसन्न D* के साथ विभेदक संचालिका है, तबD*D और DD* स्व-संयुक्त संचालिका हैं जिनके गैर-शून्य आइगेनवैल्यूज़ ​​​​की बहुलताएँ समान हैं। चूँकि उनके शून्य एइगेन्स्पकेस में भिन्न-भिन्न बहुलताएँ हो सकती हैं, क्योंकि यह बहुलताएँ D और D* के कर्नेल के आयाम हैं। इसलिए, D का सूचकांक इस प्रकार दिया गया है

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

उद्धरण

  1. 1.0 1.1 Atiyah & Singer 1963.
  2. Kayani 2020.
  3. Hamilton 2020, p. 11.
  4. Gel'fand 1960.
  5. Palais 1965.
  6. Cartan-Schwartz 1965.
  7. Atiyah & Singer 1968a.
  8. Atiyah & Singer (1968a); Atiyah & Singer (1968b); Atiyah & Singer (1971a); Atiyah & Singer (1971b).
  9. Novikov 1965.
  10. Kirby & Siebenmann 1969.
  11. Thom 1956.
  12. Atiyah 1970.
  13. Singer 1971.
  14. Kasparov 1972.
  15. Atiyah, Bott & Patodi 1973.
  16. Melrose 1993.
  17. Sullivan 1979.
  18. Getzler 1983.
  19. Witten 1982.
  20. Teleman 1983.
  21. Teleman 1984.
  22. Connes 1986.
  23. Donaldson & Sullivan 1989.
  24. Connes & Moscovici 1990.
  25. Connes, Sullivan & Teleman 1994.
  26. Shanahan, P. (1978), The Atiyah–Singer index theorem: an introduction, Lecture Notes in Mathematics, vol. 638, Springer, CiteSeerX 10.1.1.193.9222, doi:10.1007/BFb0068264, ISBN 978-0-387-08660-6
  27. Lawson, H. Blane; Michelsohn, Marie-Louise (1989), Spin Geometry, Princeton University Press, ISBN 0-691-08542-0
  28. "algebraic topology - How to understand the Todd class?". Mathematics Stack Exchange. Retrieved 2021-02-05.
  29. Index Theorems on Open Spaces
  30. Some Remarks on the Paper of Callias
  31. Nakahara, Mikio (2003), Geometry, topology and physics, Institute of Physics Publishing, ISBN 0-7503-0606-8


संदर्भ

The papers by Atiyah are reprinted in volumes 3 and 4 of his collected works, (Atiyah 1988a, 1988b)


बाहरी संबंध

सिद्धांत पर लिंक

साक्षात्कार के लिंक


श्रेणी:विभेदक ऑपरेटर श्रेणी:वर्गाकार आंशिक अवकल समीकरण श्रेणी:विभेदक ज्यामिति में प्रमेय