Computational Evidence Against Quadratic-Cubic Factorization for the Second Cuboid Quintic

तकनीकी सारांश: दूसरे क्यूबॉइड क्विंटिक (Second Cuboid Quintic) के द्विघात-त्रिघात गुणनखंडन (Quadratic–Cubic Factorization) के विरुद्ध गणनात्मक साक्ष्य

समस्या विवरण
यह शोध पत्र 'परफेक्ट क्यूबॉइड' (Perfect Cuboid) समस्या के एक विशिष्ट बीजगणितीय पहलू को संबोधित करता है, जो एक ऐसे आयताकार बॉक्स की खोज करता है जिसके किनारे, फलक विकर्ण (face diagonals) और अंतरिक्ष विकर्ण (space diagonals) सभी पूर्णांक हों। आर. ए. शार्िपोव द्वारा स्थापित ढांचे का अनुसरण करते हुए, यह समस्या सह-अभाज्य मापदंडों $p \neq q > 0$ के लिए पूर्णांकों पर एक विशिष्ट घात-10 की सम बहुपद (even polynomial), $Q_{p,q}(t)$ की अपरिमेयता (irreducibility) को सिद्ध करने तक सीमित हो जाती है।

लेखक "द्विघात-त्रिघात" (2+3) गुणनखंडन मामले पर ध्यान केंद्रित करते हैं। चरों के सामान्यीकरण (normalization) का उपयोग करते हुए, घात-10 के बहुपद $Q_{p,q}(t)$ को एक-मापदंड वाले एक मोनिक क्विंटिक बहुपद $P_s(x)$ में परिवर्तित किया जाता है, जहाँ $s = (p/q)^2$ है। मुख्य प्रश्न यह है कि क्या $P_s(x)$, $s \neq 1$ वाले किसी भी परिमेय $s > 0$ के लिए, $\mathbb{Q}$ पर एक द्विघात और एक त्रिघात बहुपद के गुणनखंड में विभाजित होता है। एक सकारात्मक उत्तर मूल बहुपद में एक सम चतुर्थ घात (even quartic) कारक के अस्तित्व को दर्शाएगा, जो अपरिमेयता के अनुमान (irreducibility conjecture) में बाधा उत्पन्न कर सकता है।

कार्यप्रणाली
लेखक प्रत्यक्ष बीजगणितीय दृष्टिकोण के साथ संयुक्त रूप से गणनात्मक संख्या सिद्धांत (computational number theory) का उपयोग करते हैं:

1. बीजगणितीय न्यूनीकरण (Algebraic Reduction):

   • वे एक सामान्य मोनिक द्विघात भाजक $D(x) = x^2 + ax + b$ पर विचार करते हैं, जहाँ $a, b \in \mathbb{Q}$।
   • यूक्लिडियन विभाजन (Euclidean division) का उपयोग करके, वे $P_s(x)$ को $D(x)$ से विभाजित करने पर प्राप्त शेषफल $R(x) = R_1(s, a, b)x + R_0(s, a, b)$ की गणना करते हैं।
   • एक प्रमुख संरचनात्मक अवलोकन यह है कि $R_1$ और $R_0$ दोनों ही मापदंड $b$ के संदर्भ में द्विघाती हैं।
   • $R_1 = 0$ की स्थिति लागू करके, लेखक दिखाते हैं कि दूसरी स्थिति $R_0 = 0$ अब $b$ के संदर्भ में रैखिक (linear) हो जाती है। यह $b$ को समाप्त करने और $(s, a)$-तल में एक एकल बहुपद समीकरण $F(s, a) = 0$ प्राप्त करने की अनुमति देता है, जिसे "अवरोध वक्र" (obstruction curve) कहा जाता है।

2. मामला विश्लेषण (Case Analysis):

   • गैर-अपभ्रंश मामला ($L \neq 0$): जब रैखिक गुणांक $L(s, a)$ शून्य नहीं होता है, तो $b$ को अद्वितीय रूप से $b = C(s, a)/L(s, a)$ के रूप में निर्धारित किया जाता है। इसे वापस प्रतिस्थापित करने से अवरोध बहुपद $F(s, a) = 0$ प्राप्त होता है।
   • अपभ्रंश मामला (Degenerate Case) ($L = C = 0$): लेखक उस स्थान का अलग से विश्लेषण करते हैं जहाँ रैखिकीकरण विफल हो जाता है। वे 'रिजल्टेंट्स' (resultants) के माध्यम से सिद्ध करते हैं कि $L(s, a) = C(s, a) = 0$ के एकमात्र परिमेय समाधान $(s, a) = (1, 2)$ और $(-1, 2)$ हैं। चूंकि समस्या का डोमेन $s > 0$ और $s \neq 1$ की आवश्यकता करता है, इसलिए यह अपभ्रंश लूपस (degenerate locus) कोई वैध समाधान नहीं देता है।

