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

Formes modulaires congruentes et théorie d'Iwasawa anticyclotomique

Informations de base

  • ID de l'article: 2503.00247
  • Titre: Congruent modular forms and anticyclotomic Iwasawa theory
  • Auteur: Dac-Nhan-Tam Nguyen (University of British Columbia)
  • Classification: math.NT (Théorie des nombres)
  • Date de publication: Mars 2025 (arXiv v2: 23 octobre 2025)
  • Lien de l'article: https://arxiv.org/abs/2503.00247

Résumé

Cet article étudie l'application des formes modulaires congruentes à la théorie d'Iwasawa anticyclotomique. Soit pp un nombre premier impair. On considère les newforms normalisées f1,f2f_1, f_2 satisfaisant l'hypothèse de Heegner sur un corps quadratique imaginaire KK, en supposant qu'elles induisent des représentations de Galois résiduelles isomorphes. Les travaux de Greenberg-Vatsal et Emerton-Pollack-Weston comparent les invariants μ\mu et λ\lambda d'Iwasawa cyclotomiques de f1f_1 et f2f_2. Cet article généralise ce résultat au cas anticyclotomique indéfini, en comparant les fonctions LL pp-adiques BDP attachées à f1f_1 et f2f_2, et obtient des conséquences arithmétiques concernant les cycles de Heegner généralisés et la conjecture principale d'Iwasawa.

Contexte et motivation de la recherche

Contexte du problème

  1. Problème central: Étudier les relations arithmétiques entre formes modulaires ayant des représentations de Galois résiduelles isomorphes, en particulier les connexions entre leurs fonctions LL pp-adiques et invariants d'Iwasawa.
  2. Importance:
    • La théorie d'Iwasawa est un domaine central de la théorie des nombres moderne, reliant formes modulaires, représentations de Galois et fonctions LL
    • Les cycles de Heegner jouent un rôle clé dans l'étude de la conjecture BSD pour les courbes elliptiques
    • La théorie d'Iwasawa anticyclotomique fournit des outils importants pour comprendre les propriétés arithmétiques des formes modulaires
  3. Limitations des recherches existantes:
    • Les travaux de Greenberg-Vatsal 1 et Emerton-Pollack-Weston 2 se concentrent principalement sur le cas des extensions cyclotomiques
    • Dans le cadre anticyclotomique indéfini, seuls des résultats partiels pour le poids 2 existent (Kriz-Li 9,10)
    • Il manque une théorie de comparaison systématique pour les formes modulaires de poids élevé et les cycles de Heegner généralisés
  4. Motivation de la recherche:
    • Généraliser les résultats classiques du cas cyclotomique au cadre anticyclotomique indéfini
    • Établir des relations de congruence entre fonctions LL pp-adiques BDP
    • Explorer les applications arithmétiques aux cycles de Heegner et à la conjecture principale d'Iwasawa

Contributions principales

  1. Établissement d'une théorie de congruence dans le cadre anticyclotomique indéfini: Preuve que les fonctions LL pp-adiques BDP de formes modulaires f1,f2f_1, f_2 ayant des représentations résiduelles isomorphes satisfont des congruences modulo ϖm\varpi^m (Théorème 5.12, c'est-à-dire Théorème A)
  2. Introduction d'une interprétation modulaire des opérateurs de Hecke: Dans le cadre des coordonnées de Serre-Tate du schéma d'Igusa, fourniture d'une interprétation géométrique de l'opérateur de Hecke VℓV_\ell (Section 5.2), essentielle pour étudier la variation des fonctions LL pp-adiques
  3. Généralisation des résultats connus pour le poids 2: Extension des résultats de Kriz-Li 9,10 concernant le poids 2 aux formes modulaires de poids arbitraire 2r2r et aux cycles de Heegner généralisés
  4. Obtention de théorèmes de comparaison pour les invariants d'Iwasawa:
    • μ(Lp(f1))=0⇔μ(Lp(f2))=0\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0
    • Lorsque l'invariant μ\mu s'annule, relation exacte pour l'invariant λ\lambda
  5. Application aux cycles de Heegner généralisés: Via la formule pp-adique de Gross-Zagier, obtention de relations de congruence entre logarithmes de cycles de Heegner (Théorèmes 6.2, 6.3)
  6. Propriétés de propagation de la conjecture principale d'Iwasawa: Preuve que si f1f_1 satisfait la conjecture principale d'Iwasawa, alors sous des conditions appropriées f2f_2 la satisfait aussi (Théorème 7.5)

