A positive density of elliptic curves are diophantine stable in certain Galois extensions

तकनीकी सारांश: कुछ गैलुआ विस्तारों (Galois extensions) में दीर्घगणितीय स्थिरता (Diophantine stability) के लिए दीर्घवृत्त वक्रों (Elliptic curves) का एक धनात्मक घनत्व (Positive density) है

समस्या विवरण
यह शोध पत्र दीर्घवृत्त वक्रों (elliptic curves) की 'दीर्घगणितीय स्थिरता' (diophantine stability) की समस्या को संबोधित करता है। माज़ुर और रुबिन [MR18] द्वारा दी गई परिभाषा के अनुसार, $\mathbb{Q}$ पर परिभाषित एक दीर्घवृत्त वक्र $E$ एक संख्या क्षेत्र विस्तार $L/\mathbb{Q}$ में दीर्घगणितीय रूप से स्थिर है यदि स्वाभाविक समावेशन (natural inclusion) एक समानता $E(L) = E(\mathbb{Q})$ को प्रेरित करता है। जबकि पिछले कार्यों (जैसे, [MR18]) ने यह स्थापित किया कि एक निश्चित दीर्घवृत्त वक्र के लिए, ऐसे अनंत चक्रीय विस्तार (cyclic extensions) मौजूद हैं जहाँ वक्र दीर्घगणितीय रूप से स्थिर होता है, यह शोध पत्र इस परिप्रेक्ष्य को उलट देता है। लेखक एक विशिष्ट चक्रीय $p$-विस्तार $L/\mathbb{Q}$ (जहाँ $p \in \{3, 5\}$) को निश्चित करते हैं और ऊंचाई (height) के क्रम में दीर्घवृत्त वल्करों $E/\mathbb{Q}$ के घनत्व की जांच करते हैं जो इस निश्चित विस्तार में दीर्घगणितीय रूप से स्थिर हैं। विशेष रूप से, वे ऐसे वक्रों के अस्तित्व को सिद्ध करने का प्रयास करते हैं जहाँ $E(L) = E(\mathbb{Q}) = 0$ हो।

कार्यप्रणाली (Methodology)
लेखक गैलुआ कोहोमोलॉजी (Galois cohomology), अंकगणितीय सांख्यिकी (arithmetic statistics), और सीव सिद्धांत (sieve theory) के संयोजन का उपयोग करते हैं। कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

1. सेल्मर समूहों की कोहोमोलॉजिकल स्थिरता (Cohomological Stability of Selmer Groups):
   लेखक उन स्थितियों को स्थापित करते हैं जिनके तहत एक दीर्घवृत्त वक्र का $p$-सेल्मर समूह $\mathbb{Q}$ से $L$ में आधार परिवर्तन (base change) होने पर भी त्रिविून्य (trivial) बना रहता है। चेस्नाविशियस [Č17] और ब्रौ [Bra14] के तर्कों पर आधारित, वे सेल्मर समूहों $S_p(E/\mathbb{Q}) \to S_p(E/L)^G$ के बीच प्रतिबंध मानचित्र (restriction map) का विश्लेषण करते हैं। वे सिद्ध करते हैं कि यदि $S_p(E/\mathbb{Q}) = 0$ है और $p$ को विभाजित करने वाले अभाज्य तथा $L$ में रामिफाइड (ramified) अभाज्य पर विशिष्ट स्थानीय स्थितियाँ पूरी होती हैं, तो $S_p(E/L) = 0$ होगा। यह दर्शाता है कि $E(L)$ की रैंक 0 है और $p$-टॉर्शन (torsion) त्रिविून्य है।

2. अंकगणितीय सांख्यिकी और घनत्व सूत्रीकरण (Arithmetic Statistics and Density Formulation):
   वल्करों की गणना करने के लिए, लेखक भार्गव और शंकर [BS15a, BS15b, BS13] के ढांचे का उपयोग करते हैं, जो ज्यामिति (geometry of numbers) के माध्यम से $p$-सेल्मर समूहों के औसत आकार को जोड़ता है। वे दीर्घवृत्त वल्करों की एक "बड़ी श्रेणी" $F$ को स्थानीय सर्वांगसमता स्थितियों (वेयर्सट्रॉस समीकरण के गुणांकों $A$ और $B$ पर सर्वांगसमता स्थितियाँ) द्वारा परिभाषित करते हैं।

