$p$-twisted Selmer near-companion curves

Sintesi Tecnica di "p-TWISTED SELMER NEAR-COMPANION CURVES"

Enunciato del Problema e Contesto
Il saggio affronta la relazione tra le proprietà aritmetiche delle curve ellittiche e i loro gruppi di Selmer sotto l'azione di twisting. Basandosi sul lavoro di Mazur e Rubin [7], che hanno definito le curve near-companion n-Selmer, il saggio investiga la relazione tra la limitatezza delle differenze di rango di Selmer e l'isomorfismo dei sottogruppi di torsione. Mazur e Rubin hanno congetturato che se due curve ellittiche $E_1$ ed $E_2$ su un campo numerico $K$ sono $n$-Selmer near-companion (ovvero la differenza nelle dimensioni dei loro gruppi di $n$-Selmer sotto twist quadratici è limitata), allora i loro sottogruppi di $n$-torsione $E_1[n]$ ed $E_2[n]$ devono essere isomorfi come moduli $G_K$.

Sebbene Yu [11] abbia dimostrato questa congettura per il caso $n=2$, il caso generale per i primi dispari $p$ rimaneva aperto. Una difficoltà chiave sottolineata nell'introduzione è che l'uguaglianza dei campi generati dai punti di torsione, $K(E_1[p]) = K(E_2[p])$, non implica automaticamente un isomorfismo di moduli $G_K$ $E_1[p] \cong E_2[p]$. Per colmare questo divario e estendere il framework, l'autore introduce il concetto di $p$-twisted Selmer near-companions ($p$-TSNC). A differenza della definizione originale che considera solo i twist quadratici, le $p$-TSNC considerano i twist per tutti i caratteri $\chi \in \text{Hom}(G_K, \mu_p)$.

Metodologia
La strategia centrale consiste nell'analizzare il comportamento dei ranghi di Selmer sotto $p$-twist. L'autore definisce il gruppo di Selmer $p$-twisted $S_p(E/K, \chi)$ e investiga la differenza nelle dimensioni $r_p(E_1, \chi) - r_p(E_2, \chi)$.

La dimostrazione si basa su un "argomento di densità" utilizzando il Teorema di Densità di Chebotarev. La metodologia procede come segue:

1. Analisi dell'Estensione di Campo: L'autore assume $K(E_1[p]) \neq K(E_2[p])$ e analizza le rappresentazioni di Galois associate a $E_1$ ed $E_2$. La dimostrazione è divisa in casi basati sulla struttura dei campi $M_i = K(E_i[p])$ e dei punti di $p$-torsione $E_i(K)[p]$.
2. Principi Locali-Globali: Utilizzando strumenti della teoria di classe globale e le proprietà delle condizioni di Selmer locali (specificamente le immagini delle mappe di Kummer $\gamma_v(\chi_v)$), l'autore costruisce caratteri globali $\chi$ che soddisfano specifiche condizioni locali in primi $q$ accuratamente scelti.
3. Manipolazione del Rango: Selezionando primi $q$ con specifiche proprietà di Frobenius (ad esempio, $q \in P_2(E)$ dove il Frobenius agisce trivialmente su $E[p]$), l'autore costruisce caratteri che aumentano il rango di Selmer di una curva di 2 mentre lasciano l'altra invariata, o aumentano entrambi di quantità differenti.
4. Costruzione Induttiva: Attraverso una serie di lemmi (Sezioni 3–8), il saggio dimostra che se $K(E_1[p]) \neq K(E_2[p])$, è possibile trovare infiniti caratteri $\chi$ tali che la differenza $|r_p(E_1, \chi) - r_p(E_2, \chi)|$ cresca arbitrariamente. Ciò contraddice la definizione di $p$-TSNC, che richiede che tale differenza sia limitata da una costante $C$.

Contributi Chiave e Risultati
Il saggio introduce la definizione di $p$-twisted Selmer near-companions ed stabilisce i seguenti teoremi principali:

• Teorema 1.6 (Non esistenza di $p$-TSNC con campi distinti): Se $E_1$ ed $E_2$ sono $p$-TSNC su $K$, allora $K(E_1[p]) = K(E_2[p])$, a condizione che almeno una delle seguenti condizioni sia soddisfatta:

  • $E_i[p] \subset E_i(K)$ per qualche $i$.
  • $E_i(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$ per $i=1,2$.
  • $E_1(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$ e $K(\mu_p) \subsetneq M_2$.
  • Il grado $[M_i : K(\mu_p)]$ non divide $p$ per $i=1,2$.
  • $\mu_p \subset K$.
    Essenzialmente, sotto queste condizioni, la proprietà di essere $p$-TSNC impone che i campi generati dai punti di $p$-torsione siano identici.

• Teorema 1.7 (Sufficienza dell'Isomorfismo): Se esiste un isomorfismo di moduli $G_K$ $E_1[p] \cong E_2[p]$ (per $p \ge 3$), allora $E_1$ ed $E_2$ sono $p$-TSNC su $K$. Questo conferma la direzione inversa della congettura principale nel contesto della nuova definizione.

• Corollari: Il saggio deriva che se $\mu_p \subset K$ ed $E_i(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$, allora $p$-TSNC implica $E_1[p] \cong E_2[p]$ come moduli $G_K$ (Corollario 1.9). Similmente, se $E_1[p] \subset E_1(K)$, $p$-TSNC implica l'isomorfismo (Corollario 1.10).

Significato
Il saggio estende il framework di Mazur e Rubin generalizzando il meccanismo di twisting dai caratteri quadratici a tutti i caratteri in $\mu_p$. Il significato primario risiede nel dimostrare che, per una vasta gamma di curve ellittiche (coprendo i casi in cui la $p$-torsione è razionale, parzialmente razionale o dove l'immagine di Galois è grande), la condizione di essere $p$-twisted Selmer near-companions è sufficiente per forzare l'uguaglianza dei campi $K(E_1[p])$ e $K(E_2[p])$.

L'autore nota che per le curve ellittiche prive di moltiplicazione complessa, il teorema di Faltings implica che $K(E_1[p]) \neq K(E_2[p])$ per infiniti primi se le curve non sono isogene. Di conseguenza, il saggio suggerisce che se due curve non isogene sono $p$-TSNC per tutti ma finiti primi, esse devono essere isogene. Il lavoro fornisce una rigorosa risoluzione parziale della congettura di Mazur-Rubin nel contesto dei gruppi di Selmer $p$-twisted, stabilendo specificamente il legame tra la limitatezza delle differenze di rango di Selmer e l'uguaglianza dei campi di torsione sotto specifiche restrizioni aritmetiche.