🔢 mathematics

Rational torsion on hyperelliptic jacobian varieties

यह शोध पत्र $[3g, 4g+1]$ के अंतराल में विशिष्ट मानों के लिए $N$ क्रम के परिमेय टॉशन बिंदुओं वाले $\mathbb{Q}$ पर हाइपरएलिप्टिक जैकोबियन वेरियटी के पैरामीट्रिक परिवारों के अस्तित्व को सिद्ध करता है, जिससे 13, 15, 17, 18 और 21 सहित विभिन्न टॉशन ऑर्डर्स के लिए ऐसे वेरियटी के पहले ज्ञात अनंत उदाहरण प्राप्त होते हैं।

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

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

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

CC BY 4.0

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

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

गणित की दुनिया की कल्पना एक विशाल, ब्रह्मांडीय खेल के मैदान के रूप में करें जहाँ "वक्र" (curves) नामक आकार नाच रहे हैं। कुछ वक्र सरल लूप जैसे होते हैं, लेकिन अन्य जंगली, घुमावदार हाइपरएलिप्टिक वक्र होते हैं जो अनंत संभावनाओं से बने प्रेट्ज़ेल (pretzels) की तरह दिखते हैं। इन वक्रों के भीतर "टॉर्शन पॉइंट्स" (torsion points) नामक गुप्त खजाने छिपे होते हैं। इन बिंदुओं को विशेष चाबियों के रूप में सोचें। यदि आप एक चाबी का उपयोग करके एक दरवाजा (वक्र का जैकोबियन, जो उसके आंतरिक इंजन रूम की तरह है) खोलते हैं और उसे ठीक $N$ बार घुमाते हैं, तो आप वापस वहीं पहुँच जाते हैं जहाँ से आपने शुरू किया था, जैसे कि आप कभी हिले ही न हों।

लंबे समय तक, गणितज्ञ यह पता लगाने की कोशिश कर रहे थे कि ये चाबियाँ कितनी बड़ी हो सकती हैं। वे जानते थे कि सरल, एक उभार वाले वक्रों (जीनस 1) के लिए, चाबियों की एक सख्त आकार सीमा होती है। लेकिन अधिक जटिल, बहु-उभार वाले वक्रों (जीनस $g \ge 2$ ) के लिए, नियम धुंधले थे। फ्लीन (Flynn) नामक एक गणितज्ञ ने एक साहसिक अनुमान लगाया: उन्हें लगा कि कोई जादुई स्थिरांक है, आइए इसे $\kappa$ कहें, जो एक पैमाने की तरह काम करता है। उन्होंने अनुमान लगाया कि किसी भी $g$ उभार वाले वक्र के लिए, आप $N$ आकार की चाबी पा सकते हैं जब तक कि $N$ , $\kappa$ गुना $g$ से छोटा हो। लेप्रेवोस्ट (Leprévost) नामक एक अन्य शोधकर्ता ने यह सिद्ध किया कि यह सच है, लेकिन केवल तभी जब चाबी $3g$ से बड़ी न हो। यह ऐसा था जैसे कहना, "हम 10-उभार वाले वक्र के लिए 30 आकार तक की चाबियाँ पा सकते हैं, लेकिन शायद इससे बड़ी नहीं।"

लेकिन यहाँ एक मोड़ है: $3g$ और बहुत बड़े द्विघाती सीमाओं (जहाँ चाबियाँ $g^2$ जितनी बड़ी हो सकती हैं) के बीच का स्थान एक अंधेरा, अनछुआ कैन्यन (गहरी घाटी) था। कोई नहीं जानता था कि क्या उस अंतराल में चाबियाँ मौजूद हैं।

यहाँ मोहम्मद सादेक और हामिदे सुलयेर का प्रवेश होता है। उन्होंने उस कैन्यन के पार एक पुल बनाने का निर्णय लिया। उन्होंने केवल अनुमान नहीं लगाया; उन्होंने एक कारखाना बनाया।

