वर्ग क्षेत्र सिद्धांत

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

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

प्रमुख परिणामों में से एक है: एक संख्या फ़ील्ड F दिया गया है, और F के हिल्बर्ट वर्ग क्षेत्र विस्तार के लिए K लिखा गया है, F के ऊपर K का गैलोज़ समूह, F के आदर्श वर्ग समूह के लिए कैनोनिक रूप से आइसोमोर्फिक है। इस कथन को तथाकथित आर्टिन पारस्परिकता नियम के लिए सामान्यीकृत किया गया था; आदर्श भाषा में, F के आदर्श वर्ग समूह के लिए C_F लिखना, और L को F का कोई भी परिमित एबेलियन विस्तार मानना, यह नियम एक विहित समरूपता देता है

$\theta _{L/F}:C_{F}/{N_{L/F}(C_{L})}\to \operatorname {Gal} (L/F),$

जहां $N_{L/F}$ L से F तक आदर्श मानक मानचित्र को दर्शाता है। इस समरूपता को पारस्परिकता मानचित्र का नाम दिया गया है।

अस्तित्व प्रमेय में कहा गया है कि पारस्परिकता मानचित्र का उपयोग एफ के एबेलियन एक्सटेंशन के सेट और परिमित सूचकांक के बंद उपसमूहों के सेट के बीच एक आपत्ति देने के लिए किया जा सकता है। $C_{F}.$ 1930 के दशक से वैश्विक वर्ग क्षेत्र सिद्धांत को विकसित करने के लिए एक मानक तरीका स्थानीय वर्ग क्षेत्र सिद्धांत का निर्माण करना था, जो स्थानीय क्षेत्रों के एबेलियन विस्तार का वर्णन करता है, और फिर इसका उपयोग वैश्विक वर्ग क्षेत्र सिद्धांत के निर्माण के लिए किया जाता है। यह पहली बार एमिल आर्टिन और जॉन टेट (गणितज्ञ) द्वारा समूह कोहोलॉजी के सिद्धांत का उपयोग करके और विशेष रूप से वर्ग संरचनाओं की धारणा विकसित करके किया गया था। बाद में, न्यूकिर्च को कोहोमोलॉजिकल विचारों का उपयोग किए बिना वैश्विक वर्ग क्षेत्र सिद्धांत के मुख्य कथनों का प्रमाण मिला। उनकी पद्धति स्पष्ट और एल्गोरिथमिक थी।

वर्ग क्षेत्र सिद्धांत के अंदर कोई भेद कर सकता है विशेष वर्ग क्षेत्र सिद्धांत और सामान्य वर्ग क्षेत्र सिद्धांत।

स्पष्ट वर्ग क्षेत्र सिद्धांत विभिन्न स्थितियों में एक संख्या क्षेत्र के अधिकतम एबेलियन विस्तार का स्पष्ट निर्माण प्रदान करता है। सिद्धांत के इस भाग में क्रोनकर-वेबर प्रमेय शामिल है, जिसका उपयोग एबेलियन एक्सटेंशन के निर्माण के लिए किया जा सकता है $\mathbb {Q}$, और सीएम-फ़ील्ड के एबेलियन एक्सटेंशन के निर्माण के लिए जटिल गुणन का सिद्धांत।

वर्ग क्षेत्र सिद्धांत के तीन मुख्य सामान्यीकरण हैं: उच्च वर्ग क्षेत्र सिद्धांत, लैंगलैंड्स कार्यक्रम (या 'लैंगलैंड्स पत्राचार'), और एनाबेलियन ज्यामिति।

समसामयिक भाषा में निरूपण

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

सामान्य वर्ग क्षेत्र सिद्धांत का मौलिक परिणाम बताता है कि समूह जी स्वाभाविक रूप से सी के अनंत समूह के लिए आइसोमोर्फिक है_Kसी पर प्राकृतिक टोपोलॉजी के संबंध में, स्थानीय क्षेत्र का गुणक समूह या वैश्विक क्षेत्र का आदर्श वर्ग समूह_Kक्षेत्र K की विशिष्ट संरचना से संबंधित। समान रूप से, K के किसी भी परिमित गैलोज़ विस्तार L के लिए, एक समरूपता है (आर्टिन पारस्परिकता कानून)

$\operatorname {Gal} (L/K)^{\operatorname {ab} }\to C_{K}/N_{L/K}(C_{L})$

एल के आदर्श वर्ग समूह के क्षेत्र मानदंड की छवि द्वारा K के आदर्श वर्ग समूह के भागफल के साथ विस्तार के गैलोइस समूह के अबेलियनाइजेशन का।