• वे टॉर्शन सबग्रुप (torsion subgroup) को यह दिखाकर नियंत्रित करते हैं कि घनत्व 1 के सेट के लिए, $E(L)_{\text{tors}} = 0$ है, जो सेरे के ओपन इमेज थ्योरम (Serre's Open Image Theorem) और अपवादजनक अभाज्य (exceptional primes) के संबंध में ड्यूक के परिणाम [Duk97] पर निर्भर करता है।
• वे रूट नंबर $\omega(E) = +1$ के लिए ठीक 50% वल्करों के निर्माण द्वारा रैंक को नियंत्रित करते हैं। प्रमेय 3.11 (भार्गव-शंकर से व्युत्पन्न) के माध्यम से, यह सुनिश्चित होता है कि इस श्रेणी के वल्करों का एक सकारात्मक अनुपात $S_p(E/\mathbb{Q}) = 0$ रखता है।

3. सीव थ्योरेटिक तर्क (Sieve Theoretic Arguments):
   लेखक दीर्घवृत्त वल्करों की एक विशिष्ट श्रेणी $\mathcal{E}$ को परिभाषित करते हैं जो $L$ में रामिफाइड होने वाले अभाज्य (जिन्हें $\mathcal{Z}$ कहा गया है) और 2 तथा $p$ पर स्थानीय सर्वांगसमता स्थितियों को पूरा करती है। ये स्थितियाँ सुनिश्चित करती हैं:

• $p$ और सभी $\ell \in \mathcal{Z}$ पर सुचारू न्यूनीकरण (good reduction)।
• $\ell \in \mathcal{Z}$ के लिए अवशेष क्षेत्रों (residue fields) $\mathbb{F}_\ell$ पर $E$ और इसके द्विघाती ट्विस्ट (quadratic twist) $E^{-1}$ दोनों के लिए त्रिविून्य $p$-टॉर्शन।
• रूट नंबरों को नियंत्रित करने के लिए 2 पर विशिष्ट न्यूनीकरण प्रकार (additive reduction)।
  लेम्मा 4.6 और टिप्पणी 4.7 में सत्यापित सैगेमैथ (Sagemath) कोड के माध्यम से स्पष्ट गणनाओं का उपयोग करते हुए, वे यह प्रदर्शित करते हैं कि रामिफाइड अभाज्य पर स्थानीय स्थितियाँ पर्याप्त बड़े अभाज्य (विशेष रूप से $p=5$ के लिए $\ell \ge 5779$ और $p=3$ के लिए $\ell \ge 233$) के लिए संतुष्ट की जा सकती हैं। वे फिर एक सीव तर्क (प्रस्ताव 4.8) लागू करते हैं ताकि यह दिखाया जा सके कि इन स्थानीय स्थितियों का प्रतिच्छेदन एक गणनीय धनात्मक निचली घनत्व (positive lower density) वाली श्रेणी प्रदान करता है।

प्रमुख योगदान और परिणाम
प्राथमिक परिणाम प्रमेय 3.8 है, जो कहता है:
मान लीजिए $p \in \{3, 5\}$ और $L/\mathbb{Q}$ एक गैलुआ विस्तार है जहाँ $\text{Gal}(L/\mathbb{Q}) \simeq \mathbb{Z}/p\mathbb{Z}$। यदि:

1. $p \notin \mathcal{Z}$ और 2, $L$ में पूर्णतः विभाजित (splits completely) होता है;
2. सभी $\ell \in \mathcal{Z}$ के लिए, $\mathbb{F}_\ell$ पर वक्र और उसके द्विघाती ट्विस्ट $-1$दोनों के लिए त्रिविून्य$p$-टॉर्शन वाला एक दीर्घवृत्त वक्र मौजूद है;

तो दीर्घवृत्त वल्करों $E/\mathbb{Q}$ का एक धनात्मक घनत्व मौजूद है ताकि $E(L) = E(\mathbb{Q}) = 0$ हो।

शोध पत्र इस घनत्व के लिए एक स्पष्ट निचली सीमा (explicit lower bound) प्रदान करता है, जो इस गुणनफल द्वारा दी गई है:
$$\eta_p \prod_{\ell} \delta_\ell$$
जहाँ $\eta_p$, $p=3$ के लिए $1/4$ और $p=5$ के लिए $3/8$ है, और $\delta_\ell$ न्यूनीकरण प्रकार और रामिफिकेशन पर निर्भर स्थानीय कारक हैं। उदाहरण के लिए, जहाँ $p=3$ और $L$, $\mathbb{Q}(\mu_{31})$ का क्यूबिक उपक्षेत्र है, लेखक $\mathbb{F}_{31}$ पर वैध वल्करों की गणना से प्राप्त $585/961$ वाले पद सहित एक विशिष्ट निचली सीमा की गणना करते हैं।

महत्व और दावे
लेखक इस कार्य को दीर्घगणितीय स्थिरता के अध्ययन में एक "नई दिशा" के रूप में देखते हैं। जबकि पिछला साहित्य एक निश्चित वक्र के लिए बदलते हुए क्षेत्र विस्तार पर केंद्रित था, यह शोध पत्र विस्तार को निश्चित करता है और वक्र को बदलता है। इसका महत्व निम्नलिखित में निहित है:

• मात्रात्मक स्थिरता (Quantitative Stability): केवल अस्तित्व के प्रमाणों से आगे बढ़कर यह स्थापित करना कि दीर्घगणितीय स्थिरता एक दुर्लभ घटना नहीं है, बल्कि विशिष्ट गैलुआ विस्तारों में यह धनात्मक घनत्व के साथ घटित होती है।
• स्पष्ट सीमाएँ (Explicit Bounds): इस घनत्व के लिए एक प्रभावी, गणनीय निचली सीमा प्रदान करना, जो विस्तार $L$ के स्थानीय अपरिवर्तों (local invariants) पर निर्भर करती है।
• पद्धतिगत संश्लेषण (Methodological Synthesis): रैंक स्थिरता के कोहोमोलॉजिकल मानदंडों (प्रस्ताव 2.7) को वल्करों को गिनने के लिए भार्गव और शंकर की सांख्यिकीय मशीनरी के साथ सफलतापूर्वक एकीकृत करना।

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