Lower bound for the canonical on Abelian varieties over totally $p$-adic extensions

तकनीकी सारांश: पूर्णतः $p$-adic विस्तारों पर एबेलियन रूपांतरों (Abelian Varieties) के कैनोनिकल हाइट के लिए निचला आलेख (Lower Bound)

समस्या विवरण
यह शोध पत्र संख्या क्षेत्रों (number fields) पर परिभाषित एबेलियन रूपांतरों पर गैर-टोरशन बिंदुओं (non-torsion points) के कैनोनिकल (नेरॉन–टेट) हाइट के लिए निरपेक्ष निचली सीमाओं (absolute lower bounds) को स्थापित करने की समस्या को संबोधित करता है, विशेष रूप से जब ये बिंदु अनंत बीजगणितीय विस्तारों (infinite algebraic extensions) में स्थित होते हैं। इसका मुख्य केंद्र बोगोमोलोव गुण (Bogomolov property) है, जो यह दावा करता है कि एक अनंत विस्तार $K$ में गैर-टोरशन बिंदुओं का सेट उनके हाइट का एक धनात्मक निचला आलेख रखता है:
$$\liminf_{P \in A(K) \setminus A_{\text{tor}}(K)} \hat{h}(P) > 0.$$
जबकि यह गुण पूर्णतः वास्तविक क्षेत्रों (totally real fields) (झांग), अधिकतम अबेलियन विस्तारों (maximal abelian extensions) (बेकर–सिल्वरमैन), और पूर्णतः विकृत मामले (totally degenerate case) में कुछ पूर्णतः $v$-adic क्षेत्रों (ग्लबर) के लिए ज्ञात है, उच्च-विमीय एबेलियन रूपांतरों के लिए अच्छे रिडक्शन (good reduction) वाले पूर्णतः $p$-adic विस्तारों के लिए एक सामान्य निचला आलेख एक खुला प्रश्न बना हुआ था। विशेष रूप से, लेखक ने अच्छे रिडक्शन वाले एबेलियन रूपांतरों के लिए पूर्णतः $p$-adic बिंदुओं के बोगोमोलोव गुण के संबंध में वी. दिमित्रोव द्वारा उठाए गए एक प्रश्न को संबोधित किया है।

कार्यप्रणाली (Methodology)
प्रमाण के लिए ट्रांसेंडेंटल नंबर थ्योरी की तकनीकों, विशेष रूप से सहायक फलन विधि (auxiliary function method) को शून्य अनुमान (zero estimates) के साथ जोड़कर एक ज्यामितीय अनुकूलन का उपयोग किया गया है। मुख्य रणनीति में निम्नलिखित चरण शामिल हैं:

1. सरल रूपांतरों में न्यूनीकरण (Reduction to Simple Varieties): पोइनकेरे के पूर्ण न्यूनीकरण प्रमेय (Poincaré's complete reducibility theorem) का उपयोग करते हुए, समस्या को इस मामले में न्यूनीकृत किया जाता है जहाँ एबेलियन रूपांतर $A$ ज्यामितीय रूप से सरल (geometrically simple) है और लाइन बंडल $L$ बहुत प्रचुर (very ample) है।
2. एक सहायक सेक्शन का निर्माण: लेखक सीगल के लेम्मा (Siegel's Lemma) का उपयोग करके वैश्विक सेक्शन $\Gamma(A \times A, M \otimes L)$ (जहाँ $M = L \boxtimes L$) के स्थान में एक गैर-शून्य सहायक सेक्शन $F$ का निर्माण करते हैं। यह सेक्शन इस तरह बनाया गया है कि यह एबेलियन रूपांतर के मूल (origin) पर उच्च क्रम $T_0$ तक शून्य हो। $F$ के गुणांकों को कम हाइट वाले होने के लिए चुना गया है।
3. हाइट अनुमान और लिउविल का असमिका (Liouville's Inequality): एक बिंदु $P \in A(K)$ के लिए, शोध पत्र $P$ पर $F$ और उसके डेरिवेटिव्स के मान का विश्लेषण करता है। यदि $P$ एक विशिष्ट मान $q$ के कई स्थानों (places) के मॉड्यूल (modulo) पहचान (identity) पर कम हो जाता है, तो डेरिवेटिव्स के स्थानीय मान छोटे होते हैं। इसके विपरीत, यदि $P$ की वैश्विक हाइट कम है, तो लिउविल की असमिका इन स्थानीय मानों के गुणनफल पर एक निचला आलेख प्रदान करती है।
4. शून्य अनुमान (फिलिपोन का प्रमेय): सहायक फलन $F$ को कम हाइट वाले बहुत अधिक बिंदुओं पर शून्य होने से रोकने के लिए, लेखक फिलिपोन के शून्य अनुमान (Philippon's zero estimate) को लागू करते हैं। यह प्रमेय एक उप-विविधता (subvariety) के अनुदिश एक निश्चित क्रम तक शून्य होने वाले सेक्शन के शून्यों की संख्या को सीमित करता है। महत्वपूर्ण रूप से, क्योंकि $A$ को सरल माना गया है, कोई भी उचित बीजगणिक उपसमूह (proper algebraic subgroup) त्रिव्यवहार (trivial) है, जो शून्य सेट को परिमित और नियंत्रित बनाता है।
5. पैरामीटर चयन: प्रमाण में मापदंडों का एक सूक्ष्म संतुलन शामिल है: सेक्शन की डिग्री $L$, शून्य का क्रम $T_0$, और पहले गैर-शून्य डेरिवेटिव का क्रम $T_f$। इन्हें एक विरोधाभास प्राप्त करने के लिए अनुकूलित किया जाता है यदि एक निश्चित सीमा से नीचे के बिंदुओं का सेट अनंत है।

मुख्य परिणाम
शोध पत्र निम्नलिखित मुख्य प्रमेय स्थापित करता है:

• प्रमेय 1.1 (पूर्णतः $p$-adic विस्तार): एक परिमित अभाज्य समुच्चय $\mathcal{P}$ मौजूद है ताकि किसी भी स्पर्शोन्मुखी धनात्मक विस्तार (asymptotically positive extension) $K/\mathbb{Q}$ के लिए जहाँ $p \notin \mathcal{P}$ के लिए $\psi_{p^f} > 0$ हो, कैनोनिकल हाइट इस प्रकार संतुष्ट होती है:
  $$\liminf_{P \in A(K)} \hat{h}(P) \geq C(A, K) \frac{\psi_{p^f} \log(p^f)}{(p^f)^{2g}}.$$
  यहाँ, $\psi_q$ विस्तार में मान $q$ वाले अभाज्य आदर्शों (prime ideals) के घनत्व को मापता है।

• उपप्रमेय 1.2 (अधिकतम पूर्णतः $p$-adic विस्तार): अधिकतम पूर्णतः $p$-adic विस्तार $\mathbb{Q}(p)$ के लिए, अधिकांश अभाज्य $p$ के लिए:
  $$\liminf_{P \in A(\mathbb{Q}(p))} \hat{h}(P) \geq C(A) \frac{\log p}{p^{2g}}.$$
  यह अच्छे रिडक्शन के मामले में $A(\mathbb{Q}(p))$ के लिए बोगोमोलोव गुण की पुष्टि करता है।

• प्रमेय 1.3 (सामान्य स्पर्शोन्मुखी धनात्मक विस्तार): एक सामान्य अनंत विस्तार $K/K$ के लिए जो स्पर्शोन्मुखी धनात्मक है, निचला आलेख सभी प्रासंगिक अभाज्य घातों का एक योग है:
  $$\liminf_{P \in A(K)} \hat{h}(P) \geq C'(A, K) \sum_{q=p^k, p \notin \mathcal{P}} \psi_q \frac{\log q}{q^{2g}}.$$

महत्व और दावे
शोध पत्र दावा करता है कि यह पहला उदाहरण प्रदान करता है जहाँ अच्छे रिडक्शन के मामले में एबेलियन रूपांतर के पूर्णतः $p$-adic बिंदुओं के लिए बोगोमोलोव गुण स्थापित किया गया है। ग्लबर के पिछले परिणामों ने पूर्णतः विकृत मामले को कवर किया था, और चैम्बर्ट-लॉयर के परिणामों ने केवल अच्छे रिडक्शन के मामले में एक ज़ारिस्की सघन खुला सेट (Zariski dense open subset) के लिए ही यह गुण स्थापित किया था।

लेखक इस बात पर जोर देते हैं कि यह परिणाम महत्वपूर्ण है क्योंकि:

1. यह वी. दिमित्रोव द्वारा उठाए गए एक विशिष्ट प्रश्न का उत्तर देता है।
2. यह बोगोमोलोव गुण की समझ को गैर-गेल (non-Galois) परिवेशों (स्पर्शोन्मुखी धनात्मक विस्तारों) में उच्च-विमीय एबेलियन रूपांतरों ($g > 1$) तक विस्तारित करता है।
3. यह एक स्पष्ट निचला आलेख प्रदान करता है जो विस्तार के स्थानीय व्यवहार (वाया $\psi_q$) और विविधता के आयाम पर निर्भर करता है, जो बाउंड में सभी स्थानों के योगदान को जोड़ता है।

यह कार्य स्पिरो-उलमो-झांग के मूलभूत समतुल्य वितरण (equidistribution) प्रमेयों और डेविड एवं हिंड्री की सहायक फलन तकनीकों पर आधारित है, जिन्हें विशेष रूप से पूर्णतः $p$-adic क्षेत्रों के विशिष्ट अंकगणितीय बाधाओं के लिए अनुकूलित किया गया है।