अनंत वक्रों का कारखाना
लेखकों ने वक्रों का एक पैरामीट्रिक परिवार बनाया। एक विशाल 3D प्रिंटर की कल्पना करें जो इन हाइपरएलिप्टिक वक्रों की अनंत संख्या प्रिंट कर सकता है। डायल (जो $s$ , $t$ , और $u$ जैसे चर हैं) को बदलकर, वे विशिष्ट गुणों वाले वक्र प्रिंट कर सकते थे।

उनकी मुख्य खोज चाबियों के आकार के लिए नियमों का एक नया सेट है। उन्होंने सिद्ध किया कि $g \ge 3$ वाले किसी भी व 곡 के लिए, वे वक्रों का एक परिवार बना सकते हैं जिसमें $N$ आकार की चाबी हो, बशर्ते $N$ , $3g$ और $4g + 1$ के बीच की सीमा में आता हो।

इसे ठोस बनाने के लिए, उन्होंने दिखाया कि वे निम्नलिखित प्रिंट कर सकते हैं:

3 उभारों ( $g=3$ ) वाले वक्र जिनमें 13 आकार की चाबी है।
4 उभारों ( $g=4$ ) वाले वक्रम जिनमें 15 आकार की चाबी है।
5 उभारों ( $g=5$ ) वाले वक्रम जिनमें 17, 18, और 21 आकार की चाबियाँ हैं।

ये केवल एक-दो बार मिली भाग्यशाली खोजें नहीं हैं। पेपर यह सिद्ध करता है कि इन प्रत्येक आकार के लिए अनंत अलग-अलग, गैर-एकसमान वक्र मौजूद हैं। यह कहने जैसा है कि, "हम 3-उभार वाले वक्रों की एक अंतहीन आपूर्ति बना सकते हैं, और उनमें से प्रत्येक में 13 आकार की चाबी होगी।"

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

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

उन्होंने क्या नहीं किया (और उन्होंने क्या दावा नहीं किया)
यह ध्यान रखना महत्वपूर्ण है कि यह पेपर क्या नहीं कहता है। उन्होंने यह सिद्ध नहीं किया कि हर आकार की चाबियों का अस्तित्व है, केवल उस विशिष्ट $3g$ से $4g+1$ रेंज में। उन्होंने यह भी दावा नहीं किया कि उन्होंने इन वक्रों के लिए पूर्ण अधिकतम संभव चाबी का आकार खोज लिया है; उन्होंने केवल उस सीमा को पहले से कहीं अधिक आगे बढ़ाया है।

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

निष्कर्ष
सादेक और सुलयेर ने गणितीय खजानों के मानचित्र में एक खाली स्थान भर दिया है। उन्होंने दिखाया है कि $3g$ और $4g+1$ के बीच का "निषिद्ध क्षेत्र" वास्तव में छिपी हुई चाबियों से भरा है। उन्होंने एक ऐसी मशीन बनाई है जो इन वक्रों की अनंत आपूर्ति उत्पन्न कर सकती है, यह सिद्ध करते हुए कि विषम संख्या में उभारों के लिए, आप $4g+1$ आकार की चाबी प्राप्त कर सकते हैं, और सम संख्या के लिए, आप $4g-1$ आकार की चाबी प्राप्त कर सकते हैं।

इसलिए, अगली बार जब आप किसी 5-उभार वाले वक्र के बारे में सुनें, तो याद रखें: इस कार्य की बदौलत, हम जानते हैं कि 21 आकार की गुप्त चाबी छिपाए हुए ऐसे अनंत वक्र मौजूद हैं, जो खोजे जाने की प्रतीक्षा कर रहे हैं।

तकनीकी सारांश: हाइपरएलिप्टिक जैकोबियन वेरिएटीज़ पर तर्कसंगत टॉर्सन (Rational Torsion)

