Torsion groups of elliptic curves that appear infinitely often over septic fields

यहाँ फिलिप नजमान के शोध पत्र "Torsion Groups of Elliptic Curves That Appear Infinitely Often Over Septic Fields" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र संख्या क्षेत्रों (number fields) के विशिष्ट डिग्री वाले एलिप्टिक कर्व्स के लिए संभावित टोरशन सबग्रुप्स (torsion subgroups) के सेट को निर्धारित करने की एक मौलिक समस्या को संबोधित करता है।

• संदर्भ: मॉर्डेल-वील प्रमेय (Mordell-Weil theorem) द्वारा, किसी संख्या क्षेत्र $K$ पर एलिप्टिक कर्व $E(K)$ पर परिमेय बिंदुओं (rational points) का समूह परिमित रूप से जनरेटेड (finitely generated) होता है। टोरशन सबग्रुप $E(K)_{\text{tors}}$ परिमित होता है और $\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/n\mathbb{Z}$ (जिसे $(m, n)$ के रूप में दर्शाया जाता है) के समरूप (isomorphic) होता है।
• परिभाषाएँ:
  • $\Phi(d)$: किसी भी डिग्री $d$ के संख्या क्षेत्र पर एलिप्टिक कर्व्स के लिए सभी संभावित टोरशन समूहों का सेट।
  • $\Phi_\infty(d)$: $\Phi(d)$ का वह उपसमुच्चय (subset) जिसमें वे समूह शामिल हैं जो डिग्री $d$ के क्षेत्रों पर गैर-समरूप (non-isomorphic over $\mathbb{Q}$) अनंत एलिप्टिक कर्व्स के लिए टोरशन सबग्रुप के रूप में दिखाई देते हैं।
• अंतराल (The Gap): जबकि $\Phi_\infty(d)$ के लिए $d \le 6$ के लिए मान ज्ञात थे (डेरिक्स, सदरलैंड, जों, किम और अन्यों द्वारा निर्धारित), लिखने के समय $\Phi_\infty(7)$ (सेप्टिक फील्ड्स) का सेट अनिश्चित था। $d > 4$ के लिए पूर्ण सेट $\Phi(d)$ अज्ञात बना हुआ है, लेकिन इन कर्व्स के अंकगणित (arithmetic) के परिदृश्य को समझने के लिए "अनंत" उपसमुच्चय $\Phi_\infty(d)$ को निर्धारित करना एक महत्वपूर्ण कदम है।

2. कार्यप्रणाली (Methodology)

लेखक $\Phi_\infty(7)$ को निर्धारित करने के लिए सैद्धांतिक सीमाओं, मॉड्यूलर कर्व ज्योमेट्री और कम्प्यूटेशनल बीजगणितीय ज्यामिति (computational algebraic geometry) के संयोजन का उपयोग करते हैं।

A. सैद्धांतिक ढांचा (Theoretical Framework)

1. चक्रीय बनाम उत्पाद समूह (Cyclic vs. Product Groups):
   • एक सेप्टिक फील्ड (डिग्री 7) के लिए, समूह संरचना $(m, n)$ बाधित होती है। चूंकि $E(K)$ में $(n, n)$ हो सकता है केवल तभी जब $\mathbb{Q}(\zeta_n) \subset K$, और $[\mathbb{Q}(\zeta_n):\mathbb{Q}] = \phi(n)$ है, इसलिए डिग्री 7 के लिए, $m$ का मान 1 या 2 होना चाहिए। अतः, खोज चक्रीय समूहों $(1, n)$ और $(2, 2n)$ के रूप के समूहों तक सीमित है।
2. गोनलिटी और डेंसिटी डिग्री (Gonality and Density Degree):
   • पेपर $\text{gon}_K X$ (एक कर्व $X$ से $\mathbb{P}^1$ तक के मॉर्फिज्म की न्यूनतम डिग्री) की अवधारणा का उपयोग करता है।
   • प्रपोजिशन 2.1 (डेरिक्स-सदरलैंड से) न्यूनतम डेंसिटी डिग्री $\delta(X/K)$ (वह न्यूनतम डिग्री $n$ जिसके लिए $X$ के डिग्री $n$ के अनंत बिंदु होते हैं) और गोनेलिटी के बीच संबंध स्थापित करता है: $\delta(X/K) \le \text{gon}_K X \le 2\delta(X/K)$।
   • महत्वपूर्ण रूप से, यदि जैकोबियन $J(X)(\mathbb{Q})$ की रैंक 0 है, तो $\delta(X/\mathbb{Q}) = \text{gon}_{\mathbb{Q}} X$ होता है।
   • निष्कर्ष: यह सिद्ध करने के लिए कि कोई समूह $G \in \Phi_\infty(7)$ है, हमें यह दिखाना होगा कि संबंधित मॉड्यूलर कर्व $X$ के डिग्री 7 के अनंत बिंदु हैं। यह तब सुनिश्चित होता है जब $\text{gon}_{\mathbb{Q}} X \le 7$ (और रैंक स्थितियाँ पूरी होती हैं)। इसके विपरीत, यदि $\text{gon}_{\mathbb{Q}} X > 7$, तो वह समूह अनंत बार दिखाई नहीं देता है।

