Integers that are sums of two cubes in the cyclotomic $\mathbb{Z}_p$-extension

तकनीकी सारांश: साइक्लोटोमिक $\mathbb{Z}_p$-विस्तार में दो घनों के योग के रूप में पूर्णांक

समस्या विवरण
यह शोध पत्र इस जांच करता है कि $n = x^3 + y^3$ वाले डायोफेंटाइन समीकरण की समाधानता (solvability) क्या है, जहाँ $n$ एक क्यूब-मुक्त (cubefree) प्राकृतिक संख्या है और $x, y$ विशिष्ट बीजगणितीय विस्तारों (algebraic extensions) में हैं। जबकि यह अनुमान लगाया जाता है कि दो परिमेय घनों के योग के रूप में प्रतिनिधित्व योग्य प्राकृतिक संख्याओं का घनत्व $1/2$ है, यह कार्य पूरक मामले पर ध्यान केंद्रित करता है: यह मानते हुए कि $n$ दो परिमेय घनों का योग नहीं है, किन परिस्थितियों में $n$ बड़े क्षेत्रों (fields) में दो घनों के योग के रूप में गैर-प्रतिनिधित्व योग्य (non-representable) रहता है? विशेष रूप से, लेखक $\mathbb{Q}$ के साइक्लोटोमिक $\mathbb{Z}_p$-विस्तार, जिसे $\mathbb{Q}^{(p)}_\infty$ कहा जाता है, और $\mathbb{Q}$ के कुछ अभाज्य चक्रीय विस्तारों का अध्ययन करता है।

कार्यप्रणाली
दृष्टिकोण एलिप्टिक कर्व्स (elliptic curves) के इवासावा सिद्धांत (Iwasawa theory) और सेल्मर समूहों (Selmer groups) की अंकगणित पर आधारित है।

