🔢 mathematics

Counting odd genus $2$ curves with a marked rational $3$-torsion point

यह शोध पत्र उन जनस (genus) 2 वक्रों की अनंतस्पर्शी गणना (asymptotic count) स्थापित करता है, जो नैव हाइट (naive height) द्वारा क्रमबद्ध हैं, जिनमें विषम घात का एक मोनिक वेइरस्ट्रॉस मॉडल (monic Weierstrass model) और एक चिह्नित परिमेय 3-टॉर्शन बिंदु वाला जैकोबियन (Jacobian) होता है।

मूल लेखक: Elvira Lupoian, Lazar Radicevic

प्रकाशित 2026-07-13

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

CC BY 4.0

मूल लेखक: Elvira Lupoian, Lazar Radicevic

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

कल्पना कीजिए कि आप एक जासूस हैं जो एक बहुत ही विशिष्ट प्रकार के अदृश्य खजाने को गिनने की कोशिश कर रहे हैं: जीनस 2 कर्व्स (genus 2 curves)। गणित की दुनिया में, ये एक विशेष प्रकार के समीकरणों द्वारा परिभाषित फैंसी, लहरदार आकृतियाँ हैं। लेकिन हम केवल किसी भी आकृति को नहीं गिन रहे हैं; हम उन्हें खोज रहे हैं जिनके पास दो विशेष "सुपरपावर" हैं:

उन्हें एक विशिष्ट प्रकार के समीकरण ("मोनिक वीयरस्ट्रॉस मॉडल ऑफ ऑड डिग्री") से बनाया जाना चाहिए।
उनके छिपे हुए "जैकबियन" (कर्व से जुड़ी एक जटिल गणितीय मशीन) के पास एक विशिष्ट, चिह्नित "3-टॉर्शन पॉइंट" होना चाहिए। इस बिंदु को एक गुप्त हाथ मिलाने (secret handshake) के रूप में सोचें जो शून्य पर लौटने से पहले ठीक तीन बार दोहराता है।

एल्विरा लुपोइयन और लाज़ार रेडिसेविक (Elvira Lupoian and Lazar Radičević) यह जानना चाहते थे कि: यदि हम इन सभी विशेष कर्व्स को देखें, तो जैसे-जैसे हम बड़े होते जाते हैं, वे कितने होते हैं?

द ग्रेट काउंटिंग मशीन (The Great Counting Machine)

इस उत्तर को खोजने के लिए, लेखकों को एक विशाल, कस्टम-मेड गिनती करने वाली मशीन बनानी पड़ी। आमतौर पर, इन आकृतियों को गिनना समुद्र तट पर रेत के कणों को गिनने जैसा है जहाँ कणों का आकार और रूप बदलता रहता है। यह बहुत अव्यवful है।

लेकिन लेखकों ने एक चतुर तरकीब खोजी। उन्होंने इन सभी विशेष कर्व्स को चार संख्याओं के एक सेट में बदलने का तरीका खोजा, जिन्हें उन्होंने A, B, J, और E कहा। यह ऐसा है जैसे यह महसूस करना कि हर अद्वितीय स्नोफ्लेक (हिमपात का कण) को केवल चार विशिष्ट मापों द्वारा वर्णित किया जा सकता है।

उन्होंने इन चार संख्याओं को रखने के लिए एक विशाल, अदृश्य बॉक्स (गणितज्ञ इसे "वेटेड प्रोजेक्टिव स्पेस" कहते हैं) बनाया। बॉक्स का आकार X नामक एक संख्या द्वारा नियंत्रित होता है, जो एक आवर्धक लेंस (magnifying glass) की तरह कार्य करता है। जैसे-जैसे आप X के डायल को घुमाकर बॉक्स को बड़ा करते हैं, आप इन चार-संख्याओं के सेटों को अधिक मात्रा में अंदर फिट कर सकते हैं।

बड़ी खोज (The Big Discovery)

पेपर का मुख्य निष्कर्ष यह है कि जैसे-जैसे X बहुत बड़ा होता जाता है, बॉक्स में कितने कर्व्स फिट होते हैं, इसकी एक सटीक भविष्यवाणी क्या है।