कुछ छोटे क्षेत्रों के लिए, जैसे परिमेय संख्याओं का क्षेत्र $\mathbb {Q}$ या इसके द्विघात विस्तार में एक अधिक विस्तृत, बहुत स्पष्ट लेकिन बहुत विशिष्ट सिद्धांत है जो अधिक जानकारी प्रदान करता है। उदाहरण के लिए, एबेलियानाइज्ड एब्सोल्यूट गैलोज़ ग्रुप जी का $\mathbb {Q}$ (स्वाभाविक रूप से समरूपी) सभी अभाज्य संख्याओं p पर लिए गए p-एडिक पूर्णांकों की इकाइयों के समूह का एक अनंत उत्पाद है, और परिमेय का संगत अधिकतम एबेलियन विस्तार एकता की सभी जड़ों द्वारा उत्पन्न क्षेत्र है। इसे क्रोनकर-वेबर प्रमेय के रूप में जाना जाता है, मूल रूप से लियोपोल्ड क्रोनकर द्वारा अनुमान लगाया गया था। इस मामले में वर्ग क्षेत्र सिद्धांत (या आर्टिन पारस्परिकता मानचित्र) की पारस्परिक समरूपता भी क्रोनेकर-वेबर प्रमेय के कारण एक स्पष्ट विवरण स्वीकार करती है। हालाँकि, छोटे बीजगणितीय संख्या क्षेत्रों के लिए ऐसे अधिक विस्तृत सिद्धांतों के प्रमुख निर्माण बीजगणितीय संख्या क्षेत्रों के सामान्य मामले में विस्तार योग्य नहीं हैं, और सामान्य वर्ग क्षेत्र सिद्धांत में विभिन्न वैचारिक सिद्धांत उपयोग में हैं।

पारस्परिक समरूपता का निर्माण करने की मानक विधि पहले एक वैश्विक क्षेत्र के पूरा होने के गुणक समूह से उसके अधिकतम एबेलियन विस्तार के गैलोज़ समूह तक स्थानीय पारस्परिक समरूपता का निर्माण करना है (यह स्थानीय वर्ग क्षेत्र सिद्धांत के अंदर किया जाता है) और फिर साबित करें कि ऐसे सभी स्थानीय पारस्परिकता मानचित्रों का उत्पाद जब वैश्विक क्षेत्र के आदर्श समूह पर परिभाषित किया जाता है तो वैश्विक क्षेत्र के गुणक समूह की छवि पर तुच्छ होता है। बाद वाली संपत्ति को वैश्विक पारस्परिकता कानून कहा जाता है और यह गॉस द्विघात पारस्परिकता कानून का दूरगामी सामान्यीकरण है।

पारस्परिक समरूपता के निर्माण के तरीकों में से एक वर्ग गठन का उपयोग करता है जो वर्ग क्षेत्र सिद्धांत को वर्ग क्षेत्र सिद्धांत के सिद्धांतों से प्राप्त करता है। यह व्युत्पत्ति विशुद्ध रूप से टोपोलॉजिकल समूह सैद्धांतिक है, जबकि स्वयंसिद्धों को स्थापित करने के लिए जमीनी क्षेत्र की रिंग संरचना का उपयोग करना पड़ता है। ऐसी विधियाँ हैं जो कोहॉमोलॉजी समूहों का उपयोग करती हैं, विशेष रूप से ब्रौअर समूह का, और ऐसी विधियाँ भी हैं जो कोहॉमोलॉजी समूहों का उपयोग नहीं करती हैं और अनुप्रयोगों के लिए बहुत स्पष्ट और उपयोगी हैं।

इतिहास

Main article: History of class field theory

वर्ग क्षेत्र सिद्धांत की उत्पत्ति गॉस द्वारा सिद्ध किए गए द्विघात पारस्परिकता कानून में निहित है। सामान्यीकरण एक दीर्घकालिक ऐतिहासिक परियोजना के रूप में हुआ, जिसमें द्विघात रूप और उनके 'द्विघात रूप के जीनस', आदर्शों और पूर्णताओं पर गंभीर दुःख और लियोपोल्ड क्रोनकर/कर्ट हेंसल का काम, साइक्लोटोमिक और कुमेर विस्तार के सिद्धांत शामिल थे।

पहले दो वर्ग क्षेत्र सिद्धांत बहुत स्पष्ट साइक्लोटोमिक और जटिल गुणन वर्ग क्षेत्र सिद्धांत थे। उन्होंने अतिरिक्त संरचनाओं का उपयोग किया: परिमेय संख्याओं के क्षेत्र के मामले में वे एकता की जड़ों का उपयोग करते हैं, परिमेय संख्याओं के क्षेत्र के काल्पनिक द्विघात विस्तार के मामले में वे जटिल गुणन के साथ अण्डाकार वक्रों और उनके परिमित क्रम के बिंदुओं का उपयोग करते हैं। बहुत बाद में, ग्राउंडर शिमुरा के सिद्धांत ने बीजगणितीय संख्या क्षेत्रों के एक वर्ग के लिए एक और बहुत स्पष्ट वर्ग क्षेत्र सिद्धांत प्रदान किया। सकारात्मक विशेषता में $p$, युकियोशी कवाडा और इचिरो सातके ने बहुत आसान विवरण प्राप्त करने के लिए विट द्वैत का उपयोग किया $p$-पारस्परिक समरूपता का हिस्सा।

