On the structure of fine Mordell-Weil groups over a $\mathbb{Z}_p$-extension and its intermediate subextensions

Sintesi Tecnica: Sulla Struttura dei Gruppi di Mordell-Weil Raffinati su una Estensione $\mathbb{Z}_p$ e sulle sue Sottiestensioni Intermedie

Enunciato del Problema
Il lavoro investiga la struttura dei gruppi di Mordell-Weil raffinati, indicati con $M(A/F_n)$, associati a una varietà abeliana $A$ definita su un campo di numeri $F$. Lo studio si concentra sul comportamento di questi gruppi sulle sottiestensioni intermedie $F_n$ di una data estensione $\mathbb{Z}_p$ $F_\infty/F$, dove $|F_n : F| = p^n$. Specificamente, l'autore mira a determinare la classe di pseudo-isomorfismo del duale di Pontryagin $M(A/F_n)^\vee$ come modulo sull'algebra di Iwasawa $\Lambda = \mathbb{Z}_p[[\Gamma]]$, dove $\Gamma = \text{Gal}(F_\infty/F)$. Una sfida centrale affrontata è caratterizzare la crescita di questi gruppi senza assumere la finitezza dei gruppi raffinati di Tate-Shafarevich, una condizione spesso richiesta nella letteratura precedente.

Metodologia
L'approccio si basa sulla teoria strutturale dei moduli di torsione finitamente generati sull'algebra di Iwasawa $\Lambda$ e sulla variazione dei ranghi di Mordell-Weil nelle estensioni $\mathbb{Z}_p$.

1. Definizioni e Sequenze Esatte: Il lavoro utilizza la sequenza esatta breve che mette in relazione il gruppo di Mordell-Weil raffinato, il gruppo di Selmer raffinato e il gruppo di Tate-Shafarevich raffinato:
   $$0 \longrightarrow M(A/F_n) \longrightarrow R(A/F_n) \longrightarrow \text{Ш}(A/F_n) \longrightarrow 0.$$
   Il gruppo di Mordell-Weil raffinato è definito come il nucleo della mappa di localizzazione da $A(F_n) \otimes \mathbb{Q}_p/\mathbb{Z}_p$ ai punti locali sui primi sopra $p$.

2. Dualizzazione e Pseudo-isomorfismo: La tecnica fondamentale consiste nel prendere il duale di Pontryagin della sequenza definitoria di $M(A/F_n)$. Confrontando il duale dei punti globali $A(F_n)$ con il duale dei punti locali sui primi sopra $p$, l'autore deriva la struttura di $M(A/F_n)^\vee$.

3. Utilizzo di Risultati Precedenti: La dimostrazione dipende fortemente dai risultati di Lee [6] riguardanti la variazione dei gruppi di Mordell-Weil, stabilendo specificamente che il duale dei punti globali si decompone in una somma diretta di moduli ciclici $\Lambda$ della forma $\Lambda/\Phi_j$. Il lavoro impiega anche risultati sui campi locali (Proposizione 3.2) e varianti semi-locali (Proposizione 3.3) per limitare il contributo dei punti locali.

4. Restrizione di Weil e Twist: Per ottenere valori precisi per casi specifici (come curve ellittiche su campi con specifici gruppi di Galois o curve ellittiche CM), l'autore impiega la teoria della restrizione di Weil degli scalari e la decomposizione dei gruppi di Mordell-Weil sotto twist di Galois (seguendo [12]). Ciò permette di ridurre il problema a varietà abeliane più semplici o a twist quadratici specifici.

Contributi e Risultati Chiave

• Teorema Strutturale Principale (Teorema 4.1): Il risultato principale stabilisce che per una varietà abeliana $A$ di dimensione $g$ su $F$, assumendo che nessun primo sopra $p$ si scinda completamente in $F_\infty/F$, esiste una sequenza di interi $\{s_n\}$ tale che:
  $$M(A/F_n)^\vee \sim \bigoplus_{j=0}^n (\Lambda/\Phi_j)^{\oplus s_j}.$$
  Crucialmente, il lavoro fornisce stime per $s_n$ per $n$ sufficientemente grande:
  $$\max\{0, e_n - g|F:\mathbb{Q}|\} \leq s_n \leq \max\{0, e_n - 1\},$$
  dove $e_n$ rappresenta la crescita normalizzata del rango di $A(F_n)$. Notabilmente, questo risultato è derivato senza assumere la finitezza dei gruppi raffinati di Tate-Shafarevich $\text{Ш}(A/F_n)$.

• Valori Precisi per Curve Ellittiche (Proposizione 4.5): Per una curva ellittica $E$ su $\mathbb{Q}$ e un'estensione di Galois $F$ con gruppo di Galois $(\mathbb{Z}/2\mathbb{Z})^{\oplus m}$, l'autore determina i valori esatti di $s_n$. La sequenza è data dalla somma delle crescite normalizzate dei ranghi dei twist quadratici di $E$ sui campi intermedi, meno uno (se positivo).

• Curve Ellittiche CM (Sezione 5): Il lavoro estende questi risultati strutturali precisi alle curve ellittiche con Moltiplicazione Complessa (CM) dall'anello degli interi di un campo quadratico immaginario $K$. Gestisce entrambi i casi in cui $p$ si scinde completamente in $K$ (Proposizione 5.1) e in cui $p$ è inerte (Proposizione 5.2), fornendo formule esatte per gli esponenti nel pseudo-isomorfismo.

• Implicazioni per l'Estensione Completa (Sezione 6): L'ultima sezione esamina la struttura di $M(A/F_\infty)^\vee$. L'autore nota che il trasferimento dei risultati dalle sottiestensioni intermedie all'estensione completa richiede generalmente la finitezza di $\text{Ш}(A/F_n)$. Sotto questa assunzione (e assumendo che $A(F_\infty)$ sia finitamente generata), il lavoro conferma che $M(A/F_\infty)^\vee$ è pseudo-isomorfo a una somma diretta di moduli $\Lambda/\Phi_j$, con esponenti che soddisfano gli stessi limiti del caso intermedio.

Significato e Affermazioni
Il lavoro rivendica un miglioramento significativo rispetto ai lavori precedenti (come [7] e [10]) generalizzando l'impostazione dalle curve ellittiche su estensioni ciclotomiche alle varietà abeliane su estensioni $\mathbb{Z}_p$ generali. Più importante ancora, l'autore sottolinea che le stime strutturali principali (Teorema 4.1) non dipendono dalla finitezza dei gruppi raffinati di Tate-Shafarevich, una condizione precedentemente assunta nella letteratura.

L'autore nota modestamente che, sebbene il lavoro fornisca limiti per gli interi $s_n$ nel caso generale, determinare i loro valori esatti è difficile. I valori esatti sono calcolati solo per scenari specifici che coinvolgono curve ellittiche con strutture di Galois specifiche o proprietà CM. Il lavoro conclude che, sebbene i risultati illuminino la struttura dei gruppi di Mordell-Weil raffinati, il trasferimento di questi risultati all'estensione $\mathbb{Z}_p$ completa $F_\infty$ richiede ancora assunzioni riguardanti la finitezza dei gruppi raffinati di Tate-Shafarevich o la generazione finita dei punti globali.