लेखकों ने सिद्ध किया कि इन कर्व्स की संख्या, जिसे वे #Wmark(X) कहते हैं, X¹⁰ की दर से बढ़ती है।

जी हाँ: X की घात 10 (X to the power of 10)।

यदि आप अपने आवर्धक लेंस (X) के आकार को दोगुना करते हैं, तो कर्व्स की संख्या केवल दोगुनी नहीं होती; यह एक कारक 1,024 (चूंकि $2^{10} = 1024$ ) से विस्फोट करती है। उनके द्वारा पाया गया फॉर्मूला है:
#Wmark(X) = cX¹⁰ + o(X¹⁰)

यहाँ, c एक विशिष्ट, धनात्मक संख्या है जिसे लेखकों ने कैलकुलेट किया है। यह उनके विशेष बॉक्स के वॉल्यूम और कुछ "लोकल डेंसिटी" कारकों (जैसे 2 और 3 जैसे विशिष्ट अभाज्य संख्याओं पर संख्याओं की भीड़ कितनी है) से मिलकर बना है। o(X¹⁰) शब्द एक गणितीय तरीका है यह कहने का कि "एक छोटा, नगण्य बचा हुआ हिस्सा जो संख्याओं के बहुत बड़े होने पर गायब हो जाता है।"

उन्होंने क्या खारिज किया (What They Ruled Out)

लेखक इस बात को लेकर बहुत सावधान थे कि उनकी विधि क्या नहीं करती है।

उन्होंने स्पष्ट रूप से इस विचार को खारिज कर दिया कि यह केवल एक अनुमान या सिमुलेशन है। उन्होंने केवल कुछ उदाहरणों को गिनकर पैटर्न का अनुमान लगाने के लिए कोई कंप्यूटर प्रोग्राम नहीं चलाया। उन्होंने गहन ज्यामिति और संख्या सिद्धांत का उपयोग करके इस फॉर्मूले को सिद्ध (proved) किया।
उन्होंने यह भी स्पष्ट किया कि यह गणना एक चिह्नित (marked) बिंदु वाले कर्व्स के लिए है। यदि आप चिह्न भूल जाते हैं और केवल कर्व्स को गिनते हैं, तो संख्या लगभग आधी रह जाती है (क्योंकि बिंदु और उसका "नेगेटिव" जुड़वां, बिना लेबल के एक जैसे दिखते हैं)।
उन्होंने उल्लेख किया कि 3-टॉर्शन पॉइंट्स का एक बड़ा समूह (विशेष रूप से क्रम 9 का समूह) वाला कर्व्स इतने दुर्लभ हैं कि वे इस गणना में लगभग अदृश्य हैं—वे एक "थिन सबसेट" (thin subset) हैं जो मुख्य फॉर्मूले को नहीं बदलते हैं।

वे कितने आश्वस्त हैं? (How Sure Are They?)

लेखक उत्तर के आकार के बारे में 100% आश्वस्त हैं। उन्होंने यह नहीं कहा कि "यह दिखता है" या "हमें लगता है।" उन्होंने सिद्ध किया कि कर्व्स की संख्या बिल्कुल cX¹⁰ पैटर्न का पालन करती है।

उन्होंने यह भी स्वीकार किया कि c के सटीक मान की गणना करना थोड़ा कठिन काम है। इसमें बहुत अधिक मेहनत शामिल है (उन्होंने गणित करने के लिए MAGMA नामक एक प्रोग्राम का उपयोग किया) ताकि उनके बॉक्स के सटीक वॉल्यूम और संख्याओं के घनत्व को समझा जा सके। हालांकि उन्होंने c के लिए फॉर्मूला दिया है, लेकिन अंतिम दशमलव संख्या को क्रंच करना "थकाऊ" (tedious) बताया गया है, लेकिन उस संख्या का अस्तित्व और X¹⁰ विकास दर ठोस, सिद्ध तथ्य हैं।

"क्यों यह महत्वपूर्ण है" (बिना जेरगन के)

