वर्ग क्षेत्र सिद्धांत: Difference between revisions
No edit summary |
|||
(16 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{short description|Branch of algebraic number theory concerned with abelian extensions}} | {{short description|Branch of algebraic number theory concerned with abelian extensions}} | ||
गणित में, वर्ग क्षेत्र सिद्धांत (सीएफटी) [[बीजगणितीय संख्या सिद्धांत]] की मूलभूत शाखा है जिसका लक्ष्य जमीनी क्षेत्र से जुड़ी वस्तुओं का उपयोग करके [[स्थानीय क्षेत्र]] और [[वैश्विक क्षेत्र|वैश्विक क्षेत्रों]] के सभी एबेलियन [[गैलोज़ विस्तार]] का वर्णन करना है।{{sfn|Milne|2020|loc=Introduction|p=1}} | गणित में, '''वर्ग क्षेत्र सिद्धांत''' (सीएफटी) [[बीजगणितीय संख्या सिद्धांत]] की मूलभूत शाखा है जिसका लक्ष्य जमीनी क्षेत्र से जुड़ी वस्तुओं का उपयोग करके [[स्थानीय क्षेत्र]] और [[वैश्विक क्षेत्र|वैश्विक क्षेत्रों]] के सभी एबेलियन [[गैलोज़ विस्तार]] का वर्णन करना है।{{sfn|Milne|2020|loc=Introduction|p=1}} | ||
[[डेविड हिल्बर्ट]] को वर्ग क्षेत्र की धारणा के अग्रदूतों में से एक माना जाता है। | [[डेविड हिल्बर्ट]] को वर्ग क्षेत्र की धारणा के अग्रदूतों में से एक माना जाता है। चूंकि, इस धारणा से [[लियोपोल्ड क्रोनकर]] पहले से ही परिचित थे और यह वास्तव में [[एडवर्ड रिटर वॉन वेबर]] ही थे जिन्होंने हिल्बर्ट के मौलिक कागजात सामने आने से पहले इस शब्द को गढ़ा था।{{sfn|Cassels|Fröhlich|1967|loc=Ch. XI by Helmut Hasse|p=266}} प्रासंगिक विचारों को कई दशकों की अवधि में विकसित किया गया, जिससे हिल्बर्ट द्वारा अनुमानों के एक समूह को जन्म दिया गया, जिसे पश्चात में [[ताकागी द्वारा प्रस्तुत किया गया|ताकागी]] और [[एमिल आर्टिन]] (चेबोतारेव के प्रमेय की मदद से) द्वारा सिद्ध किया गया। | ||
प्रमुख परिणामों में से एक है: एक संख्या | प्रमुख परिणामों में से एक है: एक संख्या क्षेत्र F दिया गया है, और F के [[हिल्बर्ट वर्ग क्षेत्र]] विस्तार के लिए K लिखा गया है, F के ऊपर K का गैलोज़ समूह, F के [[आदर्श वर्ग समूह]] के लिए कैनोनिक रूप से आइसोमोर्फिक है। इस कथन को तथाकथित [[आर्टिन पारस्परिकता कानून|आर्टिन पारस्परिकता नियम]] के लिए सामान्यीकृत किया गया था; आदर्श भाषा में, F के [[आदर्श वर्ग समूह]] के लिए ''C<sub>F</sub>'' लिखना, और L को F का कोई भी परिमित एबेलियन विस्तार मानना, यह नियम एक विहित समरूपता देता है | ||
:<math> \theta_{L/F}: C_F/{N_{L/F}(C_L)} \to \operatorname{Gal}(L/F), </math> | :<math> \theta_{L/F}: C_F/{N_{L/F}(C_L)} \to \operatorname{Gal}(L/F), </math> | ||
जहां <math>N_{L/F}</math> L से F तक आदर्श मानक मानचित्र को दर्शाता है। इस समरूपता को पारस्परिकता मानचित्र का नाम दिया गया है। | जहां <math>N_{L/F}</math> L से F तक आदर्श मानक मानचित्र को दर्शाता है। इस समरूपता को पारस्परिकता मानचित्र का नाम दिया गया है। | ||
अस्तित्व प्रमेय में कहा गया है कि पारस्परिकता मानचित्र का उपयोग ''F'' के एबेलियन विस्तार के | अस्तित्व प्रमेय में कहा गया है कि पारस्परिकता मानचित्र का उपयोग ''F'' के एबेलियन विस्तार के समूह और परिमित सूचकांक के संवृत उपसमूहों के समूहके बीच एक आपत्ति देने के लिए किया जा सकता है <math>C_F.</math> | ||
1930 के दशक से वैश्विक वर्ग क्षेत्र सिद्धांत को विकसित करने के लिए एक मानक | 1930 के दशक से वैश्विक वर्ग क्षेत्र सिद्धांत को विकसित करने के लिए एक मानक ढंग [[स्थानीय वर्ग क्षेत्र सिद्धांत]] का निर्माण करना था, जो स्थानीय क्षेत्रों के एबेलियन विस्तार का वर्णन करता है, और फिर इसका उपयोग वैश्विक वर्ग क्षेत्र सिद्धांत के निर्माण के लिए किया जाता है। यह पहली बार एमिल आर्टिन और [[जॉन टेट (गणितज्ञ)]] द्वारा समूह कोहोलॉजी के सिद्धांत का उपयोग करके और विशेष रूप से वर्ग संरचनाओं की धारणा विकसित करके किया गया था। पश्चात में, न्यूकिर्च को कोहोमोलॉजिकल विचारों का उपयोग किए बिना वैश्विक वर्ग क्षेत्र सिद्धांत के मुख्य कथनों का प्रमाण मिला। उनकी पद्धति स्पष्ट और एल्गोरिदमिक थी। | ||
वर्ग क्षेत्र सिद्धांत के अंदर कोई विशेष वर्ग क्षेत्र सिद्धांत और सामान्य वर्ग क्षेत्र सिद्धांत में अंतर कर सकता है।<ref>{{Cite journal |last=Fesenko |first=Ivan |date=2021-08-31 |title=वर्ग क्षेत्र सिद्धांत, इसके तीन मुख्य सामान्यीकरण और अनुप्रयोग|url=https://ems.press/journals/emss/articles/2504062 |journal=EMS Surveys in Mathematical Sciences |language=en |volume=8 |issue=1 |pages=107–133 |doi=10.4171/emss/45 |s2cid=239667749 |issn=2308-2151|doi-access=free }}</ref> | वर्ग क्षेत्र सिद्धांत के अंदर कोई विशेष वर्ग क्षेत्र सिद्धांत और सामान्य वर्ग क्षेत्र सिद्धांत में अंतर कर सकता है।<ref>{{Cite journal |last=Fesenko |first=Ivan |date=2021-08-31 |title=वर्ग क्षेत्र सिद्धांत, इसके तीन मुख्य सामान्यीकरण और अनुप्रयोग|url=https://ems.press/journals/emss/articles/2504062 |journal=EMS Surveys in Mathematical Sciences |language=en |volume=8 |issue=1 |pages=107–133 |doi=10.4171/emss/45 |s2cid=239667749 |issn=2308-2151|doi-access=free }}</ref> | ||
स्पष्ट वर्ग क्षेत्र सिद्धांत विभिन्न स्थितियों में एक संख्या क्षेत्र के अधिकतम एबेलियन विस्तार का स्पष्ट निर्माण प्रदान करता है। सिद्धांत के इस भाग में क्रोनकर-वेबर प्रमेय | स्पष्ट वर्ग क्षेत्र सिद्धांत विभिन्न स्थितियों में एक संख्या क्षेत्र के अधिकतम एबेलियन विस्तार का स्पष्ट निर्माण प्रदान करता है। सिद्धांत के इस भाग में क्रोनकर-वेबर प्रमेय सम्मलित है, जिसका उपयोग एबेलियन विस्तार के निर्माण के लिए किया जा सकता है <math>\Q</math>, और [[सीएम-फ़ील्ड|सीएम-क्षेत्र]] के एबेलियन विस्तार के निर्माण के लिए [[जटिल गुणन]] का सिद्धांत। | ||
वर्ग क्षेत्र सिद्धांत के तीन मुख्य सामान्यीकरण हैं: उच्च वर्ग क्षेत्र सिद्धांत, [[लैंगलैंड्स कार्यक्रम]] (या 'लैंगलैंड्स पत्राचार'), और [[एनाबेलियन ज्यामिति]]। | वर्ग क्षेत्र सिद्धांत के तीन मुख्य सामान्यीकरण हैं: उच्च वर्ग क्षेत्र सिद्धांत, [[लैंगलैंड्स कार्यक्रम]] (या 'लैंगलैंड्स पत्राचार'), और [[एनाबेलियन ज्यामिति]]। | ||
Line 21: | Line 21: | ||
==समसामयिक भाषा में निरूपण== | ==समसामयिक भाषा में निरूपण== | ||
आधुनिक गणितीय भाषा में, वर्ग क्षेत्र सिद्धांत (सीएफटी) को निम्नानुसार | आधुनिक गणितीय भाषा में, वर्ग क्षेत्र सिद्धांत (सीएफटी) को निम्नानुसार तत्पर किया जा सकता है। किसी स्थानीय या वैश्विक क्षेत्र K के अधिकतम एबेलियन विस्तार A पर विचार करें। यह K से अनंत डिग्री का है; K के ऊपर A का गैलोज़ समूह ''G'' एक अनंत [[अनंत समूह]] है, इसलिए एक [[कॉम्पैक्ट टोपोलॉजिकल समूह]] है, और यह एबेलियन है। वर्ग क्षेत्र सिद्धांत का केंद्रीय उद्देश्य हैं: K से जुड़े कुछ उपयुक्त टोपोलॉजिकल ऑब्जेक्ट के संदर्भ में G का वर्णन करना, K से जुड़े टोपोलॉजिकल ऑब्जेक्ट में परिमित सूचकांक के विवृत उपसमूहों के संदर्भ में K के परिमित एबेलियन विस्तार का वर्णन करना। विशेष रूप से, कोई K के लिए इस टोपोलॉजिकल ऑब्जेक्ट में K के परिमित एबेलियन विस्तार और उनके मानक समूहों के बीच एक-से-एक पत्राचार स्थापित करना चाहता है। यह टोपोलॉजिकल ऑब्जेक्ट परिमित अवशेष क्षेत्र वाले स्थानीय क्षेत्रों के स्थितियों में [[गुणक समूह]] है और वैश्विक क्षेत्रों के स्थिति में आदर्श वर्ग समूह है। परिमित सूचकांक के एक विवृत उपसमूह के अनुरूप परिमित एबेलियन विस्तार को उस उपसमूह के लिए वर्ग क्षेत्र कहा जाता है। | ||
सामान्य वर्ग क्षेत्र सिद्धांत का मौलिक परिणाम बताता है कि समूह | सामान्य वर्ग क्षेत्र सिद्धांत का मौलिक परिणाम बताता है कि समूह ''G'' स्वाभाविक रूप से CK के अनंत समापन, स्थानीय क्षेत्र के गुणक समूह या वैश्विक क्षेत्र के आदर्श वर्ग समूह के लिए आइसोमोर्फिक है, क्षेत्र K की विशिष्ट संरचना से संबंधित CK पर प्राकृतिक टोपोलॉजी के संबंध में समान रूप से, K के किसी भी परिमित गैलोज़ विस्तार L के लिए, एक समरूपता है (आर्टिन पारस्परिकता मानचित्र) | ||
:<math>\operatorname{Gal}(L/K)^{\operatorname{ab}} \to C_K/N_{L/K} (C_L)</math> | :<math>\operatorname{Gal}(L/K)^{\operatorname{ab}} \to C_K/N_{L/K} (C_L)</math> | ||
L के आदर्श वर्ग समूह के मानदंड की छवि द्वारा K के आदर्श वर्ग समूह के भागफल के साथ विस्तार के गैलोइस समूह के [[ अबेलियनाइजेशन |अबेलियनाइजेशन]] का। | L के आदर्श वर्ग समूह के मानदंड की छवि द्वारा K के आदर्श वर्ग समूह के भागफल के साथ विस्तार के गैलोइस समूह के [[ अबेलियनाइजेशन |अबेलियनाइजेशन]] का। | ||
कुछ छोटे क्षेत्रों के लिए, जैसे परिमेय संख्याओं का क्षेत्त्र <math>\Q</math> या इसके [[द्विघात विस्तार]] में एक अधिक विस्तृत, बहुत स्पष्ट लेकिन बहुत विशिष्ट सिद्धांत है जो अधिक जानकारी प्रदान करता है। उदाहरण के लिए, एबेलियानाइज्ड एब्सोल्यूट गैलोज़ ग्रुप ''G'' का <math>\Q</math> (स्वाभाविक रूप से समरूपी) सभी [[अभाज्य संख्या]]ओं p पर लिए गए p-एडिक पूर्णांकों की इकाइयों के समूह का एक अनंत उत्पाद है, और परिमेय का संगत अधिकतम एबेलियन विस्तार | कुछ छोटे क्षेत्रों के लिए, जैसे परिमेय संख्याओं का क्षेत्त्र <math>\Q</math> या इसके [[द्विघात विस्तार]] में एक अधिक विस्तृत, बहुत स्पष्ट लेकिन बहुत विशिष्ट सिद्धांत है जो अधिक जानकारी प्रदान करता है। उदाहरण के लिए, एबेलियानाइज्ड एब्सोल्यूट गैलोज़ ग्रुप ''G'' का <math>\Q</math> (स्वाभाविक रूप से समरूपी) सभी [[अभाज्य संख्या]]ओं p पर लिए गए p-एडिक पूर्णांकों की इकाइयों के समूह का एक अनंत उत्पाद है, और परिमेय का संगत अधिकतम एबेलियन विस्तार एकता की सभी जड़ों द्वारा उत्पन्न क्षेत्र है। इसे क्रोनकर-वेबर प्रमेय के रूप में जाना जाता है, मूल रूप से लियोपोल्ड क्रोनकर द्वारा अनुमान लगाया गया था। इस स्थिति में वर्ग क्षेत्र सिद्धांत (या आर्टिन पारस्परिकता मानचित्र) की पारस्परिक समरूपता भी क्रोनेकर-वेबर प्रमेय के कारण एक स्पष्ट विवरण स्वीकार करती है। चूंकि, छोटे बीजगणितीय संख्या क्षेत्रों के लिए ऐसे अधिक विस्तृत सिद्धांतों के प्रमुख निर्माण बीजगणितीय संख्या क्षेत्रों के सामान्य स्थिति में विस्तार योग्य नहीं हैं, और सामान्य वर्ग क्षेत्र सिद्धांत में विभिन्न वैचारिक सिद्धांत उपयोग में हैं। | ||
पारस्परिक समरूपता का निर्माण करने की मानक विधि पहले वैश्विक क्षेत्र के पूर्ण होने के गुणक समूह से उसके अधिकतम एबेलियन विस्तार के गैलोइस समूह तक स्थानीय पारस्परिक समरूपता का निर्माण करना है (यह स्थानीय वर्ग क्षेत्र सिद्धांत के अंदर किया जाता है) और फिर | पारस्परिक समरूपता का निर्माण करने की मानक विधि पहले वैश्विक क्षेत्र के पूर्ण होने के गुणक समूह से उसके अधिकतम एबेलियन विस्तार के गैलोइस समूह तक स्थानीय पारस्परिक समरूपता का निर्माण करना है (यह स्थानीय वर्ग क्षेत्र सिद्धांत के अंदर किया जाता है) और फिर सिद्ध करना करें कि वैश्विक क्षेत्र के आदर्श समूह पर परिभाषित होने पर ऐसे सभी स्थानीय पारस्परिक मानचित्रों का उत्पाद वैश्विक क्षेत्र के गुणक समूह की छवि पर अल्प होता है। पश्चात वाली गुण को वैश्विक पारस्परिकता नियम कहा जाता है और यह गॉस [[द्विघात पारस्परिकता कानून|द्विघात पारस्परिकता]] नियम का दूरगामी सामान्यीकरण है। | ||
पारस्परिक समरूपता के निर्माण के | पारस्परिक समरूपता के निर्माण के विधियो में से एक वर्ग गठन का उपयोग करता है जो वर्ग क्षेत्र सिद्धांत को वर्ग क्षेत्र सिद्धांत के सिद्धांतों से प्राप्त करता है। यह व्युत्पत्ति विशुद्ध रूप से टोपोलॉजिकल समूह सैद्धांतिक है, जबकि स्वयंसिद्धों को स्थापित करने के लिए जमीनी क्षेत्र की रिंग संरचना का उपयोग करना पड़ता है।<ref>[https://ivanfesenko.org/wp-content/uploads/2021/10/jl.pdf Reciprocity and IUT, talk at RIMS workshop on IUT Summit, July 2016, Ivan Fesenko]</ref> | ||
ऐसी विधियाँ हैं जो कोहोमोलॉजी समूहों का उपयोग करती हैं, विशेष रूप से ब्रौअर समूह का, और ऐसी विधियाँ भी हैं जो कोहोमोलॉजी समूहों का उपयोग नहीं करती हैं और अनुप्रयोगों के लिए बहुत स्पष्ट और उपयोगी हैं। | ऐसी विधियाँ हैं जो कोहोमोलॉजी समूहों का उपयोग करती हैं, विशेष रूप से ब्रौअर समूह का,और ऐसी विधियाँ भी हैं जो कोहोमोलॉजी समूहों का उपयोग नहीं करती हैं और अनुप्रयोगों के लिए बहुत स्पष्ट और उपयोगी हैं। | ||
==इतिहास== | ==इतिहास== | ||
{{main| | {{main|वर्ग क्षेत्र सिद्धांत का इतिहास}} | ||
वर्ग क्षेत्र सिद्धांत | |||
वर्ग क्षेत्र सिद्धांत की उत्पत्ति गॉस द्वारा सिद्ध किए गए द्विघात पारस्परिकता नियम में निहित है। सामान्यीकरण एक दीर्घकालिक ऐतिहासिक परियोजना के रूप मे हुआ, जिसमें [[द्विघात रूप]] और उनके 'जीनस सिद्धांत', आदर्शों और पूर्णताओं पर [[गंभीर दुःख|अर्न्स्ट कुमेर]] और लियोपोल्ड क्रोनकर/[[कर्ट हेंसल]] का काम, साइक्लोटोमिक और [[कुमेर विस्तार]] का सिद्धांत सम्मलित था। | |||
पहले दो वर्ग क्षेत्र सिद्धांत बहुत स्पष्ट साइक्लोटोमिक और जटिल गुणन वर्ग क्षेत्र सिद्धांत थे। उन्होंने अतिरिक्त संरचनाओं का उपयोग किया: परिमेय संख्याओं के क्षेत्र के स्थिति में वे एकता की जड़ों (डी मोइवर संख्या) का उपयोग करते हैं, परिमेय संख्याओं के क्षेत्र के काल्पनिक द्विघात विस्तार के स्थिति में वे जटिल गुणन के साथ अण्डाकार वक्रों और उनके परिमित क्रम के बिंदुओं का उपयोग करते हैं। बहुत पश्चात में,[[ ग्राउंडर शिमुरा ]]के सिद्धांत ने बीजगणितीय संख्या क्षेत्रों के एक वर्ग के लिए एक और बहुत स्पष्ट वर्ग क्षेत्र सिद्धांत प्रदान किया। सकारात्मक विशेषता में <math>p</math>, [[ युकियोशी कवाडा |युकियोशी कवाडा]] और [[इचिरो सातके]] ने इसका बहुत आसान विवरण प्राप्त करने के लिए विट द्वैत का पारस्परिक समरूपता का <math>p</math>-भाग उपयोग किया। | |||
चूंकि, इन अत्यंत स्पष्ट सिद्धांतों को अधिक सामान्य संख्या क्षेत्रों तक विस्तारित नहीं किया जा सका। सामान्य वर्ग क्षेत्र सिद्धांत ने विभिन्न अवधारणाओं और निर्माणों का उपयोग किया जो हर वैश्विक क्षेत्र पर काम करते हैं। | |||
डेविड हिल्बर्ट की प्रसिद्ध समस्याओं ने आगे के विकास को प्रेरित किया, जिसके कारण [[पारस्परिकता कानून (गणित)|पारस्परिकता नियम(गणित)]] बने, और तीजी ताकागी, फिलिप फर्टवांग्लर, एमिल आर्टिन, [[हेल्मुट हस्से]] और कई अन्य लोगों द्वारा प्रमाण दिए गए। महत्वपूर्ण [[ताकागी अस्तित्व प्रमेय]] 1920 तक ज्ञात हो गयी थी और सभी मुख्य परिणाम लगभग 1930 तक ज्ञात हो गए थे। सिद्ध किए जाने वाले अंतिम क्लासिक अनुमानों में से एक सिद्धांतीकरण गुण थे। वर्ग क्षेत्र सिद्धांत के पहले प्रमाणों में पर्याप्त विश्लेषणात्मक विधियो का उपयोग किया गया था। 1930 के दशक में और उसके पश्चात अनंत विस्तारों और [[वोल्फगैंग क्रुल]] के गैलोज़ समूहों के सिद्धांत का बढ़ता उपयोग देखा गया। इसने [[पोंट्रीगिन द्वंद्व]] के साथ मिलकर केंद्रीय परिणाम, आर्टिन पारस्परिकता नियम का एक स्पष्ट और अधिक सारगर्भित सूत्रीकरण दिया। 1930 के दशक में आदर्श वर्गों को प्रतिस्थापित करने के लिए क्लॉड शेवेल्ली द्वारा आइडेल्स की शुरूआत एक महत्वपूर्ण कदम था, जो अनिवार्य रूप से वैश्विक क्षेत्रों के एबेलियन विस्तार के विवरण को स्पष्ट और सरल बनाता था। अधिकांश केंद्रीय परिणाम 1940 तक सिद्ध हो चुके थे। | |||
पश्चात में परिणामों को समूह सह-समरूपता के संदर्भ में पुन: तैयार किया गया, जो संख्या सिद्धांतकारों की कई पीढ़ियों के लिए वर्ग क्षेत्र सिद्धांत सीखने का एक मानक उपाए बन गया। कोहोमोलॉजिकल पद्धति का एक दोष इसकी सापेक्ष अस्पष्टता है। [[बर्नार्ड डवर्क]], जॉन टेट (गणितज्ञ), [[माइकल हेज़विंकेल]] के स्थानीय योगदान और जुर्गन न्यूकिर्च द्वारा स्थानीय और वैश्विक पुनर्व्याख्या के परिणामस्वरूप और कई गणितज्ञों द्वारा स्पष्ट पारस्परिकता सूत्रों पर काम के संबंध में, वर्ग क्षेत्र सिद्धांत की एक बहुत ही स्पष्ट और कोहोलॉजी-मुक्त प्रस्तुति 1990 के दशक में स्थापित की गई थी। (उदाहरण के लिए, न्यूकिर्च द्वारा लिखित वर्ग क्षेत्र सिद्धांत देखें।) | |||
==अनुप्रयोग== | ==अनुप्रयोग== | ||
[[आर्टिन-वर्डियर द्वैत]] ( प्रमेय) को सिद्ध करने के लिए वर्ग क्षेत्र सिद्धांत का उपयोग किया जाता है।<ref>Milne, J. S. ''Arithmetic duality theorems''. Charleston, SC: BookSurge, LLC 2006</ref> बहुत स्पष्ट वर्ग क्षेत्र सिद्धांत का उपयोग बीजगणितीय संख्या सिद्धांत के कई उपक्षेत्रों जैसे इवासावा सिद्धांत और गैलोज़ मॉड्यूल सिद्धांत में किया जाता है। | [[आर्टिन-वर्डियर द्वैत]] (प्रमेय) को सिद्ध करने के लिए वर्ग क्षेत्र सिद्धांत का उपयोग किया जाता है।<ref>Milne, J. S. ''Arithmetic duality theorems''. Charleston, SC: BookSurge, LLC 2006</ref> बहुत स्पष्ट वर्ग क्षेत्र सिद्धांत का उपयोग बीजगणितीय संख्या सिद्धांत के कई उपक्षेत्रों जैसे इवासावा सिद्धांत और गैलोज़ मॉड्यूल सिद्धांत में किया जाता है। | ||
संख्या क्षेत्रों के लिए [[लैंगलैंड्स पत्राचार]], संख्या क्षेत्रों के लिए [[बीएसडी अनुमान]] और संख्या क्षेत्रों के लिए इवासावा सिद्धांत की अधिकांश मुख्य उपलब्धियाँ बहुत स्पष्ट लेकिन संकीर्ण वर्ग क्षेत्र सिद्धांत विधियों या उनके सामान्यीकरण का उपयोग करती हैं। इसलिए | संख्या क्षेत्रों के लिए [[लैंगलैंड्स पत्राचार]], संख्या क्षेत्रों के लिए [[बीएसडी अनुमान]] और संख्या क्षेत्रों के लिए इवासावा सिद्धांत की अधिकांश मुख्य उपलब्धियाँ बहुत स्पष्ट लेकिन संकीर्ण वर्ग क्षेत्र सिद्धांत विधियों या उनके सामान्यीकरण का उपयोग करती हैं। इसलिए विवृत प्रश्न इन तीन दिशाओं में सामान्य वर्ग क्षेत्र सिद्धांत के सामान्यीकरण का उपयोग करना है। | ||
==वर्ग क्षेत्र सिद्धांत का सामान्यीकरण== | ==वर्ग क्षेत्र सिद्धांत का सामान्यीकरण== | ||
Line 59: | Line 60: | ||
तीन मुख्य सामान्यीकरण हैं, जिनमें से प्रत्येक अत्यंत रुचिकर है। वे हैं: लैंग्लैंड्स प्रोग्राम, एनाबेलियन ज्यामिति, और उच्च वर्ग क्षेत्र सिद्धांत। | तीन मुख्य सामान्यीकरण हैं, जिनमें से प्रत्येक अत्यंत रुचिकर है। वे हैं: लैंग्लैंड्स प्रोग्राम, एनाबेलियन ज्यामिति, और उच्च वर्ग क्षेत्र सिद्धांत। | ||
अधिकांशतः, लैंगलैंड्स पत्राचार को नॉनबेलियन वर्ग क्षेत्र सिद्धांत के रूप में देखा जाता है। यदि और जब यह पूरी तरह से स्थापित हो जाता है, तो इसमें वैश्विक क्षेत्रों के नॉनबेलियन गैलोज़ विस्तार का एक निश्चित सिद्धांत सम्मलित होगा। चूंकि, लैंगलैंड्स पत्राचार में परिमित गैलोज़ विस्तार के बारे में उतनी अंकगणितीय जानकारी सम्मलित नहीं है जितनी एबेलियन स्थिति में वर्ग क्षेत्र सिद्धांत में है। इसमें वर्ग क्षेत्र सिद्धांत में अस्तित्व प्रमेय का एक एनालॉग भी सम्मलित नहीं है: लैंग्लैंड्स पत्राचार में वर्ग क्षेत्रों की अवधारणा अनुपस्थित है। स्थानीय और वैश्विक कई अन्य नॉनबेलियन सिद्धांत हैं, जो लैंगलैंड्स पत्राचार दृष्टिकोण के विकल्प प्रदान करते हैं। | |||
वर्ग क्षेत्र सिद्धांत का एक और सामान्यीकरण एनाबेलियन ज्यामिति है, जो अपने पूर्ण निरपेक्ष गैलोज़ समूह या [[बीजगणितीय मौलिक समूह]] के ज्ञान से मूल वस्तु (उदाहरण के लिए एक संख्या क्षेत्र या उसके ऊपर एक अतिशयोक्तिपूर्ण वक्र) को पुनर्स्थापित करने के लिए एल्गोरिदम का अध्ययन करता है।<ref>{{Citation|first=Ivan|last=Fesenko|year=2015|title=Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki, Eur. J. Math., 2015|url=https://ivanfesenko.org/wp-content/uploads/2021/10/notesoniut.pdf}}</ref><ref>{{Citation|first=Ivan|last=Fesenko|year=2021 |title=Class field theory, its three main generalisations, and applications, May 2021, EMS Surveys 8(2021) 107-133 |url=https://ivanfesenko.org/wp-content/uploads/2021/11/232.pdf}}</ref> | वर्ग क्षेत्र सिद्धांत का एक और सामान्यीकरण एनाबेलियन ज्यामिति है, जो अपने पूर्ण निरपेक्ष गैलोज़ समूह या [[बीजगणितीय मौलिक समूह]] के ज्ञान से मूल वस्तु (उदाहरण के लिए एक संख्या क्षेत्र या उसके ऊपर एक अतिशयोक्तिपूर्ण वक्र) को पुनर्स्थापित करने के लिए एल्गोरिदम का अध्ययन करता है।<ref>{{Citation|first=Ivan|last=Fesenko|year=2015|title=Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki, Eur. J. Math., 2015|url=https://ivanfesenko.org/wp-content/uploads/2021/10/notesoniut.pdf}}</ref><ref>{{Citation|first=Ivan|last=Fesenko|year=2021 |title=Class field theory, its three main generalisations, and applications, May 2021, EMS Surveys 8(2021) 107-133 |url=https://ivanfesenko.org/wp-content/uploads/2021/11/232.pdf}}</ref> | ||
एक अन्य प्राकृतिक सामान्यीकरण उच्च वर्ग क्षेत्र सिद्धांत है, जो उच्च स्थानीय वर्ग क्षेत्र सिद्धांत और उच्च वैश्विक वर्ग क्षेत्र सिद्धांत में विभाजित है। यह उच्च स्थानीय क्षेत्रों और उच्च वैश्विक क्षेत्रों के एबेलियन विस्तार का वर्णन करता है। उत्तरार्द्ध पूर्णांकों और उनके उपयुक्त स्थानीयकरणों और पूर्णताओं पर परिमित प्रकार की [[योजना (गणित)]] के | एक अन्य प्राकृतिक सामान्यीकरण उच्च वर्ग क्षेत्र सिद्धांत है, जो उच्च स्थानीय वर्ग क्षेत्र सिद्धांत और उच्च वैश्विक वर्ग क्षेत्र सिद्धांत में विभाजित है। यह उच्च स्थानीय क्षेत्रों और उच्च वैश्विक क्षेत्रों के एबेलियन विस्तार का वर्णन करता है। उत्तरार्द्ध पूर्णांकों और उनके उपयुक्त स्थानीयकरणों और पूर्णताओं पर परिमित प्रकार की [[योजना (गणित)]] के फलन क्षेत्र के रूप में आते हैं। यह [[बीजगणितीय K-सिद्धांत]] का उपयोग करता है, और उपयुक्त मिल्नोर K-समूह सामान्यीकरण करते हैं <math>K_1</math> का उपयोग एक-आयामी वर्ग क्षेत्र सिद्धांत में किया जाता है। | ||
== यह भी देखें == | == यह भी देखें == | ||
* | * गैर-एबेलियन वर्ग क्षेत्र सिद्धांत | ||
* एनाबेलियन ज्यामिति | * एनाबेलियन ज्यामिति | ||
* [[फ्रोबेनियोइड]] | * [[फ्रोबेनियोइड]] | ||
Line 74: | Line 75: | ||
==उद्धरण== | ==उद्धरण== | ||
{{reflist}} | {{reflist}} | ||
==संदर्भ== | ==संदर्भ== | ||
{{refbegin|2}} | {{refbegin|2}} | ||
*{{Citation|last1= | *{{Citation|last1=आर्टिन | first1=एमिल | author1-link=एमिल आर्टिन | last2=टेट | first2=जॉन | author2-link=जॉन टेट (गणितज्ञ) | title=वर्ग क्षेत्र सिद्धांत | isbn= 978-0-201-51011-9 | year=1990 | publisher=एडिसन-वेस्ले | location=रेडवुड सिटी, कैलिफ़ोर्निया।}} | ||
*{{Citation|publisher=[[ | *{{Citation|publisher=[[अकादमिक प्रेस]] | editor1-first=जे.डब्ल्यू.एस. | editor1-last=कैसल्स | editor1-link=जे.डब्ल्यू.एस. कैसल्स | editor2-first=अल्ब्रेक्ट | editor2-last= फ्रोलिच | editor2-link=अल्ब्रेक्ट फ्रोलिच | title=बीजगणितीय संख्या सिद्धांत | year=1967 | zbl=0153.07403}} | ||
*{{Citation|url=http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/cfthistory.pdf |title= | *{{Citation|url=http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/cfthistory.pdf |title=वर्ग क्षेत्र सिद्धांत का इतिहास|first1=कीथ |last1=कॉनरोड}} | ||
*{{Citation|last1= | *{{Citation|last1=फ़्रेसेंको| first1=इवान बी| author-link=इवान फ़ेसेंको| last2=वोस्तोकोव| first2=सर्गेई वी.| title=स्थानीय क्षेत्र और उनके विस्तार| publisher=[[American Mathematical Society]]| location=प्रोविडेंस, आरआई| year=2002| series=गणितीय मोनोग्राफ का अनुवाद| volume=121|edition=द्वितीय| isbn= 978-0-8218-3259-2| mr=1915966}} | ||
*{{cite book|last1=Gras | first1=Georges | title=Class Field Theory: from theory to practice | publisher=[[Springer-Verlag]] | isbn=978-3-540-44133-5 | year=2003}} | *{{cite book|last1=Gras | first1=Georges | title=Class Field Theory: from theory to practice | publisher=[[Springer-Verlag]] | isbn=978-3-540-44133-5 | year=2003}} | ||
*{{Citation|last1= | *{{Citation|last1=इवासावा | first1=केनकिची | author-link=केनकिची इवासावा | title=स्थानीय वर्ग क्षेत्र सिद्धांत | publisher=क्लेरेंडन प्रेस ऑक्सफोर्ड यूनिवर्सिटी प्रेस | series=ऑक्सफोर्ड गणितीय मोनोग्राफ | isbn=978-0-19-504030-2 | mr=863740 | year=1986 | zbl=0604.12014 }} | ||
*{{Citation|last1= | *{{Citation|last1=कवाड़ा | first1=युकियोसी | title=वर्ग निर्माण | year=1955 | journal=ड्यूक मठ. जे। | volume=22 | issue=2 | pages=165–177 | zbl=0067.01904 | doi=10.1215/s0012-7094-55-02217-1}} | ||
*{{Citation|last1= | *{{Citation|last1=कवाड़ा | first1=युकियोसी | author2-link=इचिरो सातके | last2=सटाके |first2=I. |title=वर्ग निर्माण. द्वितीय | year=1956 | journal= जे.फैक. विज्ञान विश्वविद्यालय। टोक्यो संप्रदाय 1A | volume=7 | pages=353–389 | zbl=0101.02902 }} | ||
*{{Citation | last1= | *{{Citation | last1=मिलन | first1=जेम्स एस. | author-link=जेम्स एस मिल्ने | title=वर्ग क्षेत्र सिद्धांत | url=https://www.jmilne.org/math/CourseNotes/cft.html| year=2020 | edition=4.03 }} | ||
*{{Citation|last1= | *{{Citation|last1=न्यूकिर्च | first1=जुर्गन | author1-link=जर्गेन न्यूकिर्च | title=वर्ग क्षेत्र सिद्धांत | publisher=[[स्प्रिंगर-वेरलाग]] | location=बर्लिन, न्यूयॉर्क | isbn=978-3-540-15251-4 | year=1986}} | ||
*{{Neukirch ANT}} | *{{Neukirch ANT}} | ||
{{refend}} | {{refend}} | ||
{{Authority control}} | {{Authority control}} | ||
[[Category: | [[Category:Articles containing German-language text]] | ||
[[Category:Articles with hatnote templates targeting a nonexistent page]] | |||
[[Category:CS1 English-language sources (en)]] | |||
[[Category:Created On 09/07/2023]] | [[Category:Created On 09/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:वर्ग क्षेत्र सिद्धांत| वर्ग क्षेत्र सिद्धांत]] |
Latest revision as of 07:00, 1 August 2023
गणित में, वर्ग क्षेत्र सिद्धांत (सीएफटी) बीजगणितीय संख्या सिद्धांत की मूलभूत शाखा है जिसका लक्ष्य जमीनी क्षेत्र से जुड़ी वस्तुओं का उपयोग करके स्थानीय क्षेत्र और वैश्विक क्षेत्रों के सभी एबेलियन गैलोज़ विस्तार का वर्णन करना है।[1]
डेविड हिल्बर्ट को वर्ग क्षेत्र की धारणा के अग्रदूतों में से एक माना जाता है। चूंकि, इस धारणा से लियोपोल्ड क्रोनकर पहले से ही परिचित थे और यह वास्तव में एडवर्ड रिटर वॉन वेबर ही थे जिन्होंने हिल्बर्ट के मौलिक कागजात सामने आने से पहले इस शब्द को गढ़ा था।[2] प्रासंगिक विचारों को कई दशकों की अवधि में विकसित किया गया, जिससे हिल्बर्ट द्वारा अनुमानों के एक समूह को जन्म दिया गया, जिसे पश्चात में ताकागी और एमिल आर्टिन (चेबोतारेव के प्रमेय की मदद से) द्वारा सिद्ध किया गया।
प्रमुख परिणामों में से एक है: एक संख्या क्षेत्र F दिया गया है, और F के हिल्बर्ट वर्ग क्षेत्र विस्तार के लिए K लिखा गया है, F के ऊपर K का गैलोज़ समूह, F के आदर्श वर्ग समूह के लिए कैनोनिक रूप से आइसोमोर्फिक है। इस कथन को तथाकथित आर्टिन पारस्परिकता नियम के लिए सामान्यीकृत किया गया था; आदर्श भाषा में, F के आदर्श वर्ग समूह के लिए CF लिखना, और L को F का कोई भी परिमित एबेलियन विस्तार मानना, यह नियम एक विहित समरूपता देता है
जहां L से F तक आदर्श मानक मानचित्र को दर्शाता है। इस समरूपता को पारस्परिकता मानचित्र का नाम दिया गया है।
अस्तित्व प्रमेय में कहा गया है कि पारस्परिकता मानचित्र का उपयोग F के एबेलियन विस्तार के समूह और परिमित सूचकांक के संवृत उपसमूहों के समूहके बीच एक आपत्ति देने के लिए किया जा सकता है
1930 के दशक से वैश्विक वर्ग क्षेत्र सिद्धांत को विकसित करने के लिए एक मानक ढंग स्थानीय वर्ग क्षेत्र सिद्धांत का निर्माण करना था, जो स्थानीय क्षेत्रों के एबेलियन विस्तार का वर्णन करता है, और फिर इसका उपयोग वैश्विक वर्ग क्षेत्र सिद्धांत के निर्माण के लिए किया जाता है। यह पहली बार एमिल आर्टिन और जॉन टेट (गणितज्ञ) द्वारा समूह कोहोलॉजी के सिद्धांत का उपयोग करके और विशेष रूप से वर्ग संरचनाओं की धारणा विकसित करके किया गया था। पश्चात में, न्यूकिर्च को कोहोमोलॉजिकल विचारों का उपयोग किए बिना वैश्विक वर्ग क्षेत्र सिद्धांत के मुख्य कथनों का प्रमाण मिला। उनकी पद्धति स्पष्ट और एल्गोरिदमिक थी।
वर्ग क्षेत्र सिद्धांत के अंदर कोई विशेष वर्ग क्षेत्र सिद्धांत और सामान्य वर्ग क्षेत्र सिद्धांत में अंतर कर सकता है।[3]
स्पष्ट वर्ग क्षेत्र सिद्धांत विभिन्न स्थितियों में एक संख्या क्षेत्र के अधिकतम एबेलियन विस्तार का स्पष्ट निर्माण प्रदान करता है। सिद्धांत के इस भाग में क्रोनकर-वेबर प्रमेय सम्मलित है, जिसका उपयोग एबेलियन विस्तार के निर्माण के लिए किया जा सकता है , और सीएम-क्षेत्र के एबेलियन विस्तार के निर्माण के लिए जटिल गुणन का सिद्धांत।
वर्ग क्षेत्र सिद्धांत के तीन मुख्य सामान्यीकरण हैं: उच्च वर्ग क्षेत्र सिद्धांत, लैंगलैंड्स कार्यक्रम (या 'लैंगलैंड्स पत्राचार'), और एनाबेलियन ज्यामिति।
समसामयिक भाषा में निरूपण
आधुनिक गणितीय भाषा में, वर्ग क्षेत्र सिद्धांत (सीएफटी) को निम्नानुसार तत्पर किया जा सकता है। किसी स्थानीय या वैश्विक क्षेत्र K के अधिकतम एबेलियन विस्तार A पर विचार करें। यह K से अनंत डिग्री का है; K के ऊपर A का गैलोज़ समूह G एक अनंत अनंत समूह है, इसलिए एक कॉम्पैक्ट टोपोलॉजिकल समूह है, और यह एबेलियन है। वर्ग क्षेत्र सिद्धांत का केंद्रीय उद्देश्य हैं: K से जुड़े कुछ उपयुक्त टोपोलॉजिकल ऑब्जेक्ट के संदर्भ में G का वर्णन करना, K से जुड़े टोपोलॉजिकल ऑब्जेक्ट में परिमित सूचकांक के विवृत उपसमूहों के संदर्भ में K के परिमित एबेलियन विस्तार का वर्णन करना। विशेष रूप से, कोई K के लिए इस टोपोलॉजिकल ऑब्जेक्ट में K के परिमित एबेलियन विस्तार और उनके मानक समूहों के बीच एक-से-एक पत्राचार स्थापित करना चाहता है। यह टोपोलॉजिकल ऑब्जेक्ट परिमित अवशेष क्षेत्र वाले स्थानीय क्षेत्रों के स्थितियों में गुणक समूह है और वैश्विक क्षेत्रों के स्थिति में आदर्श वर्ग समूह है। परिमित सूचकांक के एक विवृत उपसमूह के अनुरूप परिमित एबेलियन विस्तार को उस उपसमूह के लिए वर्ग क्षेत्र कहा जाता है।
सामान्य वर्ग क्षेत्र सिद्धांत का मौलिक परिणाम बताता है कि समूह G स्वाभाविक रूप से CK के अनंत समापन, स्थानीय क्षेत्र के गुणक समूह या वैश्विक क्षेत्र के आदर्श वर्ग समूह के लिए आइसोमोर्फिक है, क्षेत्र K की विशिष्ट संरचना से संबंधित CK पर प्राकृतिक टोपोलॉजी के संबंध में समान रूप से, K के किसी भी परिमित गैलोज़ विस्तार L के लिए, एक समरूपता है (आर्टिन पारस्परिकता मानचित्र)
L के आदर्श वर्ग समूह के मानदंड की छवि द्वारा K के आदर्श वर्ग समूह के भागफल के साथ विस्तार के गैलोइस समूह के अबेलियनाइजेशन का।
कुछ छोटे क्षेत्रों के लिए, जैसे परिमेय संख्याओं का क्षेत्त्र या इसके द्विघात विस्तार में एक अधिक विस्तृत, बहुत स्पष्ट लेकिन बहुत विशिष्ट सिद्धांत है जो अधिक जानकारी प्रदान करता है। उदाहरण के लिए, एबेलियानाइज्ड एब्सोल्यूट गैलोज़ ग्रुप G का (स्वाभाविक रूप से समरूपी) सभी अभाज्य संख्याओं p पर लिए गए p-एडिक पूर्णांकों की इकाइयों के समूह का एक अनंत उत्पाद है, और परिमेय का संगत अधिकतम एबेलियन विस्तार एकता की सभी जड़ों द्वारा उत्पन्न क्षेत्र है। इसे क्रोनकर-वेबर प्रमेय के रूप में जाना जाता है, मूल रूप से लियोपोल्ड क्रोनकर द्वारा अनुमान लगाया गया था। इस स्थिति में वर्ग क्षेत्र सिद्धांत (या आर्टिन पारस्परिकता मानचित्र) की पारस्परिक समरूपता भी क्रोनेकर-वेबर प्रमेय के कारण एक स्पष्ट विवरण स्वीकार करती है। चूंकि, छोटे बीजगणितीय संख्या क्षेत्रों के लिए ऐसे अधिक विस्तृत सिद्धांतों के प्रमुख निर्माण बीजगणितीय संख्या क्षेत्रों के सामान्य स्थिति में विस्तार योग्य नहीं हैं, और सामान्य वर्ग क्षेत्र सिद्धांत में विभिन्न वैचारिक सिद्धांत उपयोग में हैं।
पारस्परिक समरूपता का निर्माण करने की मानक विधि पहले वैश्विक क्षेत्र के पूर्ण होने के गुणक समूह से उसके अधिकतम एबेलियन विस्तार के गैलोइस समूह तक स्थानीय पारस्परिक समरूपता का निर्माण करना है (यह स्थानीय वर्ग क्षेत्र सिद्धांत के अंदर किया जाता है) और फिर सिद्ध करना करें कि वैश्विक क्षेत्र के आदर्श समूह पर परिभाषित होने पर ऐसे सभी स्थानीय पारस्परिक मानचित्रों का उत्पाद वैश्विक क्षेत्र के गुणक समूह की छवि पर अल्प होता है। पश्चात वाली गुण को वैश्विक पारस्परिकता नियम कहा जाता है और यह गॉस द्विघात पारस्परिकता नियम का दूरगामी सामान्यीकरण है।
पारस्परिक समरूपता के निर्माण के विधियो में से एक वर्ग गठन का उपयोग करता है जो वर्ग क्षेत्र सिद्धांत को वर्ग क्षेत्र सिद्धांत के सिद्धांतों से प्राप्त करता है। यह व्युत्पत्ति विशुद्ध रूप से टोपोलॉजिकल समूह सैद्धांतिक है, जबकि स्वयंसिद्धों को स्थापित करने के लिए जमीनी क्षेत्र की रिंग संरचना का उपयोग करना पड़ता है।[4]
ऐसी विधियाँ हैं जो कोहोमोलॉजी समूहों का उपयोग करती हैं, विशेष रूप से ब्रौअर समूह का,और ऐसी विधियाँ भी हैं जो कोहोमोलॉजी समूहों का उपयोग नहीं करती हैं और अनुप्रयोगों के लिए बहुत स्पष्ट और उपयोगी हैं।
इतिहास
वर्ग क्षेत्र सिद्धांत की उत्पत्ति गॉस द्वारा सिद्ध किए गए द्विघात पारस्परिकता नियम में निहित है। सामान्यीकरण एक दीर्घकालिक ऐतिहासिक परियोजना के रूप मे हुआ, जिसमें द्विघात रूप और उनके 'जीनस सिद्धांत', आदर्शों और पूर्णताओं पर अर्न्स्ट कुमेर और लियोपोल्ड क्रोनकर/कर्ट हेंसल का काम, साइक्लोटोमिक और कुमेर विस्तार का सिद्धांत सम्मलित था।
पहले दो वर्ग क्षेत्र सिद्धांत बहुत स्पष्ट साइक्लोटोमिक और जटिल गुणन वर्ग क्षेत्र सिद्धांत थे। उन्होंने अतिरिक्त संरचनाओं का उपयोग किया: परिमेय संख्याओं के क्षेत्र के स्थिति में वे एकता की जड़ों (डी मोइवर संख्या) का उपयोग करते हैं, परिमेय संख्याओं के क्षेत्र के काल्पनिक द्विघात विस्तार के स्थिति में वे जटिल गुणन के साथ अण्डाकार वक्रों और उनके परिमित क्रम के बिंदुओं का उपयोग करते हैं। बहुत पश्चात में,ग्राउंडर शिमुरा के सिद्धांत ने बीजगणितीय संख्या क्षेत्रों के एक वर्ग के लिए एक और बहुत स्पष्ट वर्ग क्षेत्र सिद्धांत प्रदान किया। सकारात्मक विशेषता में , युकियोशी कवाडा और इचिरो सातके ने इसका बहुत आसान विवरण प्राप्त करने के लिए विट द्वैत का पारस्परिक समरूपता का -भाग उपयोग किया।
चूंकि, इन अत्यंत स्पष्ट सिद्धांतों को अधिक सामान्य संख्या क्षेत्रों तक विस्तारित नहीं किया जा सका। सामान्य वर्ग क्षेत्र सिद्धांत ने विभिन्न अवधारणाओं और निर्माणों का उपयोग किया जो हर वैश्विक क्षेत्र पर काम करते हैं।
डेविड हिल्बर्ट की प्रसिद्ध समस्याओं ने आगे के विकास को प्रेरित किया, जिसके कारण पारस्परिकता नियम(गणित) बने, और तीजी ताकागी, फिलिप फर्टवांग्लर, एमिल आर्टिन, हेल्मुट हस्से और कई अन्य लोगों द्वारा प्रमाण दिए गए। महत्वपूर्ण ताकागी अस्तित्व प्रमेय 1920 तक ज्ञात हो गयी थी और सभी मुख्य परिणाम लगभग 1930 तक ज्ञात हो गए थे। सिद्ध किए जाने वाले अंतिम क्लासिक अनुमानों में से एक सिद्धांतीकरण गुण थे। वर्ग क्षेत्र सिद्धांत के पहले प्रमाणों में पर्याप्त विश्लेषणात्मक विधियो का उपयोग किया गया था। 1930 के दशक में और उसके पश्चात अनंत विस्तारों और वोल्फगैंग क्रुल के गैलोज़ समूहों के सिद्धांत का बढ़ता उपयोग देखा गया। इसने पोंट्रीगिन द्वंद्व के साथ मिलकर केंद्रीय परिणाम, आर्टिन पारस्परिकता नियम का एक स्पष्ट और अधिक सारगर्भित सूत्रीकरण दिया। 1930 के दशक में आदर्श वर्गों को प्रतिस्थापित करने के लिए क्लॉड शेवेल्ली द्वारा आइडेल्स की शुरूआत एक महत्वपूर्ण कदम था, जो अनिवार्य रूप से वैश्विक क्षेत्रों के एबेलियन विस्तार के विवरण को स्पष्ट और सरल बनाता था। अधिकांश केंद्रीय परिणाम 1940 तक सिद्ध हो चुके थे।
पश्चात में परिणामों को समूह सह-समरूपता के संदर्भ में पुन: तैयार किया गया, जो संख्या सिद्धांतकारों की कई पीढ़ियों के लिए वर्ग क्षेत्र सिद्धांत सीखने का एक मानक उपाए बन गया। कोहोमोलॉजिकल पद्धति का एक दोष इसकी सापेक्ष अस्पष्टता है। बर्नार्ड डवर्क, जॉन टेट (गणितज्ञ), माइकल हेज़विंकेल के स्थानीय योगदान और जुर्गन न्यूकिर्च द्वारा स्थानीय और वैश्विक पुनर्व्याख्या के परिणामस्वरूप और कई गणितज्ञों द्वारा स्पष्ट पारस्परिकता सूत्रों पर काम के संबंध में, वर्ग क्षेत्र सिद्धांत की एक बहुत ही स्पष्ट और कोहोलॉजी-मुक्त प्रस्तुति 1990 के दशक में स्थापित की गई थी। (उदाहरण के लिए, न्यूकिर्च द्वारा लिखित वर्ग क्षेत्र सिद्धांत देखें।)
अनुप्रयोग
आर्टिन-वर्डियर द्वैत (प्रमेय) को सिद्ध करने के लिए वर्ग क्षेत्र सिद्धांत का उपयोग किया जाता है।[5] बहुत स्पष्ट वर्ग क्षेत्र सिद्धांत का उपयोग बीजगणितीय संख्या सिद्धांत के कई उपक्षेत्रों जैसे इवासावा सिद्धांत और गैलोज़ मॉड्यूल सिद्धांत में किया जाता है।
संख्या क्षेत्रों के लिए लैंगलैंड्स पत्राचार, संख्या क्षेत्रों के लिए बीएसडी अनुमान और संख्या क्षेत्रों के लिए इवासावा सिद्धांत की अधिकांश मुख्य उपलब्धियाँ बहुत स्पष्ट लेकिन संकीर्ण वर्ग क्षेत्र सिद्धांत विधियों या उनके सामान्यीकरण का उपयोग करती हैं। इसलिए विवृत प्रश्न इन तीन दिशाओं में सामान्य वर्ग क्षेत्र सिद्धांत के सामान्यीकरण का उपयोग करना है।
वर्ग क्षेत्र सिद्धांत का सामान्यीकरण
तीन मुख्य सामान्यीकरण हैं, जिनमें से प्रत्येक अत्यंत रुचिकर है। वे हैं: लैंग्लैंड्स प्रोग्राम, एनाबेलियन ज्यामिति, और उच्च वर्ग क्षेत्र सिद्धांत।
अधिकांशतः, लैंगलैंड्स पत्राचार को नॉनबेलियन वर्ग क्षेत्र सिद्धांत के रूप में देखा जाता है। यदि और जब यह पूरी तरह से स्थापित हो जाता है, तो इसमें वैश्विक क्षेत्रों के नॉनबेलियन गैलोज़ विस्तार का एक निश्चित सिद्धांत सम्मलित होगा। चूंकि, लैंगलैंड्स पत्राचार में परिमित गैलोज़ विस्तार के बारे में उतनी अंकगणितीय जानकारी सम्मलित नहीं है जितनी एबेलियन स्थिति में वर्ग क्षेत्र सिद्धांत में है। इसमें वर्ग क्षेत्र सिद्धांत में अस्तित्व प्रमेय का एक एनालॉग भी सम्मलित नहीं है: लैंग्लैंड्स पत्राचार में वर्ग क्षेत्रों की अवधारणा अनुपस्थित है। स्थानीय और वैश्विक कई अन्य नॉनबेलियन सिद्धांत हैं, जो लैंगलैंड्स पत्राचार दृष्टिकोण के विकल्प प्रदान करते हैं।
वर्ग क्षेत्र सिद्धांत का एक और सामान्यीकरण एनाबेलियन ज्यामिति है, जो अपने पूर्ण निरपेक्ष गैलोज़ समूह या बीजगणितीय मौलिक समूह के ज्ञान से मूल वस्तु (उदाहरण के लिए एक संख्या क्षेत्र या उसके ऊपर एक अतिशयोक्तिपूर्ण वक्र) को पुनर्स्थापित करने के लिए एल्गोरिदम का अध्ययन करता है।[6][7]
एक अन्य प्राकृतिक सामान्यीकरण उच्च वर्ग क्षेत्र सिद्धांत है, जो उच्च स्थानीय वर्ग क्षेत्र सिद्धांत और उच्च वैश्विक वर्ग क्षेत्र सिद्धांत में विभाजित है। यह उच्च स्थानीय क्षेत्रों और उच्च वैश्विक क्षेत्रों के एबेलियन विस्तार का वर्णन करता है। उत्तरार्द्ध पूर्णांकों और उनके उपयुक्त स्थानीयकरणों और पूर्णताओं पर परिमित प्रकार की योजना (गणित) के फलन क्षेत्र के रूप में आते हैं। यह बीजगणितीय K-सिद्धांत का उपयोग करता है, और उपयुक्त मिल्नोर K-समूह सामान्यीकरण करते हैं का उपयोग एक-आयामी वर्ग क्षेत्र सिद्धांत में किया जाता है।
यह भी देखें
- गैर-एबेलियन वर्ग क्षेत्र सिद्धांत
- एनाबेलियन ज्यामिति
- फ्रोबेनियोइड
- लैंग्लैंड्स पत्राचार
उद्धरण
- ↑ Milne 2020, p. 1, Introduction.
- ↑ Cassels & Fröhlich 1967, p. 266, Ch. XI by Helmut Hasse.
- ↑ Fesenko, Ivan (2021-08-31). "वर्ग क्षेत्र सिद्धांत, इसके तीन मुख्य सामान्यीकरण और अनुप्रयोग". EMS Surveys in Mathematical Sciences (in English). 8 (1): 107–133. doi:10.4171/emss/45. ISSN 2308-2151. S2CID 239667749.
- ↑ Reciprocity and IUT, talk at RIMS workshop on IUT Summit, July 2016, Ivan Fesenko
- ↑ Milne, J. S. Arithmetic duality theorems. Charleston, SC: BookSurge, LLC 2006
- ↑ Fesenko, Ivan (2015), Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki, Eur. J. Math., 2015 (PDF)
- ↑ Fesenko, Ivan (2021), Class field theory, its three main generalisations, and applications, May 2021, EMS Surveys 8(2021) 107-133 (PDF)
संदर्भ
- आर्टिन, एमिल; टेट, जॉन (1990), वर्ग क्षेत्र सिद्धांत, रेडवुड सिटी, कैलिफ़ोर्निया।: एडिसन-वेस्ले, ISBN 978-0-201-51011-9
- कैसल्स, जे.डब्ल्यू.एस.; फ्रोलिच, अल्ब्रेक्ट, eds. (1967), बीजगणितीय संख्या सिद्धांत, अकादमिक प्रेस, Zbl 0153.07403
- कॉनरोड, कीथ, वर्ग क्षेत्र सिद्धांत का इतिहास (PDF)
- फ़्रेसेंको, इवान बी; वोस्तोकोव, सर्गेई वी. (2002), स्थानीय क्षेत्र और उनके विस्तार, गणितीय मोनोग्राफ का अनुवाद, vol. 121 (द्वितीय ed.), प्रोविडेंस, आरआई: American Mathematical Society, ISBN 978-0-8218-3259-2, MR 1915966
- Gras, Georges (2003). Class Field Theory: from theory to practice. Springer-Verlag. ISBN 978-3-540-44133-5.
- इवासावा, केनकिची (1986), स्थानीय वर्ग क्षेत्र सिद्धांत, ऑक्सफोर्ड गणितीय मोनोग्राफ, क्लेरेंडन प्रेस ऑक्सफोर्ड यूनिवर्सिटी प्रेस, ISBN 978-0-19-504030-2, MR 0863740, Zbl 0604.12014
- कवाड़ा, युकियोसी (1955), "वर्ग निर्माण", ड्यूक मठ. जे।, 22 (2): 165–177, doi:10.1215/s0012-7094-55-02217-1, Zbl 0067.01904
- कवाड़ा, युकियोसी; सटाके, I. (1956), "वर्ग निर्माण. द्वितीय", जे.फैक. विज्ञान विश्वविद्यालय। टोक्यो संप्रदाय 1A, 7: 353–389, Zbl 0101.02902
- मिलन, जेम्स एस. (2020), वर्ग क्षेत्र सिद्धांत (4.03 ed.)
- न्यूकिर्च, जुर्गन (1986), वर्ग क्षेत्र सिद्धांत, बर्लिन, न्यूयॉर्क: स्प्रिंगर-वेरलाग, ISBN 978-3-540-15251-4
- Neukirch, Jürgen (1999). Algebraische Zahlentheorie. Grundlehren der mathematischen Wissenschaften. Vol. 322. Berlin: Springer-Verlag. ISBN 978-3-540-65399-8. MR 1697859. Zbl 0956.11021.