2025-11-11T22:10:19.678537

Congruent modular forms and anticyclotomic Iwasawa theory

Nguyen
Let $p$ be an odd prime. Consider normalized newforms $f_1,f_2$ that both satisfy the Heegner hypothesis for an imaginary quadratic field $K$ and suppose that they induce isomorphic residual Galois representations. In the work of Greenberg-Vatsal and Emerton-Pollack-Weston, the authors compare the cyclotomic Iwasawa $μ$ and $λ$-invariants of $f_1$ and $f_2$. We extend this to the anticyclotomic indefinite setting by comparing the BDP $p$-adic $L$-functions attached to $f_1$ and $f_2$. Using this comparison, we obtain arithmetic implications for both generalized Heegner cycles and the Iwasawa main conjecture.
academic

सर्वांगसम मॉड्यूलर रूप और प्रतिचक्रविभाजक Iwasawa सिद्धांत

मूल जानकारी

  • पेपर ID: 2503.00247
  • शीर्षक: Congruent modular forms and anticyclotomic Iwasawa theory
  • लेखक: Dac-Nhan-Tam Nguyen (ब्रिटिश कोलंबिया विश्वविद्यालय)
  • वर्गीकरण: math.NT (संख्या सिद्धांत)
  • प्रकाशन समय: 2025 मार्च (arXiv v2: 2025 अक्टूबर 23)
  • पेपर लिंक: https://arxiv.org/abs/2503.00247

सारांश

यह पेपर प्रतिचक्रविभाजक Iwasawa सिद्धांत में सर्वांगसम मॉड्यूलर रूपों के अनुप्रयोग का अध्ययन करता है। मान लीजिए pp एक विषम अभाज्य है, काल्पनिक द्विघात क्षेत्र KK पर Heegner अनुमान को संतुष्ट करने वाले सामान्यीकृत newform f1,f2f_1, f_2 पर विचार करें, और मान लीजिए कि वे समरूपी अवशेष Galois प्रतिनिधित्व प्रेरित करते हैं। Greenberg-Vatsal और Emerton-Pollack-Weston के कार्य ने f1f_1 और f2f_2 के चक्रविभाजक Iwasawa μ\mu और λ\lambda-अपरिवर्तनीयों की तुलना की। यह पेपर इस परिणाम को प्रतिचक्रविभाजक अनिश्चित स्थिति तक विस्तारित करता है, f1f_1 और f2f_2 से जुड़े BDP pp-adic LL-फलनों की तुलना के माध्यम से, सामान्यीकृत Heegner चक्रों और Iwasawa मुख्य अनुमान के संबंध में अंकगणितीय निष्कर्ष प्राप्त करता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

  1. मूल समस्या: समरूपी अवशेष Galois प्रतिनिधित्व वाले मॉड्यूलर रूपों के बीच अंकगणितीय संबंधों का अध्ययन, विशेष रूप से उनके pp-adic LL-फलनों और Iwasawa अपरिवर्तनीयों के बीच संबंध।
  2. महत्व:
    • Iwasawa सिद्धांत आधुनिक संख्या सिद्धांत का मूल क्षेत्र है, जो मॉड्यूलर रूपों, Galois प्रतिनिधित्व और LL-फलनों को जोड़ता है
    • Heegner चक्र दीर्घवृत्ताकार वक्रों के BSD अनुमान के अध्ययन में महत्वपूर्ण भूमिका निभाते हैं
    • प्रतिचक्रविभाजक Iwasawa सिद्धांत मॉड्यूलर रूपों के अंकगणितीय गुणों को समझने के लिए महत्वपूर्ण उपकरण प्रदान करता है
  3. मौजूदा अनुसंधान की सीमाएं:
    • Greenberg-Vatsal 1 और Emerton-Pollack-Weston 2 का कार्य मुख्य रूप से चक्रविभाजक विस्तार स्थिति पर केंद्रित है
    • प्रतिचक्रविभाजक अनिश्चित सेटिंग में, केवल वजन 2 के आंशिक परिणाम हैं (Kriz-Li 9,10)
    • उच्च वजन मॉड्यूलर रूपों और सामान्यीकृत Heegner चक्रों के लिए, एक व्यवस्थित तुलना सिद्धांत की कमी है
  4. अनुसंधान प्रेरणा:
    • चक्रविभाजक स्थिति के शास्त्रीय परिणामों को प्रतिचक्रविभाजक अनिश्चित सेटिंग तक विस्तारित करना
    • BDP pp-adic LL-फलनों के बीच सर्वांगसमता संबंध स्थापित करना
    • Heegner चक्रों और Iwasawa मुख्य अनुमान के अंकगणितीय अनुप्रयोगों की खोज करना

