On the Finiteness of Isolated $j$-invariants for $X_1(N)$

तकनीकी सारांश: $X_1(N)$ के लिए पृथक (Isolated) $j$-इनवेरियंट्स की परिमितता पर

समस्या विवरण
मॉड्यूलर कर्व्स $X_1(N)$ पर परिमेय बिंदुओं का वर्गीकरण संख्यात्मक ज्यामिति (arithmetic geometry) की एक केंद्रीय समस्या है। जबकि अनंत पैरामीट्रिक परिवारों (जैसे कि $\mathbb{P}^1$ या एबेलियन वेरिएटीज़ में मानचित्रों से उत्पन्न होने वाले) से संबंधित बिंदु अच्छी तरह से समझे गए हैं, "पृथक" (isolated) बिंदु—जो ऐसे परिवारों का हिस्सा नहीं हैं—एक निश्चित डिग्री के बिंदुओं के पूर्ण वर्गीकरण के लिए एक महत्वपूर्ण बाधा प्रस्तुत करते हैं। यह शोध पत्र विशेष रूप से $X_1(N)$ के लिए पृथक $j$-इनवेरियंट्स के संग्रह पर केंद्रित है, जिन्हें $j$-लाइन $X_1(1) \cong \mathbb{P}^1$ पर मैप किए गए $X_1(N)$ के पृथक बिंदुओं के $j$-मानों के रूप में परिभाषित किया गया है।

निर्दिष्ट की जाने वाली मुख्य प्रश्न प्रश्न 1 (Bourdon et al. [10] से) है: क्या प्रत्येक निश्चित डिग्री के लिए केवल परिमित संख्या में पृथक $j$-इनवेरियंट्स हैं? जबकि मेरेल (Merel) का यूनिफॉर्मिटी बाउंडनेस थ्योरम किसी विशिष्ट $X_1(N)$ पर एक निश्चित डिग्री के पृथक बिंदुओं की परिमितता की गारंटी देता है, यह तुरंत $N$ के परिवर्तन के साथ पृथक $j$-इनवेरियंट्स की परिमितता का संकेत नहीं देता है। यह शोध पत्र इस प्रश्न और क्षेत्र के अन्य यूनिफॉर्मिटी अनुमानों (conjectures) के बीच संबंध की जांच करता है और नए परिमितता परिणाम स्थापित करता है, विशेष रूप से परिमेय $j$-इनवेरियंट्स वाले एलिप्टिक कर्व्स के लिए।

कार्यप्रणाली (Methodology)
यह शोध पत्र मॉड्युली थ्योरी, गैलुआ प्रतिनिधित्व विश्लेषण (Galois representation analysis), और मॉड्यूलर कर्व्स के ज्यामितीय बंधों (geometric bounds) के संयोजन का उपयोग करता है।

1. परिकल्पनाओं का अंतर्संबंध (Hypothesis Interplay): लेखक निश्चित डिग्री $d$ के संख्या क्षेत्रों (number fields) पर एलिप्टिक कर्व्स की यूनिफॉर्मिटी से संबंधित चार प्रमुख परिकल्पनाओं के बीच तार्किक निहितार्थ स्थापित करते हैं:

   • परिकल्पना 1: सामान्यीकृत सेरे यूनिफॉर्मिटी (बड़े $p$ के लिए $p$-एडिक गैलुआ प्रतिनिधित्वों की सरोजकता/surjectivity)।
   • परिकल्पना 2: डिग्री $d$ के पृथक $j$-इनवेरियंट्स की परिमितता।
   • परिकल्पना 3: गैर-CM आइसोजेनी बाउंड्स (बड़े $N$ के लिए $X_0(N)$ पर डिग्री $d$ के गैर-कस्पिडल, गैर-CM बिंदुओं की परिमितता)।
   • परिकल्पना 4: टोरशन ग्रोथ (torsion growth) पर परिष्कृत बहुपद बंध (Refined Polynomial Bounds)।
     शोध पत्र सिद्ध करता है कि परिकल्पना 1, परिकल्पना 2 को निहित करती है, और महत्वपूर्ण रूप से, परिकल्पना 2, परिकल्पना 3 और परिकल्पना 4 दोनों को निहित करती है। यह प्रश्न 1 को आइसोजेनी और टोरशन बाउंड्स के एक ऐसे परिष्कृत रूप के रूप में स्थापित करता है जिसमें सामान्यीकृत सेरे यूनिफॉर्मिटी की पूर्ण शक्ति का अभाव है।

