🔢 mathematics

Quadratic torsion orders on Jacobian varieties

यह शोधपत्र $\mathbb{Q}$ पर हाइपरएलिप्टिक वक्रों के अस्तित्व को स्थापित करता है जिनके जैकोबियन में विशिष्ट उच्च क्रमों के परिमेय टोरशन बिंदु (rational torsion points) होते हैं, जिसमें $N = 2g^2 + 7g + 1$ के क्रम के लिए एक रचनात्मक एक-पैरामीटर परिवार भी शामिल है।

मूल लेखक: Hamide Kuru, Mohammad Sadek

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

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

CC0 1.0

मूल लेखक: Hamide Kuru, Mohammad Sadek

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

कल्पना कीजिए कि गणितीय दुनिया आकृतियों के एक विशाल, हलचल भरे शहर के रूप में है जिन्हें जैकबियन वैरायटीज़ (Jacobian varieties) कहा जाता है। ये केवल साधारण आकृतियाँ नहीं हैं; ये हाइपरएलिप्टिक कर्व्स (hyperelliptic curves) नामक घुमावदार रेखाओं के "परछाई वाले स्वरूप" हैं। इस शहर में, विशेष यात्री होते हैं जिन्हें टोरशन पॉइंट्स (torsion points) कहा जाता है। इन बिंदुओं को ऐसे नर्तकों के रूप में सोचें जो एक रूटीन करते हैं: वे एक कदम उठाते हैं, फिर दूसरा, और अंततः, कदमों की एक विशिष्ट संख्या के बाद, वे ठीक वहीं पहुँच जाते जहाँ से उन्होंने शुरुआत की थी। कदमों की वह संख्या उनकी ऑर्डर (order) है।

लंबे समय से, गणितज्ञ इन कर्व्स को बनाने की कोशिश कर रहे हैं ताकि उनके नर्तकों के पास विशिष्ट, अनुमानित रूटीन की लंबाई हो। बड़ा सवाल यह था: क्या हम एक ऐसा कर्व बना सकते हैं जहाँ नर्तक के कदमों की संख्या कर्व के आकार के साथ क्वाड्रेटिक (quadratic) रूप से बढ़ती है? दूसरे शब्दों में, यदि कर्व बड़ा होता है (जिसे जीनस (genus) नामक संख्या से मापा जाता है, मान लीजिए $g$ ), तो क्या नृत्य का रूटीन का विस्तार केवल $g$ की तरह धीरे-धीरे बढ़ने के बजाय $g^2$ की तरह विस्फोट करेगा?

मुख्य खोज: एक नया डांस फ्लोर
मोहम्मद सादेक और हामिदे सुलयेर ने डांस फ्लोर (कर्व्स) का एक बिल्कुल नया सेट बनाया है जहाँ नर्तक विशाल, क्वाड्रेटिक रूटीन करते हैं। उन्होंने सिद्ध किया कि किसी भी कर्व आकार $g$ के लिए (जब तक कि $g \ge 2$ हो), वे एक हाइपरएलिप्टिक कर्व बना सकते हैं जहाँ नर्तकों का रूटीन ठीक:

$4g^2 + 2g - 2$ कदमों का, या
$4g^2 + 2g - 4$ कदमों का होता है।

इसे देखने के लिए, कल्पना करें कि यदि $g=4$ (एक मध्यम आकार की आकृति) का एक कर्व आमतौर पर 10 या 20 कदमों वाले नर्तकों वाला होता। इस नई रचना के साथ, $g=4$ के कर्व पर नर्तक घर लौटने से पहले 70 कदम लेते हैं। यह पहली बार है जब किसी ने जीनस 4 के लिए 70 के ऑर्डर वाला रेशनल टोरशन पॉइंट पाया है। यह एक नए पक्षी की प्रजाति खोजने जैसा है जो किसी ने सोचा भी नहीं था कि वह इतनी ऊँचाई तक उड़ सकता है।

"जादुई" फॉर्मूला
उन्होंने यह कैसे किया? उन्होंने केवल अनुमान नहीं लगाया; उन्होंने एक मशीन बनाई। उन्होंने एक विशेष 1-पैरामीटर फैमिली वाले पॉलिनोमिअल्स (इन्हें कर्व्स के ब्लूप्रिंट के रूप में सोचें) बनाए। एक एकल डायल (एक वेरिएबल जिसे $t$ कहा जाता है) को बदलकर, वे इन कर्व्स की अनंत संख्या उत्पन्न कर सकते हैं।