मुख्य योगदान

  1. प्रतिचक्रविभाजक अनिश्चित सेटिंग में सर्वांगसमता सिद्धांत की स्थापना: समरूपी अवशेष प्रतिनिधित्व वाले मॉड्यूलर रूपों f1,f2f_1, f_2 के लिए सिद्ध किया कि उनके BDP pp-adic LL-फलन ϖm\varpi^m modulo सर्वांगसमता को संतुष्ट करते हैं (Theorem 5.12, अर्थात् Theorem A)
  2. Hecke संचालकों का मॉड्यूलर व्याख्या: Igusa योजना के Serre-Tate निर्देशांक ढांचे में, Hecke संचालकों VℓV_\ell की ज्यामितीय व्याख्या दी गई है (Section 5.2), जो pp-adic LL-फलनों के परिवर्तन के अध्ययन के लिए महत्वपूर्ण है
  3. वजन 2 के ज्ञात परिणामों का सामान्यीकरण: Kriz-Li 9,10 के वजन 2 स्थिति के परिणामों को किसी भी वजन 2r2r के मॉड्यूलर रूपों और सामान्यीकृत Heegner चक्रों तक विस्तारित किया
  4. Iwasawa अपरिवर्तनीयों की तुलना प्रमेय प्राप्त किया:
    • μ(Lp(f1))=0⇔μ(Lp(f2))=0\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0
    • μ\mu-अपरिवर्तनीय शून्य होने पर, λ\lambda-अपरिवर्तनीयों का सटीक संबंध दिया
  5. सामान्यीकृत Heegner चक्रों के लिए अनुप्रयोग: pp-adic Gross-Zagier सूत्र के माध्यम से, Heegner चक्रों के लघुगणकों के बीच सर्वांगसमता संबंध प्राप्त किए (Theorem 6.2, 6.3)
  6. Iwasawa मुख्य अनुमान की प्रसारण संपत्ति: सिद्ध किया कि यदि f1f_1 Iwasawa मुख्य अनुमान को संतुष्ट करता है, तो उपयुक्त शर्तों के तहत f2f_2 भी इसे संतुष्ट करता है (Theorem 7.5)

विधि विस्तार

कार्य परिभाषा

इनपुट: दो सामान्यीकृत Hecke विशेषता newform f1∈S2r1(Γ0(N1))newf_1 \in S_{2r_1}(\Gamma_0(N_1))^{\text{new}} और f2∈S2r2(Γ0(N2))newf_2 \in S_{2r_2}(\Gamma_0(N_2))^{\text{new}}, जो:

  • काल्पनिक द्विघात क्षेत्र KK पर Heegner अनुमान को संतुष्ट करते हैं
  • समरूपी अवशेष Galois प्रतिनिधित्व प्रेरित करते हैं: ρˉf1≅ρˉf2(modϖm)\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2} \pmod{\varpi^m}

आउटपुट:

  • BDP pp-adic LL-फलन Lp(f1)L_p(f_1) और Lp(f2)L_p(f_2) के बीच सर्वांगसमता संबंध
  • Iwasawa μ\mu और λ\lambda-अपरिवर्तनीयों की तुलना
  • Heegner चक्रों और Iwasawa मुख्य अनुमान के अंकगणितीय निष्कर्ष

सैद्धांतिक ढांचा

1. BDP pp-adic LL-फलन का निर्माण

BDP pp-adic LL-फलन CM बिंदुओं पर pp-adic मॉड्यूलर रूपों के मानों के माध्यम से निर्मित होता है। Heegner अनुमान को संतुष्ट करने वाले newform f∈S2r(Γ0(N))newf \in S_{2r}(\Gamma_0(N))^{\text{new}} के लिए:

परिभाषा (Definition 4.1): मान लीजिए ψ\psi अनंत प्रकार (r,−r)(r,-r), conductor c0OKc_0\mathcal{O}_K का प्रतिचक्रविभाजक Hecke विशेषता है, Lp,ψ(f)L_{p,\psi}(f) को Γ~\tilde{\Gamma} पर pp-adic माप के रूप में परिभाषित करें:

Lp,ψ(f)(ρ)=∑[a]∈PicOc0ψ(a)N(a)−r⋅∫Zp×ψpρ∣[a]df^a♭L_{p,\psi}(f)(\rho) = \sum_{[\mathfrak{a}]\in \text{Pic}\mathcal{O}_{c_0}} \psi(\mathfrak{a})N(\mathfrak{a})^{-r} \cdot \int_{\mathbb{Z}_p^\times} \psi_p\rho|_{[\mathfrak{a}]} d\hat{f}^\flat_{\mathfrak{a}}

