The size of $2$-Selmer groups for the $\fracπ{3}$-congruent number problem

तकनीकी सारांश: $\pi/3$-संगत संख्या समस्या के लिए 2-सेल्मर समूहों का आकार

समस्या विवरण
यह शोध पत्र $\pi/3$-संगत संख्या समस्या से जुड़ी दीर्घवृत्तीय वक्रों (elliptic curves) से संबंधित 2-सेल्मर समूह के औसत रैंक की जांच करता है। एक धनात्मक पूर्णांक $n$ एक $\theta$-संगत संख्या है यदि वह एक परिमेय त्रिभुज के क्षेत्रफल को दर्शाता है जिसका कोण $\theta$ है। विशेष रूप से, लेखक $\theta = \pi/3$ के मामले पर ध्यान केंद्रित करते हैं, जहाँ संबद्ध दीर्घवृत्तीय वक्र को इस प्रकार परिभाषित किया गया है:
$$E_{n, \pi/3}: y^2 = x(x + 3n)(x - n)$$
अध्ययन का मुख्य विषय 2-सेल्मर रैंक है, जिसे $s(n)$ द्वारा दर्शाया जाता है, जहाँ 2-सेल्मर समूह का आकार $2^{2+s(n)}$ होता है। लेखकों का लक्ष्य वर्ग-मुक्त पूर्णांकों के विशिष्ट परिवारों पर $2^{s(n)}$ के औसत मान के स्पर्शोन्मुखी व्यवहार (asymptotic behavior) को निर्धारित करना है।

कार्यप्रणाली
लेखक हीथ-ब्राउन [H93] द्वारा संगत दीर्घवृत्तीय वक्रों ($y^2 = x^3 - n^2x$) के लिए अपनाई गई रणनीति को अपनाते हैं, और इसे $E_{n, \pi/3}$ की विशिष्ट अंकगणितीय संरचना के अनुकूल बनाते हैं। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. 2-डिसेंट (2-Descent) और समरूप निकाय (Homogeneous Systems):
   2-डिसेंट विधि का उपयोग करते हुए, लेखक $E_{n, \pi/3}(\mathbb{Q})/2E_{n, \pi/3}(\mathbb{Q})$ को स्थानीय क्षेत्रों (local fields) के गुणनफल में मैप करते हैं। वे 2-सेल्मर समूह और समरूप समीकरणों के समाधान योग्य निकायों के बीच एक एकैकी संबंध (bijection) स्थापित करते हैं। विशेष रूप से, वे चार परस्पर सह-अभाज्य वर्ग-मुक्त पूर्णांकों $n_1, n_2, n_3, n_4$ (जहाँ $n = n_1 n_2 n_3 n_4$) से जुड़े समीकरणों का एक निकाय व्युत्पन्न करते हैं:
   $$n_1 X^2 + 3n_4 W^2 = n_2 Y^2$$
   $$n_1 X^2 - n_4 W^2 = n_3 Z^2$$
   2-सेल्मर समूह का आकार, $2^{s(n)}$, ऐसे निकायों की संख्या के अनुरूप है जो $\mathbb{R}$ और सभी $\mathbb{Q}_p$ में समाधान योग्य हैं।

2. स्थानीय स्थितियाँ और प्रतिबंध:
   लेखक $6n$ को विभाजित करने वाले अभाज्य संख्याओं पर स्थानीय समाधान योग्यता स्थितियों का गहन विश्लेषण करते हैं। एक महत्वपूर्ण तकनीकी प्रतिबंध लगाया गया है: अध्ययन को उन वर्ग-मुक्त पूर्णांकों $n$ तक सीमित रखा गया है जहाँ $n \equiv 5, 13 \pmod{24}$ है और $n$ का प्रत्येक अभाज्य विभाजक $p$ इस प्रकार है कि $p \equiv 1 \pmod 4$। इन स्थितियों के तहत, स्थानीय समूह नियंत्रित तरीके से व्यवहार करते हैं, जिससे वैश्विक सेल्मर समूह के आकार को जैकोबी प्रतीकों (Jacobi symbols) से युक्त गुणनखंडों के योग के रूप में व्यक्त किया जा सकता है।

3. औसत निकालना और अभिलक्षण योग (Character Sums):
   औसत आकार की गणना करने के लिए, लेखक $S(X, h) = \{1 \le n \le X : n \equiv h \pmod{24}, n \text{ वर्ग-मुक्त}, p|n \implies p \equiv 1 \pmod 4\}$ के सेट पर $2^{s(n)}$ के योग को एकत्रित करते हैं।

