Weighted Fruit Diophantine Equations and Hyperelliptic Curves

तकनीकी सारांश: भारित फल डिओफेंटाइन समीकरण और हाइपरएलिप्टिक वक्र

समस्या विवरण
यह शोध पत्र भारित फल (weighted fruit) डिओफेंटाइन समीकरण के पूर्णांक समाधानों की जांच करता है:
$$ax^d - c(m^2y^2 + n^2z^2) + xyz - b = 0$$
जहाँ $a, c, m, n, d, b$ पूर्णांक पैरामीटर हैं। यह समीकरण पिछले अध्ययनों के विशिष्ट मामलों, जैसे कि $y^2 - xyz + z^2 = x^3 - 5$ (मजुमदार और सूर्य) और $a=c=m=n=1$ वाले विविधताओं (वैश्या और शर्मा; प्रकाश और चक्रवर्ती) का सामान्यीकरण करता है। प्राथमिक उद्देश्य यह स्थापित करना है कि किन शर्तों के तहत इस समीकरण में कोई पूर्णांक समाधान नहीं होता है, और इन अशुलभता (insolvability) परिणामों को संबद्ध हाइपरएलिप्टिक वक्रों के परिमेय टोरशन बिंदुओं (rational torsion points) के कथनों में अनुवादित करना है।

कार्यप्रणाली
लेखक प्रारंभिक संख्या सिद्धांत और बीजगणितीय ज्यामिति के संयोजन का उपयोग करते हैं:

1. माड्यूलर अंकगणित और द्विघात अवशेषता (Quadratic Reciprocity): प्रमाण का मुख्य भाग विशिष्ट पूर्णांकों, विशेष रूप से $l \equiv 3 \pmod 4$ की घातों के मोड्यूलो विश्लेषण पर आधारित है। लेखक जैकोबी प्रतीक $\left(\frac{l}{x}\right)$ के आधार पर $N_1(l)$ और $N_2(l)$ के सेट को वर्गीकृत करने के लिए इनका उपयोग करते हैं। एक समाधान के अस्तित्व को मानकर, वे द्विघात अवशेषों (quadratic residues), चीनी शेषफल प्रमेय (Chinese Remainder Theorem) और द्विघात अवशेषता के नियम का उपयोग करके विरोधाभास उत्पन्न करते हैं।
2. पैरामीटर बाधाएं: विश्लेषण विशिष्ट परिकल्पनाओं पर निर्भर करता है, जैसे कि $a \equiv c \equiv 1 \pmod{4l}$, $mn \equiv 1 \pmod l$, और $cmt$ के अभाज्य गुणनखंडों पर प्रतिबंध।
3. हा гиперएलिप्टिक वक्र जुड़ाव: लेखक एक चर को स्थिर करके (जैसे $z=k$) डिओफेंटाइन समीकरण को हाइपरएलिप्टिक वक्रों (या $d=3$ होने पर एलिप्टिक वक्रों) के एक परिवार से जोड़ते हैं। वे ग्रांट के नेगेल-लुट्ज़ (Nagell–Lutz) प्रमेय के अनुरूप का अनुप्रयोग करते हैं, जो हाइपरएलिप्टिक वक्र पर पूर्णांक बिंदुओं को संबद्ध वक्र के परिमेय टोरशन बिंदुओं से जोड़ता है, बशर्ते कि बहुपद $f$ वर्गमुक्त (squarefree) हो।
4. विभेदक विश्लेषण (Discriminant Analysis): ग्रांट के प्रमेय की प्रयोज्यता सुनिश्चित करने के लिए, लेखक अपने संबद्ध वक्रों के विभरकों (discriminants) का विश्लेषण करके यह कठोरता से सिद्ध करते हैं कि परिभाषित बहुपद वर्गमुक्त हैं।

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

• सामान्य अशुलभता प्रमेय (प्रमेय 3.1): एक अभाज्य $l \equiv 3 \pmod 4$ और पैरामीटर $b = a(2cmn)^d - lcst^2q$ के लिए, समीकरण के कोई पूर्णांक समाधान $(x, y, z)$ नहीं हैं जहाँ $x$ पैरामीटर $4l$ के विशिष्ट अवशेष वर्गों (residue classes) में आता है। विशेष रूप से, समाधानों को तब खारिज कर दिया जाता है जब $x$ सम हो, $x \equiv 3 \pmod 4$ हो, $x \equiv \pm 2cmn \pmod l$ हो, या यदि $x - 2cmn$ $4l$ के एक विशिष्ट गैर-अवशेष सेट में शामिल हो।
• $l=3$ के लिए पूर्ण अशुलभता (प्रमेय 4.3): इस शर्त के तहत कि $3 \mid d$ और पैरामीटर्स पर विशिष्ट सर्वांगसमता (congruence) प्रतिबंध लागू हैं, समीकरण में कोई पूर्णांक समाधान नहीं होता है। यह परिणाम $l=3$ के पिछले निष्कर्षों को सामान्यीकृत और एकीकृत करता है।
• छोटे अभाजों के लिए स्पष्ट अपवाद वर्ग: $l \in \{7, 11, 19\}$ के लिए, लेखक $x$ के उन "अपवाद" अवशेष वर्गों को स्पष्ट रूप से निर्धारित करते हैं जहाँ समाधान मौजूद हो सकते हैं। वे ठोस उदाहरण प्रदान करते हैं जो दिखाते हैं कि ये अपवाद सटीक (sharp) हैं (अर्थात, इन विशिष्ट वर्गों में समाधान मौजूद हैं), जिससे यह प्रदर्शित होता है कि अतिरिक्त परिकल्पनाओं के बिना अशुलभता परिणामों को और मजबूत नहीं किया जा सकता है।
• धनात्मक समाधानों पर सीमाएं (प्रमेय 7.2): यह शोध पत्र स्थापित करता है कि धनात्मक पूर्णांक समाधानों के लिए, $x$ का मान $2cmn$के निकट एक संकीर्ण सीमा के भीतर होता है। विशेष रूप से, यदि समाधान मौजूद हैं, तो उन्हें$2cmn - \frac{lc}{1+ad} \le x < 2cmn$ को संतुष्ट करना होगा, जिसका अर्थ है कि केवल सीमित धनात्मक समाधान ही संभव हैं।
• टोरशन बिंदुओं के साथ संबंध (प्रमेय 8.5): वक्रों के परिवार $H_{k,a,b,c,m,n}$ के साथ डिओफेंटाइन समीकरण को जोड़कर, लेखक सिद्ध करते हैं कि प्रमेय 4.3 की मान्यताओं के तहत (विशेष रूप से $a=c=m=1$ और सम $k$ के साथ), संबद्ध एलिप्टिक वक्रों के मॉर्डेल-वील समूह (Mordell–Weil groups) $\mathbb{Q}$ पर टोरशन-मुक्त होते हैं।