2. गैलुआ प्रतिनिधित्व और एंटैंगलमेंट (Entanglement): परिमेय मामले ($d=1$) को संबोधित करने के लिए, यह शोध पत्र मॉड $p$ और $p$-एडिक गैलुआ प्रतिनिधित्वों $\rho_{E,p}$ और $\rho_{E,p^\infty}$ के प्रतिबिंब (image) का विश्लेषण करता है। यह छवियों के वर्गीकरण परिणामों (जैसे कि Mazur, Serre, Bilu, Parent, Rebolledo, Lemos) का उपयोग करके $X_1(N)$ के बिंदुओं की डिग्री निर्धारित करता है। एक प्रमुख तकनीकी उपकरण विभिन्न प्राइम्स के टोरशन फील्ड्स के बीच "एंटैंगलमेंट" (entanglement) का विश्लेषण है। लेखक उन प्राइम्स के योगदान और रामिफिकेशन (ramification) को नियंत्रित करके $X_1(N)$ के बिंदुओं की डिग्री पर नए निचले स्तर के बंध (lower bounds) प्राप्त करते हैं जहाँ प्रतिबिंब सरचर (surjective) नहीं है (विशेष रूप से गैर-स्प्लिट कार्टन सबग्रुप्स)।

3. गोनैलिटी और आइसोलेशन (Gonality and Isolation): यह शोध पत्र मॉड्यूलर कर्व्स के गोनैलिटी के निचले बंधों (Abramovich) और एक बिंदु की डिग्री तथा वक्र के जीनस (genus) के बीच संबंध का उपयोग करता है। यदि किसी बिंदु की डिग्री जीनस (या विशिष्ट गोनैलिटी बंधों) से अधिक है, तो वह बिंदु पृथक नहीं हो सकता है।

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

• परिकल्पनाओं के बीच निहितार्थ (Theorem 9): शोध पत्र औपचारिक रूप से सिद्ध करता है कि पृथक $j$-इनवेरियंट्स की परिमितता (परिकल्पना 2) बड़े स्तरों (levels) के लिए $X_0(N)$ पर गैर-CM बिंदुओं (परिकल्पना 3) और टोरशन ग्रोथ पर बहुपद बंध (परिकल्पना 4) दोनों को स्थापित करने के लिए एक पर्याप्त स्थिति है।
• परिमेय $j$-इनवेरियंट्स के लिए परिमितता (Theorem 3): मुख्य अनकंडीशनल (unconditional) परिणाम यह स्थापित करता है कि $X_1(p^a q^b)$ के रूप के मॉड्यूलर कर्व्स के लिए केवल परिमित परिमेय पृथक $j$-इनवेरियंट्स हैं, जहाँ $p$ और $q$ अभाज्य संख्याएँ (primes) हैं। यह निम्नलिखित के संयोजन से प्राप्त किया गया है:
  • गैर-सरचर प्राइम्स के गैलुआ इमेज की संरचना पर Lemos [39, 40] का कार्य।
  • जब इमेज एक गैर-स्प्लिट कार्टन सबग्रुप हो, तो डिग्री को बांधने के लिए Smith [58] (Lemma 3) के रामिफिकेशन परिणाम।
  • एक नया निचला स्तर का बंध (Corollary 1) जो लेखक और Genao [11] के पिछले कार्य में सुधार करता है।
    प्रमाण यह दर्शाता है कि पर्याप्त बड़े प्राइम्स के लिए, परिमेय $j$-इनवेरियंट वाले $X_1(p^a q^b)$ के किसी भी बिंदु की डिग्री वक्र के जीनस से अधिक हो जाती है, जिससे वह बिंदु गैर-पृथक हो जाता है।
