🔢 mathematics

The Mathieu group $M_{23}$ is a Galois group over $\mathbb{Q}$

यह शोध पत्र अंतिम स्पोरैडिक परिमित सरल समूह (sporadic finite simple group) के लिए व्युत्क्रम गैलुआ समस्या (inverse Galois problem) को हल करता है, जिसे संख्यात्मक बेलिया मानचित्र एल्गोरिदम (numerical Belyi map algorithms) का उपयोग करके एक स्पष्ट घात 23 वाले बहुपद के निर्माण के माध्यम से मैथ्यू समूह $M_{23}$ को $\mathbb{Q}$ पर एक गैलुआ समूह के रूप में सिद्ध करके प्राप्त किया गया है।

मूल लेखक: Xiaoyu Huang, Blake Jackson, Kyu-Hwan Lee, Bjorn Poonen, Rachel Pries, Shaowu Zhang

प्रकाशित 2026-08-11

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Xiaoyu Huang, Blake Jackson, Kyu-Hwan Lee, Bjorn Poonen, Rachel Pries, Shaowu Zhang

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक मास्टर बिल्डर हैं जो एक विशिष्ट, अविश्वसनीय रूप से जटिल महल बनाने की कोशिश कर रहे हैं। गणित की दुनिया में, यह "महल" एक गैलोआ समूह (Galois group) है, जो मूल रूप से नियमों का एक समूह है जो यह बताता है कि एक गणितीय पहेली के टुकड़ों (विशेष रूप से, एक समीकरण के समाधानों) को बिना संरचना तोड़े कैसे इधर-उधर व्यवस्थित किया जा सकता है। दशकों से, गणितज्ञ इन महलों को केवल सबसे बुनियादी सामग्रियों का उपयोग करके बनाने की कोशिश कर रहे हैं: परिमेय संख्याएँ (जैसे 1/2 या 3/4)। इस चुनौती को इनवर्स गैलोआ समस्या (Inverse Galois Problem) के रूप में जाना जाता है। यह पूछने जैसा है कि, "क्या हम केवल इन विशिष्ट ईंटों का उपयोग करके हर संभव प्रकार का महल बना सकते हैं?"

अधिकांश महल बनाए जा चुके हैं। इन गणितीय संरचनाओं के 26 विशेष, दुर्लभ प्रकार हैं जिन्हें "स्पोरेडिक ग्रुप्स" (sporadic groups) कहा जाता है जो किसी मानक परिवार में फिट नहीं होते हैं। 1980 के दशक के अंत तक, बिल्डरों ने उनमें से 25 का सफलतापूर्वक निर्माण कर लिया था। लेकिन एक जिद्दी, मायावी महल अभी भी अधूरा था: मैथ्यू समूह M23। यह पहेली का आखिरी लापता हिस्सा था। सवाल केवल इसे बनाने के बारे में नहीं था; बल्कि यह साबित करने के बारे में था कि यह परिमेय संख्याओं के मानक सामग्रियों का उपयोग करके अस्तित्व में रह सकता है। यदि इसे इस तरह से नहीं बनाया जा सका, तो संख्याओं के साथ इन संरचनाओं के संबंध की पूरी थ्योरी में एक बहुत बड़ा छेद हो जाएगा।

पहेली का अंतिम टुकड़ा

इस शोध पत्र में, विशेषज्ञों की एक टीम अंततः अंतिम लापता महल के ब्लूप्रिंट सौंपती है। वे सिद्ध करते हैं कि मैथ्यू समूह M23 को वास्तव में परिमेय संख्याओं पर एक गैलोआ समूह के रूप में निर्मित किया जा सकता है। ऐसा करने के लिए, उन्होंने केवल अनुमान नहीं लगाया; उन्होंने एक स्पष्ट, कार्यशील मॉडल बनाया। उन्होंने एक विशिष्ट बहुपद (एक विशाल गणितीय समीकरण) तैयार किया जिसके गुणांक (coefficients) परिमेय हैं और जिसकी घात (degree) 23 है। जब आप इस समीकरण को हल करते हैं, तो इसके सभी समाधानों का संग्रह एक "स्प्लिटिंग फील्ड" (splitting field) बनाता है, और इन समाधानों को इधर-उधर व्यवस्थित करने का तरीका पूरी तरह से M23 समूह के नियमों से मेल खाता है।

