🔢 mathematics

Uniform Bounds on S-Integral Torsion Points for $\mathbb{G}_m$ and Elliptic Curves

यह शोध पत्र सीमित डिग्री वाले संख्यात्मक क्षेत्रों (number fields) पर मल्टीप्लिकेटिव ग्रुप $\mathbb{G}_m$ और एलिप्टिक कर्व्स के लिए एक गैर-टॉर्शन बिंदु (non-torsion point) के सापेक्ष $S$ -इंटीग्रल टॉर्शन बिंदुओं की संख्या और डिग्री पर समान सीमाएँ (uniform bounds) स्थापित करता है।

मूल लेखक: Jit Wu Yap

प्रकाशित 2026-01-30

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

CC BY 4.0

मूल लेखक: Jit Wu Yap

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

कल्पना कीजिए कि आप एक जासूस हैं जो नंबर थ्योरी (संख्या सिद्धांत) के विशाल, अनंत शहर में एक रहस्य सुलझाने की कोशिश कर रहे हैं। इस शहर में, दो मुख्य प्रकार के "निवासी" हैं:

द टॉर्शन पॉइंट्स (The Torsion Points): ये "पूरी तरह से आवर्ती" (perfectly periodic) निवासी हैं। इन्हें घड़ी की सुइयों या 'रूट्स ऑफ यूनिटी' (वे संख्याएँ जो खुद से कई बार गुणा होने पर 1 पर वापस आती हैं) की तरह समझें। वे अनुमानित हैं, उनके चक्र सीमित हैं, और वे विशिष्ट, व्यवस्थित मोहल्लों में रहते हैं।
द नॉन-टॉर्शन पॉइंट्स (The Non-Torsion Points): ये "खानाबदोश" (wanderers) हैं। वे कभी भी अपने पैटर्न को दोहराते नहीं हैं। वे उस व्यक्ति की तरह हैं जो शहर में घूम रहा है और कभी भी ठीक उसी जगह पर वापस नहीं लौटता जहाँ से उसने शुरू किया था।

रहस्य:
यह शोधपत्र एक विशिष्ट नियम की जांच करता है कि कैसे ये दो प्रकार के निवासी आपस में क्रिया करते हैं। इस नियम को S-इंटीग्रैलिटी (S-Integrality) कहा जाता है।

इस शहर को कुछ "विशेष जिलों" (जिन्हें S कहा जाता है) के रूप में सोचें। ये एकमात्र स्थान हैं जहाँ "पूर्ण" निवासी (टॉर्शन पॉइंट्स) "खानाबदोशों" (नॉन-टॉर्शन पॉइंट्स) के बहुत करीब जाने की अनुमति पाते हैं। बाकी हर जगह, एक सख्त "सोशल डिस्टेंसिंग" (सामाजिक दूरी) का नियम लागू है: आवर्ती निवासियों को खानाबदोशों से दूर रहना होगा।

बड़ा सवाल जो लेखक, जित वू याप (Jit Wu Yap) पूछते हैं, वह यह है: कितने आवर्ती निवासी नियमों को तोड़कर किसी खानाबदोश के करीब आ सकते हैं?

मुख्य खोज: यूनिफॉर्म बाउंड्स (Uniform Bounds)

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

याप का शोधपत्र सिद्ध करता है कि हाँ, एक सार्वभौमिक सीमा मौजूद है।

सरल उपमाओं का उपयोग करके इसका विवरण यहाँ दिया गया है:

1. द "Gm" केस (संख्याओं का वृत्त)

कल्पना कीजिए कि आवर्ती निवासी एक पूर्ण वृत्त (जैसे रूट्स ऑफ यूनिटी) पर स्थित बिंदु हैं।

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

2. द एलिप्टिक कर्व केस (टेढ़े-मेढ़े डोनट्स)

अब, कल्पना कीजिए कि निवासी एक अधिक जटिल आकार पर रहते हैं जिसे एलिप्टिक कर्व (एक डोनट के आकार की कल्पना करें जो मुड़ और घूम सकता है) कहा जाता है।

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

उन्होंने इसे कैसे हल किया? (जासूस का टूलकिट)

याप ने केवल एक खानाबदोश को नहीं देखा; उन्होंने पूरी भीड़ को देखा। ऐसा करने के लिए, उन्होंने इक्विडिस्ट्रिब्यूशन (Equidistribution) नामक एक शक्तिशाली गणितीय उपकरण का उपयोग किया।

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

"लीनियर फॉर्म्स" का गुप्त हथियार

यह सिद्ध करने के लिए कि आवर्ती निवासी बहुत करीब नहीं जा सकते, याप ने लिनियर फॉर्म्स इन लोगारिदम (Linear Forms in Logarithms) नामक तकनीक का उपयोग किया।

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