हालाँकि, इन अत्यंत स्पष्ट सिद्धांतों को अधिक सामान्य संख्या क्षेत्रों तक विस्तारित नहीं किया जा सका। सामान्य वर्ग क्षेत्र सिद्धांत ने विभिन्न अवधारणाओं और निर्माणों का उपयोग किया जो हर वैश्विक क्षेत्र पर काम करते हैं।

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

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

अनुप्रयोग

आर्टिन-वर्डियर द्वैत को सिद्ध करने के लिए वर्ग क्षेत्र सिद्धांत का उपयोग किया जाता है। बहुत स्पष्ट वर्ग क्षेत्र सिद्धांत का उपयोग बीजगणितीय संख्या सिद्धांत के कई उपक्षेत्रों जैसे इवासावा सिद्धांत और गैलोज़ मॉड्यूल सिद्धांत में किया जाता है।

संख्या क्षेत्रों के लिए लैंगलैंड्स पत्राचार, संख्या क्षेत्रों के लिए बीएसडी अनुमान और संख्या क्षेत्रों के लिए इवासावा सिद्धांत की अधिकांश मुख्य उपलब्धियाँ बहुत स्पष्ट लेकिन संकीर्ण वर्ग क्षेत्र सिद्धांत विधियों या उनके सामान्यीकरण का उपयोग करती हैं। इसलिए खुला प्रश्न इन तीन दिशाओं में सामान्य वर्ग क्षेत्र सिद्धांत के सामान्यीकरण का उपयोग करना है।

वर्ग क्षेत्र सिद्धांत का सामान्यीकरण

तीन मुख्य सामान्यीकरण हैं, जिनमें से प्रत्येक अत्यंत रुचिकर है। वे हैं: लैंग्लैंड्स प्रोग्राम, एनाबेलियन ज्यामिति, और उच्च वर्ग क्षेत्र सिद्धांत।

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

वर्ग क्षेत्र सिद्धांत का एक और सामान्यीकरण एनाबेलियन ज्यामिति है, जो अपने पूर्ण निरपेक्ष गैलोज़ समूह या बीजगणितीय मौलिक समूह के ज्ञान से मूल वस्तु (उदाहरण के लिए एक संख्या क्षेत्र या उसके ऊपर एक अतिशयोक्तिपूर्ण वक्र) को पुनर्स्थापित करने के लिए एल्गोरिदम का अध्ययन करता है। एक अन्य प्राकृतिक सामान्यीकरण उच्च वर्ग क्षेत्र सिद्धांत है, जो उच्च स्थानीय वर्ग क्षेत्र सिद्धांत और उच्च वैश्विक वर्ग क्षेत्र सिद्धांत में विभाजित है। यह उच्च स्थानीय क्षेत्रों और उच्च वैश्विक क्षेत्रों के एबेलियन विस्तार का वर्णन करता है। उत्तरार्द्ध पूर्णांकों और उनके उपयुक्त स्थानीयकरणों और पूर्णताओं पर परिमित प्रकार की योजना (गणित) के फ़ंक्शन फ़ील्ड के रूप में आते हैं। यह बीजगणितीय K-सिद्धांत का उपयोग करता है, और उपयुक्त मिल्नोर K-समूह सामान्यीकरण करते हैं $K_{1}$ एक-आयामी वर्ग क्षेत्र सिद्धांत में उपयोग किया जाता है।

यह भी देखें

• नॉन-एबेलियन वर्ग क्षेत्र सिद्धांत
• एनाबेलियन ज्यामिति
• फ्रोबेनियोइड
• लैंग्लैंड्स पत्राचार

संदर्भ

• Artin, Emil; Tate, John (1990), Class field theory, Redwood City, Calif.: Addison-Wesley, ISBN 978-0-201-51011-9
• Cassels, J.W.S.; Fröhlich, Albrecht, eds. (1967), Algebraic Number Theory, Academic Press, Zbl 0153.07403
• Conrad, Keith, History of class field theory. (PDF)
• Fesenko, Ivan B; Vostokov, Sergei V. (2002), Local fields and their extensions, Translations of Mathematical Monographs, vol. 121 (Second ed.), Providence, RI: 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.
• Iwasawa, Kenkichi (1986), Local class field theory, Oxford Mathematical Monographs, The Clarendon Press Oxford University Press, ISBN 978-0-19-504030-2, MR 0863740, Zbl 0604.12014
• Kawada, Yukiyosi (1955), "Class formations", Duke Math. J., 22 (2): 165–177, doi:10.1215/s0012-7094-55-02217-1, Zbl 0067.01904
• Kawada, Yukiyosi; Satake, I. (1956), "Class formations. II", J.Fac. Sci.Univ. Tokyo Sect. 1A, 7: 353–389, Zbl 0101.02902
• Milne, James S. (2020), Class Field Theory (4.03 ed.)
• Neukirch, Jürgen (1986), Class Field Theory, Berlin, New York: Springer-Verlag, 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.