Explication détaillée des méthodes

Définition de la tâche

Entrée: Deux newforms de Hecke normalisées f1∈S2r1(Γ0(N1))newf_1 \in S_{2r_1}(\Gamma_0(N_1))^{\text{new}} et f2∈S2r2(Γ0(N2))newf_2 \in S_{2r_2}(\Gamma_0(N_2))^{\text{new}} qui:

  • Satisfont l'hypothèse de Heegner sur un corps quadratique imaginaire KK
  • Induisent des représentations de Galois résiduelles isomorphes: ρˉf1≅ρˉf2(modϖm)\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2} \pmod{\varpi^m}

Sortie:

  • Relations de congruence entre les fonctions LL pp-adiques BDP Lp(f1)L_p(f_1) et Lp(f2)L_p(f_2)
  • Comparaison des invariants μ\mu et λ\lambda d'Iwasawa
  • Conséquences arithmétiques pour les cycles de Heegner et la conjecture principale d'Iwasawa

Cadre théorique

1. Construction de la fonction LL pp-adique BDP

La fonction LL pp-adique BDP est construite via les valeurs de formes modulaires pp-adiques aux points CM. Pour une newform f∈S2r(Γ0(N))newf \in S_{2r}(\Gamma_0(N))^{\text{new}} satisfaisant l'hypothèse de Heegner:

Définition (Définition 4.1): Soit ψ\psi un caractère de Hecke anticyclotomique de type infini (r,−r)(r,-r) et de conducteur c0OKc_0\mathcal{O}_K. On définit Lp,ψ(f)L_{p,\psi}(f) comme une mesure pp-adique sur Γ~\tilde{\Gamma}:

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}}

où f^a♭\hat{f}^\flat_{\mathfrak{a}} est l'incarnation pp-adique de la forme modulaire géométrique pp-depleted f♭f^\flat près du point CM xax_{\mathfrak{a}}.

Via l'opération de twist: Lp(f):=Twψ^−1(Lp,ψ(f))L_p(f) := \text{Tw}_{\hat{\psi}^{-1}}(L_{p,\psi}(f))

En utilisant l'opérateur θ\theta (c'est-à-dire tddtt\frac{d}{dt}), on peut réécrire: 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. Interprétation en coordonnées de Serre-Tate de l'opérateur de Hecke

Ceci est l'innovation technique clé du présent article. Pour un nombre premier ℓ≠p\ell \neq p se décomposant comme ℓ=vvˉ\ell = \mathfrak{v}\bar{\mathfrak{v}}:

Définition (Définition 5.4): On définit l'opérateur VℓV_\ell sur les formes modulaires pp-adiques: 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)

Lemme clé (Lemme 5.7): Pour un point CM xa=(Aa,ηa)x_{\mathfrak{a}} = (A_{\mathfrak{a}}, \eta_{\mathfrak{a}}), on a Vℓ(xa)=xv−1aV_\ell(x_{\mathfrak{a}}) = x_{\mathfrak{v}^{-1}\mathfrak{a}}

et les coordonnées de Serre-Tate satisfont: tv−1a(Vℓ(x))=ta(x)ℓt_{\mathfrak{v}^{-1}\mathfrak{a}}(V_\ell(x)) = t_{\mathfrak{a}}(x)^\ell