परिणामों का सारांश

यूनिफॉर्मिटी (एकरूपता): "नियम तोड़ने वाले" आवर्ती बिंदुओं की संख्या सीमित (bounded) है। इससे कोई फर्क नहीं पड़ता कि आपके पास कितने खानाबदोश हैं या वे कितने जटिल हैं; एक सीमा है।
अपवाद: सबसे सामान्य मामलों के लिए, आपको कुछ छोटे अपवादों (प्रत्येक "जिले" या संख्या प्रणाली में प्रत्येक स्थान के लिए एक) की अनुमति देनी होगी। यदि आप इन कुछ अपवादों को छोड़ देते हैं, तो नियम पूरी तरह से लागू होता है।
वृद्धि (Growth): सीमा खानाबदोश की जटिलता के साथ बढ़ती है, लेकिन याप यह सिद्ध करते हैं कि यह ठीक उसी तरह बढ़ती है (मामले के आधार पर पॉलिनोमियल या एक्सपोनेंशियल रूप से), जिससे यह सिद्ध होता है कि यह सीमित रहती है।

संक्षेप में: यह शोधपत्र सिद्ध करता है कि संख्याओं की अराजक दुनिया में, "पूरी तरह से दोहराव वाले" नंबर "गैर-दोहराव वाले" नंबरों के बहुत करीब नहीं आ सकते। एक सार्वभौमिक सामाजिक दूरी का कानून मौजूद है, जिसमें केवल बहुत कम, अनुमानित अपवादों की अनुमति दी गई है।

तकनीकी सारांश: $G_m$ और एलिप्टिक कर्व्स के लिए S-इंटीग्रल टोरशन पॉइंट्स पर समान बाउंड्स (Uniform Bounds)

समस्या विवरण (Problem Statement)
यह शोध पत्र एक गैर-टोरशन बिंदु (non-torsion point) $\beta$ के सापेक्ष $S$ -इंटीग्रल टोरशन पॉइंट्स की संख्या और डिग्री पर समान बाउंड्स (uniform bounds) स्थापित करने की समस्या को संबोधित करता है। मान लीजिए कि $K$ एक नंबर फील्ड है और $S$ स्थानों (places) का एक परिमित सेट है जिसमें सभी आर्किमीडियन स्थान शामिल हैं। दो बिंदुओं $\alpha, \beta$ को एक-दूसरे के सापेक्ष $S$ -इंटीग्रल तब परिभाषित किया जाता है जब उनके $\mathbb{P}^1_{\mathcal{O}_K}$ में ज़ारिस्की क्लोजर (Zariski closures) $S$ के बाहर प्रतिच्छेद (intersect) नहीं करते हैं।

बेकर, इह और रुमेर [BIR08] (प्रमेय 1.1) का आधारभूत परिणाम यह स्थापित करता है कि एक निश्चित $\beta \in K^\times \setminus \mu_\infty$ के लिए, रूट्स ऑफ यूनिटी (roots of unity) $\zeta$ का सेट जो $\beta$ के सापेक्ष $S$ -इंटीग्रल है, परिमित है। यह शोध पत्र इसे समानता (uniformity) सिद्ध करके सुदृढ़ करने का प्रयास करता है: विशेष रूप से, क्या टोरशन पॉइंट्स के डिग्री या ऑर्डर पर बाउंड्स को $\beta$ के विशिष्ट चयन से स्वतंत्र बनाया जा सकता है, बशर्ते $\beta$ सीमित डिग्री वाले नंबर फील्ड्स पर परिवर्तित हो रहा हो।

कार्यप्रणाली (Methodology)
मुख्य कार्यप्रणाली टोरशन पॉइंट्स के गैलॉस ऑर्बिट्स (Galois orbits) के क्वांटिटेटिव इक्विडिस्ट्रिब्यूशन (quantitative equidistribution) पर आधारित है। प्रमाण की रणनीति निम्नलिखित है:

इक्विडिस्ट्रिब्यूशन फ्रेमवर्क्स (Equidistribution Frameworks):
- $G_m$ के लिए, शोध पत्र बेरकोविच प्रोजेक्टिव लाइन $\mathbb{P}^1_{\text{Berk}, v}$ और फ्लेवर-रिवेरा-लेटेलियर [FR06] के क्वांटिटेटिव इक्विडिस्ट्रिब्यूशन प्रमेयों का उपयोग करता है। यह बेस फील्ड के परिवर्तित होने पर इक्विलिब्रियम मेजर (equilibrium measure) (आर्किमीडियन स्थानों के लिए यूनिट सर्कल पर हाार मेजर और नॉन-आर्किमीडियन स्थानों के लिए गाउस पॉइंट पर डेल्टा मास) की ओर अभिसरण (convergence) की दर पर स्पष्ट नियंत्रण की अनुमति देता है।
- एलिप्टिक कर्व्स $E$ के लिए, यह पेपर बेकर-पेटशे [BP05] और पेटशे [Pet09] के परिणामों को अनुकूलित करता है। यह बेरकोविच एनालिटिफिकेशन $E^{\text{an}}_v$ पर कैनोनिकल मेजर (आर्किमीडियन के लिए हार मेजर और नॉन-आर्किमीडियन के लिए स्केलेटन मेजर) की ओर टोरशन ऑर्बिट्स के अभिसरण के लिए समरूप क्वांटिटेटिव अनुमानों का निर्माण करता है।
लॉग्स के लीनियर फॉर्म्स (Linear Forms in Logarithms):
"समानता" (uniformity) के पहलू को संभालने के लिए (एक बदलते हुए $\beta$ और टोरशन पॉइंट के बीच की दूरी को बांधने हेतु), शोध पत्र लॉग्स के लीनियर फॉर्म्स में निचले बाउंड्स का उपयोग करता है।
- $G_m$ के लिए, यह लॉरेंट, मिनिएटो और नेस्टरेनको [LMN95] के बाउंड्स का उपयोग करता है।
- एलिप्टिक कर्व्स के लिए, यह सामान्य मामले के लिए डेविड-हिराटा-कोनो [DH09] और कॉम्प्लेक्स मल्टीप्लिकेशन (CM) मामले के लिए एब्ली-गौड्रोन [AG03] के परिणामों का उपयोग करता है।
- एक महत्वपूर्ण तकनीकी चरण $\lambda_v(x - \beta)$ (लोकल हाइट) को गैलॉस ऑर्बिट के आकार $|F|$ और $\beta$ की हाइट $h(\beta)$ के संदर्भ में बांधना है। शोध पत्र नोट करता है कि सामान्य एलिप्टिक कर्व बाउंड्स में एक अतिरिक्त कारक $\log^+ h(\beta)$ होता है, जो एक प्रत्यक्ष समान बाउंड (direct uniform bound) में बाधा डालता है, जिससे कुछ अपवादों (exceptions) को स्वीकार करना आवश्यक हो जाता है।
डिस्क्रीटनेस तर्क (Discreteness Arguments):
नॉन-आर्किमीडियन स्थानों के लिए, शोध पत्र रेसिड्यू क्लासेस (residue classes) में टोरशन पॉइंट्स की विविक्तता (discreteness) का लाभ उठाता है। यह दिखाता है कि एक निश्चित $\beta$ के लिए, केवल एक सीमित संख्या में टोरशन पॉइंट्स ही $v$ -एडिक मेट्रिक में $\beta$ के "बहुत करीब" हो सकते हैं, जिससे लेखक एक बहुपद बाउंड (polynomial bounds) प्राप्त करने के लिए अपवादों के एक छोटे सेट को बाहर निकालने में सक्षम होते हैं।

प्रमुख योगदान और परिणाम (Key Contributions and Results)

1. मल्टीप्लिकेटिव ग्रुप ( $G_m$ ) के लिए:

प्रमेय 1.2: एक रूट ऑफ यूनिटी $\zeta$ की डिग्री पर एक समान बाउंड स्थापित करता है जो एक गैर-टोरशन बिंदु $\beta$ के सापेक्ष $S$ -इंटीग्रल है, जहाँ $\beta$ डिग्री $\le D$ वाले नंबर फील्ड्स पर परिवर्तित होता है। विशेष रूप से, एक स्थिरांक $C = C([K:\mathbb{Q}], S)$ मौजूद है ताकि $\deg_{\mathbb{Q}}(\zeta) < C$ हो।
प्रमेय 1.3: एक मजबूत परिणाम प्रदान करता है जो सीमित संख्या में अपवादों की अनुमति देता है। किसी भी $\beta$ के लिए, उच्च डिग्री वाले $S$ -इंटीग्रल रूट्स ऑफ यूनिटी का सेट, जो $|S|$ और $[K:\mathbb{Q}]$ में बहुपद बाउंड (polynomial bound) से अधिक है, अधिकतम $|S_{\text{fin}}|$ गैलॉस ऑर्बिट्स का समूह है। बाउंड फील्ड की डिग्री के साथ बहुपद रूप से बढ़ता है, हालांकि सामान्य प्रमाण एक एक्सपोनेंशियल बाउंड देता है; बहुपद बाउंड अपवादों की अनुमति देकर प्राप्त किया जाता है।

