🔢 mathematics

Existence and non-existence of rational elliptic curves with prescribed torsion subgroups over quadratic fields

यह शोध पत्र द्विघात क्षेत्रों $K=\mathbb{Q}(\sqrt{-p})$ पर विशिष्ट टॉर्सन उपसमूहों ( $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2N\mathbb{Z}$ के लिए $N=5,6$ ) के साथ परिमेय दीर्घवृत्तीय वक्रों (rational elliptic curves) के अस्तित्व की जांच करता है, यह सिद्ध करते हुए कि अनगिनत अभाज्य संख्याओं $p$ के लिए ऐसे वक्र न तो अस्तित्व में हैं और न ही अनंत मात्रा में अस्तित्व में हैं (बाद वाला मामला पैरिटी अनुमान/parity conjecture पर आधारित है), जबकि व्यापक क्षेत्र विस्तारों पर टॉर्सन वर्गीकरण को परिष्कृत करने के लिए इन निष्कर्षों को लागू करता है।

मूल लेखक: Omer Avci

प्रकाशित 2026-02-10

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

CC0 1.0

मूल लेखक: Omer Avci

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

कल्पना कीजिए कि आप एक जासूस हैं जो एक बहुत ही विशिष्ट प्रकार के "गणितीय आकार" को सुलझाने की कोशिश कर रहे हैं जिसे एलिप्टिक कर्व (elliptic curve) कहा जाता है।

ये कर्व अंतरिक्ष में जटिल, सुंदर लूप की तरह होते हैं। गणितज्ञ इनके भीतर "छिपे हुए पैटर्न" खोजने के लिए जुनूनी हैं—विशेष रूप से, कर्व पर वे बिंदु जो बहुत सख्त, अनुमानित नियमों का पालन करते हैं। हम इन पैटर्न को टॉर्शन सबग्रुप्स (torsion subgroups) कहते हैं।

एक एलिप्टिक कर्व को एक उच्च-सुरक्षा वाली तिजोरी (high-security vault) की तरह समझें, और टॉर्शन सबग्रुप्स को उस तिजोरी के कॉम्बिनेशन लॉक्स (combination locks) की तरह। लंबे समय से, हम जानते हैं कि मानक ताले कैसे दिखते हैं (इसे माज़र्स थ्योरम कहा जाता है)। लेकिन गणितज्ञ यह जानना चाहते हैं कि यदि हम उस वातावरण को बदल दें जहाँ तिजोरी रखी गई है, तो क्या नए, अजीब, विलक्षण ताले दिखाई देंगे?

इस शोध पत्र में, "वातावरण" एक नंबर फील्ड (Number Field) (विशेष रूप से क्वाड्रेटिक फील्ड्स) है। मानक पूर्ण संख्याओं (whole numbers) के साथ काम करने के बजाय, हम "विस्तारित" संख्या संसारों में काम कर रहे हैं, जैसे कि अपने गणितीय टूलकिट में एक अभाज्य संख्या (prime number) के वर्गमूल को जोड़ना।

यहाँ ओमर अवसी (Ömer Avci) द्वारा की गई खोज का विवरण दिया गया है:

1. "नो-गो" ज़ोन (अस्तित्व और गैर-अस्तित्व)

कल्पना कीजिए कि आप एक लेगो (Lego) सेट बना रहे हैं। आपके पास कुछ विशेष टुकड़े हैं (टॉर्शन सबग्र経過 जैसे $Z/2Z \times Z/10Z$ )। आप मान सकते हैं कि यदि आपके पास पर्याप्त स्थान है, तो आप अंततः कुछ भी बना सकते हैं।

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

2. "अनंत संभावनाएँ" (सशर्त प्रमाण)

दूसरी ओर, उन्होंने इसके विपरीत भी देखा: हम कब इन विलक्षण आकारों की अनंत विविधता बना सकते हैं?

