Ribet Points, geometric divisibility sequence and order of reductions on semiabelian varieties

तकनीकी सारांश: रिबेट बिंदु (Ribet Points), ज्यामितीय विभाज्यता अनुक्रम (Geometric Divisibility Sequences), और अर्ध-एबेलियन रूपांतरों (Semiabelian Varieties) पर न्यूनीकरण का क्रम

समस्या विवरण
यह शोध पत्र कम से कम दो आयाम वाले अपरिवर्तनीय कम्यूटेटिव बीजगणितीय समूहों (irreducible commutative algebraic groups) पर ज़ारिस्की-सघन बिंदुओं (Zariski-dense points) से जुड़े ज्यामितीय विभाज्यता अनुक्रमों के व्यवहार के संबंध में एक लंबे समय से खुले प्रश्न को संबोधित करता है। विशेष रूप से, यह सिल्वरमैन के अनुमान (Silverman's Conjecture) 1.2 की जांच करता है, जो यह प्रतिपादित करता है कि $\mathbb{Z}$ पर एक समूह योजना (group scheme) $G/\mathbb{Z}$ के लिए, जिसका जेनेरिक फाइबर $G_{\mathbb{Q}}$ बिना अनियूपेंट भाग (unipotent part) वाला $\ge 2$ आयाम का एक अपरिवर्तनीय कम्यूटेटिव बीजगणितीय समूह है, और एक बिंदु $P \in G(\mathbb{Z})$ के लिए जिसका ज़ारिस्की-सघन चक्रीय कक्ष (cyclic orbit) हो, तो समानता $D_{nP} = D_P$ (जहाँ $D_P$ हर आदर्श/denominator ideal है) अनंत रूप से कई धनात्मक पूर्णांकों $n$ के लिए सत्य होती है।

यह अनुमान सिल्वरमैन-चियोन-हान प्रमेय (Silverman–Cheon–Hahn Theorem, प्रमेय 1.1) के साथ तार्किक तनाव में खड़ा है, जो यह स्थापित करता है कि एलिप्टिक कर्व्स (आयाम 1) के लिए, प्रत्येक पर्याप्त बड़े पूर्णांक $n$ को किसी न किसी अभाज्य के लिए न्यूनीकरण के सटीक क्रम (exact order of reduction) के रूप में प्राप्त किया जा सकता है। जबकि आयाम-एक का मामला पूर्ण है, उच्च आयामों, विशेष रूप से अर्ध-एबेलियन रूपांतरों (semiabelian varieties) के लिए व्यवहार अज्ञात था। यह शोध पत्र यह निर्धारित करने का प्रयास करता है कि क्या उच्च-आयामी अर्ध-एबेलियन रूपांतरों के लिए सिल्वरमैन-चियोन-हान प्रमेय का अनुरूप सत्य है या फिर अनुमानित सटीक पुनरावृत्ति (exact recurrence) घटित होती है।

कार्यप्रणाली (Methodology)
लेखक संख्या क्षेत्रों (number fields) पर ज्यामितीय रूप से गैर-विभाजित (geometrically nonsplit) अर्ध-एबेलियन रूपांतरों के अनकंडीशनल (unconditional) उदाहरणों का निर्माण करते हैं जहाँ ज्यामितीय विभाज्यता अनुक्रम अपने प्रारंभिक मान पर अनंत बार लौटता है। कार्यप्रणाली एबेलियन रूपांतरों के विस्तार $\mathbb{G}_m$ द्वारा $1 \to \mathbb{G}_m \to G_q \to A \to 0$ पर रिबेट बिंदुओं (Ribet points) के अंकगणितीय गुणों पर आधारित है।

1. ज्यामितीय सेटअप: शोध पत्र एक विस्तार $q \in A^\vee(K)$ द्वारा प्रतिनिधित्व किए गए अर्ध-एबेलियन रूपांतर $G_q$ पर विचार करता है, जो $1 \to \mathbb{G}_m \to G_q \to A \to 0$ है।
2. रिबेट सेक्शन (Ribet Sections): सामान्यीकृत पोइनकेरे बायएक्सटेंशन (Poincaré biextension) का उपयोग करते हुए, लेखक एक होमोमोर्फिज्म $\beta: A^\vee \to A$ से संबद्ध एक रिबेट बिंदु $R_\beta(q) \in G_q(K)$ को परिभाषित करते हैं। इसका एंटी-सिमेट्रिक भाग $\delta = \beta - \hat{\beta}$ एक महत्वपूर्ण भूमिका निभाता है।
3. टोरशन ट्रांसलेशन (Torsion Translation): मुख्य निर्माण टॉरिक कर्नेल (toric kernel) में एक निश्चित टॉरशन बिंदु $t$ द्वारा रिबेट बिंदु का अनुवाद करना है: $P = R_\beta(q) + \iota(t)$।
4. अंकगणितीय प्रवर्धन (Arithmetic Amplification): एक प्रमुख तकनीकी लेम्मा (लेम्मा 3.3) यह प्रदर्शित करता है कि यदि रिबेट बिंदु का क्रम उसके प्रोजेक्शन के क्रम द्वारा द्विघात रूप से सीमित (quadratically bounded) है (जो वेइल पेयरिंग से प्राप्त एक गुण है), तो टॉरशन बिंदु द्वारा अनुवाद करने से परिणामी बिंदु $P$ के क्रम पर एक विशिष्ट विभाज्यता स्थिति लागू होती है।
5. स्थानीय-से-वैश्विक तर्क (Local-to-Global Argument): नेरॉन मॉडल (Néron models) पर डिनोमिनेटर आइडियल्स के गुणों को परिमित-समूह प्रवर्धन के साथ जोड़कर, लेखक यह सिद्ध करते हैं कि एक विशिष्ट पूर्णांक $N_{\delta, t}$ के लिए, लगभग सभी स्थानों (places) $v$ के लिए न्यूनीकरण क्रम $d_v(P)$, $N_{\delta, t}$ से विभाज्य होता है।
6. डिसेन्ट (Descent): $\mathbb{Q}$ पर उदाहरण प्राप्त करने के लिए, शोध पत्र एक क्वाड्रेटिक डिसेन्ट (quadratic descent) तकनीक (प्रमेय 4.3) का उपयोग करता है। इसमें एक द्विघाती क्षेत्र $L$ पर विस्तार का निर्माण शामिल है जहाँ आवश्यक एंटी-सिमेट्रिक एंडोमोर्फिज्म मौजूद हैं, और फिर एंडोमोर्फिज्म पर गैलवा एक्शन को नॉर्म-वन टॉरस के साइन कैरेक्टर के साथ युग्मित करके विस्तार और बिंदु को $\mathbb{Q}$ पर नीचे लाना (descend करना) शामिल है।

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

• अनकंडीशनल उदाहरण: शोध पत्र संख्या क्षेत्रों पर ज्यामितीय रूप से गैर-विभाजित अर्ध-एबेलियन रूपांतरों के पहले अनकंडीशनल उदाहरण प्रदान करता है जहाँ ज्यामितीय विभाज्यता अनुक्रम अनंत बार अपने प्रारंभिक मान पर लौटता है।
• प्रमेय 1.4 (सामान्य निर्माण): एक धनात्मक-आयामी एबेलियन रूपांतर $A$ के लिए, एक होमोमोर्फिज्म $\beta$ जिसके लिए $\delta = \beta - \hat{\beta}$ एक आइसोजेनी (isogeny) है, और एक टॉरशन बिंदु $t$ के लिए, बिंदु $P = R_\beta(q) + \iota(t)$ का यह गुण है कि एक विशिष्ट पूर्णांक $N_{\delta, t}$ लगभग सभी स्थानों के लिए न्यूनीकरण के क्रम $d_v(P)$ को विभाजित करता है। फलस्वरूप, यदि एक वर्गमुक्त पूर्णांक $Q$ के लिए $(n, Q) = 1$ है जो $N_{\delta, t}$ के रेडिकल द्वारा विभाज्य है, तो डिनोमिनेटर आइडियल $\mathfrak{d}_{\mathbb{N}}(nP) = \mathfrak{d}_{\mathbb{N}}(P)$ संतुष्ट होता है।
• प्रमेय 1.5 ( $\mathbb{Q}$ पर सतह): लेखक स्पष्ट रूप से एक ज्यामितीय रूप से गैर-विभाजित अर्ध-एबेलियन सतह $G_{surf}/\mathbb{Q}$ (एलिप्टिक कर्व $E: y^2 = x^3 - 2$ द्वारा $R^1_{L/\mathbb{Q}}\mathbb{G}_m$ का विस्तार, जहाँ $L=\mathbb{Q}(\sqrt{-3})$ है) और एक बिंदु $P_{surf} \in G_{surf}(\mathbb{Q})$ का निर्माण करते हैं जिसका ज़ारिस्की-सघन चक्रीय कक्ष है। इस बिंदु के लिए, अंतिम न्यूनीकरण भाजक (eventual reduction divisor) $U(P_{surf}) = 2$ है। इसका तात्पर्य यह है कि एक निश्चित पूर्णांक के सह-अभाज्य (coprime) सभी $n$ के लिए, $D_{nP_{surf}} = D_{P_{surf}}$ होता है।
• प्रमेय 4.9 ( $\mathbb{Q}$ पर थ्रीफोल्ड): एलिप्टिक कर्व $E: y^2 + y = x^3 + x^2 - 2x$ (कंडक्टर 389) का उपयोग करके $\mathbb{Q}$ पर एक ज्यामितीय रूप से गैर-विभाजित अर्ध-एबेलियन थ्रीफोल्ड का निर्माण किया गया है। परिणामी बिंदु $P$ के लिए $D_P = 1$ और $U(P) = 2$ है, जो थ्रीफोल्ड के लिए सिल्वरमैन के अनुमान की पुष्टि करता है।
• आयामी सामान्यता (Dimensional Generality): प्रमेय 4.16 इन परिणामों को स्प्लिट टॉरी के उत्पादों के माध्यम से प्रत्येक आयाम $d \ge 2$ के लिए $\mathbb{Q}$ पर विस्तारित करता है, जिससे यह दिखाया गया है कि यह घटना केवल निम्न आयामों तक सीमित नहीं है।
• घनत्व परिणाम (Density Results): शोध पत्र यह स्थापित करता है कि उन सूचकांकों $n$ का सेट जिनके लिए $D_{nP} = D_P$ है, उसका निचला प्राकृतिक घनत्व (lower natural density) कम से कम $1 - 1/N_{\delta, t}$ है। इसके विपरीत, सटीक न्यूनीकरण क्रमों (प्रिमिटिव डिवाइडर इंडेक्स) के सेट का ऊपरी घनत्व (upper density) अधिकतम $1/N_{\delta, t}$ है।

महत्व और दावे

शोध पत्र यह प्रदर्शित करता है कि अर्ध-एबेलियन रूपांतरों की श्रेणी में सिल्वरमैन-चियोन-हान प्रमेय का अनुरूप तीव्रता से विफल (fails sharply) होता है, जबकि साथ ही ऐसे स्पष्ट उदाहरणों का निर्माण करता है जहाँ सिल्वरमैन का अनुमान 1.2 सत्य होता है। विशेष रूप से:

1. सटीक क्रम प्राप्ति की विफलता: एलिप्टिक कर्व मामले के विपरीत, अर्ध-एबेलियन रूपांतरों पर घने बिंदुओं के ऐसे उदाहरण मौजूद हैं जहाँ सटीक न्यूनीकरण क्रमों का सेट विरल (sparse) है (घनत्व $\le 1/N$), जिसका अर्थ है कि कई पूर्णांक न्यूनीकरण के सटीक क्रम के रूप में कभी प्रकट नहीं होते।
2. विशिष्ट उदाहरणों के लिए सिल्वरमैन के अनुमान का सत्यापन: निर्मित बिंदु सिल्वरमैन के अनुमान 1.2 की शर्तों को पूरा करते हैं, जिससे सिद्ध होता है कि "सटीक वापसी" (exact return) की घटना ($D_{nP} = D_P$) अनंत बार (और वास्तव में, धनात्मक घनत्व वाले सूचकांकों के सेट के लिए) घटित होती है। शोध पत्र नोट करता है कि हालांकि संख्या क्षेत्रों पर इसकी पूर्ण व्यापकता में अनुमान खुला है, ये उदाहरण गैर-विभाजित अर्ध-एबेलियन रूपांतरों के लिए पहला अनकंडीशनल सत्यापन प्रदान करते हैं।
3. रिबेट बिंदुओं की भूमिका: यह कार्य रेखांकित करता है कि रिबेट सेक्शन (विशेष रूप से उनके टॉरशन-शिफ्टेड संस्करण) सभी बड़े $n$ के लिए प्रिमिटिव डिवाइडर्स के अस्तित्व में बाधा उत्पन्न करते हैं। यह स्प्लिट अर्ध-एबेलियन रूपांतरों (एबेलियन रूपांतर और टॉरी के उत्पाद) के विपरीत है, जहाँ पेरुका का प्रमेय बताता है कि कक्ष बंद (orbit closure) का घटक संख्या सार्वभौमिक भाजक को निर्धारित करती है, जो कनेक्टेड डेंस पॉइंट्स के लिए 1 होता है।
4. ज्यामितीय गैर-विभाजन (Geometric Nonsplitting): यह घटना आंतरिक रूप से ज्यामितीय रूप से गैर-विभाजित विस्तारों से जुड़ी है। शोध पत्र नोट करता है कि स्प्लिट उत्पादों के लिए, कक्ष बंद की घटक संख्या उस सार्वभौमिक भाजक के बराबर होती है जो लगभग हर न्यूनीकरण क्रम को विभाजित करता है, जो कि कनेक्टेड डेंस पॉइंट्स के लिए 1 है। गैर-विभाजित विस्तार की प्रकृति, रिबेट बिंदु की विशिष्ट अंकगणित के साथ मिलकर, यह अनुमति देती है कि $U(P)$ का मान 1 से अधिक (जैसे, $U(P)=2$) हो सके, भले ही कक्ष बंद कनेक्टेड हो।

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