डायल की लगभग हर सेटिंग के लिए (कुछ टूटे हुए स्थानों को छोड़कर), यदि ब्लूप्रिंट ढहता नहीं है (डिस्क्रिमिनेन्ट नॉन-ज़ीरो है), तो परिणामी कर्व की गारंटी है कि उसमें एक नर्तक होगा जिसका रूटीन $2g^2 + 7g + 1$ कदमों का होगा।

एक जीनस-3 कर्व के लिए, यह फॉर्मूला 40 कदमों का रूटीन देता है।
एक जीनस-5 कर्व के लिए, यह 86 कदमों का रूटीन देता है।

उन्होंने क्या नहीं किया (और उन्होंने क्या खारिज कर दिया)
यह ध्यान रखना महत्वपूर्ण है कि यह पेपर क्या नहीं करता है। उन्होंने कोई जादुई संख्या नहीं खोजी जो हर संभव डांस रूटीन के लिए काम करे। उन्होंने यह साबित नहीं किया कि सभी क्वाड्रेटिक संख्याएँ संभव हैं। उन्होंने विशेष रूप से इन दो विशिष्ट क्वाड्रेटिक फॉर्मूलों ( $4g^2 + 2g - 2$ और $4g^2 + 2g - 4$ ) और एक-पैरामीटर फैमिली ( $2g^2 + 7g + 1$ ) के लिए कर्व्स का निर्माण किया।

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

विश्वास का स्तर
लेखक अत्यधिक आश्वस्त हैं। उन्होंने केवल यह सुझाव नहीं दिया कि ये कर्व्स मौजूद हो सकते हैं; उन्होंने इनके अस्तित्व को स्थापित (established) किया है।

उन्होंने सिद्ध किया कि $g \ge 2$ के लिए किसी भी पूर्णांक (integer) के लिए, ये विशिष्ट कर्व्स परिमेय संख्याओं (rational numbers) पर मौजूद हैं।
उन्होंने सिद्ध किया कि टोरशन पॉइंट्स का ऑर्डर ठीक वही संख्या है जिसका उन्होंने दावा किया है।
उन्होंने छोटे मानों के लिए (एक मामले में 1662 तक और दूसरे में 1695 तक) कंप्यूटर सॉफ्टवेयर (Magma) के साथ इन कर्व्स को सत्यापित (verified) किया कि वे टूटते नहीं हैं या अस्त-व्यस्त नहीं होते।

यह क्यों मायने रखता है
इससे पहले, रिकॉर्ड यह था कि डांस रूटीन कितनी तेज़ी से बढ़ सकता था—जो कि लीनियर (जैसे $3g$ या $4g$ ) था। यह पेपर उस छत को तोड़ देता है, यह दिखाते हुए कि रूटीन क्वाड्रेटिक (जैसे $g^2$ ) रूप से बढ़ सकता है। यह इन गणितीय आकृतियों की सीमाओं को समझने की दिशा में एक महत्वपूर्ण कदम है। उन्होंने हर संभावित डांस रूटीन के रहस्य को हल नहीं किया, लेकिन उन्होंने निश्चित रूप से एक नया दरवाजा खोला है, यह सिद्ध करते हुए कि ये विशाल, क्वाड्रेटिक रूटीन केवल एक सपना नहीं हैं, बल्कि एक वास्तविकता हैं जिन्हें हम बना सकते हैं।

तकनीकी सारांश: जैकोबियन वेरिएटीज़ पर क्वाड्रेटिक टोरशन ऑर्डर्स (Quadratic Torsion Orders)

