Strong Weil Degree Divisibility at Higher Levels

तकनीकी सारांश: उच्च स्तरों पर सुदृढ़ वेइल डिग्री विभाज्यता (Strong Weil Degree Divisibility)

समस्या विवरण
यह शोध पत्र $X_0(N)$ (और $X_1(N)$ जैसे मध्यवर्ती वक्रों) से एक मजबूत वेइल वक्र (strong Weil curve) $E$ के परिमेय आइसोजेनी वर्ग (rational isogeny class) के एलिप्टिक वक्र $E'$ तक के रूपांतरों (morphisms) के अंकगणितीय गुणों की जांच करता है। विशेष रूप से, यह सुदृढ़ वेइल पैरामीट्राइजेशन $\pi_E: X_0(M) \to E$ के डिग्री और $N$ के गुणक $N$ के लिए $g: X_0(N) \to E'$ के डिग्री के बीच संबंध के संबंध में दो प्राथमिक प्रश्नों को संबोधित करता है:

1. विभाज्यता (Divisibility): क्या $\deg \pi_E$, $\deg g$ को विभाजित करता है? यदि नहीं, तो विभाज्यता की विफलता को कौन से स्पष्ट कारक नियंत्रित करते हैं?
2. पूर्णांक संरचना (Integral Structure): क्या डिजनरेंसी मैप्स (degeneracy maps) द्वारा प्रेरित "ओल्ड" (old) होमोमोर्फिज्म, होमोमोर्फिज्म समूह $\text{Hom}_{\mathbb{Q}}(J_0(N), E')$ के लिए एक पूर्णांक आधार (integral basis) बनाते हैं? यदि नहीं, तो क्या पूर्णांक होमोमोर्फिज्म के गुणांकों के हर (denominators) को स्पष्ट रूप से सीमित किया जा सकता है?

जबकि $N=M$ का मामला अनुकूलतम कोटि (optimal quotients) के सार्वभौमिक गुण के माध्यम से अच्छी तरह से समझा गया है, $N > M$ के उच्च स्तरों पर व्यवहार डिजनरेंसी मैप्स, मैनिन स्थिरांक (Manin constants), और मॉड्यूलर जैकोबियन्स की संरचना के बीच जटिल अंतःक्रियाओं को शामिल करता है।

कार्यप्रणाली (Methodology)
लेखक बीजगणितीय ज्यामिति (algebraic geometry), मॉड्यूलर रूपों के सिद्धांत, और लैटिस थ्योरी (lattice theory) के संयोजन का उपयोग करते हैं। मुख्य कार्यप्रणाली में शामिल हैं:

• ओल्ड-फॉर्म अपघटन (Old-Form Decomposition): डिजनरेंसी मैप्स $\iota_r: X_0(N) \to X_0(M)$ द्वारा प्रेरित "ओल्ड" होमोमोर्फिज्म के रैशनल वेक्टर स्पेस $\text{Hom}_{\mathbb{Q}}(J_0(N), E') \otimes \mathbb{Q}$ को पहचानने के लिए एटकिन-लेहनर-ली (Atkin–Lehner–Li) अपघटन का उपयोग करना।
• डिग्री पेयरिंग (Degree Pairings): होमोमोर्फिज्म पर एक धनात्मक-निश्चित (positive-definite) डिग्री पेयरिंग को परिभाषित करना। यह होमोमोर्फिज्म के निर्देशांकों को "ओल्ड" आधार में एक द्विघात रूप (quadratic form) के रूप में व्यक्त करने की अनुमति देता है, जिसमें एक "डिग्री मैट्रिक्स" $A_{E,N}$ शामिल होता है।
• कस्प एक्सपेंशन के माध्यम से हर के लिए सीमाएँ (Denominator Bounds via Cusp Expansions): गुणांकों के हर को नियंत्रित करने के लिए, लेखक रूपांतरों के तहत इनवेरिएंट डिफरेंशियल (invariant differentials/Néron differentials) के पुलबैक (pullback) का विश्लेषण करते हैं। वे मानक कस्प $\infty$ और फ्रिकर इनवोल्यूशन (Fricke involution) $w_N$ के तहत इसके प्रतिबिंब पर $q$-एक्सपेंशनों का परीक्षण करके पूर्णांकता की शर्तों को स्थापित करते हैं।
• डिसेंट तर्क (Descent Arguments): उन अभाज्य संख्याओं $\ell$ के लिए जहाँ $\ell^2 \mid (N/M)$, लेखक एक डिसेंट तर्क का उपयोग करते हैं। वे दिखाते हैं कि डिजनरेंसी मैप्स $\delta_\ell: X_0(N) \to X_0(N/\ell)$, $X_0$ (के लिए) या मध्यवर्ती वक्रों (के लिए मौलिक समूहों पर सर्जेक्टिविटी) में पूर्णतः रैमिफाइड (totally ramified) हैं, जो यह सुनिश्चित करता है कि जैकोबियन पर प्रेरित मानचित्र का कर्नेल (kernel) ज्यामितीय रूप से जुड़ा हुआ (geometrically connected) है। यह गुण सुनिश्चित करता है कि पूर्णांकता स्तर $N$ से $N/\ell$ तक उतरती है।
• टावर मानदंड (Tower Criterion): लेखक इन गुणों को $X_0$ से $X_1$ और डायमंड टावर्स सहित संगत मध्यवर्ती मॉड्यूलर वक्रों के टावर तक विस्तारित करने के लिए "टावर मानदंड" (शर्तें T1–T3) में संक्षिप्त करते हैं।

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

1. विभाज्यता प्रमेय (Theorem 1.1):
   लेख सिद्ध करता है कि किसी भी गैर-स्थिर (nonconstant) रूपांतर $g: X_0(N) \to E'$ के लिए, सुदृढ़ वेइल पैरामीट्राइजेशन का डिग्री मैनिन स्थिरांक $c_E$ और $N/M$ के अभाज्य गुणनखंडों की संख्या द्वारा नियंत्रित एक कारक तक $\deg g$ को विभाजित करता है:
   $$\deg \pi_E \mid c_E^{\Omega(N/M)} \deg g$$
   जहाँ $\Omega(n)$ $n$ के अभाज्य गुणनखंडों की संख्या है (बहुलता के साथ गणना की गई)।

• परिशोधन (Refinement): $c_E$ के किसी भी अभाज्य $\ell$ के घातांक को $\text{ord}_\ell(c_E)\Omega(N/M)$ से बदलकर $\text{ord}_\ell(c_E) + \lfloor \text{ord}_\ell(N/M)/2 \rfloor$ के रूप में तीक्ष्ण किया जा सकता है।
• अनकंडीशनल केस (Unconditional Case): यदि $c_E = 1$ है (जो ज्ञात है कि $M$ के स्क्वायर-फ्री होने पर सत्य है, या $M < 500,000$ के लिए सत्यापित है), तो $\deg \pi_E \mid \deg g$ बिना किसी शर्त के सत्य है।

2. पूर्णांक आधार और हर प्रमेय (Theorem 1.2):
   लेखक स्थापित करते हैं कि किन स्थितियों में "ओल्ड" होमोमोर्फिज्म एक $\mathbb{Z}$-आधार बनाते हैं। यदि सम्मिश्र मानचित्र $u \circ \pi_E$ का मैनिन स्थिरांक 1 है (जहाँ $u$, $\text{Hom}_{\mathbb{Q}}(E, E')$ को उत्पन्न करता है), तो सेट $\{ \Phi_{r,u} : r \mid (N/M) \}$, $\text{Hom}_{\mathbbmathbb{Q}}(J_0(N), E')$ का एक $\mathbb{Z}$-आधार बनाता है।

• सामान्य सीमा (General Bound): सामान्य मामले में, किसी भी पूर्णांक होमोमोर्फिज्म के गुणांकों के हर $D_{u \circ \pi_E}(N/M)$ द्वारा सीमित होते हैं, जो $N/M$ के अभाज्य गुणनखंडों और मैनिन स्थिरांक पर निर्भर करता है।
• डिग्री स्पेक्ट्रम (Degree Spectrum): जब मैनिन स्थिरांक 1 होता है, तो किसी भी रूपांतर का डिग्री ठीक से द्विघात रूप $b^T A_{E,N} b$ द्वारा निर्धारित होता है, जहाँ $b$ "ओल्ड" आधार में होमोमोर्फिज्म का पूर्णांक गुणांक वेक्टर है।

3. मध्यवर्ती वक्रों के लिए विस्तार (Theorems 5.12–5.19):
   परिणामों को $X_1$ टावर सहित मध्यवर्ती मॉड्यूलर वक्रों के संगत टावरों तक विस्तारित किया जाता है।

• $X_1(N)$ के लिए, समान विभाज्यता और आधार परिणाम मैनिन-स्टीवंस स्थिरांक $c_1$ द्वारा शासित होते हैं।
• लेख यह प्रदर्शित करता है कि $X_0$ के लिए उपयोग किए गए कुल रैमिफिकेशन तर्क को मध्यवर्ती वक्रों के लिए मौलिक समूहों पर सर्जेक्टिविटी से जुड़े एक टोपोलॉजिकल तर्क द्वारा प्रतिस्थापित किया जाना चाहिए, फिर भी अंतिम विभाज्यता और आधार निष्कर्ष संरचनात्मक रूप से समान रहते हैं।

महत्व और दावे
लेख का दावा है कि यह न्यूनतम स्तर पैरामीट्राइजेशन के संदर्भ में उच्च-स्तर के मॉड्यूलर वक्रों से एलिप्टिक वक्रों के डिग्री का पूर्ण अंकगणितीय विवरण प्रदान करता है।

• अनकंडीशनल विभाज्यता: यह पुष्टि करता है कि विभाज्यता $\deg \pi_E \mid \deg g$ तब बिना शर्त सत्य है जब $c_E = 1$, जो स्क्वायर-फ्री कंडक्टर्स के लिए एक ऐसी स्थिति है जो सभी के लिए सत्य है और बड़े रेंज के कंडक्टर्स के लिए कम्प्यूटेशनल रूप से सत्यापित है।
• संरचनात्मक अंतर्दृष्टि: यह पूर्णांक Hom समूह की संरचना को स्पष्ट करता है, यह दिखाते हुए कि "ओल्ड" मैप्स एक नियंत्रित हर तक पूर्ण लैटिस (lattice) को उत्पन्न करते हैं। यह इस प्रश्न को हल करता है कि क्या "ओल्ड" लैटिस संतृप्त (saturated) है।
• स्पष्ट सीमाएँ: लेख पूर्णांकता और विभाज्यता की विफलता के लिए स्पष्ट, गणना योग्य सीमाएँ प्रदान करता है, जो स्तर अनुपात के अभाज्य गुणनखंडों की बहुलता के आधार पर मैनिन स्थिरांक के घातांक को कम करके पिछले अनुमानों को परिष्कृत करता है।
• सामान्यीकरण (Generalizability): एक "टावर मानदंड" को तैयार करके, लेखक यह प्रदर्शित करते हैं कि ये घटनाएँ केवल $X_0$ तक सीमित नहीं हैं बल्कि $X_1$ सहित मॉड्यूलर वक्रों के संगत परिवारों के लिए आंतरिक हैं।

यह कार्य स्क्वायर-फ्री कंडक्टर्स के लिए अनकंडीशनल परिणामों के लिए मैनिन स्थिरांक अनुमान (जिसे चेस्नाविचियस ने सिद्ध किया है) के अर्ध-स्थिर (semistable) मामले पर निर्भर करता है और विशिष्ट कंडक्टर्स के लिए मौजूदा कम्प्यूटेशनल सत्यापन (क्रेमोना) का लाभ उठाता है। यह पत्र नए अनुप्रयोगों का प्रस्ताव नहीं करता है, बल्कि उच्च स्तरों पर मॉड्यूलर पैरामीट्राइजेशन को समझने के लिए सैद्धांतिक आधार को सुदृढ़ करता है।