यात्रा: "लगभग" से "सटीक" तक

इस खोज का मार्ग घास के ढेर में सुई खोजने जैसा था, लेकिन वह ढेर गणितीय समरूपताओं (symmetries) से बना था। टीम ने एक शक्तिशाली उपकरण का उपयोग किया जिसे रिजिडिटी मेथड (rigidity method) कहा जाता है। कल्पना कीजिए कि आप एक अनूठी मूर्ति डिजाइन करने की कोशिश कर रहे हैं। यदि आपके पास कुछ बाधाएं (constraints) हैं (जैसे "इसमें तीन विशिष्ट उभार होने चाहिए"), तो आमतौर पर इसे बनाने के अनंत तरीके होते हैं। लेकिन कभी-कभी, बाधाएं इतनी सख्त होती हैं कि केवल एक ही संभावित आकार बचता है। गणित में, इसे "रिजिडिटी" (rigidity) कहा जाता है।

M23 समूह के लिए, टीम ने बाधाओं का एक ऐसा सेट खोजने की कोशिश की जो एक अद्वितीय आकार को मजबूर करे। उन्होंने समूह के भीतर तीन विशिष्ट प्रकार की समरूपताओं (conjugacy classes) को देखा। उन्हें उम्मीद थी कि उन्हें एक "रिजिड ट्रिपल" (rigid triple) मिलेगा जो एक अद्वितीय, एक-मात्र गणितीय कवर (एक आकार से दूसरे आकार का मानचित्र) बनाएगा। हालाँकि, जब उन्होंने गणना की, तो उन्होंने पाया कि यह विशिष्ट संयोजन एक एकल समाधान को मजबूर करने के लिए पर्याप्त 'रिजिड' नहीं था। इसके बजाय, इसने सात अलग-अलग संभावित आकारों के लिए एक दरवाजा खोल दिया।

आमतौर पर, यह एक मृत अंत (dead end) होता। यदि सात संभावनाएँ हैं, तो आप कैसे जानते हैं कि "असली" कौन सी है जो परिमेय संख्याओं द्वारा परिभाषित है? यहीं पर कहानी एक चमत्कारिक मोड़ लेती है। टीम को उम्मीद थी कि परिमेय संख्याओं की समरूपताएँ इन सात आकारों को यादृच्छिक रूप से इधर-उधर घुमा देंगी। लेकिन, उनके आश्चर्य के विरुद्ध, उन्होंने पाया कि इन सात में से एक आकार एक "फिक्स्ड पॉइंट" (fixed point) था। बाकी आकारों के हिलने के दौरान भी यह स्थिर खड़ा रहा। यह विशिष्ट आकार $\sqrt{-23}$ वाले एक विशेष संख्या क्षेत्र (number field) द्वारा परिभाषित था, लेकिन इसमें एक गुप्त गुण था: इसे "डिसेन्डेड" (descended) या वापस नीचे परिमेय संख्याओं तक खींचा जा सकता था।

निर्माण: संख्याओं से बहुपदों तक

इस अमूर्त आकार को एक ठोस बहुपद में बदलने के लिए, टीम ने बेली मैप (Belyi map) नामक एक उच्च-तकनीकी डिजिटल उपकरण का उपयोग किया। इसे एक परिष्कृत 3D स्कैनर के रूप में सोचें जो एक जटिल, घुमावदार सतह को लेता है और उसे एक मानचित्र में सपाट कर देता है, जिससे उसकी छिपी हुई संरचना प्रकट होती है। उन्होंने इस आकार के निर्देशांकों (coordinates) की गणना करने के लिए संख्यात्मक एल्गोरिदम का उपयोग किया।

एक बार जब उनके पास संख्याएँ आ गईं, तो उन्होंने केवल कंप्यूटर के फ्लोटिंग-पॉइंट दशमलवों पर भरोसा नहीं किया। उन्होंने संख्याओं को सटीक बीजगणितीय अभिव्यक्तियों के रूप में पहचानने के लिए PSLQ एल्गोरिदम नामक एक चतुर तकनीक का उपयोग किया। चमत्कारिक रूप से, उनके वक्र (curve) के गुणांक $\mathbb{Q}(\sqrt{-23})$ के क्षेत्र में रहने वाले निकले। इसके बाद उन्होंने दूसरा फलन, $v$ बनाने के लिए बीजगणितीय युक्तियों की एक श्रृंखला निष्पादित की, जो अंतिम बहुपद को अनलॉक करने की कुंजी के रूप में कार्य करता था।