समस्या विवरण
यह शोध पत्र उन हाइपरएलिपटिक कर्व्स (hyperelliptic curves) के निर्माण की समस्या को संबोधित करता है जिनका जनक (genus) $g \ge 2$ है और जो परिमेय क्षेत्र $\mathbb{Q}$ पर परिभाषित हैं, जिनके जैकोबियन वेरिएटीज़ में विशिष्ट ऑर्डर्स के परिमेय टोरशन पॉइंट्स (rational torsion points) मौजूद हों। जबकि मॉर्डेल-वील प्रमेय (Mordell-Weil theorem) यह गारंटी देता है कि एक एबेलियन वैरायटी पर परिमेय बिंदुओं का समूह परिमित रूप से जनरेटेड (finitely generated) होता है, टोरशन सबग्रुप की संरचना जांच का एक केंद्रीय विषय बनी हुई है। पिछले शोधों ने $g$ के रैखिक (linear) ऑर्डर्स (जैसे कि $[3g, 4g+1]$ अंतराल में) के साथ कर्व्स के अस्तित्व को स्थापित किया है और हाल ही में, विशिष्ट अंतरालों जैसे कि $[g^2 + 2g + 1, g^2 + 3g + 1]$ और $[2g^2 + 2g + 1, 2g^2 + 5g + 5]$ में क्वाड्रेटिक ऑर्डर्स के निर्माण को भी दर्ज किया है। लेखक यह प्रश्न उठाते हैं कि क्या $g$ के आयाम वाले ऐसे एबेलियन वेरिएटीज़ का निर्माण करना संभव है जिनमें $g$ के क्वाड्रेटिक ऑर्डर्स वाले परिमेय टोरशन पॉइंट्स हों, विशेष रूप से उन ऑर्डर्स को लक्षित करते हुए जो फ्लाई और लेप्रेवोस्ट (Flynn and Leprévost) द्वारा पहले निर्मित किए गए ऑर्डर्स से अधिक हैं।

कार्यप्रणाली (Methodology)
लेखक हाइपरएलिपटिक कर्व्स पर डिविज़र (divisors) के सिद्धांत पर आधारित एक रचनात्मक दृष्टिकोण अपनाते हैं।

कर्व निर्माण: वे हाइपरएलिपटिक कर्व्स $C$ पर विचार करते हैं जो $y^2 = f(x)$ द्वारा परिभाषित हैं, जहाँ $f(x)$ एक विषम घात (odd degree) $2g+1$ वाला बहुपद है। बहुपद का निर्माण इस रूप में किया जाता है: $f(x) = A(x)^2 - \lambda x^{g+1+d}(x-1)^{g-d}$ , जहाँ $A(x) \in \mathbb{Q}[x]$ की घात $g$ तक है, और $\lambda, d$ पैरामीटर्स हैं।
डिविज़र विश्लेषण: अध्ययन विशिष्ट डिविज़र के प्रकार के $D = P - P_\infty$ के टोरशन गुणों पर केंद्रित है, जहाँ $P$ एक परिमेय बिंदु है और $P_\infty$ अनंत का बिंदु (point at infinity) है। लेखक विशिष्ट डिविज़र गुणों वाले परिमेय फलनों (rational functions) $\phi$ की पहचान करने के लिए रीमैन-रॉक स्पेस (Riemann-Roch spaces) का उपयोग करते हैं, विशेष रूप से $\text{div}(\phi) = (g+m)P'_0 + (g+m+2)P_1 - (2g+2m+2)P_\infty$ ।
बीजगणितीय व्युत्पत्ति (Algebraic Derivation): इन परिमेय फलनों के नॉर्म (norm) का विश्लेषण करके और $A(x)$ के गुणांकों पर शर्तें लागू करके, लेखक बहुपदों के स्पष्ट 1-पैरामीटर परिवारों को व्युत्पन्न करते हैं। वे $\lambda$ और $\alpha$ (या एक अनंत परिवार में पैरामीटर $t$ ) के लिए पैरामीटर्स को हल करते हैं ताकि यह सुनिश्चित हो सके कि परिणामी कर्व नॉन-सिंगुलर (वर्ग-मुक्त डिस्क्रीमिनेंट/square-free discriminant) है और टोरशन ऑर्डर ठीक लक्षित मान के बराबर है।
जनक (Genus) और सरलता (Simplicity) का सत्यापन: विशिष्ट मामलों के लिए, लेखक यह सिद्ध करके कि परिभाषित बहुपद वर्ग-मुक्त (square-free) हैं, यह प्रमाणित करते हैं कि निर्मित कर्व्स का जनक $g$ है। इसमें सहायक बहुपदों के रिसल्टेंट्स (resultants) का विश्लेषण करना और ऊंचाई सीमाओं (height bounds - Smyth's theorem और Landau's inequality) का उपयोग करना शामिल है ताकि कम्प्यूटेशनल सत्यापन के लिए आवश्यक $g$ की सीमा को सीमित किया जा सके। वे निम्न-जनक (low-genus) उदाहरणों के जैकोबियंस के $\mathbb{Q}$ -सिंपल होने का सत्यापन परिमित क्षेत्रों (finite fields) पर उनके फ्रोबेनियस के अभिलक्षण बहुपदों (characteristic polynomials of Frobenius) की अपरिमेयता (irreducibility) की जांच करके करते हैं।

