🔢 mathematics

Classification of torsion of elliptic curves over quintic fields

यह शोध पत्र तीन विशिष्ट स्पोरैडिक समूहों— $\mathbb{Z}/28\mathbb{Z}$ , $\mathbb{Z}/30\mathbb{Z}$ , और $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/18\mathbb{Z}$ —की पहचान करके और यह प्रदर्शित करके कि 5 वह न्यूनतम घात है जहाँ एक गैर-चक्रीय (non-cyclic) स्पोरैडिक टॉर्सन समूह घटित होता है, क्विंटिक संख्या क्षेत्रों (quintic number fields) पर एलिप्टिक कर्व्स के टॉर्सन समूहों के वर्गीकरण को पूर्ण करता है।

मूल लेखक: Filip Najman

प्रकाशित 2026-09-14

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

CC BY 4.0

मूल लेखक: Filip Najman

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

एक ऐसे ब्रह्मांड की कल्पना करें जो सितारों और ग्रहों से नहीं, बल्कि संख्याओं और आकृतियों से बना है। इस गणितीय परिदृश्य में, 'एलिप्टिक कर्व्स' (elliptic curves) नामक विशेष वक्र हैं। ये वे चिकने, गोल घेरे नहीं हैं जिन्हें आप अपनी नोटबुक में खींचते हैं; ये विशिष्ट समीकरणों द्वारा परिभाषित जटिल, घुमावदार पथ हैं। गणितज्ञ इन वक्रों पर स्थित बिंदुओं के प्रति लंबे समय से आकर्षित रहे हैं, विशेष रूप से उन बिंदुओं के प्रति जिनके निर्देशांक भिन्न (fractions) या पूर्ण संख्याएँ हैं, या उन संख्याओं के हैं जो 'नंबर फील्ड्स' (number fields) नामक थोड़े अधिक जटिल तंत्रों से आती हैं। एक मौलिक प्रश्न यह है कि आप पैटर्न के रुकने से पहले कितने बिंदु पा सकते हैं। उत्तर इस बात पर निर्भर करता है कि आप किस जटिलता वाले संख्या तंत्र का उपयोग कर रहे हैं। यदि आप सरल भिन्नों तक सीमित रहते हैं, तो एक दोहराव वाले चक्र में कितने बिंदु मौजूद हो सकते, इसकी एक सख्त सीमा होती है। यदि आप थोड़े अधिक जटिल तंत्रों की ओर बढ़ते हैं, तो सीमा बदल जाती है। लंबे समय तक, गणितज्ञों को सरल प्रणालियों और दो, तीन या चार की जटिलता वाले तंत्रों के लिए इन सीमाओं का सटीक पता था। लेकिन अगला स्तर, यानी पांच की जटिलता वाला एक तंत्र, एक रहस्य बना हुआ था। यह ज्ञात क्षेत्र का अंतिम मोर्चा था, कि कैसे ये गणितीय आकार व्यवहार करते हैं, इसकी समझ में एक अंतराल।

यह शोध जिस प्रश्न के केंद्र में है, वह इन वक्रों के "टॉर्शन" (torsion) के बारे में है। टॉर्शन को एक ऐसे चक्र के रूप में सोचें जिसमें आप अपने शुरुआती बिंदु पर वापस आने से पहले वक्र पर कितने अलग-अलग कदम उठा सकते हैं। यदि आप दस कदम चलते हैं और वापस वहीं पहुँच जाते हैं जहाँ से आपने शुरू किया था, तो उस वक्र का टॉर्शन दस है। गणितज्ञ यह जानना चाहते थे कि यदि आप पांच की जटिलता वाले संख्या तंत्र पर इन वकृतों को देखते हैं, तो आप कभी भी कौन सी संभावित 'स्टेप काउंट' (कदमों की संख्या) पा सकते हैं? दशकों तक, वे जानते थे कि अधिकांश स्टेप काउंट अनंत बार दिखाई देते हैं, जिसका अर्थ है कि आप उन विशिष्ट टॉर्शन मानों वाले वक्रों को विभिन्न संख्या तंत्रों में अनगिनत बार पा सकते हैं। लेकिन उन्हें संदेह था कि कुछ दुर्लभ, "स्पोरैडिक" (sporadic) मामले हो सकते हैं—अद्वितीय स्टेप काउंट जो केवल बहुत विशिष्ट, अलग-थलग उदाहरणों में दिखाई देते हैं, शायद पूरे गणितीय ब्रह्मांड में केवल एक या दो बार।

