🔢 mathematics

Quadratic Twists of Heronian Elliptic Curves with Arbitrarily Large 2-Selmer Rank

यह शोधपत्र 2 की घातों द्वारा प्रेरित द्विघाती ट्विस्ट्स (quadratic twists) का विश्लेषण करके, $2mn$ क्षेत्रफल वाले हेरोन त्रिभुजों से संबद्ध अण्डाकार वक्रों (elliptic curves) के 2-सेल्मर रैंक (2-Selmer rank) को स्पष्ट रूप से निर्धारित करता है, जिससे किसी भी वर्गमुक्त विषम पूर्णांक $n$ के लिए स्वेच्छा से बड़े 2-सेल्मर रैंक वाले ऐसे वक्रों के स्पष्ट परिवारों का निर्माण किया जाता है।

मूल लेखक: Vinodkumar Ghale, Md Imdadul Islam

प्रकाशित 2026-08-04

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

CC BY 4.0

मूल लेखक: Vinodkumar Ghale, Md Imdadul Islam

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

कल्पना कीजिए कि एक ऐसी दुनिया है जहाँ संख्याएँ केवल कैलकुलेटर पर दिखने वाले ठंडे, कठोर अंक नहीं हैं, बल्कि एक भव्य, प्राचीन रहस्य के पात्र हैं। यह कहानी संख्या सिद्धांत (Number Theory) के साम्राज्य में जीवित है, जो गणित की एक ऐसी शाखा है जो पूर्ण संख्याओं (whole numbers) को एक गुप्त समाज की तरह मानती है जिसके अपने छिपे हुए नियम और संबंध हैं। सदियों से, गणितज्ञ एक विशिष्ट पहेली के प्रति जुनूनी रहे हैं जिसे "कॉन्ग्रुएंट नंबर प्रॉब्लम" (congruent number problem) कहा जाता है। यह एक सरल प्रश्न पूछता है: क्या एक विशिष्ट पूर्ण संख्या एक ऐसे समकोण त्रिभुज का क्षेत्रफल हो सकती है जिसकी सभी भुजाएँ भी परिमेय संख्याएँ (भिन्न/fractions) हों?

इसे हल करने के लिए, गणितज्ञ केवल त्रिभुज नहीं बनाते; वे एलिप्टिक कर्व्स (Elliptic Curves) नामक एक अलग दुनिया तक पुल बनाते हैं। इन कर्व्स को कागज पर खींची गई चिकनी रेखाओं के रूप में नहीं, बल्कि अदृश्य गणितीय पटरियों से बने जटिल, घुमावदार रोलरकोस्टर के रूप में सोचें। ट्रैक का "आकार" आपको बताता है कि क्या त्रिभुज की पहेली का कोई समाधान है। लेकिन पेचीदा हिस्सा यह है कि कभी-कभी ट्रैक ऐसा दिखता है जैसे उसमें कोई समाधान हो, लेकिन वास्तव में वह एक बंद रास्ता (dead end) होता है। इस बात का पता लगाने के लिए, गणितज्ञ 2-सेल्मर ग्रुप (2-Selmer group) नामक एक विशेष उपकरण का उपयोग करते हैं। आप इस समूह को एक "सुरक्षा चेकपॉइंट" या एक "फ़िल्टर" के रूप में देख सकते हैं। यह रोलरकोस्टर के हर संभावित पथ की जाँच करता है कि क्या वह एक वास्तविक, काम करने वाला मार्ग है या केवल एक नकली भ्रम। इस समूह का आकार (इसका "रैंक") हमें बताता है कि कितने संभावित समाधान मौजूद हैं। रैंक जितनी बड़ी होगी, पहेली उतनी ही जटिल होगी, और वास्तविक उत्तर खोजना उतना ही कठिन होगा।

अब, यहाँ हेरोनियन एलिप्टिक कर्व्स (Heronian Elliptic Curves) आते हैं। ये इन गणितीय रोलरकोस्टरों का एक विशेष परिवार हैं जो सीधे तौर पर हेरोन त्रिभुजों (Heron triangles) से जुड़े हैं—ऐसे त्रिभुज जिनकी भुजाएँ और क्षेत्रफल परिमेय होते हैं, जिनका नाम प्राचीन ग्रीक गणितज्ञ हीरो के नाम पर रखा गया है। जबकि कॉन्ग्रुएंट नंबर प्रॉब्लम समकोण त्रिभुजों के बारे में है, हेरोन त्रिभुज किसी भी कोण वाले हो सकते हैं, जिससे वे एक बहुत अधिक विविध और व्यापक समूह बन जाते हैं।