1. एलिप्टिक कर्व सहसंबंध: समीकरण $n = x^3 + y^3$ को एलिप्टिक कर्व $E_n: x^3 + y^3 = nz^3$ से जोड़ा गया है, जो वीयरस्ट्रॉस रूप (Weierstrass form) $y^2 = x^3 - 432n^2$ के समरूप (isomorphic) है। एक क्षेत्र $L$ में समाधान का अस्तित्व $E_n(L)$ के रैंक के धनात्मक होने के समतुल्य है, यह देखते हुए कि $E_n$ के पास कोई गैर-तुच्छ परिमेय टोरशन (rational torsion) बिंदु नहीं हैं।
2. इवासावा सिद्धांत: लेखक $\mathbb{Q}^{(p)}_\infty$ के क्षेत्रों के टॉवर में परिभाषित $E_n$ के रैंक की वृद्धि का विश्लेषण करता है। इसमें $p$-प्राथमिक सेल्मर समूह $S_{p^\infty}(E_n/\mathbb{Q}^{(p)}_\infty)$ और इसके पोंट्रैगिन ड्यूल (Pontryagin dual) का $\Lambda = \mathbb{Z}_p[[T]]$ जैसे इवासावा बीजगणित (Iwasawa algebra) पर एक मॉड्यूल के रूप में अध्ययन शामिल है।
3. इनवैरिएंट्स और विलोपन (Vanishing): मुख्य तकनीकी तंत्र में यह दिखाना शामिल है कि विशिष्ट अभाज्य $p$ के लिए सेल्मर समूह के इवासावा $\mu$- और $\lambda$-इनवैरिएंट्स शून्य हो जाते हैं। इन इनवैरिएंट्स का शून्य होना यह दर्शाता है कि अनंत विस्तार पर सेल्मर समूह तुच्छ (या परिमित) है, जो बदले में अनंत विस्तार पर एलिप्टिक कर्व के रैंक को शून्य होने के लिए मजबूर करता है।
4. परिमित विस्तारों तक अवतरण (Descent): अनंत साइक्लोटोमिक टॉवर से परिमित अभाज्य चक्रीय विस्तारों $L/\mathbb{Q}$ तक परिणामों को विस्तारित करने के लिए, शोध पत्र $p$-विस्तार में इवासावा इनवैरिएंट्स की वृद्धि को नियंत्रित करने के लिए किडा के सूत्र (Kida's formula) के एक एनालॉग (हाचिमोरी और मात्सुनो द्वारा) का उपयोग करता है।

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

• प्रमेय 1.2 ($\mathbb{Q}^{(p)}_\infty$ में गैर-समाधानता):
  मान लीजिए $n$ एक क्यूब-मुक्त प्राकृतिक संख्या है जो दो परिमेय घनों के योग के रूप में व्यक्त नहीं की जा सकती। $S$ उन अभाज्य $p \geq 5$ का सेट है जो निम्नलिखित को संतुष्ट करते हैं:
  (a) $E_n$ में $p$ पर 'गुड ऑर्डिनरी रिडक्शन' (good ordinary reduction) है;
  (b) टेट-शेफ़ारेविच समूह $\text{X}(E_n/\mathbb{Q})[p]$ का $p$-टोरशन तुच्छ है;
  (c) $p$, घटाए गए कर्व के क्रम $\# \tilde{E}_n(\mathbb{F}_p)$ को विभाजित नहीं करता है।

  यह शोध पत्र सिद्ध करता है कि $S$ का प्राकृतिक घनत्व $1/2$ है। इसके अलावा, किसी भी $p \in S$ के लिए, $n$ को $x, y \in \mathbb{Q}^{(p)}_\infty$ के साथ $x^3 + y^3$ के रूप में नहीं लिखा जा सकता है। यह परिणाम टेट-शेफ़ारेविच समूह की परिमितता और सेल्मर समूहों के को-टोरशन (cotorsion) गुण के संबंध में काटो और रुबिन के कार्य पर निर्भर करता है।

• प्रमेय 1.3 (प्राथमिक चक्रीय विस्तारों में गैर-समाधानता):
  लेखक परिणाम को उन परिमित गैलवा विस्तारों $L/\mathbb{Q}$ तक विस्तारित करता है जिनका गैलवा समूह $G \simeq \mathbb{Z}/p\mathbb{Z}$ है (जहाँ $p > 7$ और $p \in S$)। इस शर्त के तहत कि रामिफाइड अभाज्य $\ell$, $6pn$को विभाजित नहीं करते हैं और$\tilde{E}n(\mathbb{F}\ell)[p] = 0$संतुष्ट करते हैं, शोध पत्र यह दावा करता है कि$L$में$n$दो घनों का योग नहीं है। यह प्रदर्शित करके कि$\mathbb{Q}^{(p)}\infty$से$L^{(p)}\infty$ तक उठते समय इवासावा इनवैरिएंट्स तुच्छ रहते हैं, यह प्राप्त किया गया है।

• स्पष्ट उदाहरण:
  शोध पत्र सिद्धांत को $n=3$ के साथ स्पष्ट करता है। चूंकि $3$दो परिमेय घनों का योग नहीं है, और अभाज्य$p=7$ प्रमेय 1.2 की शर्तों (गुड ऑर्डिनरी रिडक्शन, Sha में $p$-टोरशन का अभाव, और $7 \nmid \#\tilde{E}_3(\mathbb{F}_7)$) को पूरा करता है, इसलिए शोध पत्र निष्कर्ष निकालता है कि $3$को$\mathbb{Q}$के साइक्लोटोमिक$\mathbb{Z}7$-विस्तार में$x^3 + y^3$के रूप में नहीं लिखा जा सकता है। यह आगे$\mathbb{Q}(\mu{29})$में निहित एक विशिष्ट$\mathbb{Z}/7\mathbb{Z}$-विस्तार पर प्रमेय 1.3 लागू करता है।

महत्व और दावे
शोध पत्र यह दावा करता है कि वह उन स्थितियों को प्रदान करता है जिनमें एक पूर्णांक का दो परिमेय घनों के योग के रूप में गैर-प्रतिनिधित्व, बड़े परिवारों के अभाज्य चक्रीय विस्तारों और साइक्लोटोमिक $\mathbb{Z}_p$-विस्तार में संरक्षित रहता है। इसका महत्व डायोफेंटाइन समस्याओं (घनों का योग) को इवासावा सिद्धांत में सेल्मर समूहों के संरचनात्मक गुणों के साथ जोड़ने में निहित है।

लेखक नोट करता है कि $p \geq 5$ की धारणा 'गुड ऑर्डिनरी रिडक्शन' की आवश्यकता के कारण आवश्यक है, क्योंकि $E_n$ कर्व्स 2 और 3 पर बैड रिडक्शन (bad reduction) रखते हैं। शोध पत्र अपने योगदान को सभी विस्तारों के लिए एक सार्वभौमिक कथन के बजाय "कुछ बड़े परिवारों" के लिए गैर-समाधानता स्थापित करने के रूप में विनम्रतापूर्वक प्रस्तुत करता है। यह इस बात पर प्रकाश डालता है कि हालांकि परिणाम जहाँ लागू होता है उन अभाज्य के सेट का घनत्व (सभी अभाज्य के भीतर) $1/2$ है, यह कॉम्प्लेक्स मल्टीप्लिकेशन (complex multiplication) वाले कर्व्स के लिए गुड ऑर्डिनरी रिडक्शन वाले अभाज्य के घनत्व का सीधा परिणाम है। यह कार्य सभी $n$ या सभी विस्तारों के लिए सामान्य समस्या को हल करने का दावा नहीं करता है, बल्कि विशिष्ट, सुपरिभाषित संदर्भों में समाधानों को खारिज करने के लिए इवासावा इनवैरिएंट्स का उपयोग करते हुए एक कठोर ढांचा प्रदान करता है।