परिणामस्वरूप, एक घात 23 का बहुपद, $F(t, V)$ प्राप्त हुआ, जो परिमेय संख्याओं का एक रेगुलर एक्सटेंशन (regular extension) परिभाषित करता है। चर $t$ के लिए विशिष्ट परिमेय संख्याएँ डालने पर, उन्होंने पूर्णांक गुणांकों वाले विशिष्ट बहुपद उत्पन्न किए। ऐसा ही एक बहुपद, जो पेपर में सूचीबद्ध है, बड़ी संख्याओं के एक अराजक ढेर जैसा दिखता है:
$x^{23} - 184x^{21} - 1150x^{20} + \dots$
लेकिन जब आप इसे हल करते हैं, तो इसके समाधानों की समरूपता बिल्कुल M23 समूह होती है।

निर्णय

लेखक केवल यह सुझाव नहीं दे रहे हैं कि यह काम कर सकता है; उन्होंने इसे सिद्ध किया है। उन्होंने हर चरण को कड़ाई से सत्यापित करने के लिए कंप्यूटर बीजगणित प्रणालियों (Magma और PARI/GP) का उपयोग किया। उन्होंने जांचा कि बहुपद का स्प्लिटिंग फील्ड सही गैलोआ समूह रखता है और यह एक विशिष्ट अभाज्य संख्याओं के सेट {2, 3, 23} के बाहर अनरैम्फाइड (unramified/smooth) है। उन्होंने यह भी पुष्टि की कि यह निर्माण न केवल एक विशिष्ट मामले के लिए काम करता है, बल्कि ऐसे अनंत बहुपदों के अस्तित्व का भी संकेत देता है।

संक्षेप में, मैथ्यू समूह M23, जो 26 स्पोरेडिक समूहों में से अंतिम था, अंततः परिमेय संख्याओं पर साकार किया गया है। महल बन चुका है, ब्लूप्रिंट पूरा हो गया है, और अब गणितीय समुदाय के पास सभी 26 दुर्लभ संरचनाओं का पूर्ण सेट है, जो सभी उन्हीं मौलिक ईंटों से निर्मित हैं।

तकनीकी सारांश: $\mathbb{Q}$ पर गैलवा समूह के रूप में मैथ्यू समूह $M_{23}$

समस्या विवरण
इनवर्स गैलवा समस्या (Inverse Galois Problem) यह पूछती है कि क्या प्रत्येक परिमित समूह (finite group) परिमेय संख्याओं $\mathbb{Q}$ के ऊपर एक परिमित गैलवा विस्तार (Galois extension) के गैलवा समूह के रूप में आता है। जबकि 1984 और 1989 के बीच 26 में से 25 स्पोरैडिक परिमित सरल समूहों को $\mathbb{Q}$ पर गैलवा समूहों के रूप में साकार किया गया था, मैथ्यू समूह $M_{23}$ एकमात्र अपवाद बना रहा। $\mathbb{Q}$ पर $M_{23}$ को साकार करने के पिछले प्रयास विफल रहे, जिससे केवल अन्य क्षेत्रों (जैसे $\mathbb{Q}(\sqrt{-23})$ , $\mathbb{Q}(\sqrt{-7})$ , या विशिष्ट संख्या क्षेत्रों $F$ ) पर ही साकारता प्राप्त हुई या $\mathbb{Q}(t)$ के ऊपर एक नियमित विस्तार (regular extension) बनाने में विफलता मिली। यह शोध पत्र इस समस्या को हल करता है और यह सिद्ध करता है कि $M_{23}$ वास्तव में $\mathbb{Q}$ पर एक गैलवा समूह है।

कार्यप्रणाली (Methodology)
लेखक रिजिडिटी विधि (rigidity method), संख्यात्मक बेलिया मैप (Belyi map) एल्गोरिदम, और बीजगणितीय सत्यापन के संयोजन का उपयोग करते हैं।