जहां f^a♭\hat{f}^\flat_{\mathfrak{a}} CM बिंदु xax_{\mathfrak{a}} के पास pp-depleted ज्यामितीय मॉड्यूलर रूप f♭f^\flat का pp-adic अवतार है।

twist संचालन के माध्यम से प्राप्त: Lp(f):=Twψ^−1(Lp,ψ(f))L_p(f) := \text{Tw}_{\hat{\psi}^{-1}}(L_{p,\psi}(f))

θ\theta संचालक (tddtt\frac{d}{dt}) का उपयोग करके पुनः लिखा जा सकता है: Lp(f)(ρ)=(−DK)r∑[a]∈PicOK((θ−rf^♭)a⊗ρ∣[a])(Aa,ηa)L_p(f)(\rho) = (\sqrt{-D_K})^r \sum_{[\mathfrak{a}]\in \text{Pic}\mathcal{O}_K} ((\theta^{-r}\hat{f}^\flat)_{\mathfrak{a}} \otimes \rho|_{[\mathfrak{a}]})(A_{\mathfrak{a}}, \eta_{\mathfrak{a}})

2. Hecke संचालकों की Serre-Tate निर्देशांक व्याख्या

यह पेपर का मुख्य तकनीकी नवाचार है। अभाज्य ℓ≠p\ell \neq p के लिए जो ℓ=vvˉ\ell = \mathfrak{v}\bar{\mathfrak{v}} में विभाजित होता है:

परिभाषा (Definition 5.4): pp-adic मॉड्यूलर रूपों पर VℓV_\ell संचालक को परिभाषित करें: Vℓ:Ig(N♯)→Ig(N♯ℓ−1)V_\ell: \text{Ig}(N^\sharp) \to \text{Ig}(N^\sharp\ell^{-1})(A,η)↦(A/C[ℓ],π∘ηN♯∘(⋅)1/ℓ×πˇ−1∘ηp)(A, \eta) \mapsto (A/C[\ell], \pi \circ \eta_{N^\sharp} \circ (\cdot)^{1/\ell} \times \check{\pi}^{-1} \circ \eta_p)

मुख्य लेम्मा (Lemma 5.7): CM बिंदु xa=(Aa,ηa)x_{\mathfrak{a}} = (A_{\mathfrak{a}}, \eta_{\mathfrak{a}}) के लिए, हमारे पास है Vℓ(xa)=xv−1aV_\ell(x_{\mathfrak{a}}) = x_{\mathfrak{v}^{-1}\mathfrak{a}}

और Serre-Tate निर्देशांक संतुष्ट करते हैं: tv−1a(Vℓ(x))=ta(x)ℓt_{\mathfrak{v}^{-1}\mathfrak{a}}(V_\ell(x)) = t_{\mathfrak{a}}(x)^\ell

यह ज्यामितीय संबंध (Lemma 5.8) की ओर ले जाता है: ((θ−rVℓ∗f)a⊗ϕ)(xa)=ℓ−r((θ−rf)v−1a⊗ϕ)(xv−1a)((θ^{-r}V_\ell^* f)_{\mathfrak{a}} \otimes \phi)(x_{\mathfrak{a}}) = \ell^{-r}((θ^{-r}f)_{\mathfrak{v}^{-1}\mathfrak{a}} \otimes \phi)(x_{\mathfrak{v}^{-1}\mathfrak{a}})

3. स्थिरीकरण और Euler कारक

परिभाषा (Definition 5.9): Euler बहुपद को परिभाषित करें

