Geometric construction of modular polynomials with level structures

तकनीकी सारांश: स्तर संरचनाओं के साथ मॉड्यूलर बहुपदों का ज्यामितीय निर्माण

समस्या विवरण
शास्त्रीय मॉड्यूलर बहुपद $\Phi_m(X, Y)$ दो एलिप्टिक कर्व्स के बीच $j$-इनवेरिएंट्स के बीच के बीजगणितीय संबंध को वर्णित करता है, जो $m$ डिग्री की एक चक्रीय आइसोजेनी (cyclic isogeny) द्वारा जुड़े होते हैं। जबकि इन बहुपदों की गणना करने के लिए एल्गोरिदम मौजूद हैं (जैसे कि फूरियर विस्तार, सुपरसिंगुलर आइसोजेनी, या विरूपण सिद्धांत (deformation theory) के माध्यम से), उच्च स्तर की संरचनाओं ("higher level" structures) से जुड़े इनवेरिएंट्स के लिए इस ढांचे का विस्तार करने की आवश्यकता है। विशेष रूप से, यह शोध पत्र विशिष्ट मॉडलों (जैसे कि मोंटगोमरी और हेसियन कर्व्स, जो क्रमशः $\Gamma_0(4)$ और $\Gamma(3)$ स्तरों के अनुरूप हैं) से संबंधित इनवेरिएंट्स के लिए मॉड्यूलर बहुपदों के निर्माण को संबोधित करता है। इस कार्य से पूर्व, इन विशिष्ट रूपों के लिए ऐसे मॉड्यूलर बहुपदों के अस्तित्व को साहित्य में कठोरता से सिद्ध नहीं किया गया था, न ही मॉड्यूलर फॉर्म के सिद्धांत पर निर्भर किए बिना एक शुद्ध बीजगणितीय निर्माण विधि स्थापित की गई थी।

कार्यप्रणाली
लेखक उच्च स्तर के इनवेरिएंट्स के लिए मॉड्यूलर बहुपदों के निर्माण के लिए एक शुद्ध बीजगणितीय दृष्टिकोण प्रस्तावित करते हैं। कार्यप्रणाली निम्नलिखित मुख्य अवधारणाओं पर आधारित है:

1. इनवेरिएंट और सुदृढ़ मॉडल (Good Models): लेखक एक "स्तर $\Gamma$ का इनवेरिएंट" एक एन्हांस्ड एलिप्टिक कर्व्स के आइसोमॉर्फिज्म क्लासेस के सेट से $\mathbb{C}$ में एक इंजेक्शन (injection) के रूप में परिभाषित करते हैं, जिसके साथ $j$-इनवेरिएंट से संबंधित एक परिमेय फलन (rational function) होता है। महत्वपूर्ण रूप से, वे एक "सुदृढ़ मॉडल" की अवधारणा पेश करते हैं, जिसके लिए निम्नलिखित के लिए स्पष्ट सूत्रों का अस्तित्व आवश्यक है:

   • स्केलर गुणन ($[m]P$)।
   • डिवीजन पॉलीनोमियल्स (क्रम $m$ के बिंदुओं की पहचान करना)।
   • आइसोजेनी सूत्र (स्रोत कर्व और कर्नेल जनरेटर से लक्ष्य कर्व के इनवेरिएंट की गणना करना)।
     इन सूत्रों के गुणांक विशिष्ट रिंग्स (जैसे $\mathbb{Z}[X]$ या $\mathbb{Z}[1/m][X]$) में होने चाहिए ताकि पूर्णांकता (integrality) सुनिश्चित हो सके।

2. विरूपण सिद्धांत (Deformation Theory) के माध्यम से अस्तित्व का प्रमाण: किसी इनवेरिएंट $\alpha$ के लिए मॉड्यूलर बहुपद $\Phi^\alpha_m(X, Y)$ के अस्तित्व को सिद्ध करने के लिए, लेखक विरूपण सिद्धांत (विशेष रूप से कुन्ज़वीलर-रॉबर्ट फ्रेमवर्क) का उपयोग करते हैं। वे एक परिमेय फलन क्षेत्र (rational function field) पर डिवीजन पॉलीनोमियल्स के न्यूनतम स्प्लिटिंग फील्ड पर विचार करते हैं। डिवीजन पॉलीनोमियल्स के मूलों (roots) पर गैलवा समूह (Galois group) की क्रिया का विश्लेषण करके (जो चक्रीय उपसमूहों के अनुरूप होते हैं), वे आइसोजेनी द्वारा जुड़े लक्ष्य कर्व्स के इनवेरिएंट्स के रूप में मूलों का उपयोग करके एक बहुपद का निर्माण करते हैं।

3. एल्गोरिद्मिक निर्माण: यह शोध पत्र शास्त्रीय मॉड्यूलर बहुपदों की गणना के लिए कुन्ज़वीलर-रॉबर्ट एल्गोरिदम को अनुकूलित करता है। एल्गोरिदम $\mathbb{F}_{p^2}$ पर कार्य करता है और परिणामों को $\mathbb{Z}[X, Y]$ तक उठाने के लिए चाइनीज रिमाइंडर थ्योरम (CRT) का उपयोग करता है।

   • यह उन अभाज्य संख्याओं $p$ का चयन करता है जहाँ कर्व में जटिल गुणन (complex multiplication) के गुण होते हैं जो कुशल आइसोजेनी गणना की अनुमति देते हैं।
   • यह एक आर्टिनियन रिंग $R = \mathbb{F}_{p^2}[\epsilon]/(\epsilon^{\ell+2})$ पर कर्व और इनवेरिएंट को विरूपित (deform) करता है।
   • यह आइसोजेनी की गणना करता है और न्यूटन इटरेशन (हेन्सेल लिफ्टिंग) का उपयोग करके लक्ष्य इनवेरिएंट $\alpha(E', P')$ को लिफ्ट करता है, यह सुनिश्चित करते हुए कि लिफ्ट किया गया इनवेरिएंट मॉडल के परिभाषित परिमेय फलन का पालन करता है।

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