उन्होंने पाया कि अन्य विशिष्ट "जलवायु" में, आप वास्तव में इन कर्व्स की अनंत विविधता बना सकते हैं। हालाँकि, इसमें एक पेंच है: उन्हें एक "गणितीय पुल" का उपयोग करना पड़ा जिसे पैरिटी कंजेक्चर (Parity Conjecture) कहा जाता है।

उपमा: कल्पना कीजिए कि आप एक जंगल में एक निश्चित प्रकार के दुर्लभ पक्षी के अस्तित्व को सिद्ध करने की कोशिश कर रहे हैं। आप उन्हें सीधे नहीं देख सकते, लेकिन आप यह सिद्ध कर सकते हैं कि यदि हवा एक निश्चित दिशा में चलती है (पैरिटी कंजेक्चर), तो वे पक्षी अनंत संख्या में वहाँ अवश्य होंगे। अधिकांश गणितज्ञ मानते हैं कि हवा उसी दिशा में चलती है, इसलिए उनके परिणाम बहुत मजबूत माने जाते हैं।

3. "विस्तारित ब्रह्मांड" (कुमर एक्सटेंशन और $\mathbb{Z}_p$ -एक्सटेंशन)

यह शोध पत्र छोटे, सरल वातावरण तक ही सीमित नहीं है। यह बहुत बड़े, अधिक जटिल "ब्रह्मांडों" को देखता है जिन्हें कुमर एक्सटेंशन (Kummer extensions) और $\mathbb{Z}_p$ -एक्सटेंशन कहा जाता है।

इन्हें एक एकल कमरे से पूरे गैलेक्सी तक ज़ूम आउट करने के रूप में सोचें। जैसे-जैसे आपका गणितीय ब्रह्मांड बड़ा और अधिक जटिल होता जाता है, आप उम्मीद करेंगे कि संभावित पैटर्न की संख्या विस्फोट की तरह बढ़ेगी।

लेकिन अवसी ने कुछ आश्चर्यजनक खोजा: पैटर्न आश्चर्यजनक रूप से स्थिर रहते हैं। उन्होंने सिद्ध किया कि भले ही आप इन विशाल, अनंत गणितीय आकाशगंगाओं में विस्तार करें, कर्व्स के "लॉक" अक्सर बदलते नहीं हैं। वे बिल्कुल वैसे ही रहते हैं जैसे वे उस छोटे, सरल कमरे में थे। यह एक "वर्गीकरण" परिणाम है—यह हमें बताता है कि अनंत की विशालता में भी, खेल के नियम पूर्वानुमानित रहते हैं।

संक्षेप में

यह शोध पत्र एक गणितीय परिदृश्य का मानचित्र है। यह हमें बताता है:

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

तकनीकी सारांश: निर्धारित टॉर्शन सबग्रुप्स के साथ द्विघात क्षेत्रों (Quadratic Fields) पर परिमेय दीर्घवृत्तीय वक्रों (Rational Elliptic Curves) की उपस्थिति और गैर-उपस्थिति

लेखक: ओमर अवसी (Ömer Avci)
विषय क्षेत्र: अंकगणितीय ज्यामिति / संख्या सिद्धांत (दीर्घवृत्तीय वक्र)

1. समस्या

इस शोध पत्र में संबोधित केंद्रीय समस्या यह है कि विशिष्ट संख्या क्षेत्रों (विशेष रूप से द्विघात क्षेत्रों, साइक्लोटोमिक विस्तारों और $\mathbb{Z}_p$ -विस्तारों) पर देखे जाने पर $\mathbb{Q}$ पर परिभाषित दीर्घवृत्तीय वक्रों $E$ के लिए टॉर्शन सबग्रुप्स $E(K)_{\text{tors}}$ का वर्गीकरण क्या है।