मानक रिजिडिटी की विफलता: मानक रिजिडिटी विधि $M_{23}$ में संयुग्मन वर्गों (conjugacy classes) के एक त्रिक $(C_1, C_2, C_3)$ को खोजने पर निर्भर करती है ताकि संबद्ध नील्सन क्लास (Nielsen class) का आकार 1 हो (एक "रिजिड" त्रिक)। लेखक प्रदर्शित करते हैं कि $M_{23}$ के लिए, ऐसा कोई रिजिड त्रिक मौजूद नहीं है। किसी भी $G_\mathbb{Q}$ -स्थिर मल्टीसेट के लिए सबसे छोटा नील्सन क्लास आकार 7 है, जो वर्गों $\{2, 23A, 23B\}$ के अनुरूप है।
गैर-रिजिड त्रिक और हर्टविज़ स्पेस (Hurwitz Space): एक रिजिड त्रिक के बजाय, लेखक त्रिक $\{2, 23A, 23B\}$ का उपयोग करते हैं। रीमैन अस्तित्व प्रमेय (Riemann existence theorem) यह संकेत देता है कि $S = \{0, \sqrt{-23}, -\sqrt{-23}\}$ पर रामिफाइड (ramified) होने वाले $\mathbb{P}^1_\mathbb{C}$ के ठीक सात $M_{23}$ -कवर्स का अस्तित्व है, जिनका स्थानीय मोनोड्रॉमी (local monodromy) इन वर्गों में है। एक बिंदु स्टेबलाइज़र द्वारा ऐसे कवर के भागफल (quotient) से एक जेनस 4 वक्र $X_C$ प्राप्त होता है।
बेलिया मैप्स का संख्यात्मक गणना: BelyiDB पैकेज (जो क्लग, मुस्टी, शियावोन, सीजलिंग और वोइट द्वारा प्रेरित, हेजहल और स्टार्क से प्रेरित एल्गोरिदम को लागू करता है) का उपयोग करके, लेखक नील्सन क्लास से जुड़े सात वक्रों $X_C$ की संख्यात्मक गणना करते हैं। इसमें उच्च परिशुद्धता के साथ विभेदक रूपों (differential forms) के पावर सीरीज़ विस्तारों की गणना करना शामिल है।
बीजगणितीय पहचान: कंप्यूट किए गए वक्रों के गुणांकों को PSLQ एल्गोरिदम का उपयोग करके बीजगणितीय संख्याओं के रूप में पहचाना जाता है। उल्लेखनीय रूप से, लेखक पाते हैं कि इन सात वक्रों में से एक के लिए मॉडुलि का क्षेत्र (field of moduli) $\mathbb{Q}$ है, भले ही यह अपेक्षा थी कि गैलवा समूह $G_\mathbb{Q}$ सात के सेट पर ट्रांजिटिवली कार्य करेगा। यह फिक्स्ड पॉइंट (fixed point) इस वक्र को $\mathbb{Q}$ पर परिभाषित एक मॉडल $X$ तक उतरने (descend) की अनुमति देता है।
विस्तार का निर्माण:
- लेखक जेनस 4 वक्र $X_K$ (जहाँ $K=\mathbb{Q}(\sqrt{-23})$ ) के एक कैनोनिकल मॉडल का निर्माण करते हैं, जो $\mathbb{P}^3$ में एक क्वाड्रिक और एक क्यूबिक के पूर्ण प्रतिच्छेदन (complete intersection) के रूप में है।
- वे $X$ पर परिमेय फलनों $u$ और $v$ की गणना करते हैं ताकि एक डिग्री 23 मैप $t: X \to \mathbb{P}^1$ को परिभाषित किया जा सके।
- $K(X)$ के फंक्शन फील्ड का विश्लेषण करके और छोटे प्राइम के मोड्यूलो रैखिक बीजगणित लागू करके, वे $V$ में डिग्री 23 के बहुपद $F(T, V) \in \mathbb{Q}[T, V]$ को पुनर्गठित करते हैं।
गैलवा समूह का सत्यापन:
- ज्यामितीय मोनोड्रॉमी (Geometric Monodromy): ब्रांच पॉइंट्स पर स्थानीय मोनोड्रॉमी (एक 23-साइकिल $\pm\sqrt{-23}$ पर और एक विशिष्ट साइकिल टाइप 0 पर) यह दर्शाती है कि ज्यामितीय मोनोड्रॉमी समूह $G_{geom}$ में $M_{23}$ शामिल है।
- अरिथमेटिक मोनोड्रॉमी (Arithmetic Monodromy): 31 के मोड्यूलो बहुपद का विशेषीकरण (specialization) करके और मैग्मा (Magma) का उपयोग करके अरिथमेटिक मोनोड्रॉमी समूह को $M_{23}$ प्रमाणित करके, वे सिद्ध करते हैं कि $G_{arith} = M_{23}$ । चूंकि $M_{23}$ , $S_{23}$ के किसी भी बड़े उपसमूह में नॉर्मल नहीं है, इसलिए $G_{geom} = G_{arith} = M_{23}$ है।