B. कम्प्यूटेशनल रणनीति (Computational Strategy)

प्रमाण मुख्य रूप से $\mathbb{Q}$ पर गोनेलिटी को बाउंड करने के लिए परिमित क्षेत्रों (finite fields) पर मॉड्यूलर कर्व्स की गोनेलिटी की गणना करने पर निर्भर करता है।

• निम्न सीमाएँ (Lower Bounds): लेखक अच्छे रिडक्शन (good reduction) वाले प्राइम $p$ के लिए $\text{gon}_{\mathbb{Q}} X \ge \text{gon}_{\mathbb{F}_p} X$ का उपयोग करते हैं।
• तकनीकें:
  • एब्रामोविच की सीमा (Abramovich's Bound): कॉन्ग्रुएंस सबग्रुप्स (congruence subgroups) के इंडेक्स गणना के माध्यम से बड़े $n$ ($n \ge 16$) के लिए उच्च गोनेलिटी स्थापित करने के लिए उपयोग की गई।
  • डेरिकक्स-टेराओ [DT26] एल्गोरिदम: परिमित क्षेत्रों पर कर्व्स की क्लास ग्रुप और गोनेलिटी की गणना करने के लिए नई तकनीकों का उपयोग विशिष्ट मामलों ($11 \le n \le 15$) के लिए सटीक या निचली सीमा वाली गोनेलिटी की गणना करने के लिए किया गया।
  • कास्टेलनुओवो-सेवेरी असमानता (Castelnuovo-Severi Inequality): $X_1(2, 30)$ और $X_1(30)$ के बीच मैपों के विश्लेषण के माध्यम से भारी गणना से बचने के लिए विशेष रूप से $n=15$ के मामले के लिए लागू की गई।

3. प्रमुख योगदान और परिणाम (Key Contributions and Results)

मुख्य परिणाम थ्योरम 1.1 है, जो $\Phi_\infty(7)$ को पूरी तरह से लक्षणित करता है:
$$\Phi_\infty(7) = \{(1, n) : 1 \le n \le 30, n \notin \{25, 29\}\} \cup \{(2, 2n) : 1 \le n \le 10\}$$

प्रमाण को $n$ की विभिन्न श्रेणियों को संबोधित करने वाले तीन लेम्मा में विभाजित किया गया है:

1. चक्रीय समूह $(1, n)$:

   • थ्योरम 2.2 (डेरिकक्स-वैन होज से) पर भरोसा करते हुए, लेखक उल्लेख करते हैं कि चक्रीय समूह $(1, n)$ तब $\Phi_\infty(7)$ में होते हैं जब और केवल जब $1 \le n \le 30$ और $n \neq 25, 29$ हो। इस परिणाम का हिस्सा पहले से ही स्थापित था।

2. उत्पाद समूह $(2, 2n)$ के लिए $n \ge 16$:

   • लेम्मा 3.1 यह सिद्ध करता है कि $n \ge 16$ के लिए, $\mathbb{Q}$ पर मॉड्यूलर कर्व $X_1(2, 2n)$ की गोनेलिटी स्पष्ट रूप से 7 से अधिक है।
   • यह एब्रामोविच की गोनेलिटी की निचली सीमा और $\Gamma_1(2, 2n)$ के कॉन्ग्रुएंस सबग्रुप के इंडेक्स को संयोजित करके प्राप्त किया गया है। चूंकि $\text{gon}_{\mathbb{Q}} X > 7$ है, इसलिए ये समूह डिग्री 7 के क्षेत्रों पर अनंत बार दिखाई नहीं दे सकते।

3. उत्पाद समूह $(2, 2n)$ के लिए $n \le 10$:

   • लेम्मा 3.2 पुष्टि करता है कि ये समूह अनंत बार दिखाई देते हैं।
   • $n \le 6$ के लिए, यह जेनस (genus) संबंधी विचारों ($g \le 1$) और हिल्बर्ट की इररेड्यूसिबिलिटी थ्योरम से स्वतः सिद्ध होता है।
   • $7 \le n \le 10$ के लिए, परिणाम मार्टिन डेरिक्स के अप्रकाशित कोड पर निर्भर करता है जो स्पष्ट रूप से डिग्री 7 के मॉड्यूलर यूनिट्स का निर्माण करता है, जिससे डिग्री 7 के अनंत बिंदुओं के अस्तित्व को सिद्ध किया जाता है।

4. महत्वपूर्ण अंतराल: $11 \le n \le 15$:

   • लेम्मा 3.3 इस शोध पत्र का नवीन योगदान है। यह सिद्ध करता है कि $n \in \{11, 12, 13, 14, 15\}$ के लिए $(2, 2n) \notin \Phi_\infty(7)$ है।
   • लेखक छोटे परिमित क्षेत्रों ($\mathbb{F}_3, \mathbb{F}_7$) पर $X_1(2, 2n)$ की गोनेलिटी की गणना करते हैं।
   • परिणाम:
     • $n=11, 12$: $\text{gon}_{\mathbb{F}_p} \ge 8$।
     • $n=13, 14$: $\text{gon}_{\mathbb{F}_p} = 12$।
     • $n=15$: $\text{gon}_{\mathbb{F}_7} \ge 8$ (कास्टेलनुओवो-सेवेरी असमानता के माध्यम से सत्यापित)।
   • चूंकि इन $n$ के लिए जैकोबियन $J_1(2, 2n)(\mathbb{Q})$ की रैंक 0 है (थ्योरम 2.3), इसलिए $\text{gon}_{\mathbb{Q}} X > 7$ की स्थिति लागू होती है, जो इन समूहों को $\Phi_\infty(7)$ से बाहर करती है।

4. महत्व (Significance)

• पूर्णता (Completeness): यह शोध पत्र संख्या क्षेत्रों पर एलिप्टिक कर्व्स के टोरशन समूहों के वर्गीकरण के एक बड़े अंतराल को भरता है। यह $\Phi_\infty(7)$ का पहला पूर्ण विवरण प्रदान करता है।
• पद्धतिगत प्रगति (Methodological Advancement): यह पेपर शास्त्रीय बीजगणितीय ज्यामिति (गोनेलिटी बाउंड्स, कास्टेलनुओवो-सेवेरी) को आधुनिक कम्प्यूटेशनल नंबर थ्योरी (परिमित क्षेत्र गोनेलिटी के लिए डेरिक्स-टेराओ एल्गोरिदम) के साथ जोड़ने की शक्ति को प्रदर्शित करता है।
• भविष्य के कार्य के लिए आधार: हालांकि $\Phi(7)$ (सभी संभावित टोरशन समूहों का सेट, जिनमें वे भी शामिल हैं जो परिमित बार दिखाई देते हैं) अभी भी अज्ञात है, $\Phi_\infty(7)$ को निर्धारित करना पूर्ण सेट को हल करने के लिए एक पूर्व शर्त है। यहाँ उपयोग की गई विधियाँ, विशेष रूप से विशिष्ट मॉड्यूलर कर्व्स की गोनेलिटी की कम्प्यूटेशनल पुष्टि, उच्च-डिग्री क्षेत्रों के विश्लेषण के लिए एक मिसाल कायम करती हैं।
• अनुमानों का सत्यापन: परिणाम पुष्टि करते हैं कि टोरशन समूहों का "अनंत" व्यवहार (जैसे चक्रीय समूहों के लिए $n=25, 29$ और उत्पाद समूहों के लिए $n \ge 11$ जैसे विशिष्ट अपवादों के साथ) डिग्री 7 तक एक अनुमानित पैटर्न में स्थिर होता है, जो अंतर्निहित मॉड्यूलर कर्व्स की ज्यामितीय जटिलता (गोनेलिटी) द्वारा संचालित होता है।

संक्षेप में, नजमान सफलतापूर्वक निर्धारित करते हैं कि सेप्टिक फील्ड्स पर, केवल वे टोरशन समूह अनंत बार दिखाई देते हैं जो या तो 30 तक के चक्रीय समूह हैं (25 और 29 को छोड़कर) या $(2, 2n)$ के रूप के उत्पाद समूह हैं जहाँ $n \le 10$ है।