Cette relation géométrique implique (Lemme 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. Stabilisation et facteurs d'Euler

Définition (Définition 5.9): On définit le polynôme d'Euler

1 - a_\ell(f)\ell^{-r} \cdot \gamma_{\mathfrak{v}} + \ell^{-1} \cdot \gamma_{\mathfrak{v}}^2 & \text{si } \ell \nmid N \\ 1 - a_\ell(f)\ell^{-r} \cdot \gamma_{\mathfrak{v}} & \text{si } \ell \mid N \end{cases}$$ où $\gamma_{\mathfrak{v}} \in \Gamma_K^-$ est l'élément de Frobenius en $\mathfrak{v}$. **Théorème clé** (Théorème 5.11): La $\ell$-depletion satisfait $$L_p(f^{(\ell)}) = P_{\mathfrak{v}}(f)L_p(f)$$ ### Stratégie de preuve des théorèmes principaux **Stratégie de preuve du Théorème 5.12**: 1. **Congruence de base**: Lorsque $f_1, f_2$ ont le même niveau, la congruence des $q$-développements (Lemme 5.1) donne $$L_p(f_1) \equiv L_p(f_2) \pmod{\varpi^m W\llbracket\Gamma_K^-\rrbracket}$$ 2. **Ajustement du niveau**: Pour les formes de niveaux différents, on considère $$N^\sharp := \text{lcm}_{\ell|N_1N_2}(N_1, N_2, \ell^2)$$ En appliquant répétément le Théorème 5.11, on obtient $$L_p(f^{(N_1N_2)}) = \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f) \cdot L_p(f)$$ 3. **Transitivité de la congruence**: De $f_1^{(N_1N_2)} \equiv f_2^{(N_1N_2)} \pmod{\varpi^m}$, on déduit $$\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. **Comparaison des invariants**: Puisque $\mu(P_{\mathfrak{v}}(f)) = 0$ (Lemme 5.10), en comparant les degrés après réduction modulo $\varpi$, on obtient les relations pour les invariants $\mu$ et $\lambda$. ### Points d'innovation technique 1. **Interprétation modulaire dans le cadre des coordonnées de Serre-Tate**: - Les méthodes traditionnelles utilisent les $q$-développements: $f(q) \mapsto f(q^\ell)$ - Cet article fournit une interprétation intrinsèque via la structure géométrique du schéma d'Igusa - La clé est l'utilisation de l'interprétation modulaire des points CM et des propriétés de transformation des coordonnées de Serre-Tate 2. **Technique pour gérer les différences de poids** (preuve du Lemme 5.1): - Lorsque $2r_1 \not\equiv 2r_2 \pmod{\phi(p^{m'})}$, on introduit le symbole de Legendre $(\frac{\cdot}{p})$ - Utilisation de $n^{r_1} \equiv (\frac{n}{p})n^{r_2} \pmod{p^{m'}}$ pour la compensation - Observation clé: le caractère de Hecke correspondant au symbole de Legendre est trivial sur l'extension anticyclotomique $\Gamma_K^-$ 3. **Traitement unifié des congruences modulo puissances de premiers arbitraires**: - Contrairement à [9] qui ne peut traiter que les congruences modulo $\varpi$, cet article établit une théorie générale modulo $\varpi^m$ - Ceci est crucial pour l'étude des phénomènes de congruence d'ordre supérieur ## Configuration expérimentale **Remarque**: En tant qu'article de théorie mathématique pure, cet article ne contient pas d'expériences numériques, mais inclut de nombreuses vérifications théoriques et applications. ### Cadre de vérification théorique 1. **Conditions d'hypothèse**: - $p$ est un nombre premier impair, $p \nmid 2(2r-1)!N\phi(N)$ - $K/\mathbb{Q}$ est un corps quadratique imaginaire de discriminant $-D_K$ - $p = \mathfrak{p}\bar{\mathfrak{p}}$ se décompose dans $K$ - Hypothèse de Heegner forte satisfaite: chaque facteur premier de $N$ se décompose dans $K$ 2. **Construction d'objets**: - Schéma d'Igusa $\text{Ig}(N)$ et sa complétion formelle - Points CM $(A_{\mathfrak{a}}, \eta_{\mathfrak{a}})$ et leur réduction - Coordonnées de Serre-Tate $t_{\mathfrak{a}}$ 3. **Méthodes de vérification**: - Vérification de l'action de Galois sur les points CM via la loi de réciprocité de Shimura - Vérification des congruences de formes modulaires via le principe des $q$-développements - Vérification des propriétés d'interpolation des fonctions $L$ $p$-adiques via le principe local-global ## Résultats principaux ### Théorème A (Théorème 5.12): Congruence des fonctions $L$ $p$-adiques BDP Soient $f_1 \in S_{2r_1}(\Gamma_0(N_1))^{\text{new}}$, $f_2 \in S_{2r_2}(\Gamma_0(N_2))^{\text{new}}$ satisfaisant: - Les coefficients sont dans un corps $p$-adique $F$ - Elles induisent des représentations de Galois isomorphes modulo $\varpi^m$: $\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2}$ Alors on a la congruence: $$\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}$$ **Corollaires**: 1. $\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0$ 2. Si $\mu(L_p(f_1)) = \mu(L_p(f_2)) = 0$, alors $$\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))$$ ### Théorème 6.2: Application aux cycles de Heegner généralisés Soit $\chi = \hat{\phi}$ un caractère de Hecke anticyclotomique de type infini $(j,-j)$ (où $-r < j < r$) et de conducteur $p^n\mathcal{O}_K$. Si $f_1, f_2$ sont comme ci-dessus et $\mu(L_p(f_1)) = \mu(L_p(f_2)) = 0$, alors $$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{(terme pour } f_2)\right) \geq n\left(\frac{j+r-1}{2} - v_p(\chi_p^{-1}(p))\right) + v_p(\varpi^m)$$ Ceci fournit une estimation de congruence précise entre les logarithmes des cycles de Heegner. ### Théorème 6.3: Corollaire pour le poids 2 Pour les formes modulaires de poids 2, le résultat ci-dessus se simplifie en une congruence pour les logarithmes des points de 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{(terme pour } f_2)\rangle\right) \geq \frac{n}{2} + v_p(\varpi^m)$$ Ceci généralise le résultat de Kriz-Li [10, Théorème 3.9]. ### Théorème 7.5: Propagation de la conjecture principale d'Iwasawa Supposons que $f_1$ satisfasse la conjecture principale d'Iwasawa (Conjecture 7.4) et $\mu_{\text{anal}}(f_1) = \mu_{\text{alg}}(f_1) = 0$. Si $f_2$ satisfait: - Divisibilité: $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$ pour tous les $w|\mathfrak{p}$ Alors $\mu_{\text{anal}}(f_2) = \mu_{\text{alg}}(f_2) = 0$ et $f_2$ satisfait aussi la conjecture principale d'Iwasawa. **Points clés de la preuve**: - Utilisation du Théorème 5.12 et de Lei-Müller-Xia [9, Corollaire 3.8] pour obtenir l'égalité des invariants $\mu$ - Comparaison des équations (7.1) et (7.2) pour les invariants $\lambda$, combinée avec la condition de divisibilité, pour obtenir la conjecture principale complète ## Travaux connexes ### Congruences en théorie d'Iwasawa cyclotomique 1. **Greenberg-Vatsal [1]** (2000): - Étude des invariants d'Iwasawa des courbes elliptiques sur les extensions cyclotomiques - Preuve que les courbes elliptiques ayant des représentations résiduelles isomorphes ont des invariants $\mu$ égaux et des invariants $\lambda$ différant d'une quantité bornée 2. **Emerton-Pollack-Weston [2]** (2006): - Généralisation à la variation des invariants d'Iwasawa dans les familles de Hida - Établissement d'un cadre théorique systématique ### Théorie d'Iwasawa anticyclotomique 3. **Pollack-Weston [6]**, **Kim [7]**, **Castella-Kim-Longo [8]**: - Étude des congruences et variations d'invariants dans le cadre anticyclotomique **défini** - Le présent article étudie le cadre **indéfini**, qui présente des différences techniques essentielles 4. **Kriz-Li [9,10]** (2019, 2023): - Étude des congruences entre logarithmes de points de Heegner pour le poids 2 - Utilisation de la méthode de stabilisation, mais limitée au poids 2 et aux congruences modulo $\varpi$ - **Généralisation du présent article**: poids arbitraire, cycles de Heegner généralisés, congruences modulo $\varpi^m$ 5. **Castella et al. [11]** (2022): - Étude de la conjecture principale anticyclotomique aux premiers d'Eisenstein - Peut être vu comme une généralisation de [1, Théorème (1.3)] - **Travail du présent article**: généralisation de [1, Théorème (1.4)] au cadre BDP ### Théorie des fonctions $L$ $p$-adiques BDP 6. **Bertolini-Darmon-Prasanna [4]** (2013): - Construction de cycles de Heegner généralisés et de séries $L$ de Rankin $p$-adiques - Établissement de la formule $p$-adique de Gross-Zagier 7. **Brakočević [5]** (2011), **Castella-Hsieh [3]** (2018): - Construction des fonctions $L$ $p$-adiques BDP via les coordonnées de Serre-Tate - Le présent article suit étroitement le cadre de [3] et introduit une nouvelle interprétation des opérateurs de Hecke ### Positionnement du présent article Cet article apporte des innovations dans les domaines suivants: - **Cadre**: De la théorie définie à la théorie anticyclotomique indéfinie - **Poids**: Généralisation du poids 2 à un poids pair arbitraire $2r$ - **Ordre de congruence**: Des congruences modulo $\varpi$ aux congruences modulo $\varpi^m$ - **Technique**: Introduction d'une interprétation modulaire des opérateurs de Hecke, simplifiant les preuves et réduisant les hypothèses - **Applications**: Traitement unifié des cycles de Heegner et de la conjecture principale d'Iwasawa ## Conclusion et discussion ### Conclusions principales 1. **Contributions théoriques**: Établissement d'une théorie systématique des formes modulaires congruentes dans le cadre anticyclotomique indéfini, avec preuve que les fonctions $L$ $p$-adiques BDP satisfont des relations de congruence lorsque les représentations résiduelles sont isomorphes. 2. **Invariants d'Iwasawa**: Fourniture de théorèmes de comparaison précis pour les invariants $\mu$ et $\lambda$, généralisant le résultat classique de Greenberg-Vatsal. 3. **Interprétation géométrique**: Via le schéma d'Igusa et les coordonnées de Serre-Tate, fourniture d'une interprétation géométrique intrinsèque des opérateurs de Hecke, essentielle pour comprendre la variation des fonctions $L$ $p$-adiques. 4. **Applications arithmétiques**: - Estimations de congruence précises entre logarithmes de cycles de Heegner généralisés - Propriétés de propagation de la conjecture principale d'Iwasawa dans les familles congruentes ### Limitations 1. **Conditions d'hypothèse**: - Nécessité de satisfaire l'hypothèse de Heegner, en particulier les facteurs premiers du niveau doivent se décomposer dans $K$ - Pour le Théorème 7.5, hypothèses supplémentaires de divisibilité et conditions locales requises 2. **Limitations techniques**: - Les résultats principaux concernent le cas $p$-ordinaire ($a_p(f) \in \mathbb{Z}_p^\times$) - Pour le cas supersingulier, des techniques différentes sont nécessaires 3. **Portée des applications**: - Le cadre anticyclotomique limite les types de formes modulaires applicables - Pour les extensions de Galois générales, la méthode peut ne pas s'appliquer directement ### Directions futures 1. **Généralisation à d'autres cadres**: - Formes modulaires de Hilbert et théorie anticyclotomique sur les corps totalement réels - Résultats analogues pour les algèbres de quaternions (partiellement complétés par Magrone [24]) 2. **Cas non-ordinaire**: - Étude de la théorie de congruence aux premiers supersinguliers - Utilisation possible des applications logarithmiques de Perrin-Riou ou des appariements de hauteur de Nekovář 3. **Calculs explicites**: - Calcul des constantes de congruence explicites pour des formes modulaires concrètes (par exemple, correspondant à des courbes elliptiques) - Vérification d'instances spécifiques de la conjecture principale d'Iwasawa 4. **Connexions avec d'autres conjectures**: - Exploration des relations avec la conjecture de Bloch-Kato - Étude de l'interprétation dans le cadre du programme de Langlands ## Évaluation approfondie ### Points forts 1. **Profondeur théorique**: - Généralisation réussie des résultats classiques de la théorie cyclotomique au cadre anticyclotomique indéfini - Traitement technique minutieux, en particulier des relations géométriques entre coordonnées de Serre-Tate et points CM - Unification de plusieurs résultats partiels antérieurs 2. **Innovation méthodologique**: - L'interprétation modulaire de l'opérateur de Hecke (Lemme 5.7) est une innovation clé, simplifiant les preuves - La technique pour gérer les différences de poids (utilisant le symbole de Legendre) démontre une profonde intuition théorique des nombres - La théorie générale des congruences modulo $\varpi^m$ est plus forte que les travaux antérieurs 3. **Complétude des résultats**: - Non seulement preuve de congruences pour les fonctions $L$ $p$-adiques, mais aussi relations exactes pour les invariants d'Iwasawa - Les applications couvrent deux directions importantes: cycles de Heegner et conjecture principale d'Iwasawa - Le Théorème 7.5 démontre la propagation de la conjecture principale dans les familles congruentes, résultat très précieux 4. **Qualité de la rédaction**: - Structure claire de l'article, progression logique du contexte aux applications - Détails techniques complets, définitions précises - Connexions avec la littérature pertinente bien explicitées ### Insuffisances 1. **Nombreuses conditions d'hypothèse**: - L'hypothèse de Heegner limite la portée des applications - Le Théorème 7.5 nécessite des hypothèses supplémentaires de divisibilité, potentiellement difficiles à vérifier en pratique - Travail principal dans le cas ordinaire 2. **Absence d'exemples concrets**: - En tant qu'article de théorie pure, absence d'exemples numériques concrets - Quelques calculs explicites aideraient à la compréhension du lecteur 3. **Dépendances dans certaines preuves**: - Le Théorème 7.5 dépend du résultat de Lei-Müller-Xia [9] - Les conditions d'annulation de l'invariant $\mu$ (références [25,26]) comportent des hypothèses supplémentaires 4. **Détails techniques**: - Les sections 2-3 de matériel préliminaire sont relativement longues, pouvant affecter la lisibilité - Certaines notations sont complexes (indices multiples) ### Impact 1. **Contribution au domaine**: - Comble une lacune importante dans la théorie anticyclotomique indéfinie - Fournit une nouvelle perspective géométrique pour l'étude des formes modulaires congruentes - Établit des ponts reliant les fonctions $L$ $p$-adiques, les cycles de Heegner et la conjecture principale d'Iwasawa 2. **Valeur pratique**: - Le Théorème A peut être utilisé pour étudier les invariants d'Iwasawa de formes modulaires concrètes - Le Théorème 7.5 fournit une nouvelle voie pour vérifier la conjecture principale d'Iwasawa - Les méthodes peuvent s'appliquer à d'autres types de fonctions $L$ $p$-adiques 3. **Reproductibilité**: - Preuves théoriques complètes, logique claire - Références explicites aux connaissances de base requises - Les résultats principaux peuvent être utilisés et généralisés par d'autres chercheurs ### Scénarios d'application 1. **Recherche théorique**: - Étude des propriétés arithmétiques des formes modulaires - Exploration des phénomènes de congruence dans les représentations de Galois - Développements ultérieurs de la théorie d'Iwasawa 2. **Applications concrètes**: - Étude de la conjecture BSD pour les courbes elliptiques - Interpolation $p$-adique des valeurs spéciales de $L$-fonctions - Calcul de la structure des groupes de Selmer 3. **Directions de généralisation**: - Formes modulaires de Hilbert - Variétés de Shimura de dimension supérieure - Autres types de représentations de Galois ## Références bibliographiques (références clés) [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) --- **Évaluation générale**: Ceci est un article de théorie des nombres de haute qualité qui généralise avec succès les résultats classiques de congruence de la théorie d'Iwasawa cyclotomique au cadre anticyclotomique indéfini. Les contributions principales résident dans l'introduction d'une interprétation géométrique des opérateurs de Hecke, l'établissement d'une théorie de congruence pour les fonctions $L$ $p$-adiques BDP, et l'obtention d'applications importantes concernant les cycles de Heegner et la conjecture principale d'Iwasawa. Bien que les conditions d'hypothèse soient nombreuses et les exigences techniques élevées, l'article pose des fondations solides pour les recherches ultérieures dans ce domaine et possède une valeur théorique importante avec des perspectives d'applications prometteuses.