2. एलिप्टिक कर्व्स ( $E$ ) के लिए:

प्रमेय 1.4 (CM केस): कॉम्प्लेक्स मल्टीप्लिकेशन (CM) वाले एलिप्टिक कर्व के लिए, शोध पत्र एक गैर-टोरशन $\beta$ के सापेक्ष $S$ -इंटीग्रल टोरशन पॉइंट $z$ की डिग्री पर एक समान बाउंड सिद्ध करता है। CM धारणा यहाँ महत्वपूर्ण है क्योंकि यह एलिप्टिक लॉग्स में $\log^+ h(\beta)$ कारक को हटाने की अनुमति देती है, जिससे बिना अपवादों के परिणाम प्राप्त होता है।
प्रमेय 1.5 (सामान्य मामला): एक सेमीस्टेबल एलिप्टिक कर्व $E$ (बिना CM धारणा के) के लिए, शोध पत्र एक समान बाउंड सिद्ध करता है जो सीमित संख्या में गैलॉस ऑर्बिट्स के लिए मान्य है। विशेष रूप से, $|S|^3 [L:K]^{11}$ के बाउंड से अधिक डिग्री वाले $S$ -इंटीग्रल टोरशन पॉइंट्स का सेट अधिकतम $|S|$ गैलॉस ऑर्बिट्स का संघ (union) है। अपवाद इसलिए उत्पन्न होते हैं क्योंकि एलिप्टिक लॉग्स में लीनियर फॉर्म्स के सामान्य बाउंड्स में $\log^+ h(\beta)$ कारक शामिल होता है, और आर्किमीडियन अनुमान सभी अपवादों को खारिज करने के लिए पर्याप्त मजबूत नहीं हैं।

महत्व और दावे (Significance and Claims)
शोध पत्र बेकर, इह और रुमेर [BIR08] के फाइनाइटनेस परिणामों को समानता (uniformity) के क्षेत्र में विस्तारित करने का दावा करता है। जबकि [BIR08] ने एक निश्चित $\beta$ के लिए फाइनाइटनेस सिद्ध की थी, यह कार्य यह प्रदर्शित करता है कि टोरशन पॉइंट्स पर बाउंड्स $\beta$ के स्वयं के अंकगणितीय गुणों के बजाय, उसमें समाहित फील्ड की डिग्री और सेट $S$ पर निर्भर करते हैं।

लेखक नोट करते हैं कि $G_m$ के लिए उनका प्रमाण (प्रमेय 1.2) $[K:\mathbb{Q}]$ की डिग्री के साथ एक्सपोनेंशियल रूप से बढ़ने वाला एक ऊपरी बाउंड प्रदान करता है, जबकि बॉयड (Boyd) के निर्माणों के आधार पर एक बहुपद वृद्धि (polynomial growth) अपेक्षित है। वे स्पष्ट करते हैं कि एक बहुपद बाउंड (प्रमेय 1.3) तभी प्राप्त किया जा सकता है जब एक सीमित, स्पष्ट रूप से बंधे हुए अपवादों के गैलॉस ऑर्बिट्स की अनुमति दी जाए।

एलिप्टिक कर्व्स के लिए, शोध पत्र प्रमेय 1.4 के लिए कॉम्प्लेक्स मल्टीप्लिकेशन (CM) की तकनीकी आवश्यकता पर प्रकाश डालता है, जिसका कारण नॉन-CM कर्व्स के लिए एलिप्टिक लॉग्स में लीनियर फॉर्म्स की वर्तमान सीमाएं हैं। सामान्य एलिप्टिक कर्व्स के लिए उनके परिणाम (प्रमेय 1.5) वर्तमान ज्ञान के तहत सर्वोत्तम संभव समान बाउंड के रूप में प्रस्तुत किए गए हैं, जिनमें डायोफेंटाइन एप्रोक्सिमेशन थ्योरम्स में अंतर्निहित लॉगरिदमिक हाइट कारकों को दूर करने के लिए सीमित संख्या में ऑर्बिट्स को बाहर निकालना आवश्यक है।

शोध पत्र इन परिणामों को इह के उस अनुमान (Conjecture) के व्यापक संदर्भ में रखते हुए समाप्त करता है जो रेशनल मैप्स के लिए $S$ -इंटीग्रल प्रीपीरियडिक पॉइंट्स की फाइनाइटनेस से संबंधित है, और यह सुझाव देता है कि यहाँ विकसित विधियों को ड्रिंकल्ड मॉड्यूल (Drinfeld modules) तक विस्तारित किया जा सकता है और संभावित रूप से सामान्य अनुमान तक भी।