समस्या विवरण
यह शोध पत्र इस समस्या को संबोधित करता है कि $\mathbb{Q}$ पर एक हाइपरएलिप्टिक वक्र (hyperelliptic curve) के जैकोबियन पर एक तर्कसंगत टॉर्सन बिंदु (rational torsion point) का क्रम (order) किन पूर्णांकों द्वारा प्राप्त किया जा सकता है। जबकि मेरल का प्रमेय (Merel's theorem) निश्चित डिग्री वाले संख्या क्षेत्रों (number fields) पर एलिप्टिक कर्व्स (genus $g=1$ ) के लिए टॉर्सन सबग्रुप्स पर एक समान सीमा (uniform bound) की गारंटी देता है, $d \ge 2$ आयाम वाले एबेलियन वेरिएटीज़ (abelian varieties) के लिए ऐसी कोई समान सीमा या पूर्ण वर्गीकरण मौजूद नहीं है।

फ्लिन (Flynn) के पिछले कार्य ने एक स्थिरांक $\kappa$ के अस्तित्व की परिकल्पना की थी कि किसी भी $g \ge 2$ और $m \le \kappa g$ के लिए, एक हाइपरएलिप्टिक वक्र का अस्तित्व होगा जिसका जनस $g$ हो और जिसमें क्रम $m$ का एक तर्कसंगत टॉर्सन बिंदु हो। लेप्रेवोस्ट (Leprévost) ने इसे $\kappa = 3$ के साथ सिद्ध किया, जिससे $3g$ तक के क्रम वाले टॉर्सन बिंदुओं के अस्तित्व को स्थापित किया गया। हालांकि, इन रैखिक सीमाओं ( $3g$ ) और पूर्व-ज्ञात द्विघाती सीमाओं ( $g^2 + \dots$ ) के बीच एक अंतराल बना हुआ था। लेखक इन नए क्रमों के लिए विस्तारित सीमाओं को $3g$ से आगे ले जाने और इन नए क्रमों के लिए स्पष्ट पैरामेट्रिक परिवारों (parametric families) को प्रदान करने का लक्ष्य रखते हैं।

कार्यप्रणाली (Methodology)
लेखक हाइपरएलिप्टिक कर्व्स पर अनंत पर स्थित टॉर्सन डिविसर्स (torsion divisors) और फंक्शन फील्ड्स पर निरंतर भिन्न (continued fractions) की आवधिकता (periodicity) के बीच एक संबंध का उपयोग करते हैं।

सैद्धांतिक ढांचा: मान लीजिए कि $C$ एक हाइपरएलिप्टिक वक्र $y^2 = f(x)$ है जिसका जनस (genus) $g$ है। अनंत पर स्थित डिविसर $D_\infty = \infty_+ - \infty_-$ तब $N$ क्रम का टॉर्सन होता है जब और केवल तभी जब $\sqrt{f(x)}$ का निरंतर भिन्न विस्तार आवधिक (periodic) हो। क्रम $N$ इस विस्तार में आंशिक भाग (partial quotients) के डिग्री द्वारा निर्धारित होता है।
निर्माण रणनीति: लेखक उन कर्व्स के निर्माण पर ध्यान केंद्रित करते हैं जहाँ $\sqrt{f(x)}$ का निरंतर भिन्न विस्तार एक विशिष्ट क्वाज़ी-पीरियड लंबाई $m=6$ (और पीरियड लंबाई $n=6$ ) रखता है। यह $[a_0; a_1, a_2, a_3, a_2, a_1, 2a_0]$ के रूप में एक विस्तार के अनुरूप है।
डायोफेंटाइन विश्लेषण: यह सुनिश्चित करने के लिए कि विस्तार एक वैध हाइपरएलिप्टिक वक्र प्रदान करता है, लेखक आंशिक भागों $a_i(x)$ से संबंधित एक बहुपद डायोफेंटाइन समीकरण व्युत्पन्न करते हैं। वे इस समीकरण को लेम्मा 3.1 का उपयोग करके हल करते हैं, जो गुणांकों को विशिष्ट डिग्री प्रतिबंधों के साथ मनमाने बहुपदों $a_1, r, u$ के पदों में व्यक्त करता है।
पैरामेट्रिक परिवार: इन बहुपदों की डिग्री ( $\deg a_1 = \alpha, \deg r = \beta, \deg u = \gamma$ ) को निर्धारित करके और विभाजन स्थिति $2\alpha + 2\beta + \gamma = g+1$ को संतुष्ट करके, वे कर्व्स के स्पष्ट परिवारों का निर्माण करते हैं। टॉर्सन बिंदु का क्रम $N = g + 1 + 6\alpha + 3\beta + \gamma$ के रूप में परिकलित किया जाता है।

मुख्य योगदान और परिणाम
यह शोध पत्र उन $N$ के लिए हाइपरएलिप्टिक जैकोबियन वेरिएटीज़ के पैरामेट्रिक परिवारों के अस्तित्व को स्थापित करता है जो $g \ge 3$ के लिए अंतराल $[3g, 4g+1]$ में स्थित हैं, बशर्te कि $N$ निर्माण में बहुपदों की डिग्री से प्राप्त विशिष्ट विभाजन स्थितियों को संतुष्ट करता हो।

विस्तारित सीमाएं: लेखक सिद्ध करते हैं कि $g \ge 3$ के लिए, ऐसे कर्व्स के अनंत परिवार मौजूद हैं जहाँ टॉर्सन क्रम $3g \le N \le 4g+1$ है।
विशिष्ट मामले:
- यदि $g$ विषम (odd) है, तो $N = 4g + 1$ के टॉर्सन क्रम वाले परिवार मौजूद हैं।
- यदि $g$ सम (even) है, तो $N = 4g - 1$ के टॉर्सन क्रम वाले परिवार मौजूद हैं।
स्पष्ट उदाहरण: शोध पत्र हाइपरएलिप्टिक जैकोबियन वेरिएटीज़ के पहले ज्ञात अनंत उदाहरण प्रदान करता है जिनके विशिष्ट टॉर्सन क्रम साहित्य में पहले सूचीबद्ध नहीं थे:
- जनस 3 ( $g=3$ ): टॉर्सन क्रम 13।
- जनस 4 ( $g=4$ ): टॉर्सन क्रम 15।
- जनस 5 ( $g=5$ ): टॉर्सन क्रम 17, 18, और 21।
पूर्ण सरलता (Absolute Simplicity): लेखक यह प्रदर्शित करते हैं कि इन परिवारों में अनंत मापदंडों (parameters) के लिए, परिणामी जैकोबियन वेरिएटीज़ पूर्णतः सरल (absolutely simple) हैं (अर्थात, उनका एंडोमोर्फिज्म रिंग $\mathbb{Z}$ है)। यह परिभाषित बहुपदों के गैलुआ समूह (Galois groups) का विश्लेषण करके स्थापित किया गया है, जो अक्सर पूर्ण सममित समूह $S_{2g+1}$ या अल्टरनेटिंग समूह $A_{2g+1}$ को दर्शाते हैं।

महत्व
यह शोध पत्र लेप्रेवोस्ट द्वारा स्थापित रैखिक सीमाओं ( $\kappa=3$ ) और उच्च-क्रम की सीमाओं के बीच के अंतराल को भरने का दावा करता है। फंक्शन फील्ड्स पर निरंतर भिन्नों का उपयोग करके, लेखक $3g$ से काफी बड़े क्रम वाले तर्कसंगत टॉर्सन बिंदुओं वाले हाइपरएलिप्टिक कर्व्स के नए अनंत परिवारों का सफलतापूर्वक निर्माण करते हैं।

यह कार्य क्रमशः उनके जनस के लिए टॉर्सन क्रम 13, 15, 17, 18 और 21 के लिए पहले स्पष्ट अनंत परिवार प्रदान करता है। इसके अतिरिक्त, यह परिणाम कि ये वेरिएटीज़ अक्सर पूर्णतः सरल हैं, महत्वपूर्ण मूल्य जोड़ता है, क्योंकि यह सुनिश्चित करता है कि ये केवल निम्न-आयामी एबेलियन वेरिएटीज़ के उत्पाद मात्र नहीं हैं बल्कि विशिष्ट, अपरिमेय (irreducible) संरचनाएं हैं। यह कार्य प्रदर्शित करता है कि निरंतर भिन्न, जो ऐतिहासिक रूप से एलिप्टिक कर्व्स (जनस 1) से जुड़े उपकरण रहे हैं, उच्च-आयामी जैकोबियन वेरिएटीज़ पर टॉर्सन का अध्ययन करने के लिए प्रभावी ढंग से विस्तारित किए जा सकते हैं।

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