• अस्तित्व और गुण: यह शोध पत्र सिद्ध करता है कि किसी भी इनवेरिएंट $\alpha$ के लिए, जिसमें "सुदृढ़ मॉडल" (विशिष्ट पूर्णांक और सूत्र शर्तों को पूरा करने वाला) है, मॉड्यूलर बहुपद $\Phi^\alpha_m(X, Y)$ का अस्तित्व है, इसके गुणांक पूर्णांक हैं, और $Y$ में डिग्री $\psi(m)$ का मोनिक (monic) है।
• सममिति और अपरिमेयता (Symmetry and Irreducibility):
  • यह दिखाया गया है कि यदि $m > 1$ है और स्तर $\Gamma_0(N)$ है या $m \equiv \pm 1 \pmod N$ है, तो बहुपद सममित ($\Phi^\alpha_m(X, Y) = \Phi^\alpha_m(Y, X)$) होता है।
  • यदि इनवेरिएंट "गणनीय" (computable) है (अर्थात $j$-इनवेरिएंट और स्तर संरचना के निर्देशांकों के एक परिमेय फलन के रूप में व्यक्त किया जा सकता है जो विशिष्ट कर्व पर निर्भर नहीं है), तो बहुपद $\mathbb{C}(X)$ पर अपरिमेय (irreducible) है।
• विशिष्ट उदाहरण: लेखक प्रदर्शित करते हैं कि मोंटगोमरी कर्व्स (स्तर $\Gamma_0(4)$) के गुणांक $A$ और हेसियन कर्व्स (स्तर $\Gamma(3)$) के गुणांक $d$ एक सुदृढ़ मॉडल की शर्तों को पूरा करते हैं। फलस्वरूप, इन गुणांकों के लिए मॉड्यूलर बहुपद मौजूद हैं और उनके पास उल्लेखित गुण हैं।
• संगति गुण (Congruence Properties): यह शोध पत्र इन बहुपदों के गुणांकों के लिए संगति शर्तों को स्थापित करता है। मोंटगोमरी कर्व्स के लिए, $X^i Y^j$ का गुणांक शून्य होता है जब तक कि $i+j \equiv 0 \pmod 2$ न हो। हेसियन कर्व्स के लिए, $m \pmod 3$ के आधार पर समान मॉड्यूलर प्रतिबंध लागू होते हैं।
• एल्गोरिदम कार्यान्वयन: एक एल्गोरिदम प्रदान किया गया है जिसे $\tilde{O}(\ell^3 \log^3 \ell \log \log \ell)$ बिट ऑपरेशंस की जटिलता के साथ शास्त्रीय मॉड्यूलर बहुपदों के लिए सर्वोत्तम ज्ञात एल्गोरिदम की दक्षता से मेल खाती है।

परिणाम

• लेखकों ने SageMath में एल्गोरिदम को लागू किया और सभी अभाज्य $\ell < 150$ के लिए मोंटगोमरी और हेसियन कर्व्स के मॉड्यूलर बहुपदों की गणना की।
• प्रयोगात्मक परिणामों ने पुष्टि की कि गणना किए गए बहुपद परिमित क्षेत्रों (finite fields) पर आइसोजेनी शर्तों को पूरा करते हैं।
• प्रयोगों ने गुणांकों की सममिति और विशिष्ट संगति गुणों को सत्यापित किया।
• गणना किए गए बहुपदों की लॉगरिदमिक ऊंचाई (logarithmic height) आम तौर पर शास्त्रीय मामले से संबंधित अनुमानित सीमा का पालन करती है, हेसियन मामले में छोटे अभाज्य संख्याओं के लिए मामूली अपवादों के साथ।
• क्रमपरिवर्तन (permutation) $\sigma$ का अध्ययन (जो इनवेरिएंट के इमेज के बाहर के बिंदुओं पर बहुपद के मूल्यांकन से संबंधित है) ने दिखाया कि मोंटगोमरी कर्व्स के लिए, $\sigma$ आइडेंटिटी है, जबकि हेसियन कर्व्स के लिए, यह एक गैर-तुच्छ (non-trivial) क्रमपरिवर्तन है।

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

यह शोध पत्र इस बात पर जोर देता है कि इन विशिष्ट कर्व रूपों के लिए इन बहुपदों के अस्तित्व को पहले साहित्य में सिद्ध नहीं किया गया था। "सुदृढ़ मॉडल" मानदंडों को स्थापित करके, लेखक व्यापक श्रेणी के एलिप्टिक कर्व मॉडलों के लिए मॉड्यूलर बहुपदों के अस्तित्व और पूर्णांकता को सत्यापित करने के लिए एक सामान्य ढांचा प्रदान करते हैं।