A note on the self-intersection of rational unicuspidal curve with one Puiseux pair

तकनीकी सारांश: एक प्यूज़े युग्म (Puiseux pair) वाले तर्कसंगत एककुस्पिडल वक्रों का स्व-प्रतिच्छेदन (Self-Intersection)

समस्या विवरण
यह शोध पत्र एक बीजगणितीय सतह $X$ के भीतर एक एकल प्यूज़े युग्म $(p, q)$ वाले तर्कसंगत एककुस्पिडल वक्र (rational unicuspidal curve) $C$ के स्व-प्रतिच्छेदन संख्या ($C \cdot C$) के ऊपरी मान (upper bound) को निर्धारित करने की समस्या को संबोधित करता है। पूर्व कार्य [1] में, प्रथम-नाम वाले लेखक ने एक ऊपरी मान प्रस्तावित किया था, जिसे $m_{p,q}$ द्वारा दर्शाया गया है, जो केवल विलक्षणता प्रकार (singularity type) $(p, q)$ पर निर्भर करता है। यह अनुमान लगाता है कि किसी भी ऐसे वक्र के लिए, C \cdot C \leq m_{p,q होगा। हालांकि इस सीमा को साकार करने वाले "इष्टतम" सिम्पलेक्टिक तर्कसंगत एककुस्पिडल वक्रों का अस्तित्व [1] में स्थापित किया गया था, लेकिन इसका बीजगणितीय यथार्थकरण और सीमा की गहरी गणनात्मक समझ अभी भी खुली थी। विशेष रूप से, $m_{p,q}$ की मूल परिभाषा में जटिल पूर्णांक बाधाएं ($p', q'$) शामिल थीं जिन्हें संगणना करना कठिन था और जो विलक्षणता की टोपोलॉजिकल संरचना के बारे में सीमित अंतर्दृष्टि प्रदान करती थीं।

कार्यप्रणाली (Methodology)
लेखक सीमा को परिष्कृत करने और इसकी साकारता को सत्यापित करने के लिए बीजगणितीय ज्यामिति और पुनरावर्ती विश्लेषण (recursive analysis) के संयोजन का उपयोग करते हैं। कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

1. पुनरावर्ती पहचानों का व्युत्पत्ति (Derivation of Recursive Identities): लेखक विलक्षणता के बहुलता अनुक्रम (multiplicity sequence) और सीमा $m_{p,q}$ के लिए पुनरावर्ती संबंधों को पेश करते हैं। $R_{p,q}$ (बहुलता अनुक्रम के वर्गों के योग से संबंधित) और $B_{p,q}$ (सीमा का $pq$से विचलन) जैसे सहायक मात्राओं को परिभाषित करके, वे यह स्थापित करते हैं कि ये मान$(p, q) \to (p, q-p)$ के तहत कैसे रूपांतरित होते हैं।
2. स्पष्ट सूत्रों का निर्माण (Formulation of Explicit Formulas): इन पुनरावर्ती संबंधों का उपयोग करते हुए, लेखक बहुलता अनुक्रम के अंतिम प्रविष्टि, $\ell(p, q)$, और फलस्वरूप $m_{p,q}$ के लिए एक नया, गणनात्मक रूप से कुशल सूत्र व्युत्पन्न करते हैं। यह नया सूत्र $q$ के सापेक्ष $p$ के मॉड्यूलर व्युत्क्रम (modular inverse) पर निर्भर करता है।
3. द्विकुस्पिडल परिवारों के माध्यम से निर्माण (Construction via Bicuspidal Families): सीमा को साकार करने वाले वक्रों के अस्तित्व को सिद्ध करने के लिए, लेखक तर्कसंगत द्विकुस्पिडल (bicuspidal) वक्रों के दो अनंत परिवारों का विश्लेषण करते हैं:
   • $[z^p : z^q : 1]$ द्वारा पैरामीटराइज्ड $\mathbb{CP}^2$ में एक परिवार।
   • $([z^p : 1], [z^q + z^{\alpha p} : 1])$ द्वारा पैरामीटराइज्ड $\mathbb{CP}^1 \times \mathbb{CP}^1$ में एक परिवार।
     इन द्विकुस्पिडल वक्रों में से एक विलक्षणता को हल (resolve) करके, वे तर्कसंगत एककुस्पिडल (unicuspidal) वक्र उत्पन्न करते हैं। वे सभी संभावित $(p, q)$ मामलों के लिए इन द्विकुस्पिडल वक्रों के लिए "गैप" (अनुमानित सीमा $m_{p,q}$ और वास्तविक स्व-प्रतिच्छेदन के बीच का अंतर) की गणना करते हैं।

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

• सीमा के लिए नया सूत्र ($m_{p,q}$): शोध पत्र $m_{p,q}$ के लिए एक सरल सूत्र प्रदान करता है जो सीमा को सीधे विलक्षणता की टोपोलॉजिकल संरचना से जोड़ता है। विशेष रूप से, $m_{p,q}$ को $pq$, बहुलता अनुक्रम की अंतिम प्रविष्टि$\ell(p, q)$, और$p$तथा$q$ के बीच के संबंध पर आधारित एक सशर्त पद के रूप में व्यक्त किया गया है।

  • यदि $q = p+1$ या ($p > 2$ और $q \equiv -1 \pmod p$), तो $m_{p,q} = pq + \ell(p, q) + 1$।
  • अन्यथा, $m_{p,q} = pq + \ell(p, q)$।
  • लेखक $\ell(p, q) = \lfloor \frac{q-1}{\min(u, q-u)} \rfloor$ के लिए एक सीधा सूत्र भी प्रदान करते हैं, जहाँ $up \equiv 1 \pmod q$।
  • यह सूत्रीकरण प्रकट करता है कि $m_{p,q}$ गोला और स्टार्कस्टन [4] द्वारा प्रस्तावित सिम्पलेक्टिक सीमा से अधिकांश मामलों में ठीक 1 कम है, जो केवल $(m-1, m)$ या $(m, km-1)$ जैसे विशिष्ट युग्मों के लिए ही मेल खाती है।

• इष्टतम वक्रों का अस्तित्व (प्रमेय 1.3): लेखक सिद्ध करते हैं कि किसी भी सह-अभाज्य (coprime) युग्म $(p, q)$ के लिए, एक तर्कसंगत सतह मौजूद है जिसमें एक तर्कसंगत एककुस्पिडल वक्र है जिसका प्यूज़े युग्म $(p, q)$ है, ताकि इसका स्व-प्रतिच्छेदन ठीक $m_{p,q}$ के बराबर हो। यह [1] के सिम्पलेक्टिक अस्तित्व परिणाम को बीजगणितीय श्रेणी में मजबूत करता है।

• गैप पैटर्न का वर्गीकरण (प्रमेय 1.5): द्विकुस्पिडल परिवारों के विश्लेषण के माध्यम से, शोध पत्र उन "गैप" पैटर्न का पूर्ण वर्गीकरण करता है (जहाँ गैप $= m_{p,q} - C \cdot C$) जो विलक्षणताओं को हल करने से प्राप्त होते हैं।

  • गैप हमेशा गैर-ऋणात्मक (0, 1, या 2) होता है।
  • लगभग सभी मामलों में, दो संभावित समाधानों में से कम से कम एक ($z=0$ या $z=\infty$ पर) शून्य का गैप देता है, जिसका अर्थ है कि सीमा साकार होती है।
  • एकमात्र अपवाद जहाँ गैप 2 होता है, वह $\mathbb{CP}^1 \times \mathbb{CP}^1$ परिवार में है जब $q - p = 1$ हो।
  • यह वर्गीकरण पुष्टि करता है कि द्विकुस्पिडल परिवार अनुमान के लिए प्रति-उदाहरण (counterexamples) उत्पन्न नहीं करते हैं और प्रमेय 1.3 के लिए रचनात्मक प्रमाण के रूप में कार्य करते हैं।

महत्व
शोध पत्र का दावा है कि यह [1] के परिणाम के सिम्पलेक्टिक संस्करण को बीजगणितीय सेटिंग में इष्टतम वक्रों के अस्तित्व को स्थापित करके मजबूत करता है। $m_{p,q}$ के लिए एक नया सूत्र व्युत्पन्न करके, लेखक एक ऐसा उपकरण प्रदान करते हैं जो "गणना के लिए अधिक अनुकूल" है और "सीमा की प्रकृति के संबंध में बेहतर अंतर्दृष्टि" प्रदान करता है क्योंकि यह इसे विलक्षणता के बहुलता अनुक्रम से स्पष्ट रूप से जोड़ता है। यह कार्य सुझाव देता है कि अधिकतम स्व-प्रतिच्छेदन प्राप्त करने वाले सिंगुलर तर्कसंगत वक्रों का सेट अनंत परिवारों की एक छोटी संख्या द्वारा वर्गीकृत किया जा सकता है, एक परिकल्पना जिसे यहाँ किए गए विस्तृत गैप विश्लेषण द्वारा समर्थित किया गया है। परिणाम बीजगणितीय सीमा और सिम्पलेक्टिक सीमा के बीच सटीक संबंध को भी स्पष्ट करते हैं, यह दिखाते हुए कि जहाँ वे समान नहीं हैं, वहाँ वे ठीक 1 से भिन्न होते हैं।