फिलिप नजमान (Filip Najman), जो एक गणितज्ञ हैं, ने इस पहेली को पूरी तरह से सुलझाने का लक्ष्य रखा। उन्होंने केवल अनुमान या आकलन नहीं किया; उन्होंने यह निर्धारित करने के लिए एक कठोर, व्यापक खोज की कि एक क्विंटिक फील्ड (quintic field) पर एक एलिप्टिक कर्व पर कौन से बिंदु संभवतः मौजूद हो सकते हैं। उनके कार्य ने पुष्टि की कि अधिकांश संभावनाएँ पहले से ही ज्ञात थीं। हालाँकि, उन्होंने खोजा कि ठीक तीन विशेष, दुर्लभ समूह थे जो इस विशिष्ट संदर्भ में पहले कभी नहीं देखे गए थे। ये केवल सैद्धांतिक संभावनाएँ नहीं हैं; ये वास्तविक, ठोस गणितीय वस्तुएँ हैं, लेकिन ये अत्यंत दुर्लभ हैं। इनमें से एक दुर्लभ समूह एक एकल, अद्वितीय वक्र पर दिखाई देता है। दूसरा एक जोड़ी वक्रों पर दिखाई देता है जो एक-दूसरे से निकटता से संबंधित हैं। तीसरा एक अन्य एकल, अद्वितीय वक्र पर दिखाई देता है। इस स्तर की जटिलता के लिए ये एकमात्र अपवाद हैं।

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

इस विशाल प्रयास का परिणाम पैंतीस संभावित समूहों की एक पूर्ण सूची है। इनमें से बत्तीस समूह "सामान्य" हैं जो अनंत बार दिखाई देते हैं। शेष तीन दुर्लभ, स्पोरैडिक खोजें हैं। पहला दुर्लभ समूह अट्ठाइस (28) कदमों के चक्र की अनुमति देता है। दूसरा तीस (30) कदमों की अनुमति देता है, लेकिन यह केवल दो विशिष्ट वक्रों पर दिखाई देता है जो गणितीय रूप से जुड़े हुए हैं। तीसरा, दो चक्रों का संयोजन है, एक दो (2) कदमों का और एक अठारह (18) का, और यह एक एकल वक्र पर दिखाई देता है। नजमान ने केवल यह नहीं पाया कि ये समूह मौजूद हैं; उन्होंने उन वक्रों के सटीक समीकरण भी खोजे जो उनमें निवास करते हैं। उन्होंने उन विशिष्ट संख्या तंत्रों की पहचान की जो उन्हें होस्ट कर सकते हैं और इन वक्रों के सटीक गुणों की गणना की।

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

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

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

तकनीकी सारांश: क्विंटिक क्षेत्रों (Quintic Fields) पर एलिप्टिक कर्व्स के टोरशन का वर्गीकरण