इन अदृश्य, लहरदार आकृतियों को गिनने के लिए वे इतना समय क्यों खर्च कर रहे हैं?
लेखक समझाते हैं कि इन कर्व्स को गिनना एक पहेली को सुलझाने जैसा है कि जटिल प्रणालियों में संख्याएँ कैसे व्यवहार करती हैं। जबकि हम सरल कर्व्स (जैसे वृत्त या दीर्घवृत्त) के बारे में बहुत कुछ जानते हैं, इन "जीनस 2" आकृतियों के लिए नियम बहुत अधिक धुंधले हो जाते हैं।

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

संक्षेप में: उन्होंने एक विशिष्ट, दुर्लभ प्रकार के गणितीय आकार को गिनने का तरीका खोजा, सिद्ध किया कि गिनती अविश्वसनीय रूप से तेजी से बढ़ती है (जैसे X¹⁰), और ठीक कितने कर्व्स हैं इसके लिए एक सटीक फॉर्मूला दिया। यह संख्याओं की ज्यामिति (geometry of numbers) के लिए एक जीत है, जो एक अराजक अव्यवस्था को एक स्वच्छ, अनुमानित पैटर्न में बदल देती है।

तकनीकी सारांश: एक चिह्नित परिमेय 3-टॉर्शन बिंदु वाली विषम जनक (Genus) 2 वक्रों की गणना

समस्या विवरण
यह शोध पत्र उन जनक 2 के वक्रों (genus 2 curves) की गणना करने की समस्या को संबोधित करता है जो परिमेय संख्याओं $\mathbb{Q}$ पर विषम घात वाले एक मोनिक वीयरस्ट्रैस मॉडल (monic Weierstrass model) को स्वीकार करते हैं और जिनका जैकोबियन (Jacobian) एक चिह्नित परिमेय 3-टॉर्शन बिंदु (rational 3-torsion point) रखता है। इन वक्रों को एक "नैटिव हाइट" (naive height) फलन द्वारा क्रमबद्ध किया गया है। विशेष रूप से, लेखक वर्ग-मुक्त (square-free), न्यूनतम बहुपदों $f(x) = x^5 + a_3x^3 + a_2x^2 + a_1x + a_0 \in \mathbb{Z}[x]$ पर विचार करते हैं जो वक्र $C_f: y^2 = f(x)$ को परिभाषित करते हैं। हाइट को $H(f) = \max\{|a_3|^{1/4}, |a_2|^{1/6}, |a_1|^{1/8}, |a_0|^{1/10}\}$ के रूप में परिभाषित किया गया है। लक्ष्य जोड़ों $(f, T)$ की संख्या निर्धारित करना है, जहाँ $T$ जैकोबियन $J_f$ पर एक गैर-शून्य परिमेय 3-टॉर्शन बिंदु है, जैसे-जैसे हाइट बाउंड $X$ अनंत की ओर बढ़ता है।

कार्यप्रणाली
कार्यप्रणाली का मुख्य भाग भारित समरूप बहुपदों (weighted homogeneous polynomials) का उपयोग करके जोड़ों $(f, T)$ के सेट का पैरामीट्राइजेशन (parametrisation) करना है, जिससे गणना की समस्या को एक भारित प्रोजेक्टिव स्पेस में एक सीमित क्षेत्र में लैट्टिस बिंदुओं (lattice points) के अनुमान में बदल दिया जाता है।