इस शोध पत्र में, दो गणितज्ञों, विनोदकुमार घाले और मोहम्मद इमतदुल इस्लाम ने इस विशिष्ट कर्व परिवार की गहराई से जांच करने का निर्णय लिया। वे यह देखना चाहते थे कि क्या होता है जब वे कर्व के एक विशिष्ट "नॉब" (knob) को घुमाते हैं। यह नॉब एक संख्या है जिसे $m$ कहा जाता है, जो त्रिभुज के क्षेत्रफल के सूत्र ($2mn $) का हिस्सा है।$ m$ को बदलकर, वे केवल एक छोटा सा समायोजन नहीं कर रहे हैं; वे एक "क्वाड्रेटिक ट्विस्ट" (quadratic twist) कर रहे हैं। कल्पना कीजिए कि आप एक रबर बैंड (कर्व) को एक पोल के चारों ओर घुमा रहे हैं। इसका आकार बदल जाता है, तनाव बदल जाता है, और इसके वापस लौटने का तरीका पूरी तरह से अलग होता है, भले ही यह उसी सामग्री से बना हो।

लेखकों ने इन कर्व्स को 2 की घातों (2 की पावर) का उपयोग करके घुमाने (twist करने) पर ध्यान केंद्रित किया (यानी $m$ को 1 से 2, 4, 8 आदि में बदलना)। वे यह जानना चाहते थे कि क्या यह ट्विस्टिंग सुरक्षा चेकपॉइंट (2-सेल्मर ग्रुप) को बड़ा बनाती है या छोटा? और क्या वे इसे जितना चाहें उतना बड़ा बना सकते हैं?

उन्होंने जो पाया वह यहाँ है। उन्होंने सिद्ध किया कि $n$ को सावधानीपूर्वक चुनकर, जो कि सूत्र में दूसरा नंबर है, वे अविश्वसनीय सटीकता के साथ इस सुरक्षा चेकपॉइंट के आकार को नियंत्रित कर सकते हैं। विशेष रूप से, उन्होंने दिखाया कि यदि आप एक ऐसी संख्या $n$ चुनते हैं जो एक निश्चित प्रकार की अभाज्य संख्याओं (prime numbers) से बनी है (वे जो 8 से विभाजित होने पर 1 शेषफल छोड़ती हैं), तो 2-सेल्मर ग्रुप का आकार एक सीधी रेखा में बढ़ता है। हर बार जब आप $n$ में एक विशेष अभाज्य कारक जोड़ते हैं, तो समूह का रैंक एक से बढ़ जाता है।

यह शोध पत्र एक स्पष्ट, चरण-दर-चरण रेसिपी प्रदान करता है। यह आपको ठीक से बताता है कि $n$ के कितने अभाज्य कारक हैं और ट्विस्टिंग नंबर $m$ विषम (odd) है या सम (even), इसके आधार पर समूह के आकार की गणना कैसे की जाए। उन्होंने केवल अनुमान नहीं लगाया; उन्होंने यह सिद्ध करने के लिए कि उनके सूत्र सही हैं, "2-डेसेंट" (2-descent) नामक एक कठोर गणितीय पद्धति का उपयोग किया। उन्होंने अपने सिद्धांत की पुष्टि करने के लिए विशाल संख्याओं (कुछ में एक दर्जन से अधिक अभाज्य कारक थे) के साथ कंप्यूटर सिमुलेशन भी चलाए, और परिणाम उनकी भविष्यवाणियों से पूरी तरह मेल खाते थे।

उनकी खोज का सबसे रोमांचक हिस्सा यह है कि इसकी कोई सीमा नहीं है। क्योंकि आप $n$ में और अधिक विशेष अभाज्य कारक जोड़ते जा सकते हैं, आप इन कर्व्स का एक ऐसा परिवार बना सकते हैं जहाँ 2-सेल्मर रैंक अनिश्चित रूप से बड़ा (arbitrarily large) हो सकता है। दूसरे शब्दों में, उन्होंने आपको एक ऐसा गणितीय ढांचा बनाने का तरीका दिखाया है जिसका सुरक्षा चेकपॉइंट आपकी कल्पना के अनुसार जितना चाहें उतना विशाल हो सकता है। यह केवल एक छोटी पहेली को हल नहीं करता है; यह गणितज्ञों को अत्यधिक जटिलता वाले कर्व के उदाहरण बनाने के लिए एक शक्तिशाली नया उपकरण देता है, जिससे उन्हें संख्याओं की गहरी, छिपी हुई वास्तुकला को समझने में मदद मिलती है।

