Irreducibility of the Cuboid Polynomial $P_{a,u}(t)$ via a Rank-Zero Elliptic Curve

यहाँ वैलेरी असिर्यान के शोध पत्र "Rank-Zero Elliptic Curve के माध्यम से Cuboid Polynomial $P_{a,u}(t)$ की अपरिमेयता (Irreducibility)" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र परफेक्ट क्यूबॉइड समस्या (Perfect Cuboid Problem) को संबोधित करता है, जो एक ऐसे आयताकार बॉक्स की खोज करती है जिसके किनारे (edge lengths) पूर्णांक हों और जिसके सभी फलक विकर्ण (face diagonals) तथा अंतरिक्ष विकर्ण (space diagonal) भी पूर्णांक हों।

• संदर्भ: आर. ए. शरीप (R. A. Sharipov) ने संभावित क्यूबॉइड्स को पूर्णांक मापदंडों वाले सम एकपदी (even monic polynomials) के साथ जोड़ने की एक विधि पेश की थी। "प्रथम-क्यूबॉइड" (first-cuboid) विशेषण ($a=b$) में, यह दो-मापदंड वाले डिग्री-8 बहुपद में बदल जाता है:
  $$P_{a,u}(t) = t^8 + 6(u^2 - a^2)t^6 + ((u^2 - a^2)^2 - 2a^2u^2)t^4 - 6(u^2 - a^2)a^2u^2 t^2 + a^4u^4$$
  जहाँ $a, u \in \mathbb{Z} \setminus \{0\}$ और $u^2 \neq a^2$ है।
• अनुमान (Conjecture): शरीप ने अनुमान लगाया था कि सह-मूल (coprime) $a \neq u$ के लिए, $P_{a,u}(t)$, $\mathbb{Z}[t]$ (और तुलतः $\mathbb{Q}[t]$) पर अपरिमेय (irreducible) है।
• लक्ष्य: इस शोध पत्र का लक्ष्य इस अनुमान को सिद्ध करना है, जिससे सभी गैर-शून्य पूर्णांकों $a, u$ (जहाँ $u^2 \neq a^2$) के लिए $P_{a,u}(t)$ की पूर्ण अपरिमेयता स्थापित की जा सके।

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

यह प्रमाण बीजगणितीय संख्या सिद्धांत (algebraic number theory), वक्रों की ज्यामिति (geometry of curves), और एलिप्टिक कर्व्स के अंकगणित (arithmetic of elliptic curves) को संयोजित करने वाले बहु-चरणीय दृष्टिकोण का उपयोग करता है।

A. द्विघातीय विस्तार पर विभाजन (Splitting over a Quadratic Extension)

लेखक पहले द्विघातीय क्षेत्र $K = \mathbb{Q}(\sqrt{2})$ पर बहुपद का विश्लेषण करते हैं।

• गुणनखंडन (Factorization): वे प्रदर्शित करते हैं कि $P_{a,u}(t)$, $K[t]$ में दो संयुग्मी चतुर्थ घातों (conjugate quartics), $H_-(t)$ और $H_+(t)$ में विभाजित होता है।
• सह-अभाज्यता (Coprimeness): वे सिद्ध करते हैं कि $K[t]$ में $\gcd(H_-, H_+) = 1$ है।
• न्यूनीकरण (Reduction): $K[t]$ में $H_{\pm}(t)$ का कोई भी आगे का गुणनखंडन $t$ में सम (even) होना चाहिए (बहुपद की संरचना और क्षेत्र के पूर्णतः वास्तविक (totally real) होने के कारण)। यह समस्या को $S = t^2$ में एक विशिष्ट द्विघाती बहुपद को $K[S]$ में विभाजित करने के निर्धारण तक सीमित कर देता है।

B. जेनस-वन चतुर्थ घात में न्यूनीकरण (Reduction to a Genus-One Quartic)

$S$ में द्विघाती बहुपद के विभाजित होने की स्थिति के लिए इसके विविक्तकर (discriminant) का $K$ में एक वर्ग होना आवश्यक है।

• पैरामीट्राइजेशन (Parametrization): $\tau = (au/\Delta)^2$ (जहाँ $\Delta = u^2 - a^2$) निर्धारित करके, यह स्थिति वक्र $C$ पर एक परिमेय बिंदु $(y, v)$ के अस्तित्व के रूप में अनुवादित होती है:
  $$C: v^2 = 16y^4 + 136y^2 + 1$$
  जहाँ $y^2 = \tau$ है।
