On Iwasawa theory of abelian varieties over $\mathbb{Z}_p^2$-extension with applications to Diophantine stability and integally Diophantine extensions

1. Problema e Contesto

Il lavoro si inserisce nel campo della teoria di Iwasawa per le varietà abeliane definite su campi di numeri. Il problema centrale riguarda lo studio del comportamento dei gruppi di Selmer e dei ranghi di Mordell-Weil di una varietà abeliana $A$ su estensioni infinite di campi di numeri, in particolare su estensioni $\mathbb{Z}_p^2$ (estensioni con gruppo di Galois isomorfo a $\mathbb{Z}_p \times \mathbb{Z}_p$).

Il contesto si basa sulla congettura di Mazur, che prevede che il gruppo di Selmer $p$-primario di una varietà abeliana con riduzione ordinaria potenzialmente buona su una estensione ciclotomica $\mathbb{Z}_p$ ($F_{cyc}$) sia un modulo di torsione sull'algebra di Iwasawa $\Lambda = \mathbb{Z}_p[[\Gamma]]$.
L'obiettivo specifico del paper è:

1. Quantificare il numero di sottostensioni $\mathbb{Z}_p$ all'interno di un'estensione $\mathbb{Z}_p^2$ in cui il rango di Mordell-Weil di $A$ diventa illimitato.
2. Applicare questi risultati alla stabilità diofantea e alle estensioni integralmente diofantee, collegandoli al decimo problema di Hilbert.
3. Estendere l'analisi al caso di curve ellittiche con riduzione supersingolare in $p$, utilizzando i gruppi di Selmer "firmati" (signed Selmer groups).

2. Metodologia

L'autore impiega una combinazione di tecniche algebriche avanzate della teoria di Iwasawa e risultati aritmetici profondi:

• Struttura dei Moduli sull'Algebra di Iwasawa: Viene utilizzata la teoria dei moduli finitamente generati su $\mathbb{Z}_p[[G]]$ (dove $G \cong \mathbb{Z}_p^2$). In particolare, si analizza il polinomio caratteristico dei moduli duali di Pontryagin dei gruppi di Selmer.
• Teorema di Controllo di Mazur: Viene applicato per collegare i gruppi di Selmer su estensioni finite intermedie a quelli sull'estensione infinita, garantendo che i nuclei e i conuclei delle mappe di restrizione siano finiti.
• Gruppi di Selmer Firmati (Signed Selmer Groups): Per il caso supersingolare, si adottano le definizioni di Kobayashi e B.D. Kim, che introducono sottogruppi "plus" e "minus" basati su norme locali e traccianti, permettendo di trattare la torsione anche quando la riduzione non è ordinaria.
• Stime di Ordine: Il cuore tecnico risiede nel calcolo dell'ordine di annullamento ($\text{ord}_U$) del polinomio caratteristico rispetto a variabili specifiche nell'anello delle serie di potenze, per ottenere limiti superiori sul numero di sottostensioni "patologiche" (dove il rango cresce).
• Teorema di Shlapentokh: Per le applicazioni diofantee, si utilizza un teorema fondamentale che collega la stabilità del rango di Mordell-Weil ($\text{rank}_{\mathbb{Z}} A(L_1) = \text{rank}_{\mathbb{Z}} A(L_2) > 0$) alla proprietà di essere un'estensione integralmente diofantea.

3. Contributi Chiave e Risultati Principali

A. Limitazione del Numero di Estensioni a Rango Illimitato

Il risultato principale (Teorema 1.1 / Teorema 3.3) stabilisce un limite superiore al numero di estensioni $\mathbb{Z}_p$ all'interno di un'estensione $\mathbb{Z}_p^2$ in cui il rango di Mordell-Weil di $A$ è illimitato.
Sia $F_\infty$ un'estensione $\mathbb{Z}_p^2$ contenente $F_{cyc}$. Sia $\mathcal{M}(A/F_\infty)$ l'insieme delle sottostensioni $\mathbb{Z}_p$ dove il rango è illimitato.
Se il gruppo di Selmer su $F_{cyc}$ è di torsione, allora:
$$\#\mathcal{M}(A/F_\infty) \leq \text{ord}_U \left( \text{char}_{\mathbb{Z}_p[[\Gamma]]} X(A/F_{cyc}) \right)$$
Questo risultato generalizza e rafforza lavori precedenti (Gajek-Leonard, Hatley, Kundu, Lei) rimuovendo l'assunzione tecnica che il duale di Pontryagin sia una somma diretta di moduli ciclici.