तकनीकी सारांश: मनमाने रूप से बड़े 2-सेल्मर रैंक वाले हेरोनियन एलिप्टिक कर्व्स के क्वाड्रेटिक ट्विस्ट

समस्या विवरण
यह शोध पत्र हेरोनियन एलिप्टिक कर्व्स (Heronian elliptic curves) के अंकगणित को संबोधित करता है, विशेष रूप से वे जो हीरोन त्रिभुजों (वे त्रिभुज जिनके पक्ष और क्षेत्रफल परिमेय होते हैं) से उत्पन्न होते हैं जिनका क्षेत्रफल $2mn $है। जबकि कॉन्ग्रुएंट नंबर समस्या (समकोण त्रिभुज) क्वाड्रेटिक ट्विस्ट परिवारों में 2-सेल्मर रैंक के वितरण के संबंध में अच्छी तरह से अध्ययन की गई है, हेरोनियन एलिप्टिक कर्व्स के लिए एक प्राकृतिक पैरामीटर$ m $(क्षेत्रफल में 2 की घातांक) के विशिष्ट संदर्भ का स्पष्ट रूप से विश्लेषण नहीं किया गया था। लेखक यह जांचते हैं कि 2 की घातों (बदलते$ m $के माध्यम से) द्वारा क्वाड्रेटिक ट्विस्टिंग के तहत$ E_{m,n}$ वक्रों के 2-सेल्मर समूह (2-Selmer group) का रूपांतरण कैसे होता है, जिसका उद्देश्य निर्धारित और मनमाने रूप से बड़े 2-सेल्मर रैंक वाले स्पष्ट परिवारों का निर्माण करना है।

कार्यप्रणाली
लेखक $E_{m,n}$ द्वारा परिभाषित एलिप्टिक कर्व्स पर एक पूर्ण 2-डिसेंट (2-descent) का उपयोग करते हैं:
$E_{m,n}: y^2 = x(x - 2mn^2)(x + 2m)$
जहाँ $n$ एक वर्ग-मुक्त विषम पूर्णांक है ताकि $n^2 + 1 = 2q$ किसी अभाज्य $q$ के लिए हो। कार्यप्रणाली इस प्रकार आगे बढ़ती है:

टॉर्शन विश्लेषण (Torsion Analysis): लेखक पहले यह स्थापित करते हैं कि परिमेय टॉर्शन सबग्रुप $E_{m,n}(\mathbb{Q})_{\text{tors}}$ सभी $m$ के लिए $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ के समरूप है, जो 2-विभाज्यता मानदंडों के माध्यम से क्रम 4 के बिंदुओं को खारिज करता है।
डिसेंट मैप सेटअप (Descent Map Setup): वे $Q(S, 2) \times Q(S, 2)$ में 2-डिसेंट मैप $\beta$ को परिभाषित करते हैं, जहाँ $S$ में $n$ के अभाज्य गुणनखंड, $q$ , और 2 शामिल हैं। 2-सेल्मर समूह को उन $(b_1, b_2)$ जोड़ों के सेट के रूप में पहचाना जाता है जिनके लिए एक समरूप स्थान (homogeneous space) का सभी स्थानीय क्षेत्रों $\mathbb{Q}_l$ में गैर-तुच्छ समाधान होता है।
स्थानीय समाधान योग्यता विश्लेषण (Local Solvability Analysis): प्रमाण का मुख्य भाग $l=2$ $l = 2$ , $l=p$ $l = p$ (जहाँ $p|n$ $p ∣ n$ ), और $l=q$ $l = q$ पर स्थानीय बाधाओं (local obstructions) का विस्तृत विश्लेषण है।
- $m$ की समता (Parity of $m$ ): विश्लेषण $m$ के विषम होने और $m$ के सम होने के मामलों में विभाजित होता है।
- $n$ का अभाज्य गुणनखंडन: पूर्णांक $n$ को $n = n_1 n_2$ में विभाजित किया जाता है, जहाँ $n_1$ में $p \equiv \pm 1 \pmod 8$ वाले अभाज्य गुणनखंड शामिल हैं और $n_2$ में $p \equiv \pm 3 \pmod 8$ वाले अभाज्य गुणनखंड शामिल हैं।
- सर्वांग conformidad स्थितियाँ (Congruence Conditions): लेखक $q = (n^2+1)/2 \pmod 8$ के सर्वांग क्लास और $n$ के अभाज्य गुणनखंडों के अवशेष वर्गों के आधार पर यह निर्धारित करने के लिए आवश्यक और पर्याप्त स्थितियाँ व्युत्पन्न करते हैं कि कौन से जोड़े $(b, b)$ , $(2b, b)$ , आदि सेल्मर समूह में शामिल हैं।
स्पष्ट निर्माण (Explicit Construction): उन जोड़ों को हटाकर जो स्थानीय समाधान योग्यता में विफल रहते हैं (जैसे, यह दिखाना कि यदि $p \equiv \pm 3 \pmod 8$ $b$ को विभाजित करता है और $m$ विषम है, तो जोड़ा सेल्मर समूह में नहीं है), लेखक 2-सेल्मर समूह के सटीक जनरेटरों को अलग करते हैं।