मुख्य योगदान और परिणाम
यह शोध पत्र निम्नलिखित ऑर्डर्स के परिमेय टोरशन पॉइंट्स वाले $g \ge 2$ के हाइपरएलिपटिक कर्व्स के अस्तित्व को स्थापित करता है:

नए क्वाड्रेटिक ऑर्डर्स: किसी भी पूर्णांक $g \ge 2$ $g \geq 2$ के लिए, लेखक $N = 4g^2 + 2g - 2$ $N = 4 g^{2} + 2 g - 2$ और $N = 4g^2 + 2g - 4$ $N = 4 g^{2} + 2 g - 4$ के परिमेय टोरशन ऑर्डर्स वाले कर्व्स का निर्माण करते हैं।
- विशेष रूप से, $C_{g, g-1}$ के लिए, टोरशन ऑर्डर $4g^2 + 2g - 2$ है।
- $C_{g, g-2}$ के लिए, टोरशन ऑर्डर $4g^2 + 2g - 4$ है।
- ये परिणाम फ्लाई और लेप्रेवोस्ट द्वारा स्थापित पिछले बाउंड्स से आगे बढ़ते हुए क्वाड्रेटिक टोरशन ऑर्डर्स की ज्ञात सीमा का विस्तार करते हैं।
विशिष्ट उदाहरण: लेखक $\mathbb{Q}$ पर जेनस-4 के एक हाइपरएलिपटिक कर्व का पहला ज्ञात उदाहरण प्रदान करते हैं जिसमें 70 के ऑर्डर का एक परिमेय टोरशन पॉइंट है (जहाँ $g=4$ के लिए $4(16)+8-2 = 70$ प्राप्त होता है)।
अनंत परिवार (Infinite Families): ऑर्डर $N = 2g^2 + 7g + 1$ के लिए, लेखक $2g+1$ घात वाले बहुपदों का एक 1-पैरामीटर परिवार $f_t(x)$ पेश करते हैं। वे सिद्ध करते हैं कि पैरामीटर $t$ के सभी (परंतु सीमित) परिमेय मानों के लिए, यदि डिस्क्रीमिनेंट गैर-शून्य है, तो परिणामी कर्व का इस ऑर्डर का एक परिमेय टोरशन पॉइंट होता है। यह परिवार विषम और सम दोनों $g$ (सम $g$ के लिए विशिष्ट पैरामीटर समायोजन के साथ) के लिए कार्य करता है।
सरलता (Simplicity): निम्न जनरा ( $2 \le g \le 5$ ) के लिए निर्मित कर्व्स के जैकोबियंस को $\mathbb{Q}$ -सिंपल दिखाया गया है, जिसका अर्थ है कि वे निम्न-आयामी एबेलियन वेरिएटीज़ के उत्पादों के आइसोजेनस (isogenous) नहीं हैं।

महत्व
यह शोध पत्र फ्लाई और लेप्रेवोस्ट के परिणामों का विस्तार करने का दावा करता है, जिससे $4g^2 + 2g - 2$ और $4g^2 + 2g - 4$ के ऑर्डर्स वाले परिमेय टोरशन पॉइंट्स रखने वाले जैकोबियंस के हाइपरएलिपटिक कर्व्स के पहले उदाहरण मिलते हैं। ये ऑर्डर्स पहले से ज्ञात क्वाड्रेटिक बाउंड्स की तुलना में एक महत्वपूर्ण वृद्धि का प्रतिनिधित्व करते हैं। इसके अतिरिक्त, $2g^2 + 7g + 1$ के ऑर्डर के लिए 1-पैरामीटर परिवार का निर्माण ऐसे कर्व्स के अनंत परिवारों के अस्तित्व को प्रदर्शित करता है। यह कार्य उच्च-जनरा कर्व्स के लिए टोरशन सबग्रुप के यूनिफॉर्म बाउंडेडनेस कॉन्जेक्चर (uniform boundedness conjecture) को विस्तारित करके टोरशन ऑर्डर्स के रियलाइजेबल सेट को विस्तृत करता है। लेखक स्पष्ट रूप से उल्लेख करते हैं कि उनका जेनस-4 का उदाहरण (टोरशन ऑर्डर 70 के साथ) साहित्य में अपनी तरह का पहला है, जो इसे गैर-सिंपल एबेलियन वेरिएटीज़ से अलग करता है जो ऐसे टोरशन रख सकते हैं।

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