जबकि माज़ूर का प्रमेय (Mazur’s Theorem) $E(\mathbb{Q})_{\text{tors}}$ के लिए एक पूर्ण वर्गीकरण प्रदान करता है, बड़े क्षेत्रों पर इन वक्रों का व्यवहार अधिक जटिल है। लेखक विशेष रूप से द्विघात क्षेत्र $K = \mathbb{Q}(\sqrt{-p})$ पर कुछ विशिष्ट टॉर्शन संरचनाओं—अर्थात $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$ और $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/12\mathbb{Z}$ —की "साध्यता" (realizability) की जांच करते हैं। यह शोध पत्र यह निर्धारित करने का प्रयास करता है कि किन अभाज्य संख्याओं $p$ के लिए ये समूह एक परिमेय दीर्घवृत्तीय वक्र के टॉर्शन सबग्रुप के रूप में प्रकट हो सकते हैं या नहीं।

2. कार्यप्रणाली

यह शोध पत्र शास्त्रीय बीजगणितीय संख्या सिद्धांत को आधुनिक गणनात्मक विधियों के संयोजन के माध्यम से एक बहु-आयामी दृष्टिकोण अपनाता है:

मॉड्यूलर वक्र और द्विघात ट्विस्ट (Modular Curves and Quadratic Twists): लेखक एक द्विघात क्षेत्र $K = \mathbb{Q}(\sqrt{d})$ पर टॉर्शन बिंदुओं की उपस्थिति को विशिष्ट मॉड्यूलर वक्रों, जैसे कि $X_1(2, 10)$ और $X_1(2, 12)$ पर $K$ -तार्किक बिंदुओं (K-rational points) की उपस्थिति से जोड़ते हैं। चूंकि ये वक्र जनस (genus) 1 के हैं, वे स्वयं दीर्घवृत्तीय वक्र हैं। इस प्रकार समस्या को इन मॉड्यूलर वक्रों के द्विघात ट्विस्ट के मॉर्डेल-वील रैंक (Mordell-Weil rank) के अध्ययन तक सीमित कर दिया गया है।
2-डिसेंट (2-Descent): इन ट्विस्ट के रैंक को निर्धारित करने के लिए, लेखक 2-डिसेंट की विधि (विशेष रूप से 2-आइसोजेनी के माध्यम से) का उपयोग करते हैं। इसमें सेलर समूह (Selmer group) के आकार को सीमित करने के लिए स्थानीय-से-वैश्विक समीकरणों (local-to-global equations) को हल करना शामिल है, जो बदले में रैंक पर सीमाएँ प्रदान करता है।
पैरिटी अनुमान (Parity Conjecture): उन मामलों के लिए जहाँ रैंक स्पष्ट रूप से शून्य नहीं है, लेखक पैरिटी अनुमान का उपयोग करते हैं (जो बीजगणितीय रैंक को $L$ -फलन के रूट नंबर से जोड़ता है), ताकि निर्धारित टॉर्शन के साथ अनंत वक्रों की उपस्थिति को सिद्ध किया जा सके, जो कि 2-प्राथमिक भाग के टेट-शफारेविच समूह ( $\text{Ш}$ ) की परिमितता पर आधारित है।
गैल्वा प्रतिनिधित्व और कुमर सिद्धांत (Galois Representations and Kummer Theory): अनंत विस्तारों (जैसे $\mathbb{Z}_p$ -विस्तार और कुमर विस्तार) तक परिणामों को विस्तारित करने के लिए, लेखक गैल्वा प्रतिनिधित्व $\rho_{E, \ell}$ के प्रतिबिंब का विश्लेषण करते हैं और वेइल पेयरिंग (Weil pairing) तथा साइक्लोटोमिक और $p$ -एडिक विस्तारों के गैल्वा समूहों की विशेषताओं का उपयोग करते हैं।

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

A. गैर-उपस्थिति परिणाम (टॉर्शन का उन्मूलन):
लेखक उन विशिष्ट अभाज्य संख्याओं $p$ की संयुग्मी श्रेणियों (congruence classes) की पहचान करते हैं जिनके लिए किसी भी $E/\mathbb{Q}$ के लिए कुछ टॉर्शन संरचनाएं असंभव हैं:

प्रमेय 1.2: यदि $p \equiv 3, 7 \pmod{20}$ , तो $E(\mathbb{Q}(\sqrt{-p}))_{\text{tors}} \not\cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$ ।
प्रमेय 1.3: यदि $p \equiv 11 \pmod{24}$ , तो $E(\mathbb{Q}(\sqrt{-p}))_{\text{tors}} \not\cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/12\mathbb{Z}$ ।
उपप्रमेय 1.4: यदि $p \equiv 83, 107 \pmod{120}$ , तो न तो $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$ और न ही $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/12\mathbb{Z}$ को साकार किया जा सकता है।

B. सशर्त उपस्थिति परिणाम:
लेखक अन्य अभाज्य परिवारों के लिए यह सिद्ध करते हैं कि यदि पैरिटी अनुमान सत्य है, तो ये टॉर्शन समूह बारंबार प्रकट होते हैं:

अनुमान 1.5 और 1.6 (सशर्त रूप से सिद्ध): $p \equiv 11, 19 \pmod{20}$ के लिए, अनंत $E/\mathbb{Q}$ हैं ताकि $E(\mathbb{Q}(\sqrt{-p}))_{\text{tors}} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$ हो। $\mathbb{Z}/12\mathbb{Z}$ के मामले के लिए भी इसी तरह का परिणाम दिया गया है।

C. अनंत एबेलियन क्षेत्रों तक विस्तार:
यह शोध पत्र बहुत बड़े क्षेत्रों पर टॉर्शन के वर्गीकरण को महत्वपूर्ण रूप से उन्नत करता है:

कुमर/साइक्लोटोमिक विस्तार: लेखक $E(\mathbb{Q}(\zeta_p)_{\text{tors}}$ और कुछ मेटाबेलियन विस्तारों $L$ के लिए $E(L)_{\text{tors}}$ के वर्गीकरण को परिष्कृत करते हैं, यह दिखाते हुए कि टॉर्शन अत्यधिक सीमित रहता है।
$\mathbb{Z}_p$ -विस्तार: एक प्रमुख परिणाम (प्रमेय 5.5) यह दर्शाता है कि एक काल्पनिक द्विघात क्षेत्र $K$ और एक अभाज्य $p > 5$ के लिए, सभी $\mathbb{Z}_p$ -विस्तारों के सम्मिश्रण ( $K_{\mathbb{Z}_p}$ ) पर टॉर्शन सबग्रुप आधार क्षेत्र $K$ के टॉर्शन से बड़ा नहीं है ( $E(K_{\mathbb{Z}_p})_{\text{tors}} = E(K)_{\text{tors}}$ )।

4. महत्व

यह शोध पत्र कई कारणों से महत्वपूर्ण है:

टॉर्शन वर्गीकरण का परिशोधन: यह निश्चित संख्या क्षेत्रों पर टॉर्शन के वर्गीकरण से आगे बढ़कर क्षेत्रों के अनंत टावरों पर टॉर्शन के अध्ययन की ओर बढ़ता है, जो कि एक बहुत अधिक कठिन क्षेत्र है।
स्थानीय और वैश्विक गुणों को जोड़ना: 2-डिसेंट और पैरिटी अनुमान का उपयोग करके, यह कार्य मॉड्यूलर वक्रों के अंकगणित (स्थानीय/रैंक गुण) को दीर्घवृत्तीय वक्रों के वैश्विक वर्गीकरण से जोड़ता है।
संगणनात्मक सत्यापन: रैंक को सत्यापित करने और विशिष्ट $j$ -इनवेरिएंट्स की पहचान करने के लिए SageMath का उपयोग व्यवस्थित रूप से सैद्धांतिक प्रमाणों के लिए एक मजबूत संगणनात्मक आधार प्रदान करता है।
सामान्यीकरण: $\mathbb{Z}_p$ -विस्तारों से संबंधित परिणाम इवासावा सिद्धांत (Iwasawa theory) में موردेल-वील समूहों के विकास का अध्ययन करने वाले शोधकर्ताओं के लिए एक शक्तिशाली उपकरण प्रदान करते हैं।