Number of $K$-rational points with given $j$-invariant on modular curves

यहाँ इवान नोवाक के शोध पत्र "Number of K-rational points with given j-invariant on modular curves" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र एक विशिष्ट $j$-इनवेरिएंट $j_0 \in K$ साझा करने वाले मॉड्यूलर कर्व $X_H$ पर $K$-रेशनल बिंदुओं की संभावित कार्डिनैलिटी (cardinalities) निर्धारित करने की समस्या को संबोधित करता है।

• संदर्भ: मान लीजिए कि $H$, $GL_2(\mathbb{Z}/N\mathbb{Z})$ का एक उपसमूह (subgroup) है। मॉड्यूलर कर्व $X_H$, $H$-लेवल स्ट्रक्चर के साथ युक्त एलिप्टिक कर्व्स को पैरामीट्राइज़ करता है।
• लक्ष्य: एक निश्चित संख्या क्षेत्र (number field) $K$ और एक निश्चित $j$-इनवेरिएंट $j_0$ के लिए, निम्नलिखित के संभावित मानों का सेट निर्धारित करना:
  $$\{ x \in X_H(K) \mid j(x) = j_0 \}$$
  लेखक स्पष्ट रूप से कहते हैं कि यह कार्य "शुद्ध रूप से समूह-सैद्धांतिक" (purely group-theoretic) है, जिसका अर्थ है कि यह उन विशिष्ट संख्या क्षेत्रों या एलिप्टिक कर्व्स का वर्गीकरण करने का प्रयास नहीं करता है जो इन गणनाओं को प्राप्त करते हैं, बल्कि किसी भी क्षेत्र और कर्व द्वारा प्राप्त किए जा सकने वाले सभी संभावित गणनाओं की सूची निर्धारित करता है।
• विशिष्ट अनुप्रयोग:
  1. एक संख्या क्षेत्र पर एक एलिप्टिक कर्व द्वारा स्वीकार किए जा सकने वाले चक्रीय $n$-आइसोजेनी (cyclic $n$-isogenies) की संख्या निर्धारित करना।
  2. कार्टन मॉड्यूलर कर्व्स ($X_s(p^k)$, $X_{ns}(p^k)$) और उनके नॉर्मलाइज़र (normalizers) पर संभावित बिंदु गणनाओं की गणना करना।
  3. किसी भी मॉड्यूलर कर्व पर रेशनल कॉम्प्लेक्स मल्टीप्लिकेशन (CM) बिंदुओं को गिनने के लिए एक एल्गोरिदम प्रदान करना।

2. कार्यप्रणाली (Methodology)

मुख्य कार्यप्रणाली मॉड्यूलर कर्व्स के मॉड्युली इंटरप्रिटेशन (moduli interpretation) और गैलोआ रिप्रेजेंटेशन (Galois representations) के प्रतिबिंब (image) के बीच अंतर्संबंध पर आधारित है।

A. समूह-सैद्धांतिक सूत्रीकरण (Group-Theoretic Formulation)

एक निश्चित $j$-इनवेरिएंट $j_0$ वाले $X_H$ पर $K$-रेशनल बिंदुओं की संख्या को $GL_2(\mathbb{Z}/N\mathbb{Z})$ के भीतर एक गणना समस्या में बदल दिया जाता है।