पैरामीट्राइजेशन (Parametrisation): लेखक जोड़ों $(f, T)$ और टुपल्स $P = (A, B, J, E)$ के बीच एक बाइजेक्शन (bijection) स्थापित करते हैं जो एक भारित प्रोजेक्टिव स्पेस $\mathbb{P}(1, 2, 3, 4)$ में स्थित है। यह चार भारित समरूप बहुपदों $\Theta_0, \Theta_1, \Theta_2, \Theta_3 \in \mathbb{Z}[A, B, J, E]$ (क्रमशः 4, 6, 8, और 10 भार के साथ) के निर्माण द्वारा प्राप्त किया जाता है। ये बहुपद संबंध के माध्यम से बहुपद $f$ के गुणांकों को परिभाषित करते हैं:
$729f(x) = 729x^5 + \Theta_3(P)x^3 + \Theta_2(P)x^2 + \Theta_1(P)x + \Theta_0(P).$
चिह्नित 3-टॉर्शन बिंदु $T$ को $P$ द्वारा निर्धारित फलनों द्वारा कटे हुए एक डिवाइजर (divisor) के रूप में दर्शाया गया है। यह पैरामीट्राइजेशन स्थिति $G(x)^2 - A^2f(x) = H(x)^3$ से प्राप्त किया गया है, जहाँ $G$ और $H$ टॉर्शन बिंदु के डिवाइजर से संबंधित बहुपद हैं।
संख्या का ज्यामिति (Geometry of Numbers): समस्या को एक सीमित क्षेत्र $R(X)$ के भीतर पूर्णांक बिंदुओं $P = (A, B, J, E)$ की गणना करने में बदल दिया गया है, जो हाइट की स्थिति $H(F_P) \leq X$ द्वारा परिभाषित है। दिखाया गया है कि $R(1)$ कॉम्पैक्ट (compact) है क्योंकि $\Theta_i$ बहुपदों के मूल (zeros) मूल बिंदु के अलावा अन्य कोई सामान्य शून्य नहीं हैं।
स्थानीय स्थितियाँ और सीविंग (Local Conditions and Sieving):
- पूर्णांकता और न्यूनतमता (Integrality and Minimality): लेखक $P$ पर आवश्यक और पर्याप्त सर्वांग्य (congruence) स्थितियाँ प्राप्त करते हैं ताकि यह सुनिश्चित हो सके कि परिणामी बहुपद $f$ के पूर्णांक गुणांक हों और वह न्यूनतम (minimal) हो (अर्थात किसी अभाज्य द्वारा घटाया न जा सके)।
- अभाज्य $p \geq 5$ : $p \geq 5$ के लिए, $f$ के गैर-न्यूनतम होने की स्थिति को एक विशिष्ट लैट्टिस (sublattice) में $P$ के होने के रूप में दिखाया गया है जहाँ $p|A, p^2|B, p^3|J, p^4|E$ है। इन अभाज्य पर न्यूनतम बिंदुओं का घनत्व $1 - p^{-10}$ है।
- अभाज्य 2 और 3: $p=2$ और $p=3$ के लिए स्थितियाँ अधिक जटिल हैं और उन्हें एक स्थानीय घनत्व स्थिरांक $\beta_{2,3}$ को परिभाषित करने वाले सर्वांग्य स्थितियों के एक परिमित सेट के माध्यम से संभाला गया है।
अनंतिक गणना (Asymptotic Counting): डैवेपोर्ट के लिप्सचिट्ज़ सिद्धांत (Davenport's Lipschitz principle - ज्यामिति की संख्या) का उपयोग करते हुए, लेखक स्केल्ड क्षेत्र $R(X)$ में लैट्टिस बिंदुओं की गणना करते हैं। वे गैर-न्यूनतम बहुपदों या अपभ्रष्ट मामलों (जहाँ डिस्क्रिमिनेन्ट शून्य हो जाता है या $A=0$ ) के अनुरूप बिंदुओं को बाहर करने के लिए एक सीव (sieve) लागू करते हैं।

मुख्य योगदान और परिणाम
मुख्य परिणाम थ्योरम 1.1 है, जो ऐसे वक्रों की संख्या के लिए एक सटीक अनंतिक सूत्र (asymptotic formula) प्रदान करता है:
$\#W_{mark}(X) = cX^{10} + o(X^{10})$
जहाँ $c$ एक धनात्मक, प्रभावी रूप से गणनीय स्थिरांक है:
$c = \text{Vol}(R(1)) \cdot \beta_{2,3} \cdot \prod_{p \geq 5} (1 - p^{-10}).$
यहाँ $\text{Vol}(R(1))$ हाइट फलन द्वारा परिभाषित कॉम्पैक्ट क्षेत्र का आयतन है, और $\beta_{2,3}$ अभाज्य 2 और 3 पर स्थानीय घनत्व है।

लेखक एक प्रपोजिशन 1.2 भी प्रदान करते हैं, जो स्पष्ट रूप से उन भारित समरूप बहुपदों $\Theta_i$ का निर्माण करता है जो एक चिह्नित 3-टॉर्शन बिंदु वाले जनक 2 के वक्रों के परिवार को पैरामीट्राइज करते हैं। यह पैरामीट्राइजेशन एक महत्वपूर्ण तकनीकी उपलब्धि है, क्योंकि यह जेनस 2 के वक्रों के मॉडुलि स्पेस (moduli space) को एक भारित प्रोजेक्टिव स्पेस $\mathbb{P}(1, 2, 3, 4)$ में इस तरह कॉम्पैक्टिफाई करता है कि तर्क (rational map) एक मॉर्फिज्म (morphism) में विस्तारित हो सके, जिससे लैट्टिस पॉइंट काउंटिंग तकनीकों का अनुप्रयोग संभव हो सके।

महत्व और दावे
लेखक दावा करते हैं कि यह कार्य पहली बार एक सटीक अनंतिक सूत्र निर्धारित करने वाला कार्य है जहाँ मॉडुलि वैरायटी एक वक्र नहीं है (इस मामले में यह एक थ्रीफोल्ड है)।

पिछले कार्यों से तुलना: जबकि लेवल स्ट्रक्चर (जैसे टॉर्शन बिंदु या आइसोजेनी) वाले एलिप्टिक वक्रों की गणना स्थापित है (हैरन, स्नोडेन, बोगेस-सांकार आदि के कार्यों का हवाला देते हुए), उच्च जनक वाले वलभों के लिए इन परिणामों का विस्तार करना कठिन है। चां, लॉहरन और रोम के पिछले कार्यों ने दिखाया कि लगभग सभी विषम हाइपरएलिप्टिक वक्रों के जैकोबियन में कोई निर्धारित लेवल स्ट्रक्चर नहीं होता है, लेकिन उन्होंने उन वक्रों के लिए अनंतिक गणना प्रदान नहीं की जो ऐसा रखते हैं।
कार्यप्रणालीगत नवाचार: लेख हाइपर-डायमेंशनल वैरायटी के लिए मॉडुलि स्पेस को कॉम्पैक्टिफाई करने की कठिनाई पर प्रकाश डालता है। एलिप्टिक वक्र के मामले के विपरीत (जहाँ मॉडुलर वक्र एक वक्र है और तर्क स्वतः ही मॉर्फिज्म में विस्तारित हो जाते हैं), लेखकों को $\mathbb{P}(1, 2, 3, 4)$ तक एक "एड-हॉक" (ad-hoc) कॉम्पैक्टिफिकेशन का निर्माण करना पड़ा ताकि मानचित्र वीयरस्ट्रैस मॉडल के लिए बेस-पॉइंट-फ्री (base-point-free) बना रहे।
क्षेत्र (Scope): परिणाम उन वक्रों पर लागू होता है जिनमें एक चिह्नित परिमेय वीयरस्ट्रैस बिंदु (अनंत पर) और एक चिह्नित परिमेय 3-टॉर्शन बिंदु होता है। लेखक टिप्पणी करते हैं (रिमार्क 5.4 में) कि एक अचिह्नित 3-टॉर्शन बिंदु वाले वक्रों की गणना करने पर (विशिष्ट बिंदु $T$ को भूल जाने पर) $c/2 X^{10}$ की गणना प्राप्त होगी, क्योंकि परिमेय 3-टॉर्शन सबग्रुप आमतौर पर क्रम 3 का होता है (जो $T$ और $-T$ द्वारा जनित होता है), सिवाय उन वक्रों के एक पतले सेट के जिनका सबग्रुप क्रम 9 का होता है।

यह शोध पत्र किसी प्रायोगिक अनुप्रयोग या भविष्य के अनुमानों का प्रस्ताव नहीं करता है, बल्कि मॉडुलि स्पेस की अंकगणितीय ज्यामिति और पैरामीट्राइजेशन के स्पष्ट निर्माण पर ध्यान केंद्रित रखते हुए एक विशिष्ट गणना समस्या पर बना रहता है।

द ग्रेट काउंटिंग मशीन (The Great Counting Machine)

बड़ी खोज (The Big Discovery)

उन्होंने क्या खारिज किया (What They Ruled Out)

वे कितने आश्वस्त हैं? (How Sure Are They?)

"क्यों यह महत्वपूर्ण है" (बिना जेरगन के)

इसी तरह के और पेपर