On the Image of the $p$-adic Logarithm on Annuli of Principal Units

तकनीकी सारांश: एन्युली (Annuli) के प्रिंसिपल यूनिट्स पर p-adic लघुगणक (Logarithm) के प्रतिबिंब पर

समस्या विवरण
यह शोध पत्र मुख्य इकाइयों (principal units) के समूह $1 + \mathfrak{m}_K$ के $p$-adic लघुगणक मानचित्र $\log_p$ के प्रतिबिंब के लक्षण वर्णन को संबोधित करता है, जहाँ $K$, $\mathbb{Q}_p$ का एक परिमित विस्तार (finite extension) है और $\mathfrak{m}_K$ इसका अधिकतम आदर्श (maximal ideal) है। यह सुस्थापित है कि $\log_p$, पर्याप्त बड़े $r$ के लिए (विशेष रूप से $r > e/(p-1)$, जहाँ $e$ रामिफिकेशन इंडेक्स है) $1 + \mathfrak{m}_K^r$ और $\mathfrak{m}_K^r$ के बीच एक आइसोमोर्फिज्म (isomorphism) प्रेरित करता है, लेकिन पूर्ण प्रिंसिपल यूनिट्स समूह पर $\log_p$ का सटीक स्वरूप अस्पष्ट रहता है जब रामिफिकेशन इंडेक्स बड़ा होता है। विशेष रूप से, यह मानचित्र पूर्ण समूह पर सामान्यतः एक आइसोमोर्फिज्म नहीं है। यह शोध पत्र साइक्लोटोमिक विस्तार $K = \mathbb{Q}_p(\zeta_p)$ के विशिष्ट मामले पर ध्यान केंद्रित करता है ताकि एनुलस क्षेत्र (annulus region) $(1 + \mathfrak{m}_K) \setminus (1 + \mathfrak{m}_K^2)$ के प्रतिबिंब के विवरण को हल किया जा सके।

कार्यप्रणाली (Methodology)
लेखक एक स्व-निहित विश्लेषणात्मक प्रमाण प्रदान करते हैं जो स्पष्ट $\pi$-adic विस्तारों पर आधारित है, और अन्य कार्यों के पूर्व परिणामों पर निर्भरता से बचता है। कार्यप्रणाली इस प्रकार है:

1. सामान्यीकरण और सेटअप: $p$-adic मान $v$ को इस प्रकार सामान्यीकृत किया गया है कि $v(p)=1$ हो। साइक्लोटोमिक विस्तार $K = \mathbb{Q}_p(\zeta_p)$ के लिए, एक यूनिफॉर्माइज़र (uniformizer) $\pi$ चुना गया है ताकि $\pi^{p-1} = -p$ हो। पूर्णांक रिंग को $\mathcal{O}_K = \mathbb{Z}_p[\pi]$ के रूप में पहचाना गया है।
2. हेन्स एक्सपेंशन (Hensel Expansion): $a \in 1 + \mathfrak{m}_K$ के तत्वों को $a = 1 + a_1\pi + a_2\pi^2 + \dots$ के रूप में विस्तारित किया जाता है, जहाँ गुणांक $a_i \in \{0, \dots, p-1\}$ में हैं। शर्त $a \in (1 + \mathfrak{m}_K) \setminus (1 + \mathfrak{m}_K^2)$ का अर्थ है $a_1 \neq 0$।
3. श्रृंखला विस्तार और न्यूनीकरण (Reduction): $x = a_1\pi + a_2\pi^2 + \dots$ के लिए $p$-adic लघुगणक $\log_p(1+x)$ का विस्तार किया जाता है। $\pi^p = -\pi$ (जो $\pi^{p-1}=-p$ से प्राप्त होता है) के संबंध का उपयोग करते हुए, श्रृंखला को पुनर्गठित किया जाता है। लेखक यह प्रदर्शित करते हैं कि रैखिक पद $(a_1 - a_1^p)\pi$, $\pi^2$ के मॉड्यूल $\pi^2$ शून्य हो जाता है क्योंकि $a_1 - a_1^p$, $p$ (और इस प्रकार $\pi^{p-1}$) द्वारा विभाज्य है, जो प्रभावी रूप से लघुगणक के अग्रणी पद (leading term) को $\pi^2$ घटक की ओर स्थानांतरित कर देता है।
4. सरजक्टिविटी (Surjectivity) निर्माण: यह सिद्ध करने के लिए कि प्रतिबिंब ठीक $\mathfrak{m}_K^2$ है, लेखक किसी भी $y \in \mathfrak{m}_K^2$ के लिए एक प्री-इमेज (preimage) का निर्माण करते हैं। इसमें प्री-इमेज $a(y)$ के गुणांकों $a_i$ का एक आगमनात्मक (inductive) निर्धारण शामिल है। निर्माण यह दर्शाता है कि दिए गए लक्ष्य $y$ के लिए, आवश्यक कॉंग्रुएंस शर्तों (quadratic residues modulo $p$ से संबंधित) को संतुष्ट करने वाले जोड़े $(a_1, a_2)$ के लिए ठीक $p-1$ विकल्प होते हैं, और बाद के गुणांक $a_i$ उच्च-क्रम की कॉंग्रुएंस को संतुष्ट करने के लिए अद्वितीय रूप से निर्धारित होते हैं।

