Turning non-smooth points into rational points

तकनीकी सारांश: गैर-सुचारू बिंदुओं को परिमेय बिंदुओं में बदलना

समस्या विवरण
यह शोध पत्र अपूर्ण क्षेत्रों (imperfect fields) के अभिलक्षण $p > 0$ वाली नियमित वक्रों (regular curves) पर गैर-सुचारू बिंदुओं (non-smooth points) के व्यवहार को संबोधित करता है। जबकि पूर्ण क्षेत्रों (perfect fields) पर नियमितता और सुचारूता (regularity and smoothness) एक समान होती हैं, अपूर्ण परिवेश में वे भिन्न हो जाती हैं, जिससे गैर-सुचारू (जैसे कि क्वासी-एलिप्टिक वक्र) नियमित वक्र उत्पन्न होते हैं। केंद्रीय समस्या यह निर्धारित करना है कि एक गैर-सुचारू, विशुद्ध रूप से अपरिवर्तनीय (purely inseparable) बिंदु $x$ को $K$-परिमेय बिंदु में बदलने के लिए कितने पुनरावृत्त फ्रोबेनियस पुलबैक (iterated Frobenius pullbacks) की आवश्यकता होती है।

लेखक और स्टोहर [HS25a] द्वारा पूर्ववर्ती कार्य ने एक ऊपरी सीमा (upper bound) स्थापित की थी, जिसे $\tau_p(d)$ द्वारा दर्शाया गया है, जहाँ $d$ ज्यामितीय विलक्षणता डिग्री (geometric singularity degree) $\delta(x) = \frac{p-1}{2}d$ से संबंधित एक पैरामीटर है। हालाँकि, यह ज्ञात था कि यह सीमा केवल अभिलक्षण $p=2$ में ही सटीक (sharp) थी। अभिलक्षण $p > 2$ में, यह सीमा हमेशा इष्टतम (optimal) नहीं थी क्योंकि इस पर प्रतिबंध था कि कौन सी विलक्षणता डिग्री वास्तव में विशुद्ध रूप से अपरिवर्तनीय बिंदुओं के लिए घटित हो सकती है।

कार्यप्रणाली
यह शोध पत्र एक-आयामी पृथक फलन क्षेत्रों (one-dimensional separable function fields) और नियमित वक्रों के बीच द्वैतता (duality) का उपयोग करके इस समस्या का अंकगणितीय विश्लेषण करता है। मुख्य कार्यप्रणाली में शामिल हैं:

1. ग्राह्यता विश्लेषण (Admissibility Analysis): लेखक पहले यह लक्षणित करते हैं कि कौन से पूर्णांक $d$ "ग्राह्य" (admissible) हैं, जिसका अर्थ है कि एक युग्म $(C|K, x)$ मौजूद है जिसकी विलक्षणता डिग्री $\delta(x) = \frac{p-1}{2}d$ है। वे सिद्ध करते हैं कि $d$ ग्राह्य है यदि और केवल यदि $d \not\equiv -1 \pmod p$।
2. चरम उदाहरणों का निर्माण (Construction of Extremal Examples): निम्नतम सीमाओं को स्थापित करने के लिए, लेखक विशिष्ट फलन क्षेत्रों $F|K$ और पूर्व-निर्धारित विलक्षणता डिग्री वाले विशुद्ध रूप से अपरिवर्तनीय प्राइम $p$ का स्पष्ट रूप से निर्माण करते हैं। ये निर्माण बेडया-स्टोहर एल्गोरिदम [BS87] का उपयोग करते हैं और सावधानीपूर्वक चुने गए अपूर्ण आधार क्षेत्रों (कभी-कभी $p$-डिग्री $\ge 2$ की आवश्यकता के साथ) का उपयोग करते हैं।
3. पुनरावृत्त विलक्षणता गणना (Recursive Singularity Calculation): बेडया-स्टोहर एल्गोरिदम और प्रमेय 2.3 का उपयोग करते हुए, लेखक पुनरावृत्त फ्रोबेनियस पुलबैक के तहत प्रतिबंधित प्राइमों के लिए विलक्षणता डिग्री $\delta(p_n)$ के अनुक्रम की गणना करते हैं। वे यह निर्धारित करने के लिए "अंतरों" $\Delta_n = \delta(p_n) - \delta(p_{n+1})$ का विश्लेषण करते हैं कि प्रतिबंधित प्राइम कब परिमेय बन जाता है।
4. संयोजन अनुकूलन (Combinatorial Optimization): सटीक सीमा $\lambda_p(d)$ को उस न्यूनतम $m$ को खोजने के माध्यम से प्राप्त किया जाता है जिसके लिए सभी ग्राह्य युग्मों के लिए, $n \ge m$ हेतु प्रतिबंधित प्राइम परिमेय होता है। इसमें निर्मित निम्नतम सीमाओं की तुलना मौजूदा ऊपरी सीमा $\tau_p(d)$ से करना शामिल है।

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

