A torsion-intersection proof of perfect-cuboid nonexistence on 1,072 explicit master-tuple fibers

यहाँ रेने पेशमैन (René Peschmann) के शोध पत्र "1072 स्पष्ट मास्टर-टपल फाइबर्स पर परफेक्ट-क्यूबॉइड गैर-अस्तित्व का टोरशन-इंटरसेक्शन प्रमाण" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र परफेक्ट क्यूबॉइड अनुमान (Conjecture B) को संबोधित करता है, जो प्रारंभिक संख्या सिद्धांत (elementary number theory) की एक लंबे समय से चली आ रही खुली समस्या है।

• परिभाषा: एक यूलर ब्रिक (Euler brick) एक आयताकार समांतर चतुर्भुज है जिसके किनारे $(X, Y, Z)$ और फलक विकर्ण (face diagonals) पूर्णांक होते हैं। एक परफेक्ट क्यूबॉइड एक ऐसा यूलर ब्रिक है जिसका स्पेस डायगोनल (space diagonal) भी एक पूर्णांक ($\sqrt{X^2+Y^2+Z^2} \in \mathbb{N}$) होता है।
• अनुमान: $\mathbb{N}^3$ में कोई भी परफेक्ट क्यूबॉइड मौजूद नहीं है।
• वर्तमान स्थिति: जबकि कम्प्यूटेशनल खोजों ने $5 \cdot 10^{11}$ तक के किनारों वाले परफेक्ट क्यूबॉइड्स को खारिज कर दिया है, कोई सामान्य प्रमाण मौजूद नहीं है। पिछले बीजगणितीय-ज्यामितीय दृष्टिकोण विशिष्ट उप-परिवारों तक सीमित थे या अप्रामाणिक परिकल्पनाओं (जैसे कि जनरलाइज्ड रीमैन हाइपोथेसिस) पर आधारित थे।

2. कार्यप्रणाली (Methodology)

लेखक संरचनात्मक संख्या सिद्धांत, बीजगणितीय ज्यामिति और कठोर कम्प्यूटेशनल सत्यापन के संयोजन का उपयोग करते हैं। यह दृष्टिकोण तीन मुख्य चरणों में आगे बढ़ता है:

A. मास्टर टपल्स में संरचनात्मक न्यूनीकरण (Structural Reduction to Master Tuples)

शोध पत्र एक संरचनात्मक वर्गीकरण प्रमेय (प्रमेय 2.4) स्थापित करता है, जो यह सिद्ध करता है कि प्रत्येक प्रिमिटिव यूलर ब्रिक एक अद्वितीय "मास्टर टपल" $(a, b, m, n) \in \mathbb{N}^4$ से उत्पन्न होता है जो विशिष्ट सह-अभाज्य (coprimality) और पैरिटी (parity) शर्तों को पूरा करता है।

• ब्रिक के किनारे मानक पाइथागोरियन पैरामीट्रिज़ेशन से प्राप्त होते हैं: $U_1 = a^2-b^2, V_1=2ab$ और $U_2=m^2-n^2, V_2=2mn$।
• परफेक्ट क्यूबॉइड की स्थिति इस बात की जाँच करने में बदल जाती है कि क्या एक विशिष्ट बहुपद $f_1$ (जो स्पेस डायगोनल के वर्ग का प्रतिनिधित्व करता है) एक पूर्ण वर्ग है।
• यह अनंत खोज स्थान को $(m, n)$ मापदंडों द्वारा परिभाषित विशिष्ट फाइबर्स के विश्लेषण में बदल देता है।

B. जेनस-3 कर्व अपघटन (Genus-3 Curve Decomposition)

एक निश्चित मास्टर टपल फाइबर $(m, n)$ के लिए, परफेक्ट क्यूबॉइड की स्थिति एक जेनस-3 हाइपरएलिप्टिक कर्व $H_{m,n}$ में एनकोड की जाती है।

• कर्व को $v^2 = P(t^2)Q(t^2)$ द्वारा परिभाषित किया जाता है, जहाँ $t = a/b$ है।
• इस कर्व का जैकोबियन (Jacobian), $\text{Jac}(H_{m,n})$, तीन एलिप्टिक कर्व्स के उत्पाद में (isogeny तक) विभाजित होता है: $E_{PQ}$, $E_{uV}$, और $E_3$।
• शोध पत्र $E_{uV}$ और $E_3$ के एलिप्टिक कोटिएंट्स (elliptic quotients) पर ध्यान केंद्रित करता है।

C. टोरशन-इंटरसेक्शन तर्क (The Torsion-Intersection Argument)

