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

Forme modulari congruenti e teoria di Iwasawa anticyclotomica

Informazioni Fondamentali

  • ID Articolo: 2503.00247
  • Titolo: Congruent modular forms and anticyclotomic Iwasawa theory
  • Autore: Dac-Nhan-Tam Nguyen (University of British Columbia)
  • Classificazione: math.NT (Teoria dei Numeri)
  • Data di Pubblicazione: Marzo 2025 (arXiv v2: 23 ottobre 2025)
  • Link Articolo: https://arxiv.org/abs/2503.00247

Riassunto

Questo articolo studia l'applicazione di forme modulari congruenti nella teoria di Iwasawa anticyclotomica. Sia pp un primo dispari e si considerino newform normalizzate f1,f2f_1, f_2 che soddisfano l'ipotesi di Heegner su un campo quadratico immaginario KK, assumendo che inducano rappresentazioni di Galois residue isomorfe. I lavori di Greenberg-Vatsal ed Emerton-Pollack-Weston confrontano gli invarianti di Iwasawa ciclotomici μ\mu e λ\lambda di f1f_1 e f2f_2. Questo articolo generalizza tale risultato al caso anticyclotomico indefinito, confrontando le funzioni LL pp-adiche di BDP associate a f1f_1 e f2f_2, ottenendo conseguenze aritmetiche riguardanti cicli di Heegner generalizzati e la congettura principale di Iwasawa.

Contesto di Ricerca e Motivazione

Sfondo del Problema

  1. Problema Centrale: Studiare le relazioni aritmetiche tra forme modulari con rappresentazioni di Galois residue isomorfe, in particolare i collegamenti tra le loro funzioni LL pp-adiche e gli invarianti di Iwasawa.
  2. Importanza:
    • La teoria di Iwasawa è un'area centrale della teoria dei numeri moderna, collegando forme modulari, rappresentazioni di Galois e funzioni LL
    • I cicli di Heegner giocano un ruolo cruciale nello studio della congettura BSD per curve ellittiche
    • La teoria di Iwasawa anticyclotomica fornisce strumenti importanti per comprendere le proprietà aritmetiche delle forme modulari
  3. Limitazioni della Ricerca Esistente:
    • I lavori di Greenberg-Vatsal 1 ed Emerton-Pollack-Weston 2 si concentrano principalmente sul caso di estensioni ciclotomiche
    • Nel contesto anticyclotomico indefinito, esistono solo risultati parziali per peso 2 (Kriz-Li 9,10)
    • Manca una teoria sistematica di confronto per forme modulari di peso superiore e cicli di Heegner generalizzati
  4. Motivazione della Ricerca:
    • Generalizzare i risultati classici del caso ciclotomico al contesto anticyclotomico indefinito
    • Stabilire relazioni di congruenza tra funzioni LL pp-adiche di BDP
    • Esplorare applicazioni aritmetiche ai cicli di Heegner e alla congettura principale di Iwasawa

Contributi Principali

  1. Stabilimento della teoria di congruenza nel contesto anticyclotomico indefinito: Si dimostra che le forme modulari f1,f2f_1, f_2 con rappresentazioni residue isomorfe hanno funzioni LL pp-adiche di BDP che soddisfano congruenze modulo ϖm\varpi^m (Teorema 5.12, cioè Teorema A)
  2. Introduzione di un'interpretazione modulare degli operatori di Hecke: Nel quadro delle coordinate di Serre-Tate dello schema di Igusa, si fornisce un'interpretazione geometrica dell'operatore di Hecke VℓV_\ell (Sezione 5.2), cruciale per lo studio della variazione delle funzioni LL pp-adiche
  3. Generalizzazione dei risultati noti per peso 2: Si estendono i risultati di Kriz-Li 9,10 per il caso di peso 2 a forme modulari di peso arbitrario 2r2r e cicli di Heegner generalizzati
  4. Ottenimento di teoremi di confronto per gli invarianti di Iwasawa:
    • μ(Lp(f1))=0⇔μ(Lp(f2))=0\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0
    • Quando l'invariante μ\mu è zero, si fornisce una relazione esatta per l'invariante λ\lambda
  5. Applicazione ai cicli di Heegner generalizzati: Attraverso la formula pp-adica di Gross-Zagier, si ottengono relazioni di congruenza tra i logaritmi dei cicli di Heegner (Teorema 6.2, 6.3)
  6. Proprietà di propagazione della congettura principale di Iwasawa: Si dimostra che se f1f_1 soddisfa la congettura principale di Iwasawa, allora sotto condizioni appropriate anche f2f_2 la soddisfa (Teorema 7.5)

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Input: Due newform di Hecke normalizzate f1∈S2r1(Γ0(N1))newf_1 \in S_{2r_1}(\Gamma_0(N_1))^{\text{new}} e f2∈S2r2(Γ0(N2))newf_2 \in S_{2r_2}(\Gamma_0(N_2))^{\text{new}} che:

  • Soddisfano l'ipotesi di Heegner su un campo quadratico immaginario KK
  • Inducono rappresentazioni di Galois residue isomorfe: ρˉf1≅ρˉf2(modϖm)\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2} \pmod{\varpi^m}