• सटीक सीमा $\lambda_p(d)$: प्राथमिक परिणाम प्रमेय 1.2 (और प्रमेय 3.5) है, जो एक गैर-सुचारू विशुद्ध रूप से अपरिवर्तनीय बिंदु को परिमेय बिंदु में बदलने के लिए आवश्यक फ्रोबेनियस पुलबैक की संख्या के लिए एक नई, सटीक सीमा $\lambda_p(d)$ स्थापित करता है। यह सीमा प्रत्येक अभिलक्षण $p > 0$ और प्रत्येक ग्राह्य पूर्णांक $d$ के लिए इष्टतम है।

  • सीमा $\lambda_p(d)$ या तो पूर्ववर्ती सीमा $\tau_p(d)$ के बराबर है या $\tau_p(d) - 1$ के बराबर है।
  • विशिष्ट मान $d$ के $p$-एडिक विस्तार (p-adic expansion) और इस बात पर निर्भर करता है कि क्या $d$ को विशिष्ट विन्यासों में क्रमिक $p$-घातों के योग के रूप में दर्शाया जा सकता है।
  • उपप्रमेय 3.6 पुष्टि करता है कि अभिलक्षण $p=2$ में, पूर्ववर्ती सीमा $\tau_p(d)$ हमेशा सटीक होती है।

• स्वेच्छ गैर-सुचारू बिंदुओं का सामान्यीकरण: प्रमेय 1.6 इन परिणामों को स्वैच्छिक गैर-सुचारू बिंदुओं (विशुद्ध रूप से अपरिवर्तनीय नहीं) तक विस्तारित करता है। यह स्थापित करता है कि यदि एक बिंदु $x$ की विलक्षणता डिग्री $\delta(x) = \frac{p-1}{2} [\kappa(x):K]_s \cdot d$ है, तो उसका प्रतिबिंब सभी $n \ge \lambda_p(d)$ के लिए एक पृथक बिंदु (जो $C_n(K^{sep})$ में स्थित है) बन जाता है। यह पृथक मामले का सामान्यीकरण करता जहाँ पृथक डिग्री 1 है।

• ग्राह्यता मानदंड: प्रपोजिशन 3.2 एक आवश्यक और पर्याप्त शर्त प्रदान करता है कि पूर्णांक $d$ एक विशुद्ध रूप से अपरिवर्तनीय बिंदु के विलक्षणता डिग्री पैरामीटर के रूप में कैसे कार्य करता है: $d \not\equiv -1 \pmod p$।

• स्पष्ट निर्माण: खंड 4 स्पष्ट उदाहरण (उदाहरण 4.1 और 4.2) प्रदान करता है जो सटीक सीमाओं को साकार करते हैं। ये उदाहरण प्रदर्शित करते हैं कि सीमा को और कम नहीं किया जा सकता है, क्योंकि ऐसे युग्म मौजूद हैं जहाँ बिंदु ठीक $\lambda_p(d) - 1$ चरण तक गैर-परिमेय (या गैर-पृथक) रहता है।

महत्व और दावे
यह शोध पत्र सभी अभिलक्षण $p > 0$ के लिए फ्रोबेनियस पुलबैक की सीमा की सटीकता के प्रश्न को हल करने का दावा करता है। जबकि पूर्ववर्ती सीमा $\tau_p(d)$ को $p=2$ के लिए सटीक माना जाता था, यह कार्य प्रदर्शित करता है कि $p > 2$ के लिए, विलक्षणता डिग्री के अंकगणितीय गुणों के आधार पर इसे अक्सर 1 से सुधारा जा सकता है।

लेखक नोट करते हैं कि उनके द्वारा निर्मित उदाहरणों में ज्यामितीय रूप से परिमेय (जीनस 0) होने का गुण साझा है। वे कहते हैं कि हालांकि उनके पास सामान्य रूप से इन वक्रों के वैश्विक ज्यामिति पर पूर्व-निर्धारित नियंत्रण नहीं है, फिर भी सटीक सीमाएं $\lambda_p(d)$ के वैश्विक प्रतिबंधों, जैसे कि निश्चित ज्यामितीय जीनस या आधार क्षेत्र के $p$-डिग्री के तहत भी लागू होने की अपेक्षा है। ये परिणाम पर्याप्त फ्रोबेनियस पुलबैक के बाद प्राप्त परिमेय वक्र से पीछे की ओर काम करके स्पष्ट गैर-सुचारू वक्रों का स्पष्ट विवरण प्राप्त करने की एक विधि प्रदान करते हैं, एक ऐसी तकनीक जिसे पहले क्वासी-एलिप्टिक वक्रों और प्लेन क्वाटिक्स (plane quartics) पर लागू किया गया था।

यह शोध पत्र सभी ऐसे वक्रों के वर्गीकरण को हल करने का दावा नहीं करता है, बल्कि किसी दिए गए विलक्षणता डिग्री के लिए "गैर-सुचारू बिंदुओं को परिमेय बिंदुओं में बदलने" की रणनीति को प्रभावी बनाने के लिए आवश्यक सटीक अंकगणितीय दहलीज (threshold) प्रदान करता है।