B. Stabilità Diofantea e Estensioni Integralmente Diofantee

Sotto l'ipotesi della congettura di Mazur, l'autore dimostra l'esistenza di un numero non numerabile di estensioni cicliche in cui la varietà abeliana è stabile diofanteamente (il gruppo di punti razionali non cresce).

• Teorema 1.2: Per un campo di numeri $F$ con almeno una prima complessa e una varietà $A$ con riduzione ordinaria, l'insieme $D_n(A/F)$ (coppie di estensioni con grado $p^n$ dove $A$ è stabile) è non numerabile.
• Teorema 1.3: Se $\text{rank}_{\mathbb{Z}} A(F) > 0$, l'insieme $I_n(F)$ di estensioni integralmente diofantee è non numerabile.
• Risultati Incondizionati: Combinando con i lavori di Rubin e Kato, si ottengono risultati incondizionati per curve ellittiche su $\mathbb{Q}$ con riduzione ordinaria e su estensioni abeliane immaginarie (Corollari 1.4 e 1.5).

C. Caso Supersingolare

Il paper estende l'analisi alle curve ellittiche con riduzione supersingolare in $p$ (con $a_p=0$) su campi quadratici immaginari.

• Teorema 1.6: Viene stabilito un analogo del Teorema 3.3 per i gruppi di Selmer firmati $X_{s,z}$. Il numero di sottostensioni a rango illimitato è limitato dalla somma degli ordini di annullamento dei polinomi caratteristici dei gruppi di Selmer firmati su $F_{cyc}$.
• Teorema 1.7: Viene dimostrato che, sotto condizioni specifiche (finitudine del gruppo di Selmer su $F$ o scissione completa dei divisori del conduttore), l'insieme delle estensioni a stabilità diofantea è non numerabile anche nel caso supersingolare.

4. Significato e Implicazioni

1. Raffinamento della Congettura di Crescita di Mazur: Il lavoro fornisce limiti superiori più precisi e generali per il numero di estensioni $\mathbb{Z}_p$ in cui il rango cresce, eliminando ipotesi tecniche restrittive presenti nella letteratura precedente.
2. Connessione con il Decimo Problema di Hilbert: Dimostrando l'esistenza di un numero non numerabile di estensioni integralmente diofantee, il paper supporta la Congettura Relativa di Denef-Lipshitz (che ogni estensione finita di campi di numeri è integralmente diofantea). Sebbene non provi la congettura in generale, fornisce un vasto insieme di casi in cui essa è valida, basandosi sulla teoria di Iwasawa.
3. Unificazione dei Casi Ordinari e Supersingolari: L'approccio unificato che tratta sia la riduzione ordinaria che quella supersingolare (tramite i gruppi firmati) offre un quadro teorico più completo per lo studio della crescita dei ranghi in estensioni biquadratiche $\mathbb{Z}_p^2$.
4. Nuovi Strumenti Algebrici: La dimostrazione che l'identità tra il polinomio caratteristico proiettato e quello del modulo su $F_{cyc}$ vale senza assumere la decomposizione ciclica del modulo su $F_\infty$ rappresenta un progresso tecnico significativo nella teoria dei moduli di Iwasawa.

In sintesi, il paper di Meng Fai Lim rappresenta un contributo sostanziale alla teoria di Iwasawa moderna, collegando profondamente la struttura algebrica dei gruppi di Selmer con problemi aritmetici fondamentali come la stabilità dei punti razionali e la decidibilità delle equazioni diofantee su estensioni di campi di numeri.