पिछले कार्य का आलोचनात्मक विश्लेषण
शोध पत्र का एक महत्वपूर्ण हिस्सा (अनुभाग 8.6) पूर्व साहित्य (विशेष रूप से वैश्या और शर्मा [20] और प्रकाश और चक्रवर्ती [13]) के प्रमाणों की आलोचनात्मक जांच करता है। लेखक उन कार्यों में दो मुख्य अंतराल की पहचान करते हैं:

1. विभाज्यता प्रतिबंध: हाइपरएलिप्टिक वक्र पर पूर्णांक बिंदुओं को वापस डिओफेंटाइन समीकरण के पूर्णांक समाधानों में अनुवादित करने के लिए उपयोग किए जाने वाले व्युत्क्रम मानचित्रों (inverse maps) को विशिष्ट विभाज्यता शर्तों (जैसे $a \mid X_0$) की आवश्यकता होती है जो पिछले प्रमाणों में सत्यापित नहीं की गई थीं। लेखक दिखाते हैं कि यदि $a \neq 1$ है, तो यह पत्राचार विफल हो जाता है, जिसका अर्थ है कि सामान्य $a$ के लिए टोरशन-फ्रीनेस के पिछले दावे कठोरता से न्यायसंगत नहीं हैं।
2. एबेल-जैकोबी मानचित्र की सर्जेक्टिविटी (Surjectivity): $g \ge 2$ के जनक (genus) वाले वक्रों के लिए, एबेल-जैकोबी मानचित्र जैकोबियन के टोरशन उपसमूह पर आवश्यक रूप से सर्जेक्टिव नहीं होता है। अतः, ग्रांट का प्रमेय (जो बिंदु $P$ पर लागू होता है) $[P_1 + P_2 - 2\infty]$ के रूप में टोरशन वर्गों को स्वतः ही खारिज नहीं कर सकता है। लेखक नोट करते हैं कि यह अंतराल पिछले साहित्य में उच्च-जनक वक्रों के लिए टोरशन-फ्रीनेस के सामान्य दावे को अमान्य करता है, हालांकि यह कथन अन्य माध्यमों से अभी भी सत्य हो सकता है।

महत्व और दावे
यह शोध पत्र भारित फल डिओफेंटाइन समीकरणों के एक विस्तृत वर्ग की अशुलभता को सिद्ध करने के लिए एक कठोर ढांचा प्रदान करने का दावा करता है। इसका महत्व निम्नलिखित में निहित है:

• एकीकरण: विशिष्ट पैरामीटर सेटों के लिए मौजूदा परिणामों को समीकरणों के एक व्यापक परिवार के लिए सामान्य बनाना।
• कठोर सुधार: नेगेल-लुट्ज़ और ग्रांट प्रमेयों को डिओफेंटाइन समीकरणों पर लागू करने में पिछले साहित्य में तार्किक अंतरालों की पहचान करना और उन्हें संबोधित करना।
• स्पष्टता: उन सटीक अवशेष वर्गों को प्रदान करना जहाँ समाधान असंभव हैं, और स्पष्ट प्रति-उदाहरणों के माध्यम से इन सीमाओं की सटीकता (sharpness) को प्रदर्शित करना।
• ज्यामितीय अंतर्दृष्टि: अंकगणितीय अशुलभता को संबद्ध वक्रों (विशेष रूप से $a=1$ के मामले में) के ज्यामितीय गुणों (टोरशन-फ्रीनेस) में सफलतापूर्वक अनुवादित करना।

लेखक $a \neq 1$ और जनक $g \ge 2$ के सामान्य मामले के संबंध में विनम्र रहते हैं, यह स्वीकार करते हुए कि हालांकि उनके प्रति-उदाहरण दिखाते हैं कि पिछले प्रमाण अपूर्ण थे, टोरशन-फ्रीनेस के अंतर्निहित कथन अभी भी सत्य हो सकते हैं और उनके स्वतंत्र सत्यापन की आवश्यकता है। वे सुझाव देते हैं कि सुपरएलिप्टिक वक्रों तक इस ढांचे का विस्तार करना भविष्य के कार्य के लिए एक संभावित दिशा है, जो एनालॉगस (समान) प्रमेयों के अस्तित्व पर निर्भर है।