मुख्य परिणाम
शोध पत्र $m$ की समता और $n$ के गुणनखंडन के आधार पर 2-सेल्मर रैंक $s_2(E_{m,n})$ और 2-सेल्मर समूह की संरचना के लिए स्पष्ट सूत्र प्रदान करता है:

स्थिति 1: $m$ विषम है
- यदि $n_1 = 1$ $n_{1} = 1$ (सभी $n$ $n$ के अभाज्य गुणनखंड $\equiv \pm 3 \pmod 8$ $\equiv \pm 3 (mod 8)$ हैं):
  - यदि $q \equiv 1 \pmod 8$ , तो $s_2 = 1$ ।
  - यदि $q \equiv 5 \pmod 8$ , तो $s_2 = 0$ ।
- यदि $n_1 > 1$ $n_{1} > 1$ :
  - यदि $q \equiv 1 \pmod 8$ , तो $s_2 = r + s + 1$ ।
  - यदि $q \equiv 5 \pmod 8$ , तो $s_2 = r + s$ ।
- यहाँ, $r$ और $s$ क्रमशः $1 $और$ 7 \pmod 8 $के अनुरूप$ n_1$ के अभाज्य गुणनखंडों की गणना हैं।
स्थिति 2: $m$ सम है
- यदि $n_2 = 1$ $n_{2} = 1$ (सभी $n$ $n$ के अभाज्य गुणनखंड $\equiv \pm 1 \pmod 8$ $\equiv \pm 1 (mod 8)$ हैं):
  - $s_2 = r + s + 1$ ।
- यदि $n_2 > 1$ $n_{2} > 1$ :
  - $s_2 = r + s + t - 1$ , जहाँ $t$ $n_2$ के अभाज्य गुणनखंडों की संख्या है।

महत्व और दावे
लेखक दावा करते हैं कि यह कार्य विशेष रूप से हेरोनियन एलिप्टिक कर्व्स के संदर्भ में क्वाड्रेटिक ट्विस्टिंग के तहत 2-सेल्मर समूह कैसे रूपांतरित होता है, इसका पहला स्पष्ट निर्धारण है।

मनमाने रूप से बड़े रैंक: परिणाम यह प्रदर्शित करते हैं कि $n$ को $1 \pmod 8$ के अनुरूप अभाज्य गुणनखंडों (विशेष रूप से $n_1$ में) की पर्याप्त संख्या के साथ चुनकर, मनमाने रूप से बड़े 2-सेल्मर रैंक वाले हेरोनियन एलिप्टिक कर्व्स के स्पष्ट परिवार बनाए जा सकते हैं।
सामान्यीकरण: यह पिछले कार्य [1] (जो $n$ पर विशिष्ट शर्तों तक सीमित था) के परिवार को किसी भी $m$ के लिए सामान्य बनाता है, जिससे ट्विस्टिंग व्यवहार का एक पूर्ण अंकगणितीय विवरण प्राप्त होता है।
ऊपरी सीमाएँ: चूंकि 2-सेल्मर रैंक मोर्डेल-वील रैंक (Mordell-Weil rank) के लिए एक ऊपरी सीमा प्रदान करता है ( $rank E(\mathbb{Q}) \le s_2(E)$ ), ये सूत्र इन वक्रों के रैंक के लिए स्पष्ट ऊपरी सीमाएँ प्रदान करते हैं।

शोध पत्र SageMath और MAGMA का उपयोग करके कम्प्यूटेशनल सत्यापन के माध्यम से इन सैद्धांतिक निष्कर्षों का समर्थन करता है, जिसमें $n$ के बढ़ते अभाज्य गुणनखंडों के साथ विभिन्न $n$ के लिए 2-सेल्मर रैंक और जनरेटरों की तालिकाएँ प्रस्तुत की गई हैं, जो $1 \pmod 8$ के अनुरूप अभाज्य गुणनखंडों की संख्या के सापेक्ष रैंक की रैखिक वृद्धि की पुष्टि करती हैं।

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