1 - a_\ell(f)\ell^{-r} \cdot \gamma_{\mathfrak{v}} + \ell^{-1} \cdot \gamma_{\mathfrak{v}}^2 & \text{यदि } \ell \nmid N \\ 1 - a_\ell(f)\ell^{-r} \cdot \gamma_{\mathfrak{v}} & \text{यदि } \ell \mid N \end{cases}$$ जहां $\gamma_{\mathfrak{v}} \in \Gamma_K^-$ $\mathfrak{v}$ पर Frobenius तत्व है। **मुख्य प्रमेय** (Theorem 5.11): $\ell$-depletion संतुष्ट करता है $$L_p(f^{(\ell)}) = P_{\mathfrak{v}}(f)L_p(f)$$ ### मुख्य प्रमेय के प्रमाण की रणनीति **Theorem 5.12 के प्रमाण की रणनीति**: 1. **मूल सर्वांगसमता**: जब $f_1, f_2$ के समान स्तर हों, $q$-विस्तार सर्वांगसमता (Lemma 5.1) से प्राप्त होता है $$L_p(f_1) \equiv L_p(f_2) \pmod{\varpi^m W\llbracket\Gamma_K^-\rrbracket}$$ 2. **स्तर समायोजन**: विभिन्न स्तरों के लिए, विचार करें $$N^\sharp := \text{lcm}_{\ell|N_1N_2}(N_1, N_2, \ell^2)$$ Theorem 5.11 को बार-बार लागू करके, प्राप्त करें $$L_p(f^{(N_1N_2)}) = \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f) \cdot L_p(f)$$ 3. **सर्वांगसमता संचरण**: $f_1^{(N_1N_2)} \equiv f_2^{(N_1N_2)} \pmod{\varpi^m}$ से, प्राप्त करें $$\prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_1) L_p(f_1) \equiv \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_2) L_p(f_2) \pmod{\varpi^m}$$ 4. **अपरिवर्तनीय तुलना**: चूंकि $\mu(P_{\mathfrak{v}}(f)) = 0$ (Lemma 5.10), $\varpi$ modulo घटाए गए डिग्री की तुलना करके, $\mu$ और $\lambda$-अपरिवर्तनीयों का संबंध प्राप्त करें। ### तकनीकी नवाचार बिंदु 1. **Serre-Tate निर्देशांक ढांचे में मॉड्यूलर व्याख्या**: - पारंपरिक विधि $q$-विस्तार का उपयोग करती है: $f(q) \mapsto f(q^\ell)$ - यह पेपर Igusa योजना की ज्यामितीय संरचना के माध्यम से आंतरिक व्याख्या देता है - मुख्य बात CM बिंदुओं की मॉड्यूलर व्याख्या और Serre-Tate निर्देशांकों के परिवर्तन गुणों का उपयोग है 2. **वजन अंतर को संभालने की तकनीक** (Lemma 5.1 का प्रमाण): - जब $2r_1 \not\equiv 2r_2 \pmod{\phi(p^{m'})}$ हो, Legendre प्रतीक $(\frac{\cdot}{p})$ को शामिल करने की आवश्यकता है - $n^{r_1} \equiv (\frac{n}{p})n^{r_2} \pmod{p^{m'}}$ का उपयोग करके मुआवजा दें - मुख्य अवलोकन: Legendre प्रतीक के अनुरूप Hecke विशेषता प्रतिचक्रविभाजक विस्तार $\Gamma_K^-$ पर तुच्छ है 3. **मनमानी अभाज्य शक्ति सर्वांगसमता को एकीकृत रूप से संभालना**: - [9] के विपरीत जो केवल modulo $\varpi$ सर्वांगसमता को संभाल सकता है, यह पेपर modulo $\varpi^m$ का सामान्य सिद्धांत स्थापित करता है - यह उच्च-क्रम सर्वांगसमता घटनाओं के अध्ययन के लिए महत्वपूर्ण है ## प्रायोगिक सेटअप **नोट**: शुद्ध गणित सैद्धांतिक पेपर के रूप में, यह पेपर संख्यात्मक प्रयोग नहीं करता है, लेकिन बड़ी संख्या में सैद्धांतिक सत्यापन और अनुप्रयोग शामिल हैं। ### सैद्धांतिक सत्यापन ढांचा 1. **अनुमान शर्तें**: - $p$ विषम अभाज्य है, $p \nmid 2(2r-1)!N\phi(N)$ - $K/\mathbb{Q}$ काल्पनिक द्विघात क्षेत्र है, विभेदक $-D_K$ - $p = \mathfrak{p}\bar{\mathfrak{p}}$ $K$ में विभाजित होता है - मजबूत Heegner अनुमान को संतुष्ट करता है: $N$ का प्रत्येक अभाज्य कारक $K$ में विभाजित होता है 2. **निर्मित वस्तुएं**: - Igusa योजना $\text{Ig}(N)$ और इसका औपचारिक पूर्णता - CM बिंदु $(A_{\mathfrak{a}}, \eta_{\mathfrak{a}})$ और इसका अवकलन - Serre-Tate निर्देशांक $t_{\mathfrak{a}}$ 3. **सत्यापन विधि**: - Shimura पारस्परिकता द्वारा CM बिंदुओं की Galois कार्रवाई सत्यापित करें - $q$-विस्तार सिद्धांत द्वारा मॉड्यूलर रूप सर्वांगसमता सत्यापित करें - स्थानीय-वैश्विक सिद्धांत द्वारा $p$-adic $L$-फलनों की प्रक्षेप संपत्ति सत्यापित करें ## मुख्य परिणाम ### Theorem A (Theorem 5.12): BDP $p$-adic $L$-फलनों की सर्वांगसमता मान लीजिए $f_1 \in S_{2r_1}(\Gamma_0(N_1))^{\text{new}}$, $f_2 \in S_{2r_2}(\Gamma_0(N_2))^{\text{new}}$ संतुष्ट करते हैं: - गुणांक $p$-adic क्षेत्र $F$ में हैं - समरूपी mod $\varpi^m$ Galois प्रतिनिधित्व प्रेरित करते हैं: $\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2}$ तब सर्वांगसमता है: $$\prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_1) L_p(f_1) \equiv \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_2) L_p(f_2) \pmod{\varpi^m W\llbracket\Gamma_K^-\rrbracket}$$ **निष्कर्ष**: 1. $\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0$ 2. यदि $\mu(L_p(f_1)) = \mu(L_p(f_2)) = 0$, तब $$\sum_{\ell|N_1N_2} \lambda(P_{\mathfrak{v}}(f_1)) + \lambda(L_p(f_1)) = \sum_{\ell|N_1N_2} \lambda(P_{\mathfrak{v}}(f_2)) + \lambda(L_p(f_2))$$ ### Theorem 6.2: सामान्यीकृत Heegner चक्रों का अनुप्रयोग मान लीजिए $\chi = \hat{\phi}$ अनंत प्रकार $(j,-j)$ ($-r < j < r$), conductor $p^n\mathcal{O}_K$ का प्रतिचक्रविभाजक Hecke विशेषता है। यदि $f_1, f_2$ ऊपर दिए गए हैं और $\mu(L_p(f_1)) = \mu(L_p(f_2)) = 0$, तब $$v_p\left(\langle \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_1)(\chi^{-1}) \log_p(z_{f_1,\chi}), \omega_f \otimes \omega_A^{r-1+j}\eta_A^{r-1-j}t^{1-2r}\rangle - \text{($f_2$ के लिए पद)}\right) \geq n\left(\frac{j+r-1}{2} - v_p(\chi_p^{-1}(p))\right) + v_p(\varpi^m)$$ यह Heegner चक्रों के लघुगणकों के बीच सटीक सर्वांगसमता अनुमान देता है। ### Theorem 6.3: वजन 2 स्थिति का निष्कर्ष वजन 2 के मॉड्यूलर रूपों के लिए, उपरोक्त परिणाम Heegner बिंदुओं के लघुगणकों की सर्वांगसमता में सरल हो जाता है: $$v_p\left(\langle \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_1)(\chi^{-1}) \log_{\omega_{A_{f_1}}}(P_{f_1}(\chi^{-1})) - \text{($f_2$ के लिए पद)}\rangle\right) \geq \frac{n}{2} + v_p(\varpi^m)$$ यह Kriz-Li [10, Theorem 3.9] के परिणाम को सामान्यीकृत करता है। ### Theorem 7.5: Iwasawa मुख्य अनुमान का प्रसारण मान लीजिए $f_1$ Iwasawa मुख्य अनुमान (Conjecture 7.4) को संतुष्ट करता है और $\mu_{\text{anal}}(f_1) = \mu_{\text{alg}}(f_1) = 0$। यदि $f_2$ संतुष्ट करता है: - विभाज्यता: $L_p(f_2)^2 \in \text{char}_\Lambda(X_p(K,A_2))$ - $\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2} \pmod{\varpi}$ - $H^0(K_w, A_i) = 0$ सभी $w|\mathfrak{p}$ के लिए तब $\mu_{\text{anal}}(f_2) = \mu_{\text{alg}}(f_2) = 0$ और $f_2$ भी Iwasawa मुख्य अनुमान को संतुष्ट करता है। **प्रमाण मुख्य बिंदु**: - Theorem 5.12 और Lei-Müller-Xia [9, Corollary 3.8] का उपयोग करके $\mu$-अपरिवर्तनीयों की समानता प्राप्त करें - समीकरण (7.1) और (7.2) के $\lambda$-अपरिवर्तनीयों की समानता की तुलना करके, विभाज्यता के साथ मिलाकर, पूर्ण मुख्य अनुमान प्राप्त करें ## संबंधित कार्य ### चक्रविभाजक Iwasawa सिद्धांत में सर्वांगसमता 1. **Greenberg-Vatsal [1]** (2000): - चक्रविभाजक विस्तार पर दीर्घवृत्ताकार वक्रों के Iwasawa अपरिवर्तनीयों का अध्ययन - समरूपी अवशेष प्रतिनिधित्व वाले दीर्घवृत्ताकार वक्रों के लिए सिद्ध किया कि उनके $\mu$-अपरिवर्तनीय समान हैं, $\lambda$-अपरिवर्तनीय सीमित अंतर से भिन्न हैं 2. **Emerton-Pollack-Weston [2]** (2006): - Hida परिवारों में Iwasawa अपरिवर्तनीयों के परिवर्तन तक सामान्यीकृत - व्यवस्थित सैद्धांतिक ढांचा स्थापित किया ### प्रतिचक्रविभाजक Iwasawa सिद्धांत 3. **Pollack-Weston [6]**, **Kim [7]**, **Castella-Kim-Longo [8]**: - **परिभाषित** प्रतिचक्रविभाजक सेटिंग में सर्वांगसमता और अपरिवर्तनीय परिवर्तन का अध्ययन - यह पेपर **अनिश्चित** सेटिंग का अध्ययन करता है, तकनीकी रूप से अलग है 4. **Kriz-Li [9,10]** (2019, 2023): - वजन 2 स्थिति में Heegner बिंदुओं के लघुगणकों की सर्वांगसमता का अध्ययन - स्थिरीकरण विधि का उपयोग, लेकिन वजन 2 और modulo $\varpi$ सर्वांगसमता तक सीमित - **यह पेपर सामान्यीकृत करता है**: मनमाना वजन, सामान्यीकृत Heegner चक्र, modulo $\varpi^m$ सर्वांगसमता 5. **Castella et al. [11]** (2022): - Eisenstein अभाज्य पर प्रतिचक्रविभाजक मुख्य अनुमान का अध्ययन - [1, Theorem (1.3)] के सामान्यीकरण के रूप में देखा जा सकता है - **यह पेपर का कार्य**: [1, Theorem (1.4)] को BDP सेटिंग तक सामान्यीकृत करता है ### BDP $p$-adic $L$-फलन सिद्धांत 6. **Bertolini-Darmon-Prasanna [4]** (2013): - सामान्यीकृत Heegner चक्रों और $p$-adic Rankin $L$-श्रृंखला का निर्माण - $p$-adic Gross-Zagier सूत्र स्थापित किया 7. **Brakočević [5]** (2011), **Castella-Hsieh [3]** (2018): - Serre-Tate निर्देशांकों के माध्यम से BDP $p$-adic $L$-फलनों का निर्माण - यह पेपर [3] के ढांचे का घनिष्ठ रूप से अनुसरण करता है, और Hecke संचालकों की नई व्याख्या शामिल करता है ### यह पेपर की स्थिति यह पेपर निम्नलिखित पहलुओं में नवाचार करता है: - **सेटिंग**: परिभाषित से अनिश्चित प्रतिचक्रविभाजक सिद्धांत तक - **वजन**: वजन 2 से किसी भी सम वजन $2r$ तक सामान्यीकरण - **सर्वांगसमता क्रम**: modulo $\varpi$ से modulo $\varpi^m$ तक - **तकनीक**: Hecke संचालकों की मॉड्यूलर व्याख्या शामिल, प्रमाण को सरल करता है और अनुमानों को कम करता है - **अनुप्रयोग**: Heegner चक्रों और Iwasawa मुख्य अनुमान को एकीकृत रूप से संभालता है ## निष्कर्ष और चर्चा ### मुख्य निष्कर्ष 1. **सैद्धांतिक योगदान**: प्रतिचक्रविभाजक अनिश्चित सेटिंग में सर्वांगसम मॉड्यूलर रूपों का व्यवस्थित सिद्धांत स्थापित किया, सिद्ध किया कि अवशेष प्रतिनिधित्व समरूपी होने पर BDP $p$-adic $L$-फलन सर्वांगसमता को संतुष्ट करते हैं। 2. **Iwasawa अपरिवर्तनीय**: $\mu$ और $\lambda$-अपरिवर्तनीयों की सटीक तुलना प्रमेय दिए, Greenberg-Vatsal के शास्त्रीय परिणाम को सामान्यीकृत किया। 3. **ज्यामितीय व्याख्या**: Igusa योजना और Serre-Tate निर्देशांकों के माध्यम से, Hecke संचालकों के लिए आंतरिक ज्यामितीय व्याख्या दी, जो $p$-adic $L$-फलनों के परिवर्तन को समझने के लिए महत्वपूर्ण है। 4. **अंकगणितीय अनुप्रयोग**: - सामान्यीकृत Heegner चक्रों के लघुगणकों के बीच सटीक सर्वांगसमता अनुमान - Iwasawa मुख्य अनुमान की सर्वांगसम परिवारों में प्रसारण संपत्ति ### सीमाएं 1. **अनुमान शर्तें**: - Heegner अनुमान को संतुष्ट करने की आवश्यकता है, विशेष रूप से स्तर के अभाज्य कारक $K$ में विभाजित होने चाहिए - Theorem 7.5 के लिए, अतिरिक्त विभाज्यता अनुमान और स्थानीय शर्तें आवश्यक हैं 2. **तकनीकी सीमाएं**: - मुख्य परिणाम $p$-ordinary स्थिति में ($a_p(f) \in \mathbb{Z}_p^\times$) - supersingular स्थिति के लिए, विभिन्न तकनीकों की आवश्यकता है 3. **अनुप्रयोग की सीमा**: - प्रतिचक्रविभाजक सेटिंग लागू किए जा सकने वाले मॉड्यूलर रूपों के प्रकार को सीमित करता है - सामान्य Galois विस्तार के लिए, विधि सीधे लागू नहीं हो सकती ### भविष्य की दिशाएं 1. **अन्य सेटिंग्स तक सामान्यीकरण**: - Hilbert मॉड्यूलर रूप और पूर्ण वास्तविक क्षेत्रों पर प्रतिचक्रविभाजक सिद्धांत - चतुर्भुज बीजगणित स्थिति में समान परिणाम (आंशिक रूप से Magrone [24] द्वारा पूर्ण) 2. **Non-ordinary स्थिति**: - supersingular अभाज्य पर सर्वांगसमता सिद्धांत का अध्ययन - Perrin-Riou के लघुगणक मानचित्र या Nekovář की ऊंचाई युग्मन का उपयोग करने की आवश्यकता हो सकती है 3. **स्पष्ट गणनाएं**: - ठोस मॉड्यूलर रूपों (जैसे दीर्घवृत्ताकार वक्रों के अनुरूप) के लिए स्पष्ट सर्वांगसमता स्थिरांकों की गणना - Iwasawa मुख्य अनुमान के ठोस उदाहरणों का सत्यापन 4. **अन्य अनुमानों के साथ संबंध**: - Bloch-Kato अनुमान के साथ संबंध की खोज - Langlands कार्यक्रम ढांचे में व्याख्या का अध्ययन ## गहन मूल्यांकन ### लाभ 1. **सैद्धांतिक गहराई**: - चक्रविभाजक सिद्धांत के शास्त्रीय परिणामों को प्रतिचक्रविभाजक अनिश्चित सेटिंग तक सफलतापूर्वक सामान्यीकृत किया - तकनीकी प्रबंधन विस्तृत है, विशेष रूप से Serre-Tate निर्देशांक और CM बिंदुओं की ज्यामितीय संबंध - कई पूर्व आंशिक परिणामों को एकीकृत किया 2. **विधि नवाचार**: - Hecke संचालकों की मॉड्यूलर व्याख्या (Lemma 5.7) मुख्य नवाचार है, प्रमाण को सरल करता है - वजन अंतर को संभालने की तकनीक (Legendre प्रतीक का उपयोग) गहरी संख्या-सैद्धांतिक अंतर्दृष्टि प्रदर्शित करती है - modulo $\varpi^m$ सर्वांगसमता का सामान्य सिद्धांत पूर्व कार्य से मजबूत है 3. **परिणाम पूर्णता**: - न केवल $p$-adic $L$-फलनों की सर्वांगसमता सिद्ध की, बल्कि Iwasawa अपरिवर्तनीयों के सटीक संबंध भी दिए - अनुप्रयोग Heegner चक्रों और Iwasawa मुख्य अनुमान दोनों को कवर करते हैं - Theorem 7.5 मुख्य अनुमान की सर्वांगसम परिवारों में प्रसारण दिखाता है, जो बहुत मूल्यवान है 4. **लेखन गुणवत्ता**: - पेपर संरचना स्पष्ट है, पृष्ठभूमि से अनुप्रयोग तक क्रमिक प्रगति - तकनीकी विवरण पूर्ण हैं, परिभाषाएं स्पष्ट हैं - संबंधित साहित्य के साथ संबंध स्पष्ट रूप से व्यक्त किए गए हैं ### कमियां 1. **अनुमान शर्तें अधिक हैं**: - Heegner अनुमान अनुप्रयोग की सीमा को सीमित करता है - Theorem 7.5 अतिरिक्त विभाज्यता अनुमान की आवश्यकता है, जो व्यावहारिक रूप से सत्यापित करना कठिन हो सकता है - मुख्य रूप से ordinary स्थिति में काम करता है 2. **ठोस उदाहरणों की कमी**: - सैद्धांतिक पेपर के रूप में, ठोस संख्यात्मक उदाहरण नहीं दिए गए हैं - पाठकों की समझ के लिए कुछ स्पष्ट गणनाएं सहायक होंगी 3. **कुछ प्रमाणों की निर्भरता**: - Theorem 7.5 Lei-Müller-Xia [9] के परिणामों पर निर्भर करता है - $\mu$-अपरिवर्तनीय लुप्त होने की शर्तें (संदर्भ [25,26]) अतिरिक्त अनुमान रखती हैं 4. **तकनीकी विवरण**: - Section 2-3 की तैयारी सामग्री काफी लंबी है, पठनीयता को प्रभावित कर सकती है - कुछ संकेतन जटिल हैं (जैसे बहु-स्तरीय सबस्क्रिप्ट) ### प्रभाव 1. **क्षेत्र में योगदान**: - प्रतिचक्रविभाजक अनिश्चित सिद्धांत में महत्वपूर्ण अंतराल भरता है - सर्वांगसम मॉड्यूलर रूपों के अध्ययन के लिए नया ज्यामितीय दृष्टिकोण प्रदान करता है - $p$-adic $L$-फलनों, Heegner चक्रों और Iwasawa मुख्य अनुमान को जोड़ने वाला पुल स्थापित करता है 2. **व्यावहारिक मूल्य**: - Theorem A ठोस मॉड्यूलर रूपों के Iwasawa अपरिवर्तनीयों का अध्ययन करने के लिए उपयोग किया जा सकता है - Theorem 7.5 Iwasawa मुख्य अनुमान को सत्यापित करने का नया तरीका प्रदान करता है - विधि अन्य प्रकार के $p$-adic $L$-फलनों पर लागू हो सकती है 3. **पुनरुत्पादनीयता**: - सैद्धांतिक प्रमाण पूर्ण हैं, तर्क स्पष्ट हैं - निर्भर पृष्ठभूमि ज्ञान स्पष्ट संदर्भ के साथ है - मुख्य परिणाम अन्य शोधकर्ताओं द्वारा उपयोग और सामान्यीकरण किए जा सकते हैं ### लागू परिदृश्य 1. **सैद्धांतिक अनुसंधान**: - मॉड्यूलर रूपों के अंकगणितीय गुणों का अध्ययन - Galois प्रतिनिधित्वों की सर्वांगसमता घटनाओं की खोज - Iwasawa सिद्धांत का आगे विकास 2. **ठोस अनुप्रयोग**: - दीर्घवृत्ताकार वक्रों के BSD अनुमान का अनुसंधान - विशेष $L$-मानों का $p$-adic प्रक्षेप - Selmer समूहों की संरचना की गणना 3. **सामान्यीकरण दिशाएं**: - Hilbert मॉड्यूलर रूप - उच्च-आयामी Shimura किस्में - अन्य प्रकार के Galois प्रतिनिधित्व ## संदर्भ (मुख्य साहित्य) [1] Greenberg, R., Vatsal, V.: On the Iwasawa invariants of elliptic curves. Invent. Math. 142(1), 17–63 (2000) [2] Emerton, M., Pollack, R., Weston, T.: Variation of Iwasawa invariants in Hida families. Invent. Math. 163(3), 523–580 (2006) [3] Castella, F., Hsieh, M.-L.: Heegner cycles and p-adic L-functions. Math. Ann. 370(1-2), 567–628 (2018) [4] Bertolini, M., Darmon, H., Prasanna, K.: Generalized Heegner cycles and p-adic Rankin L-series. Duke Math. J. 162(6), 1033–1148 (2013) [9] Lei, A., Müller, K., Xia, J.: On the Iwasawa invariants of BDP Selmer groups and BDP p-adic L-functions. Forum Mathematicum (2023) [10] Kriz, D., Li, C.: Goldfeld's conjecture and congruences between Heegner points. Forum Math. Sigma 7, 15–80 (2019) --- **समग्र मूल्यांकन**: यह एक उच्च गुणवत्ता का संख्या-सैद्धांतिक सैद्धांतिक पेपर है, जो चक्रविभाजक Iwasawa सिद्धांत के शास्त्रीय सर्वांगसमता परिणामों को प्रतिचक्रविभाजक अनिश्चित सेटिंग तक सफलतापूर्वक सामान्यीकृत करता है। पेपर का मुख्य योगदान Hecke संचालकों की ज्यामितीय व्याख्या शामिल करना, BDP $p$-adic $L$-फलनों का सर्वांगसमता सिद्धांत स्थापित करना, और Heegner चक्रों और Iwasawa मुख्य अनुमान के बारे में महत्वपूर्ण अनुप्रयोग प्राप्त करना है। यद्यपि अनुमान शर्तें अधिक हैं और तकनीकी आवश्यकताएं अधिक हैं, लेकिन पेपर इस क्षेत्र के आगे के अनुसंधान के लिए एक ठोस आधार स्थापित करता है, महत्वपूर्ण सैद्धांतिक मूल्य और संभावित अनुप्रयोग संभावनाएं रखता है।