मुख्य परिणाम

• प्रमेय 2.1: $p \geq 3$ और $K = \mathbb{Q}_p(\zeta_p)$ के लिए, एनुलस $(1 + \mathfrak{m}_K) \setminus (1 + \mathfrak{m}_K^2)$ का $p$-adic लघुगणक के अंतर्गत प्रतिबिंब ठीक $\mathfrak{m}_K^2$ है। यह दिखाया गया है कि मानचित्र $(p-1)$-से-1 ( $(p-1)$-to-1) है।
• प्रमेय 3.1: उपसमूह $\log_p(1 + \mathfrak{m}_K)$ का $\mathfrak{m}_K$ के भीतर इंडेक्स $p$ है। यह प्रमेय 2.1 के परिणाम को ज्ञात आइसोमोर्फिज्म $\log_p(1 + \mathfrak{m}_K^2) \cong \mathfrak{m}_K^2$ के साथ संयोजित करके प्राप्त किया गया है, जिससे यह निष्कर्ष निकलता है कि $\log_p(1 + \mathfrak{m}_K) = \mathfrak{m}_K^2$। चूंकि कोटिएंट $\mathfrak{m}_K / \mathfrak{m}_K^2$, अवशेष क्षेत्र (residue field) $\mathbb{F}_p$ के आइसोमोर्फिक है, इसलिए इंडेक्स $p$ है।

महत्व और अनुप्रयोग
शोध पत्र मुख्य रूप से अन्य साहित्य (संदर्भ [1] के रूप में उद्धृत) में स्थापित परिणाम का एक स्वतंत्र, स्पष्ट विश्लेषणात्मक प्रमाण प्रदान करने का दावा करता है। $\pi$-adic विस्तारों पर आधारित प्रमाण की स्पष्ट प्रकृति, अंकगणितीय गणनाओं के लिए मूल्यवान है।

लेखक $p$-adic रेगुलेटर्स (regulators) के लिए एक विशिष्ट अनुप्रयोग को रेखांकित करते हैं। $p$-adic रेगुलेटर को $p$-adic लघुगणक एम्बेडिंग के तहत यूनिट्स के प्रतिबिंब के को-वॉल्यूम (covolume) के रूप में परिभाषित किया जाता है। इंडेक्स $[\mathfrak{m}_{F_v} : \log_p(1 + \mathfrak{m}_{F_v})]$, वॉल्यूम के स्थानीय विरूपण (local distortion of volume) को दर्शाता है। शोध पत्र प्रदर्शित करता है कि उस मामले में जहाँ एक स्थानीय पूर्णता (local completion) $F_v$, $\mathbb{Q}_p(\zeta_p)$ के आइसोमोर्फिक है, यह इंडेक्स ठीक $p$ है। यह स्पष्ट निर्धारण सुनिश्चित करता है कि $p$-adic रेगुलेटर के योगदान को "पूरी तरह से नियंत्रित" किया जाता है और यह अवशेष क्षेत्र के आकार के अलावा कोई अस्पष्टता पेश नहीं करता है, जो इन रेगुलेटर्स के सामान्यीकरण के लिए महत्वपूर्ण है।

निष्कर्ष
यह शोध पत्र सफलतापूर्वक साइक्लोटोमिक विस्तार $\mathbb{Q}_p(\zeta_p)$ में प्रिंसिपल यूनिट्स के एक विशिष्ट एनुलस पर $p$-adic लघुगणक के प्रतिबिंब को अभिलक्षणित करता है, यह सिद्ध करते हुए कि यह अधिकतम आदर्श के वर्ग के साथ मेल खाता है। यह परिणाम लघुगणकीय प्रतिबिंब के इंडेक्स के सटीक गणना की अनुमति देता है, जो इवासावा सिद्धांत (Iwasawa theory) और संबंधित अंकगणितीय संदर्भों में गणनाओं के लिए एक ठोस उपकरण प्रदान करता है।