• ज्यामितीय प्रकृति: वक्र $C$ को एक जेनस-1 (genus 1) की चिकनी प्रक्षेपवत वक्र (smooth projective curve) के रूप में पहचाना गया है।

C. एलिप्टिक कर्व के साथ आइसोमोर्फिज्म (Isomorphism to an Elliptic Curve)

$C$ पर परिमेय बिंदुओं का विश्लेषण करने के लिए, लेखक एक एलिप्टिक कर्व $E$ के वीयरस्ट्रैस मॉडल (Weierstrass model) के साथ एक स्पष्ट आइसोमोर्फिज्म का निर्माण करते हैं।

• लक्षित वक्र (Target Curve): वक्र को निम्नलिखित पर मैप किया जाता है:
  $$E: Y^2 = X(X-8)(X-9) = X^3 - 17X^2 + 72X$$
• गुणधर्म: इस वक्र का कंडक्टर (conductor) 48 है और इसे क्रेमोना डेटाबेस (Cremona database) में 48a3 के रूप में लेबल किया गया है।
• आइसोमोर्फिज्म: एक स्पष्ट परिमेय मानचित्र $\phi: C \to E$ प्रदान किया गया है, जो दोनों वक्रों के बीच परिमेय बिंदुओं के स्थानांतरण की अनुमति देता है।

D. अंकगणितीय विश्लेषण (Rank और Torsion)

$E(\mathbb{Q})$ का मुख्य विश्लेषण $E$ के अंकगणितीय गुणों पर निर्भर करता है।

• मोर्डेल-वील समूह (Mordell-Weil Group): कम्प्यूटेशनल टूल्स (Magma) और मानक डेटाबेस का उपयोग करते हुए, लेखक स्थापित करते हैं कि:
  • $E(\mathbb{Q})$ की रैंक (rank) 0 है।
  • टॉर्सन सबग्रुप (torsion subgroup) $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/4\mathbb{Z}$ के आइसोमॉर्फिक है।
• गणना (Enumeration): चूंकि रैंक 0 है, इसलिए $E(\mathbb{Q})$ का सेट परिमित है और पूरी तरह से टॉर्सन बिंदुओं से बना है। लेखक इन 8 बिंदुओं को सूचीबद्ध करते हैं और उन्हें $C(\mathbb{Q})$ में मैप करते हैं।

E. डिसेंट तर्क (Descent Argument)

• मापदंडों का निष्कासन: $C$ पर परिमेय बिंदु पैरामीटर $\tau = y^2$ के केवल दो संभावित मान देते हैं: $\tau \in \{0, 1/4\}$।
• विरोधाभास: लेखक सिद्ध करते हैं कि वैध पूर्णांक मापदंडों $a, u$ (जहाँ $au \neq 0$ और $u^2 \neq a^2$) के लिए, $\tau$ या तो 0 या $1/4$ नहीं हो सकता।
  • $\tau = 0$ का अर्थ है $au=0$ (वर्जित)।
  • $\tau = 1/4$ का अर्थ है $u/a = 1 \pm \sqrt{2}$, जो कि अपरिमेय है, जो $a, u \in \mathbb{Q}$ के विरोधाभासी है।