समस्या विवरण
यह शोध पत्र एक निश्चित डिग्री $d$ वाले संख्या क्षेत्रों (number fields) पर एलिप्टिक कर्व्स के टोरशन सबग्रुप्स के वर्गीकरण को संबोधित करता है। विशेष रूप से, यह $\Phi(5)$ के सेट को निर्धारित करता है, जिसमें वे सभी समूह $G$ शामिल हैं जो किसी क्विंटिक संख्या क्षेत्र $K$ (जहाँ $[K:\mathbb{Q}]=5$ ) पर परिभाषित किसी एलिप्टिक कर्व $E$ के टोरशन सबग्रुप $E(K)_{\text{tors}}$ के रूप में दिखाई देते हैं। जबकि $d=1, 2, 3, 4$ के लिए $\Phi(d)$ के सेट पहले ही निर्धारित किए जा चुके थे, $\Phi(5)$ खुला रह गया था। $\Phi(d)$ को मेरर के प्रमेय (Merel's theorem) द्वारा ज्ञाततः परिमित (finite) माना जाता है। $\Phi_\infty(d) \subseteq \Phi(d)$ में वे समूह शामिल हैं जो अनंत बार आते हैं; $\Phi(d) \setminus \Phi_\infty(d)$ का पूरक "स्पोरेडिक" (sporadic) टोरशन समूहों से बना है, जो जोड़े $(K, E)$ के केवल परिमित आइसोमॉर्फिज्म क्लासेस (isomorphism classes) के लिए घटित होते हैं।

कार्यप्रणाली (Methodology)
वर्गीकरण इस बात को निर्धारित करने में बदल जाता है कि किन मॉड्यूलर कर्व्स $X_1(m, n)$ के पास डिग्री 5 के नॉन-कस्पिडल क्लोज्ड पॉइंट्स (non-cuspidal closed points) मौजूद हैं। लेखक उन 45 संभावित समूहों $G \cong \mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/n\mathbb{Z}$ का विश्लेषण करते हैं जो $\Phi_\infty(5)$ में नहीं हैं, लेकिन जिनके प्रॉपर सबग्रुप्स (proper subgroups) इसमें शामिल हैं। प्रमाण सैद्धांतिक मानदंडों और व्यापक कम्प्यूटेशनल सीविंग (computational sieving) के संयोजन का उपयोग करता है:

उम्मीदवारों का उन्मूलन (Elimination of Candidates):
- ग्लोबल विधि: कई मामलों के लिए, लेखक मॉड्यूलर कर्व्स की गोनालिटी (gonality) और विशिष्ट डायमंड ऑपरेटर्स के लिए $(\langle a \rangle - 1)J(\mathbb{Q})$ की परिमितता पर आधारित एक मानदंड का उपयोग करते हैं। यह गोनालिटी के बाउंड्स (Abramovich) और कम डिग्री वाले CM पॉइंट्स की अनुपस्थिति पर निर्भर करता है।
- रैंक ज़ीरो और कस्पिडल रिडक्शन: उन कर्व्स के लिए जिनका जैकोबियन रैंक 0 है, लेखक इस तथ्य का उपयोग करते हैं कि यदि एक एलिप्टिक कर्व किसी अभाज्य $p$ पर गुड रिडक्शन (good reduction) रखता है, तो इसका टोरशन इनजेक्टिवली रिड्यूस होना चाहिए। यह दिखाकर कि $\mathbb{F}_{p^k}$ ( $k \le 5$ ) पर कोई भी एलिप्टिक कर्व आवश्यक लेवल स्ट्रक्चर (level structure) नहीं रखता है, वे बैड रिडक्शन को मजबूर करते हैं, जो बाद में गोनालिटी तर्कों द्वारा विरोधाभासी सिद्ध होता है।
- हेके सीव (Hecke Sieve): रैंक 0 जैकोबियन वाले कर्व्स के लिए, लेखक हेके सीव लागू करते हैं। वे परिमित क्षेत्रों $\mathbb{F}_p$ पर डिविसर्स पर हेके ऑपरेटर्स $A_q = T_q - q\langle q \rangle^{-1}$ के प्रभाव की गणना करते हैं। यदि डिग्री 5 के पॉइंट का एक नॉन-कस्पिडल भाग $D$ और एक कस्पिडल भाग $C$ में अपघटन (decomposition) मौजूद है, तो स्थिति $[A_q(D)] \neq 0$ और $[A_q(C)] = 0$ एक विरोधाभास की ओर ले जाती है।
- ट्विस्टेड हेके सीव (Twisted Hecke Sieve): शेष मामलों के लिए जहाँ जैकोबियन का एनालिटिक रैंक पॉजिटिव है (जो सीधे मानक सीव के अनुप्रयोग को रोकता है), लेखक एक "ट्विस्टेड" सीव का उपयोग करते हैं। वे $A_q$ को $A_q(\langle a \rangle - 1)$ या $A_q \pi^* \pi_*$ जैसे ऑपरेटर्स से बदलते हैं, जो जैकोबियन के रैशनल पॉइंट्स को शून्य कर देते हैं, जिससे बिना रैंक ज़ीरो माने सीव आगे बढ़ पाता है।
- कस्पिडल क्लास ग्रुप के माध्यम से प्रत्यक्ष विश्लेषण: उन कर्व्स के लिए जिनमें क्विंटिक पॉइंट्स मौजूद हैं ( $X_1(28)$ , $X_1(30)$ , और $X_1(2, 18)$ ), लेखक एक प्रत्यक्ष विश्लेषण करते हैं। वे कस्पिडल क्लास ग्रुप $J(\mathbb{Q})$ को परिमित क्षेत्र रिडक्शन तक ऊपर उठाकर और सभी संभावित लीनियर सिस्टम्स को सूचीबद्ध करके डिग्री 5 के रैशनल इफेक्टिव डिविसर्स के समूह की गणना करते हैं।
कम्प्यूटेशनल सुधार:
लेखक उच्च-जीनस (high-genus) वाले मॉड्यूलर कर्व्स (जीनस 85, 97, और 121) पर हेके ऑपरेटर्स और डायमंड ऑर्बिट्स की गणना के लिए अनुकूलित एल्गोरिदम पेश करते हैं।
- पूर्ण $q$ -डिवीजन पॉलीनोमियल के स्प्लिटिंग फील्ड में काम करने के बजाय, नई रूटीन क्रम $q$ के व्यक्तिगत सबग्रुप्स के डेफिनिशन फील्ड में काम करके $T_q$ की गणना करती है।
- डायमंड ऑर्बिट रिप्रेजेंटेटिव्स को फंक्शन-फंक्शन कंप्यूटेशन के बजाय पेयर्स $(E, aP)$ के आइसोमॉर्फिज्म टेस्ट के माध्यम से पाया जाता है।
  इन अनुकूलनों ने विशिष्ट कार्यों के लिए गणना समय को घंटों से सेकंड में कम कर दिया (उदाहरण के लिए, $X_1(45)$ पर डिग्री 5 के स्थान पर $T_{11}$ की गणना करने में लगने वाला समय 7114 सेकंड से घटकर 4.3 सेकंड रह गया)।

मुख्य योगदान और परिणाम
मुख्य परिणाम $\Phi(5)$ का पूर्ण निर्धारण है:
$\Phi(5) = \Phi_\infty(5) \cup \{ \mathbb{Z}/28\mathbb{Z}, \mathbb{Z}/30\mathbb{Z}, \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/18\mathbb{Z} \}$
जहाँ $\Phi_\infty(5)$ को डेरिक्स और सदरलैंड द्वारा पहले ही निर्धारित किया जा चुका था।

तीन अपवाद (स्पोरेडिक) समूह इस प्रकार प्रकट होते हैं:

$\mathbb{Z}/28\mathbb{Z}$ : आइसोमॉर्फिज्म तक एक अद्वितीय जोड़े $(K, E)$ द्वारा प्रकट होता है। क्षेत्र $K$ को $\alpha^5 - \alpha^4 - 2\alpha^3 - \alpha^2 + 2\alpha + 2 = 0$ द्वारा परिभाषित किया गया है। कर्व $E$ का $j$ -इनवेरिएंट डिग्री 5 का है।
$\mathbb{Z}/30\mathbb{Z}$ : दो जोड़ों $(K, E)$ और $(K, E')$ द्वारा प्रकट होता है जो एक ही क्षेत्र $K$ पर 2-इसोजेनस (2-isogenous) हैं, जिसे $\alpha^5 + \alpha^4 - 3\alpha^3 + 3\alpha + 1 = 0$ द्वारा परिभाषित किया गया है।
$\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/18\mathbb{Z}$ : एक अद्वितीय जोड़े $(K, E)$ द्वारा प्रकट होता है जहाँ $K$ को $w^5 - 2w^4 + 2w^3 - 3w^2 - w + 4 = 0$ द्वारा परिभाषित किया गया है। यह किसी भी डिग्री $d \le 5$ में पहला ज्ञात नॉन-साइक्लिक स्पोरेडिक टोरशन समूह है।

यह शोध पत्र प्रासंगिक मॉड्यूलर कर्व्स पर डिग्री 5 के नॉन-कस्पिडल क्लोज्ड पॉइंट्स की सटीक संख्या भी स्थापित करता है:

$X_1(28)$ : 6 पॉइंट्स (डायमंड ऑपरेटर्स के तहत एक सिंगल फ्री ऑर्बिट बनाते हैं)।
$X_1(30)$ : 8 पॉइंट्स (दो फ्री ऑर्बिट्स बनाते हैं)।
$X_1(2, 18)$ : 18 पॉइंट्स।

महत्व
यह शोध पत्र दावा करता है कि $d=5$ पहला ऐसा डिग्री है जिसमें एक से अधिक स्पोरेडिक टोरशन समूह होते हैं। इसके अलावा, $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/18\mathbb{Z}$ किसी भी डिग्री $d \le 5$ में पहचाना गया पहला नॉन-साइक्लिक स्पोरेडिक टोरशन समूह है। लेखक नोट करते हैं कि जबकि $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/18\mathbb{Z}$ क्वाट्रिक फील्ड्स (डिग्री 4) पर अनंत बार होता है, यह क्विंटिक फील्ड्स पर केवल परिमित बार (विशेष रूप से आइसोमॉर्फिज्म तक एक बार) होता है।

यह कार्य डेरिक्स और नजमैन के तरीकों में सुधार करता है, जो ट्विस्टेड हेके सीव्स के माध्यम से पॉजिटिव एनालिटिक रैंक वाले मामलों को सफलतापूर्वक संभालते हैं और स्पष्ट, पुनरुत्पादक (reproducible) कम्प्यूटेशनल रूटीन प्रदान करते हैं जो उच्च-जीनस वाले मॉड्यूलर कर्व्स के विश्लेषण को संभव बनाते हैं। परिणाम इस प्रश्न को हल करते हैं कि $X_1(n)$ और $X_1(2, 2n)$ परिवारों के कौन से मॉड्यूलर कर्व्स डिग्री 5 के पॉइंट्स रखते हैं।

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