Output:

  • Relazioni di congruenza tra le funzioni LL pp-adiche di BDP Lp(f1)L_p(f_1) e Lp(f2)L_p(f_2)
  • Confronto degli invarianti di Iwasawa μ\mu e λ\lambda
  • Conseguenze aritmetiche per i cicli di Heegner e la congettura principale di Iwasawa

Quadro Teorico

1. Costruzione della Funzione LL pp-adica di BDP

La funzione LL pp-adica di BDP è costruita attraverso i valori di forme modulari pp-adiche nei punti CM. Per una newform f∈S2r(Γ0(N))newf \in S_{2r}(\Gamma_0(N))^{\text{new}} che soddisfa l'ipotesi di Heegner:

Definizione (Definizione 4.1): Sia ψ\psi un carattere di Hecke anticyclotomico di tipo infinito (r,−r)(r,-r) e conduttore c0OKc_0\mathcal{O}_K. Si definisce Lp,ψ(f)L_{p,\psi}(f) come una misura pp-adica su Γ~\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}}

dove f^a♭\hat{f}^\flat_{\mathfrak{a}} è l'incarnazione pp-adica della forma modulare geometrica pp-depleted f♭f^\flat vicino al punto CM xax_{\mathfrak{a}}.

Attraverso l'operazione di twist si ottiene: Lp(f):=Twψ^−1(Lp,ψ(f))L_p(f) := \text{Tw}_{\hat{\psi}^{-1}}(L_{p,\psi}(f))

Usando l'operatore θ\theta (cioè tddtt\frac{d}{dt}) si può riscrivere come: 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. Interpretazione delle Coordinate di Serre-Tate dell'Operatore di Hecke

Questa è l'innovazione tecnica chiave dell'articolo. Per un primo ℓ≠p\ell \neq p che si divide come ℓ=vvˉ\ell = \mathfrak{v}\bar{\mathfrak{v}}:

Definizione (Definizione 5.4): Si definisce l'operatore VℓV_\ell sulle forme modulari pp-adiche: 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 Chiave (Lemma 5.7): Per un punto CM xa=(Aa,ηa)x_{\mathfrak{a}} = (A_{\mathfrak{a}}, \eta_{\mathfrak{a}}), vale Vℓ(xa)=xv−1aV_\ell(x_{\mathfrak{a}}) = x_{\mathfrak{v}^{-1}\mathfrak{a}}

e le coordinate di Serre-Tate soddisfano: tv−1a(Vℓ(x))=ta(x)ℓt_{\mathfrak{v}^{-1}\mathfrak{a}}(V_\ell(x)) = t_{\mathfrak{a}}(x)^\ell