• तीव्र टोरशन बाउंड्स (Sharpened Torsion Bounds) (Theorem 4): गैर-CM एलिप्टिक कर्व $E/F$ के लिए जिसका $j(E) \in \mathbb{Q}$ है, शोध पत्र सिद्ध करता है कि किसी भी $\epsilon > 0$ के लिए, एक स्थिरांक $C_\epsilon$ मौजूद है ताकि:
  $$\exp E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1/2 + \epsilon}$$
  $$\#E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1 + \epsilon}$$
  यह टोरशन ग्रुप के एक्सपोनेंट (exponent) के लिए डिग्री बाउंड को पिछले परिणामों [11, 18] की तुलना में वर्गमूल कारक (square root factor) से बेहतर बनाता है। टोरशन ग्रुप के एक्सपोनेंट के लिए $1/2$ का मान लगभग इष्टतम (optimal) दिखाया गया है।
• प्रायोगिक डेटा और वर्गीकरण: शोध पत्र डिग्री $\leq 10$ के ज्ञात गैर-CM पृथक $j$-इनवेरियंट्स की एक व्यापक तालिका प्रदान करता है, जो जैकोबियन रैंक गणनाओं और गोनैलिटी बंधों के माध्यम से उनकी पृथकता को न्यायसंगत ठहराता है।

महत्व और दावे
शोध पत्र दावा करता है कि प्रश्न 1 क्षेत्र के व्यापक यूनिफॉर्मिटी समस्याओं के एक महत्वपूर्ण "परिष्करण" (refinement) के रूप में कार्य करता है। यह स्थापित करके कि पृथक $j$-इनवेरियंट्स की परिमितता आइसोजेनी और टोरशन पर मजबूत बंधों को निहित करती है, यह कार्य सुझाव देता है कि इन विशिष्ट बिंदुओं की परिमितता पर प्रहार करना व्यापक अनुमानों को हल करने का एक व्यवहार्य मार्ग है।

परिमेय $j$-इनवेरियंट्स के लिए परिणाम एक पूर्ण वर्गीकरण की ओर एक महत्वपूर्ण कदम हैं, क्योंकि वे $p^a q^b$ स्तरों वाले कर्व्स के लिए पृथक $j$-इनवेरियंट्स के अनंत परिवारों की संभावना को समाप्त करते हैं। लेखक नोट करते हैं कि हालांकि वर्तमान "एंटैंगलमेंट" (विभिन्न प्राइम्स के टोरशन फील्ड्स के बीच परस्पर क्रिया) पर नियंत्रण सभी परिमेय $j$-इनवेरियंट्स के लिए परिकल्पना 2 को बिना शर्त सिद्ध करने के लिए अपर्याप्त है, प्रायोगिक डेटा सुझाव देता है कि समस्या औपचारिक इमर्शन (formal immersion) तर्कों के माध्यम से सुलभ हो सकती है, विशेष रूप से इसलिए क्योंकि प्रासंगिक "एंटैंगलमेंट मॉड्यूलर कर्व्स" अक्सर मानक मॉड्यूलर कर्व्स के फाइबर उत्पाद (fiber products) के विपरीत, नॉन-ट्रिवियल रैंक 0 कोश (quotients) रखते हैं।

शोध पत्र इस निष्कर्ष के साथ समाप्त होता है कि हालांकि पृथक $j$-इनवेरियंट्स की पूर्ण परिमितता अभी भी खुली है, यहाँ विकसित विधियों ने सफलतापूर्वक परिमेय $j$-इनवेरियंट्स के लिए ज्ञात टोरशन बाउंड्स को तीक्ष्ण (sharpen) किया है और उन यूनिफॉर्मिटी समस्याओं को जोड़ने वाले तार्किक परिदृश्य को स्पष्ट किया है।