मुख्य प्रमाण तंत्र टोरशन-इंटरसेक्शन लेम्मा (लेम्मा 4.2) पर निर्भर करता है।

• पूर्वधारणा: यदि एक एलिप्टिक कोटिएंट $E_q$ का रैंक 0 है (अर्थात इसके परिमेय बिंदु सीमित हैं और केवल टोरशन पॉइंट्स से बने हैं), तो जेनस-3 कर्व $H_{m,n}$ पर परिमेय बिंदुओं की संख्या $E_q$ के टोरशन सबग्रुप के आकार द्वारा सीमित होती है।
• तर्क:
  1. सत्यापित करें कि $\text{rk}(E_q(\mathbb{Q})) = 0$ है।
  2. $|E_q(\mathbb{Q})_{\text{tors}}|$ की गणना करें।
  3. $H_{m,n}$ से $E_q$ पर परिमेय बिंदुओं को मैप करें। चूंकि यह मैप डिग्री 2 का है, इसलिए $|H_{m,n}(\mathbb{Q})| \le 2 \cdot |E_q(\mathbb{Q})_{\text{tors}}|$।
  4. महत्वपूर्ण चरण: कर्व $H_{m,n}$ में हमेशा 8 ज्ञात "ट्रिवियल" परिमेय बिंदु होते हैं जो डिजेनरेट ब्रिक्स (जहाँ एक या अधिक किनारे शून्य होते हैं) के अनुरूप होते हैं।
  5. यदि टोरशन इंटरसेक्शन से प्राप्त ऊपरी सीमा (upper bound) ठीक 8 के बराबर है, तो उस फाइबर पर कोई गैर-ट्रिवियल (परफेक्ट क्यूबॉइड) बिंदु मौजूद नहीं हैं।

D. बिना शर्त रैंक प्रमाणन (Unconditional Rank Certification)

यह सुनिश्चित करने के लिए कि प्रमाण बिना शर्त (unconditional) है (अर्थात अप्रामाणिक अनुमानों जैसे GRH पर निर्भर नहीं है), लेखक दो पूरक तकनीकों का उपयोग करते हैं:

1. 2-डेसेंट (2-Descent): PARI/GP के ellrank का उपयोग करके कठोर सीमाएँ $[r_{low}, r_{up}]$ प्राप्त करना। यदि $r_{low} = r_{up} = 0$, तो रैंक सिद्ध रूप से शून्य है।
2. मॉड्यूलर सिम्बल्स (Modular Symbols - कोलीवागिन का प्रमेय): उन मामलों के लिए जहाँ 2-डेसेंट संदिग्ध है (जैसे, $[0, 2]$), लेखक Sage के मॉड्यूलर सिम्बल्स का उपयोग करके $L(E, 1)/\Omega_E$ की सटीक गणना करते हैं।
   • मॉड्यूलरिटी थ्योरम और कोलीवागिन के प्रमेय द्वारा, यदि $L(E, 1) \neq 0$, तो रैंक 0 है।
   • सेमीस्टेबल कर्व्स के लिए (जिनमें से सभी सामना किए गए फैक्टर्स थे), मैनिन कांस्टेंट (Manin constant) 1 है, जो मॉड्यूलर सिंबल गणना को सटीक और बिना शर्त बनाता है।

3. प्रमुख योगदान (Key Contributions)

1. संरचनात्मक वर्गीकरण (प्रमेय 2.4): मास्टर टपल पैरामीट्रिज़ेशन के विपरीत दिशा को सिद्ध करता है, यह दिखाते हुए कि प्रत्येक प्रिमिटिव यूलर ब्रिक एक मास्टर टपल के अनुरूप होता है। यह पिछले साहित्य में एक लुप्त कड़ी थी।
2. टोरशन-इंटरसेक्शन तर्क: $E_{uV}$ और $E_3$ के एलिप्टिक कोटिएंट्स पर एक परिष्कृत इंटरसेक्शन बाउंड लागू करता है। $E_A$ पर केंद्रित पिछले कार्यों के विपरीत, यह शोध पत्र $E_{uV}$ और $E_3$ की विशिष्ट ज्यामिति का लाभ उठाता है ताकि पॉइंट काउंट को ठीक 8 तक पहुँचाया जा सके।
3. परिष्कृत लिफ्ट काउंटिंग (Refined Lift Counting): जब नैव (naive) टोरशन बाउंड बहुत ढीला होता है (जैसे, टोरशन साइज 8 होने पर 12 का बाउंड मिलना), तो लेखक क्वार्टिक मॉडल पर 8 टोरशन पॉइंट्स का स्पष्ट नामांकन (enumeration) करते हैं। यह जाँचकर कि कौन से बिंदु परिमेय रूप से जेनस-3 कर्व पर "लिफ्ट" होते हैं, वे बाउंड को वापस 8 पर परिष्कृत करते हैं।
4. बिना शर्त प्रमाणन पाइपलाइन: एक मजबूत कम्प्यूटेशनल वर्कफ़्लो जो PARI/GP और SageMath को जोड़ता है, जो GRH या बर्च और स्विनर्टन-डायर अनुमान (Birch and Swinnerton-Dyer conjecture) पर निर्भर रहने के बजाय कोलीवागिन के प्रमेय और मैनिन कांस्टेंट पर एडिक्सोडेन (Edixhoven) के बाउंड पर भरोसा करता है।