• निष्कर्ष: चूंकि वैध $\tau$ मौजूद नहीं है, इसलिए विविक्तकर $K$ में एक वर्ग नहीं है। अतः, $H_{\pm}(t)$, $K[t]$ में अपरिमेय हैं।
• गैलोइस डिसेंट (Galois Descent): एक द्विघाती गैलोइस डिसेंट लेम्मा लागू किया जाता है यह दिखाने के लिए कि यदि $P_{a,u}(t)$, $\mathbb{Q}$ पर गुणनखंडित होता है, तो उसे $K$ में एक विशिष्ट तरीके से गुणनखंडित होना चाहिए जो $H_{\pm}$ की अपरिमेयता का खंडन करता है। इसलिए, $P_{a,u}(t)$, $\mathbb{Q}$ पर अपरिमेय है और गौस के लेम्मा (Gauss's Lemma) द्वारा, $\mathbb{Z}$ पर भी।

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

1. शरीप के अनुमान की सिद्धि (Proof of Sharipov's Conjecture): यह शोध पत्र प्रमाणित करता है कि डिग्री-8 क्यूबॉइड बहुपद $P_{a,u}(t)$, सभी गैर-शून्य पूर्णांकों $a, u$ (जहाँ $u^2 \neq a^2$) के लिए $\mathbb{Z}[t]$ पर अपरिमेय है।
2. स्पष्ट आइसोमोर्फिज्म (Explicit Isomorphism): यह गुणनखंडन समस्या से उत्पन्न एक विशिष्ट जेनस-वन चतुर्थ घात वक्र और एलिप्टिक कर्व $Y^2 = X(X-8)(X-9)$ के बीच एक स्पष्ट आइसोमोर्फिज्म का निर्माण करता है।
3. रैंक-जीरो कर्व्स का अनुप्रयोग: यह प्रमाण खूबसूरती से इस तथ्य का उपयोग करता है कि संबद्ध एलिप्टिक कर्व की रैंक 0 है, जिससे परिमेय बिंदुओं की अनंत खोज को टॉर्सन बिंदुओं के परिमित नामांकन में बदल दिया जाता है।
4. बीजगणितीय डिसेंट (Algebraic Descent): यह दिखाता है कि कैसे एक द्विघातीय विस्तार से मूल क्षेत्र $\mathbb{Q}$ तक अपरिमेयता को ऊपर उठाने के लिए द्विघाती गैलोइस डिसेंट का प्रभावी ढंग से उपयोग किया जाता है।

4. परिणाम (Results)

• मुख्य प्रमेय (Main Theorem): किसी भी पूर्णांक $a, u$ के लिए जहाँ $au \neq 0$ और $u^2 \neq a^2$, बहुपद $P_{a,u}(t)$, $\mathbb{Z}[t]$ में अपरिमेय है।
• $\mathbb{Q}(\sqrt{2})$ पर गुणनखंडन: बहुपद $\mathbb{Q}(\sqrt{2})$ पर दो अपरिमेय चतुर्थ घातों $H_-(t)$ और $H_+(t)$ में विभाजित होता है, लेकिन ये चतुर्थ घात आगे विभाजित नहीं होते हैं।
• परिमेय बिंदु: वक्र $C: v^2 = 16y^4 + 136y^2 + 1$ पर परिमेय बिंदुओं का सेट ठीक 8 बिंदु है: दो अनंत (infinity) पर और छह एफाइन (affine) बिंदु जो $\tau \in \{0, 1/4\}$ के अनुरूप हैं।

5. महत्व (Significance)

• परफेक्ट क्यूबॉइड पर प्रगति: हालांकि परफेक्ट क्यूबॉइड समस्या अभी भी अनसुलझी है, यह परिणाम संभावित बीजगणितीय समाधानों के एक विशिष्ट वर्ग को समाप्त करता है। यदि कोई परफेक्ट क्यूबॉइड मौजूद होता, तो उसे ऐसी शर्तों को पूरा करना होता जो इस विशिष्ट बहुपद के गुणनखंडन की ओर नहीं ले जातीं, जिससे संभावित प्रति-उदाहरणों या समाधानों के लिए खोज क्षेत्र सीमित हो जाता है।
• पद्धतिगत सेतु (Methodological Bridge): यह शोध पत्र एक सशक्त उदाहरण है कि कैसे आधुनिक अंकगणितीय ज्यामिति (एलिप्टिक कर्व्स, मोर्डेल-वील समूह) बहुपद अपरिमेयता और डायोफेंटाइन समीकरणों की शास्त्रीय समस्याओं को हल कर सकती है।
• कम्प्यूटेशनल सत्यापन: प्रमाण एलिप्टिक कर्व की रैंक और टॉर्सन की पुष्टि करने के लिए (Magma का उपयोग करके) सैद्धांतिक व्युत्पत्ति को कम्प्यूटेशनल सत्यापन के साथ एकीकृत करता है, जिससे यह सुनिश्चित होता है कि परिणाम सुदृढ़ और सत्यापन योग्य है।

संक्षेप में, असिरियन यह पुष्टि करते हैं कि "प्रथम-क्यूबॉइड" विशेषण के अंतर्निहित बीजगणितीय ढांचा मौलिक रूप से अपरिमेय है, जो किसी भी आगे के गुणनखंडन को खारिज करने के लिए एक विशिष्ट रैंक-जीरो एलिप्टिक कर्व पर परिमेय बिंदुओं की कमी पर निर्भर करता है।