Questa relazione geometrica implica (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. Stabilizzazione e Fattori di Eulero

Definizione (Definizione 5.9): Si definisce il polinomio di Eulero

1 - a_\ell(f)\ell^{-r} \cdot \gamma_{\mathfrak{v}} + \ell^{-1} \cdot \gamma_{\mathfrak{v}}^2 & \text{se } \ell \nmid N \\ 1 - a_\ell(f)\ell^{-r} \cdot \gamma_{\mathfrak{v}} & \text{se } \ell \mid N \end{cases}$$ dove $\gamma_{\mathfrak{v}} \in \Gamma_K^-$ è l'elemento di Frobenius in $\mathfrak{v}$. **Teorema Chiave** (Teorema 5.11): La $\ell$-depletion soddisfa $$L_p(f^{(\ell)}) = P_{\mathfrak{v}}(f)L_p(f)$$ ### Strategia di Prova dei Teoremi Principali **Strategia di Prova del Teorema 5.12**: 1. **Congruenza di Base**: Quando $f_1, f_2$ hanno lo stesso livello, dall'isomorfismo dello sviluppo in serie $q$ (Lemma 5.1) si ottiene $$L_p(f_1) \equiv L_p(f_2) \pmod{\varpi^m W\llbracket\Gamma_K^-\rrbracket}$$ 2. **Aggiustamento del Livello**: Per forme di livello diverso, si considera $$N^\sharp := \text{lcm}_{\ell|N_1N_2}(N_1, N_2, \ell^2)$$ Applicando ripetutamente il Teorema 5.11, si ottiene $$L_p(f^{(N_1N_2)}) = \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f) \cdot L_p(f)$$ 3. **Transività della Congruenza**: Da $f_1^{(N_1N_2)} \equiv f_2^{(N_1N_2)} \pmod{\varpi^m}$, si ricava $$\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. **Confronto degli Invarianti**: Poiché $\mu(P_{\mathfrak{v}}(f)) = 0$ (Lemma 5.10), confrontando i gradi dopo la riduzione modulo $\varpi$, si ottengono le relazioni per gli invarianti $\mu$ e $\lambda$. ### Punti di Innovazione Tecnica 1. **Interpretazione Modulare nel Quadro delle Coordinate di Serre-Tate**: - Il metodo tradizionale usa lo sviluppo in serie $q$: $f(q) \mapsto f(q^\ell)$ - Questo articolo fornisce un'interpretazione intrinseca attraverso la struttura geometrica dello schema di Igusa - La chiave è l'utilizzo dell'interpretazione modulare dei punti CM e delle proprietà di trasformazione delle coordinate di Serre-Tate 2. **Tecnica per Gestire Differenze di Peso** (Prova del Lemma 5.1): - Quando $2r_1 \not\equiv 2r_2 \pmod{\phi(p^{m'})}$, è necessario introdurre il simbolo di Legendre $(\frac{\cdot}{p})$ - Si utilizza $n^{r_1} \equiv (\frac{n}{p})n^{r_2} \pmod{p^{m'}}$ per la compensazione - L'osservazione cruciale è che il carattere di Hecke corrispondente al simbolo di Legendre è banale su $\Gamma_K^-$ 3. **Trattamento Unificato di Congruenze Modulo Potenze di Primo Arbitrarie**: - A differenza di [9] che può trattare solo congruenze modulo $\varpi$, questo articolo stabilisce una teoria generale modulo $\varpi^m$ - Ciò è cruciale per lo studio dei fenomeni di congruenza di ordine superiore ## Configurazione Sperimentale **Nota**: Come articolo di teoria matematica pura, questo lavoro non contiene esperimenti numerici, ma include numerose verifiche teoriche e applicazioni. ### Quadro di Verifica Teorica 1. **Condizioni di Assunzione**: - $p$ è un primo dispari, $p \nmid 2(2r-1)!N\phi(N)$ - $K/\mathbb{Q}$ è un campo quadratico immaginario con discriminante $-D_K$ - $p = \mathfrak{p}\bar{\mathfrak{p}}$ si divide in $K$ - Soddisfa l'ipotesi di Heegner forte: ogni fattore primo di $N$ si divide in $K$ 2. **Costruzione di Oggetti**: - Schema di Igusa $\text{Ig}(N)$ e il suo completamento formale - Punti CM $(A_{\mathfrak{a}}, \eta_{\mathfrak{a}})$ e la loro riduzione - Coordinate di Serre-Tate $t_{\mathfrak{a}}$ 3. **Metodi di Verifica**: - Verifica dell'azione di Galois nei punti CM attraverso la reciprocità di Shimura - Verifica delle congruenze di forme modulari attraverso il principio dello sviluppo in serie $q$ - Verifica della proprietà di interpolazione delle funzioni $L$ $p$-adiche attraverso il principio locale-globale ## Risultati Principali ### Teorema A (Teorema 5.12): Congruenza delle Funzioni $L$ $p$-adiche di BDP Siano $f_1 \in S_{2r_1}(\Gamma_0(N_1))^{\text{new}}$, $f_2 \in S_{2r_2}(\Gamma_0(N_2))^{\text{new}}$ che soddisfano: - Coefficienti in un campo $p$-adico $F$ - Inducono rappresentazioni di Galois isomorfe modulo $\varpi^m$: $\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2}$ Allora vale la congruenza: $$\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}$$ **Corollari**: 1. $\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0$ 2. Se $\mu(L_p(f_1)) = \mu(L_p(f_2)) = 0$, allora $$\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))$$ ### Teorema 6.2: Applicazione ai Cicli di Heegner Generalizzati Sia $\chi = \hat{\phi}$ un carattere di Hecke anticyclotomico di tipo infinito $(j,-j)$ (con $-r < j < r$) e conduttore $p^n\mathcal{O}_K$. Se $f_1, f_2$ sono come sopra e $\mu(L_p(f_1)) = \mu(L_p(f_2)) = 0$, allora $$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{(termine per } f_2)\right) \geq n\left(\frac{j+r-1}{2} - v_p(\chi_p^{-1}(p))\right) + v_p(\varpi^m)$$ Questo fornisce una stima di congruenza precisa tra i logaritmi dei cicli di Heegner. ### Teorema 6.3: Corollario per il Caso di Peso 2 Per forme modulari di peso 2, il risultato precedente si semplifica in una congruenza tra i logaritmi dei punti di 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{(termine per } f_2)\rangle\right) \geq \frac{n}{2} + v_p(\varpi^m)$$ Questo generalizza il risultato di Kriz-Li [10, Teorema 3.9]. ### Teorema 7.5: Propagazione della Congettura Principale di Iwasawa Sia $f_1$ che soddisfa la congettura principale di Iwasawa (Congettura 7.4) e $\mu_{\text{anal}}(f_1) = \mu_{\text{alg}}(f_1) = 0$. Se $f_2$ soddisfa: - 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$ per tutti i $w|\mathfrak{p}$ Allora $\mu_{\text{anal}}(f_2) = \mu_{\text{alg}}(f_2) = 0$ e $f_2$ soddisfa anche la congettura principale di Iwasawa. **Punti Chiave della Prova**: - Utilizzo del Teorema 5.12 e di Lei-Müller-Xia [9, Corollario 3.8] per ottenere l'uguaglianza degli invarianti $\mu$ - Confronto delle equazioni (7.1) e (7.2) per gli invarianti $\lambda$, combinato con la divisibilità, per ottenere la congettura principale completa ## Lavori Correlati ### Congruenze nella Teoria di Iwasawa Ciclotomica 1. **Greenberg-Vatsal [1]** (2000): - Studio degli invarianti di Iwasawa per curve ellittiche su estensioni ciclotomiche - Dimostrazione che curve ellittiche con rappresentazioni residue isomorfe hanno invarianti $\mu$ uguali e invarianti $\lambda$ che differiscono per una quantità limitata 2. **Emerton-Pollack-Weston [2]** (2006): - Generalizzazione alla variazione degli invarianti di Iwasawa nelle famiglie di Hida - Stabilimento di un quadro teorico sistematico ### Teoria di Iwasawa Anticyclotomica 3. **Pollack-Weston [6]**, **Kim [7]**, **Castella-Kim-Longo [8]**: - Studio di congruenze e variazione di invarianti nel contesto anticyclotomico **ordinario** - Il presente articolo studia il contesto anticyclotomico **indefinito**, che è tecnicamente diverso 4. **Kriz-Li [9,10]** (2019, 2023): - Studio delle congruenze tra i logaritmi dei punti di Heegner nel caso di peso 2 - Utilizzo del metodo di stabilizzazione, ma limitato al peso 2 e alle congruenze modulo $\varpi$ - **Generalizzazione di questo articolo**: peso arbitrario, cicli di Heegner generalizzati, congruenze modulo $\varpi^m$ 5. **Castella et al. [11]** (2022): - Studio della congettura principale anticyclotomica nei primi di Eisenstein - Può essere visto come una generalizzazione di [1, Teorema (1.3)] - **Lavoro di questo articolo**: generalizzazione di [1, Teorema (1.4)] al contesto di BDP ### Teoria della Funzione $L$ $p$-adica di BDP 6. **Bertolini-Darmon-Prasanna [4]** (2013): - Costruzione di cicli di Heegner generalizzati e serie $L$ di Rankin $p$-adica - Stabilimento della formula $p$-adica di Gross-Zagier 7. **Brakočević [5]** (2011), **Castella-Hsieh [3]** (2018): - Costruzione della funzione $L$ $p$-adica di BDP attraverso le coordinate di Serre-Tate - Questo articolo segue strettamente il quadro di [3] e introduce una nuova interpretazione dell'operatore di Hecke ### Posizionamento di Questo Articolo Questo articolo apporta innovazioni nei seguenti aspetti: - **Contesto**: Dal contesto ordinario al contesto anticyclotomico indefinito - **Peso**: Dalla generalizzazione del peso 2 a peso pari arbitrario $2r$ - **Ordine di Congruenza**: Da congruenze modulo $\varpi$ a congruenze modulo $\varpi^m$ - **Tecnica**: Introduzione dell'interpretazione modulare dell'operatore di Hecke, semplificazione della prova e riduzione delle assunzioni - **Applicazione**: Trattamento unificato dei cicli di Heegner e della congettura principale di Iwasawa ## Conclusioni e Discussione ### Conclusioni Principali 1. **Contributi Teorici**: Stabilimento di una teoria sistematica di forme modulari congruenti nel contesto anticyclotomico indefinito, con dimostrazione che le funzioni $L$ $p$-adiche di BDP soddisfano relazioni di congruenza quando le rappresentazioni residue sono isomorfe. 2. **Invarianti di Iwasawa**: Fornitura di teoremi di confronto precisi per gli invarianti $\mu$ e $\lambda$, generalizzando il risultato classico di Greenberg-Vatsal. 3. **Interpretazione Geometrica**: Attraverso lo schema di Igusa e le coordinate di Serre-Tate, si fornisce un'interpretazione geometrica intrinseca dell'operatore di Hecke, cruciale per comprendere la variazione delle funzioni $L$ $p$-adiche. 4. **Applicazioni Aritmetiche**: - Stime di congruenza precisa tra i logaritmi dei cicli di Heegner generalizzati - Proprietà di propagazione della congettura principale di Iwasawa nelle famiglie congruenti ### Limitazioni 1. **Condizioni di Assunzione**: - Necessità di soddisfare l'ipotesi di Heegner, in particolare i fattori primi del livello devono dividersi in $K$ - Per il Teorema 7.5, sono richieste assunzioni aggiuntive di divisibilità e condizioni locali 2. **Limitazioni Tecniche**: - I risultati principali nel caso $p$-ordinario (cioè $a_p(f) \in \mathbb{Z}_p^\times$) - Per il caso supersingolare, sono necessarie tecniche diverse 3. **Ambito di Applicazione**: - L'impostazione anticyclotomica limita il tipo di forme modulari applicabili - Per estensioni di Galois generali, il metodo potrebbe non essere direttamente applicabile ### Direzioni Future 1. **Generalizzazione ad Altri Contesti**: - Forme modulari di Hilbert e teoria anticyclotomica su campi totalmente reali - Risultati analoghi nel caso di algebre quaternioniche (parzialmente completato da Magrone [24]) 2. **Caso Non-Ordinario**: - Studio della teoria di congruenza nei primi supersingolari - Potrebbe richiedere l'uso della mappa logaritmica di Perrin-Riou o dell'accoppiamento di altezza di Nekovář 3. **Calcoli Espliciti**: - Calcolo delle costanti di congruenza esplicite per forme modulari concrete (come quelle corrispondenti a curve ellittiche) - Verifica di istanze specifiche della congettura principale di Iwasawa 4. **Connessioni con Altre Congetture**: - Esplorazione della relazione con la congettura di Bloch-Kato - Studio dell'interpretazione nel quadro del programma di Langlands ## Valutazione Approfondita ### Punti di Forza 1. **Profondità Teorica**: - Successo nella generalizzazione dei risultati classici della teoria ciclotomica al contesto anticyclotomico indefinito - Trattamento tecnico meticoloso, in particolare delle coordinate di Serre-Tate e delle relazioni geometriche dei punti CM - Unificazione di molteplici risultati parziali precedenti 2. **Innovazione Metodologica**: - L'interpretazione modulare dell'operatore di Hecke (Lemma 5.7) è un'innovazione chiave che semplifica la prova - La tecnica per gestire le differenze di peso (uso del simbolo di Legendre) dimostra una profonda intuizione teorica dei numeri - La teoria generale di congruenza modulo $\varpi^m$ è più forte dei lavori precedenti 3. **Completezza dei Risultati**: - Non solo dimostrazione della congruenza delle funzioni $L$ $p$-adiche, ma anche relazioni esatte degli invarianti di Iwasawa - Le applicazioni coprono due direzioni importanti: cicli di Heegner e congettura principale di Iwasawa - Il Teorema 7.5 dimostra la propagazione della congettura principale nelle famiglie congruenti, un risultato di grande valore 4. **Qualità della Presentazione**: - Struttura dell'articolo chiara, con progressione logica dal contesto alle applicazioni - Dettagli tecnici completi e definizioni precise - Chiarezza nei collegamenti con la letteratura correlata ### Insufficienze 1. **Numerose Condizioni di Assunzione**: - L'ipotesi di Heegner limita l'ambito di applicazione - Il Teorema 7.5 richiede assunzioni aggiuntive di divisibilità, che potrebbero essere difficili da verificare in pratica - Lavoro principalmente nel caso ordinario 2. **Mancanza di Esempi Concreti**: - Come articolo di teoria pura, non fornisce esempi numerici concreti - Alcuni calcoli espliciti sarebbero utili per la comprensione dei lettori 3. **Dipendenze nelle Prove**: - Il Teorema 7.5 dipende dal risultato di Lei-Müller-Xia [9] - Le condizioni per la scomparsa dell'invariante $\mu$ (riferimenti [25,26]) hanno assunzioni aggiuntive 4. **Dettagli Tecnici**: - Il materiale preparatorio nelle Sezioni 2-3 è piuttosto lungo, il che potrebbe influire sulla leggibilità - Alcune notazioni sono complesse (come indici multipli) ### Impatto 1. **Contributo al Campo**: - Colma un importante vuoto nella teoria anticyclotomica indefinita - Fornisce una nuova prospettiva geometrica per lo studio di forme modulari congruenti - Stabilisce un ponte tra funzioni $L$ $p$-adiche, cicli di Heegner e congettura principale di Iwasawa 2. **Valore Pratico**: - Il Teorema A può essere utilizzato per studiare gli invarianti di Iwasawa di forme modulari concrete - Il Teorema 7.5 fornisce un nuovo approccio per verificare la congettura principale di Iwasawa - Il metodo potrebbe essere applicabile ad altri tipi di funzioni $L$ $p$-adiche 3. **Riproducibilità**: - La prova teorica è completa e la logica è chiara - Le conoscenze di base necessarie hanno riferimenti espliciti - I risultati principali possono essere utilizzati e generalizzati da altri ricercatori ### Scenari di Applicazione 1. **Ricerca Teorica**: - Studio delle proprietà aritmetiche delle forme modulari - Esplorazione dei fenomeni di congruenza nelle rappresentazioni di Galois - Ulteriore sviluppo della teoria di Iwasawa 2. **Applicazioni Concrete**: - Studio della congettura BSD per curve ellittiche - Interpolazione $p$-adica di valori speciali di funzioni $L$ - Calcolo della struttura dei gruppi di Selmer 3. **Direzioni di Generalizzazione**: - Forme modulari di Hilbert - Varietà di Shimura di dimensione superiore - Altri tipi di rappresentazioni di Galois ## Bibliografia (Riferimenti Chiave) [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) --- **Valutazione Complessiva**: Questo è un articolo di alta qualità nel campo della teoria dei numeri che generalizza con successo i risultati classici della teoria di Iwasawa ciclotomica al contesto anticyclotomico indefinito. I principali contributi risiedono nell'introduzione di un'interpretazione geometrica dell'operatore di Hecke, nello stabilimento di una teoria di congruenza per le funzioni $L$ $p$-adiche di BDP, e nell'ottenimento di importanti applicazioni riguardanti i cicli di Heegner e la congettura principale di Iwasawa. Sebbene le condizioni di assunzione siano numerose e i requisiti tecnici elevati, l'articolo pone una base solida per ulteriori ricerche nel campo e possiede un significativo valore teorico e potenziale applicativo.