4. परिणाम (Results)

• दायरा: यह अध्ययन सभी सह-अभाज्य जोड़ों $(m, n)$ को कवर करता है जहाँ $\max(m, n) \le 100$ और $m-n$ विषम है। ऐसे 2,040 जोड़े हैं।
• सफलता दर: यह विधि 1,072 फाइबर्स (लगभग 52.5% खोज स्थान) पर परफेक्ट क्यूबॉइड के गैर-अस्तित्व को बिना शर्त सिद्ध करती है।
• सिद्ध फाइबर्स का विवरण:
  • 827 फाइबर्स $E_3$ के माध्यम से: 359 शार्प 2-डेसेंट द्वारा और 468 मॉड्यूलर सिंबल प्रमाणन द्वारा।
  • 245 फाइबर्स $E_{uV}$ के माध्यम से: इन सभी के लिए 'रिफाइंड लिफ्ट-काउंटिंग' तर्क (केस c) की आवश्यकता थी क्योंकि टोरशन साइज 8 था।
• परिणाम: इन 1,072 फाइबर्स के लिए, संबद्ध जेनस-3 कर्व पर परिमेय बिंदुओं का सेट 8 डिजेनरेट बिंदुओं का सेट ही है। अतः, किसी भी $(m, n)$ जोड़े से प्राप्त मास्टर टपल के लिए कोई परफेक्ट क्यूबॉइड मौजूद नहीं है।

5. महत्व और सीमाएँ (Significance and Limitations)

• महत्व:
  • यह बिना किसी अप्रामाणिक अनुमानों पर निर्भर रहे, बड़े और स्पष्ट सेट ऑफ फाइबर्स पर परफेक्ट क्यूबॉइड के गैर-अस्तित्व का पहला बिना शर्त (unconditional) प्रमाण है।
  • यह दिखाता है कि कर्व्स के परिवारों में रैंक-जीरो मामलों को हल करने के लिए स्पष्ट डिसेंट और मॉड्यूलर सिंबल गणनाओं को संयोजित करने की शक्ति क्या है।
  • यह भविष्य के व्यापक खोजों के लिए एक ठोस ढांचा (मास्टर टपल्स) प्रदान करता है।
• सीमाएँ:
  • कवरेज: यह परिणाम $m, n \le 100$ तक के केवल ~52% फाइबर्स को कवर करता है। शेष 968 फाइबर्स या तो वर्तमान कम्प्यूटेशनल बजट (कंडक्टर $> 10^{12}$) से अधिक संदिग्ध रैंक रखते हैं, या उनका कुल जैकोबियन रैंक $\ge 3$ है, जिससे मानक चाबौटी (Chabauty) विधियाँ लागू नहीं होती हैं।
  • कठिन फाइबर्स (Hard Fibers): वे फाइबर्स जहाँ तीनों एलिप्टिक फैक्टर्स का रैंक $\ge 1$ है (जैसे, $(5,2)$), अभी भी खुले हैं।
  • विस्तार: लेखक सुझाव देते हैं कि शेष "कठिन" फाइबर्स से निपटने और संभवतः उच्च $m, n$ तक विस्तार करने के लिए क्वाड्रेटिक चाबौटी (p-adic विधियाँ) और मोर्डेल-वील सीविंग (Mordell-Weil sieving) आवश्यक अगले कदम हैं।

संक्षेप में, पेशमैन एक कठोर, कंप्यूटर-सहायता प्राप्त प्रमाण प्रदान करते हैं जो पैरामीटर स्पेस के एक महत्वपूर्ण हिस्से के लिए परफेक्ट क्यूबॉइड की संभावना को समाप्त कर देता है, जिससे इस शास्त्रीय समस्या में बिना शर्त परिणामों के लिए एक नया मानक स्थापित होता है।