3. गणनात्मक खोज (Computational Search):

   • अवरोध बहुपद $F(s, a)$ एक घात-17 के प्रक्षेपिक तल वक्र (projective plane curve) $C$ को परिभाषित करता है जिसकी ज्यामितीय जेनस (geometric genus) 7 है।
   • ऐसे वक्रों पर सभी परिमेय बिंदुओं को निर्धारित करना एक कठिन डिओफैंटाइन (Diophantine) समस्या है। पूर्ण सैद्धांतिक निर्धारण (जैसे, चाबौटी-कोलमैन विधियों) का प्रयास करने के बजाय, लेखक कंप्यूटर बीजगणितीय प्रणाली Magma का उपयोग करके एक ऊंचाई-बद्ध खोज (height-bounded search) करते हैं।
   • वे $H = 10^9$ की ऊंचाई सीमा के साथ $C$ के प्रक्षेपिक समापन (projective closure) पर परिमेय बिंदुओं की खोज करते हैं।

मुख्य परिणाम

• अवरोध की संरचना: लेखक स्पष्ट रूप से बहुपदों $u, v, m, n, L, C$ और अवरोध बहुपद $F(s, a)$ को व्युत्पन्न करते हैं। वे सत्यापित करते हैं कि $F(s, a)$ का $s$ में घात 16 और $a$ में घात 10 है।
• अपभ्रंश लूपस (Degenerate Locus): यह दिखाया गया है कि $L=C=0$ प्रणाली के केवल परिमेय समाधान $(1, 2)$ और $(-1, 2)$ हैं। फलस्वरूप, प्रासंगिक डोमेन $s \in \mathbb{Q}_{>0}, s \neq 1$ के लिए, अपभ्रंश मामला रिक्त है।
• परिमेय बिंदु खोज: $H = 10^9$ की सीमा के साथ Magma खोज वक्र $C$ पर ठीक 8 परिमेय बिंदु लौटाती है। इन बिंदुओं का 'एफाइन भाग' (affine part) $s \in \{-1, 0, 1\}$ के संगत है।
• गुणनखंडन का बहिष्करण: महत्वपूर्ण रूप से, $s > 0$ और $s \neq 1$ के लिए कोई भी एफाइन परिमेय बिंदु खोज सीमा के भीतर नहीं पाया गया।

दावे और महत्व
यह शोध पत्र एक निश्चित अनकंडीशनल प्रूफ के बजाय मजबूत गणनात्मक साक्ष्य का दावा करता है। कार्य के महत्व को इस प्रकार प्रस्तुत किया गया है:

• सशर्त बहिष्करण (Conditional Exclusion): लेखक एक सशर्त प्रमेय स्थापित करते हैं: यह मानते हुए कि मिले हुए 8 परिमेय बिंदुओं की सूची पूर्ण है (कन्जेक्चर 1), तो किसी भी परिमेय $s > 0$ के लिए जहाँ $s \neq 1$, क्विंटिक $P_s(x)$ में $\mathbb{Q}$ पर कोई द्विघात गुणनखंड नहीं होता है।
• क्यूबॉइड समस्या के लिए निहितार्थ: इस धारणा के तहत, दूसरा क्यूबॉइड बहुपद $Q_{p,q}(t)$ सह-अभाज्य $p \neq q$ के लिए $\mathbb{Q}$ पर कोई सम चतुर्थ घात कारक नहीं रखता है।
• दावों की विनम्रता: लेखक स्पष्ट रूप से स्वीकार करते हैं कि $C(\mathbb{Q})$ के पूर्ण निर्धारण के लिए एक पूर्ण निर्धारण की आवश्यकता है। वे नोट करते हैं कि इस वक्र की ज्यामितीय जेनस 7 है, जिससे परिमेय बिंदुओं की गणना एक सूक्ष्म समस्या बन जाती है जहाँ फालटिंग्स के प्रमेय (Faltings' theorem) द्वारा परिमितता (finiteness) की गारंटी तो दी जाती है, लेकिन स्पष्ट निर्धारण के लिए आमतौर पर एक साधारण ऊंचाई खोज से परे उन्नत तकनीकों की आवश्यकता होती है।

संक्षेप में, यह शोध पत्र गुणनखंडन समस्या को एक विशिष्ट उच्च-जेनस वक्र पर परिमेय बिंदु खोजने तक कम कर देता है और व्यापक गणनात्मक डेटा प्रदान करता है जो यह सुझाव देता है कि प्रासंगिक डोमेन में ऐसे कोई बिंदु मौजूद नहीं हैं, जिससे दूसरे क्यूबॉइड बहुपद की अपरिमेयता के अनुमान का समर्थन होता है।