• मान लीजिए $E/K$ एक एलिप्टिक कर्व है जिसका $j(E) = j_0$ है।
• मान लीजिए $R = \rho_{E,N}(G_K)$ एक चुने हुए आधार (basis) में मोड-$N$ गैलोआ रिप्रेजेंटेशन का प्रतिबिंब है।
• मान लीजिए $A$, उसी आधार में ऑटोमोर्फिज्म ग्रुप $\text{Aut}(E)$ का प्रतिबिंब है।
• एक बेसिस $(P, Q)$ द्वारा परिभाषित बिंदु $K$-रेशनल है यदि और केवल यदि $R \subseteq H \cdot A$ हो (कंजुगेशन और डबल कोसेट्स के संदर्भ में)।
• मुख्य सूत्र (प्रपोजिशन 2.2): रेशनल बिंदुओं की संख्या इस प्रकार दी गई है:
  $$\sum_{g \in GL_2(\mathbb{Z}/N\mathbb{Z})} \frac{\mathbb{1}_{\{gRg^{-1} \subseteq HgA\}}}{\#(HgA)}$$
  यह ज्यामितीय समस्या को इतने डबल कोसेट $HgA$की गिनती में बदल देता है कि$R$ का कंजुगेट उस डबल कोसेट के भीतर समाहित हो।

B. उपसमूहों का विश्लेषण (Analysis of Subgroups)

लेखक $S(H)$ के सेट का विश्लेषण करते हैं, जो सभी $R$ (जहाँ $R$, $GL_2(\mathbb{Z}/N\mathbb{Z})$ के सभी उपसमूहों में से एक है) के रूप में ऊपर दिए गए व्यंजक के सभी संभावित मानों का सेट है।

• शोध पत्र विशिष्ट उपसमूहों $H$ पर ध्यान केंद्रित करता है:
  • $B_0(p^k)$: अपर ट्रायंगुलर मैट्रिसेस (जो $X_0(p^k)$ के अनुरूप हैं)।
  • $C_s(p^k)$: स्प्लिट कार्टन उपसमूह।
  • $C_{ns}(p^k)$: नॉन-स्प्लिट कार्टन उपसमूह।
  • $N_s(p^k)$ और $N_{ns}(p^k)$: कार्टन उपसमूहों के नॉर्मलाइज़र।
• प्रमाणों में $gRg^{-1} \subseteq H$ की स्थिति से प्राप्त समीकरणों को हल करने के लिए मैट्रिक्स प्रविष्टियों के विस्तृत $p$-एडिक वैल्युएशन (p-adic valuation) विश्लेषण शामिल हैं।

C. CM बिंदुओं के लिए एल्गोरिदम (Algorithm for CM Points)

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

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. चक्रीय $p^k$-आइसोजेनी (Cyclic $p^k$-Isogenies) (अनुभाग 3)

यह शोध पत्र प्राइम $p$ (जहाँ संख्या $0, 1, 2,$या$p+1$होती है) के शास्त्रीय परिणाम को प्राइम पावर$p^k$ के लिए सामान्यीकृत करता है।

• प्रपोजिशन 1.1 (विषम अभाज्य संख्या): एक विषम अभाज्य $p$ और पूर्णांक $k$ के लिए, $K$ पर परिभाषित $p^k$-आइसोजेनी की संख्या निम्न में से एक है:
  $$\{0\} \cup \{p^j \mid 0 \le j < k\} \cup \{2p^j \mid 0 \le j < k\} \cup \{p^k + p^{k-1}\}$$
• प्रपोजिशन 1.2 (2 की घात): $2^k$ के लिए, संभावित संख्याएँ हैं:
  $$\{0\} \cup \{2^m \mid 1 \le m \le k\} \cup \{2^k + 2^{k-1}\}$$
• सामान्य $n$: चाइनीज रिमाइंडर थ्योरम (Chinese Remainder Theorem) का उपयोग करते हुए, $n$-आइसोजेनी की संभावित संख्या प्रत्येक प्राइम पावर फैक्टर के लिए संभावित गणनाओं का गुणनफल है।
• परिष्कृत परिणाम (प्रपोजिशन 3.8): यह शोध पत्र एक निश्चित $p^k$-आइसोजेनी की संख्या दिए जाने पर $p^{k+1}$-आइसोजेनी की संभावित संख्या निर्धारित करता है, जिससे स्तरों (levels) के बीच एक निर्भरता संरचना स्थापित होती है।
• ज्यामितीय अंतर्दृष्टि (प्रपोजिशन 3.10): $PGL_2(\mathbb{Z}/p^k\mathbb{Z})$ में एक मैट्रिक्स, जो $\mathbb{P}^1(\mathbb{Z}/p^k\mathbb{Z})$ पर तीन बिंदुओं को फिक्स करता है जिनके मॉड $p$ रिडक्शन (reductions mod $p$) भिन्न हैं, वह सभी बिंदुओं को फिक्स करेगा। यह शास्त्रीय "3 पॉइंट्स फिक्स द लाइन" गुण को उच्च घातों तक सामान्यीकृत करता है, हालांकि इसमें विशिष्ट रिडक्शन स्थितियाँ लागू होती हैं।

B. कार्टन मॉड्यूलर कर्व्स (Cartan Modular Curves) (अनुभाग 4)

लेखक कार्टन उपसमूहों और उनके नॉर्मलाइज़र से जुड़े कर्व्स पर बिंदुओं की संभावित संख्या निर्धारित करते हैं।

• स्प्लिट कार्टन ($X_s(p^k)$): संभावित गणनाएँ $\{0, p^{2k} + p^{2k-1}\} \cup \{2p^{2j} \mid 0 \le j < k\}$ हैं।
• नॉर्मलाइज़र ऑफ स्प्लिट कार्टन ($X_{s}^+(p^k)$): संभावित गणनाओं का सेट कई सेट्स का यूनियन है जिसमें $p \pmod 4$ और $p \pmod 8$ के आधार पर 2 या 3 जैसे छोटे स्थिरांकों और पावर्स शामिल हैं।
• नॉन-स्प्लिट कार्टन ($X_{ns}(p^k)$): संभावित गणनाएँ $\{0\} \cup \{2p^{2j}\} \cup \{p^{2k} - p^{2k-1}\}$ हैं।
• नॉर्मलाइज़र ऑफ नॉन-स्प्लिट कार्टन ($X_{ns}^+(p^k)$): संभावित मानों का सेट जटिल है, जिसमें $p \pmod 4$ और $p \pmod 8$ पर निर्भर $A', B', C', \dots$ सेट्स का यूनियन शामिल है।

C. रेशनल CM बिंदुओं के लिए एल्गोरिदम (Algorithm for Rational CM Points) (अनुभाग 5)

• एल्गोरिदम: यह शोध पत्र किसी भी मॉड्यूलर कर्व $X_H$ पर रेशनल CM बिंदुओं की गणना करने के लिए एक ठोस एल्गोरिदम प्रदान करता है:
  1. $j$-इनवेरिएंट से जुड़े द्वि-वर्ग क्रम (quadratic order) $\mathcal{O}_{K,f}$ की पहचान करें।
  2. लोजानो-रोब्लेडो द्वारा वर्णित विशिष्ट कार्टन उपसमूह $C_{\delta, \phi}(N)$ और उसके नॉर्मलाइज़र $N_{\delta, \phi}(N)$ का निर्माण करें।
  3. ऑटोमोर्फिज्म ग्रुप इमेज $A$ (आकार 2, 4, या 6) निर्धारित करें।
  4. समावेश की स्थिति (inclusion condition) को संतुष्ट करने वाले डबल कोसेट्स की संख्या की गणना करें।
• कार्यान्वयन (Implementation): लेखक इस एल्गोरिदम के एक GitHub कार्यान्वयन का उल्लेख करते हैं, जो विशिष्ट मामलों जैसे $X_0(88)$ के लिए पिछले तरीकों (जैसे $j$-मैप के प्री-इमेज की गणना करना) की तुलना में काफी तेज़ है।

4. महत्व (Significance)

• वर्गीकरण की पूर्णता: यह शोध पत्र मॉड्यूलर कर्व्स के एक विस्तृत वर्ग के लिए संभव आइसोोजेनी और रेशनल बिंदुओं की संख्या का पूर्ण वर्गीकरण प्रदान करता है, जो विशिष्ट उदाहरणों से आगे बढ़कर सामान्य संरचनात्मक परिणाम देता है।
• "3 पॉइंट्स" अंतर्ज्ञान का समाधान: यह कंपोजिट लेवल्स (विशेष रूप से प्राइम पावर) के लिए आइसोोजेनी के व्यवहार को स्पष्ट करता है, यह दिखाते हुए कि $p$ के लिए "3 पॉइंट्स फिक्स ऑल" वाला अंतर्ज्ञान सामान्यतः $p^k$ के लिए लागू नहीं होता है, हालांकि विशिष्ट रिडक्शन स्थितियों के तहत एक परिष्कृत संस्करण (प्रपोजिशन 3.10) काम करता है।
• गणनात्मक दक्षता: प्रस्तावित एल्गोरिदम गैलोआ इमेजेस के समूह-सैद्धांतिक गुणों का लाभ उठाकर, भारी ज्यामितीय गणनाओं के बजाय CM बिंदुओं को गिनने के लिए एक व्यावहारिक और कुशल विकल्प प्रदान करता है।
• आगे के अनुसंधान का आधार: कार्टन नॉर्मलाइज़र पर परिणाम सीधे तौर पर सेरे के यूनिफॉर्मिटी कंजेक्चर (Serre's Uniformity Conjecture) के लिए प्रासंगिक हैं, क्योंकि ये समूह CM कर्व्स के लिए गैलोआ रिप्रेजेंटेशन के प्रतिबिंब के रूप में दिखाई देते हैं और बड़े प्राइम्स के लिए सरजक्टिविटी (surjectivity) के लिए प्राथमिक बाधा उत्पन्न करते हैं।

संक्षेप में, नोवाक का कार्य $GL_2(\mathbb{Z}/N\mathbb{Z})$ के अमूर्त समूह सिद्धांत और मॉड्यूलर कर्व्स के अंकगणितीय ज्यामिति के बीच के अंतर को पाटता है, जो रेशनल पॉइंट्स और आइसोोजेनी के अध्ययन के लिए सटीक गणनात्मक परिणाम और कुशल उपकरण प्रदान करता है।