प्रमुख योगदान और परिणाम

प्रमेय 1.1: $\mathbb{Q}$ का एक गैलवा विस्तार है जिसका गैलवा समूह $M_{23}$ है।
प्रमेय 1.3: $\mathbb{Q}(t)$ के ऊपर $M_{23}$ गैलवा समूह के साथ एक नियमित गैलवा विस्तार का अस्तित्व है। यह एक मजबूत परिणाम है, जो हिलबर्ट के इर्रेड्यूसिबिलिटी थ्योरम के माध्यम से $\mathbb{Q}$ पर अनंत ऐसे विस्तारों के अस्तित्व को दर्शाता है।
स्पष्ट बहुपद: लेखक $\mathbb{Q}$ $Q$ के परिमेय गुणांकों वाले स्पष्ट डिग्री 23 के बहुपद प्रदान करते हैं।
- उदाहरण 1.2: एक बहुपद $f(x)$ जिसका स्प्लिटिंग फील्ड $\{2, 3, 23\}$ के बाहर अनरैम्फाइड (unramified) $M_{23}$ -एक्सटेंशन है।
- उदाहरण 3.7: एक लोअर-हाइट (lower-height) स्पेशलाइजेशन $f(x)$ जो $\{2, 7, 23\}$ के बाहर अनरैम्फाइड है।
उपप्रमेय 1.4: परिणाम किसी भी संख्या क्षेत्र $k$ के लिए विस्तारित होते हैं, जो किसी भी स्पोरैडिक परिमित सरल समूह $G$ के लिए $k(t)$ के नियमित $G$ -विस्तार और $k$ के परस्पर स्वतंत्र $G$ -विस्तार के अस्तित्व को सिद्ध करते हैं।

महत्व
यह शोध पत्र $\mathbb{Q}$ पर सभी 26 स्पोरैडिक परिमित सरल समूहों को गैलवा समूहों के रूप में साकार करने के कार्यक्रम को पूरा करता है। $M_{23}$ का साकार होना अंतिम शेष मामला था। यह कार्य न केवल परिणाम के लिए बल्कि इसकी कार्यप्रणाली के लिए भी महत्वपूर्ण है: यह गैर-रिजिड त्रिक का लाभ उठाकर मानक रिजिडिटी विधि की विफलता से सफलतापूर्वक निपटता है जहाँ हर्टविज़ स्पेस पर गैलवा क्रिया का एक फिक्स्ड पॉइंट होता है। यह एक संख्या क्षेत्र पर परिभाषित कवर को $\mathbb{Q}$ पर परिभाषित कवर तक उतरने (descend) की अनुमति देता है, एक ऐसी घटना जिसे लेखक के पास कोई वैचारिक स्पष्टीकरण नहीं है, और वे इसे "चमत्कारी" (miraculous) बताते हैं।

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

पहेली का अंतिम टुकड़ा

यात्रा: "लगभग" से "सटीक" तक

निर्माण: संख्याओं से बहुपदों तक

निर्णय

तकनीकी सारांश: Q\mathbb{Q}Q पर गैलवा समूह के रूप में मैथ्यू समूह M23M_{23}M23​

इसी तरह के और पेपर

तकनीकी सारांश: $\mathbb{Q}$ पर गैलवा समूह के रूप में मैथ्यू समूह $M_{23}$