• वे $n_1, \dots, n_4$ के गुणनखंड से उत्पन्न होने वाले 16 चरों $n_{ij}$ के ऊपर योग को विघटित करते हैं।
• वे अभिलक्षण योगों को सीमित करने के लिए हीथ-ब्राउन की "लिंक्ड वेरिएबल्स" (linked variables) की तकनीक का उपयोग करते हैं। चरों को तब "लिंक्ड" माना जाता है जब वे जैकोबी प्रतीक में एक साथ दिखाई देते हैं।
• अभिलक्षण योगों के लिए बाउंड्स (विशेष रूप से [H93] से लेम्मा 3.1 और लेम्मा 3.3 को मॉड्यूल 24 के लिए अनुकूलित करके) का उपयोग करते हुए, वे दिखाते हैं कि कई "बड़े" चरों वाले विन्यासों (configurations) का योगदान नगण्य है।
• मुख्य पद (main term) चरों के विशिष्ट विन्यासों (लेम्मा 4.1 में पहचाने गए 9 अपवादित मामलों) से उत्पन्न होता है जहाँ चर पर्याप्त रूप से विच्छेदित (decouple) हो जाते हैं ताकि उनका स्पष्ट मूल्यांकन किया जा सके।

प्रमुख योगदान और परिणाम

• मुख्य प्रमेय (प्रमेय 1.2): $h = 5$ और $h = 13$ के लिए, लेखक $2^{s(n)}$ के योग के लिए निम्नलिखित स्पर्शोन्मुखी सूत्र सिद्ध करते हैं:
  $$\sum_{n \in S(X,h)} 2^{s(n)} = 9 \# S(X, h) + O\left(X (\log X)^{-5/8} (\log \log X)^8\right)$$
  यह परिणाम स्थापित करता है कि शिथिल (relaxed) 2-सेल्मर समूह का औसत आकार उस सेट के पूर्णांकों की संख्या का ठीक 9 गुना है।

• सेल्मर रैंक का घनत्व (Density):
  वेई-गुओ [WG2022] से प्राप्त पैरिटी परिणामों को मुख्य प्रमेय के साथ जोड़कर, लेखक बिना शर्त घनत्व परिणाम प्राप्त करते हैं:

  • मामला $n \equiv 5 \pmod{24}$: चूंकि $s(n)$ सम है, इसलिए $s(n) = 0$ या $s(n) = 2$ का घनत्व कम से कम $7/16$ है।
  • मामला $n \equiv 13 \pmod{24}$: चूंकि $s(n)$ विषम है, इसलिए $s(n) = 1$ या $s(n) = 3$ का घनत्व कम से कम $1/3$ है।

• मोर्डेल-वील रैंक के लिए निहितार्थ:
  असमानता $r(n) \le s(n)$ का उपयोग करते हुए, लेखक इन परिवारों के लिए औसत मोर्डेल-वील रैंक $r(n)$ के लिए ऊपरी सीमा प्रदान करते हैं, जो $s(n)$ के लिए प्राप्त सीमाओं के अनुरूप है।

महत्व और दावे

लेखक दावा करते हैं कि उनके परिणाम योशिदा के $\pi/3$-संगत संख्याओं के संबंध में अनुमान का बिना शर्त प्रमाण प्रदान करते हैं। प्राप्त घनत्व यह सुझाव देते हैं कि निर्दिष्ट परिवारों में पूर्णांकों का एक सकारात्मक अनुपात निम्न 2-सेल्मर रैंक रखता है, जो वक्रों पर परिमेय बिंदुओं के अस्तित्व के साथ सह-संबंधित है।

लेखक स्पष्ट रूप से नोट करते हैं कि उनका परिणाम भार्गव-केन-लेन्स्ट्रा-पूनन-रेन्स (BKLPR) के सामान्य अनुमानों से महत्वपूर्ण विचलन प्रदर्शित करता है। जबकि BKLPR रैंडम मैट्रिक्स थ्योरी के आधार पर एक विशिष्ट वितरण की भविष्यवाणी करता है, मुख्य प्रमेय में 9 का स्थिरांक वक्र की 2-आइसोजेनी (2-isogeny) और 6 को विभाजित करने वाले अभाज्यों पर विशिष्ट स्थानीय स्थितियों से उत्पन्न एक "कठोर संरचना" (rigid structure) को दर्शाता है। यह कठोरता इस परिवार में 2-सेल्मर रैंक के वितरण को सामान्य रैंडम मैट्रिक्स भविष्यवाणियों से भिन्न बनाती है।

लेखक स्पष्ट रूप से उल्लेख करते हैं कि उनकी तकनीक वर्तमान में उन पूर्णांकों तक सीमित है जहाँ सभी अभाज्य गुणनखंड $1 \pmod 4$ के अनुरूप हैं। इन परिणामों को पूर्ण वर्ग-मुक्त पूर्णांकों या $2\pi/3$-संगत संख्या समस्या तक विस्तारित करने के लिए नई विधियों की आवश्यकता होगी, क्योंकि उन मामलों में तकनीकी कठिनाइयाँ काफी अधिक हैं। यह शोध पत्र पूर्ण $\pi/3$-संगत संख्या अनुमान को हल करने का दावा नहीं करता है, बल्कि एक विशिष्ट, सुव्यवस्थित उप-परिवार के लिए एक मौलिक स्पर्शोन्मुखी सूत्र प्रदान करता है।