Intrinsic Subgroups and the $\ell$-adic Galois image

Sintesi Tecnica: Sottogruppi Intrinseci e Immagine Galois $\ell$-adica

Enunciato del Problema
Questo articolo affronta la classificazione e il calcolo del "sottogruppo intrinseco" dei punti di torsione di una curva ellittica $E$ su un campo $k$. Basandosi sul lavoro di Yamazaki et al. [5], i quali hanno definito una accoppiamento biadditivo simmetrico $\langle -, - \rangle$ sul sottogruppo di torsione $\text{Pic}(X)_{\text{tors}}$ di una curva proiettiva regolare $X$ con valori in $k^\times \otimes \mathbb{Q}/\mathbb{Z}$, il sottogruppo intrinseco è definito come il nucleo di tale accoppiamento. Per una curva ellittica $E$, dove $E(k) \cong \text{Pic}^0(E)$, questo sottogruppo $E(k)_{\text{is}}^{\text{tors}}$ consiste nei punti di torsione ortogonali a tutti gli altri punti di torsione sotto l'accoppiamento.

Sebbene Yamazaki et al. abbiano fornito una classificazione per le curve ellittiche su $\mathbb{Q}$ utilizzando metodi analitici, questo articolo mira a generalizzare tali risultati a campi arbitrari $k$ (specificamente sottocampi di $\mathbb{C}$) e a fornire criteri algebrici espliciti e algoritmi per determinare la struttura di questo sottogruppo.

Metodologia
L'articolo impiega una combinazione di geometria algebrica, teoria di Galois e teoria delle curve modulari:

1. Caratterizzazione Algebrica tramite Isogenie: Nella Sezione 2, l'autore utilizza la funtorialità dell'accoppiamento per derivare condizioni sufficienti per la dimensione del sottogruppo intrinseco. Nello specifico, il Lemma 2.1 stabilisce che se un'isogenia $\psi: E_1 \to E_2$ ha un nucleo uguale al sottogruppo di torsione completo $E_1(k)_{\text{tors}}$, allora l'immagine dell'isogenia duale $\hat{\psi}$ applicata a $E_2(k)_{\text{tors}}$ risiede in $E_1(k)_{\text{is}}^{\text{tors}}$. Ciò conduce al Teorema 2.2, che mette in relazione l'esistenza di specifiche isogenie cicliche con l'ordine del sottogruppo intrinseco.
2. Curve Modulari e Twist: La Sezione 3 estende l'analisi ai sottocampi $k \subset \mathbb{C}$. L'autore costruisce modelli planari espliciti per le curve modulari $X_1(N)$ e i loro twist. Esprimendo il valore dell'accoppiamento $\langle P, P \rangle$ in termini di funzioni theta di Jacobi e funzioni razionali sulla curva modulare, l'articolo dimostra che le curve ellittiche con una specifica struttura di torsione e sottogruppo intrinseco corrispondono a punti razionali su specifici twist $X_1(N)^\zeta_M$ della curva modulare $X_{1,0}(N, MN)$.
3. Calcolo Algoritmico: La Sezione 4 dettaglia un algoritmo computazionale per il caso $k=\mathbb{Q}$. Questa procedura trasforma una curva ellittica in forma normale di Tate, utilizza funzioni razionali precomputate $f_N(t)$ derivate dalle relazioni delle funzioni theta, e determina l'ordine del sottogruppo intrinseco analizzando l'esponente del numero razionale risultante nella formula di accoppiamento.

Contributi Chiave e Risultati

• Generalizzazione di Yamazaki et al.: L'articolo generalizza la classificazione dei sottogruppi intrinseci da $\mathbb{Q}$ a campi arbitrari $k \subset \mathbb{C}$. Dimostra che per una curva ellittica $E$ con torsione ciclica $\mathbb{Z}/N\mathbb{Z}$ e sottogruppo intrinseco $\mathbb{Z}/M\mathbb{Z}$, la curva corrisponde a un punto razionale su un particolare twist della curva modulare $X_{1,0}(N, MN)$.
• Condizioni Algebriche: Il Teorema 2.2 fornisce una condizione sufficiente puramente algebrica: se $E$ ammette un sottogruppo ciclico $k$-razionale di ordine $MN$ contenente un punto $P$ di ordine $N$, allora il sottogruppo generato da $[N/M]P$ è contenuto nel sottogruppo intrinseco.
• Caratterizzazione dell'Immagine di Galois: Il Teorema 3.2 stabilisce una relazione tra il sottogruppo intrinseco e l'immagine adelica di Galois. Se $E(k)_{\text{tors}} \cong \mathbb{Z}/N\mathbb{Z}$ e $E(k)_{\text{is}}^{\text{tors}} \cong \mathbb{Z}/M\mathbb{Z}$, allora l'immagine di Galois di $E$ è coniugata a un sottogruppo di $\Gamma_{1,0}(N, MN)$.
• Algoritmo Esplicito: Viene fornito un algoritmo (Algoritmo 4.2) per calcolare l'ordine e il generatore di $E(\mathbb{Q})_{\text{is}}^{\text{tors}}$ dati i coefficienti di Weierstrass e un generatore del sottogruppo di torsione. Questo algoritmo è stato implementato e utilizzato per calcolare gli ordini dei sottogruppi intrinseci per tutte le curve ellittiche in LMFDB.
• Problema dei Moduli: L'articolo identifica la curva modulare $X_{1,0}(N, MN)$ e i suoi twist come la soluzione al problema dei moduli di classificare le curve ellittiche con strutture prescritte di torsione e sottogruppo intrinseco, almeno su sottocampi di $\mathbb{C}$.

Significato e Limitazioni
L'articolo rivendica l'importanza di spostare lo studio dei sottogruppi intrinseci dai metodi analitici limitati a $\mathbb{Q}$ a metodi algebrici applicabili a campi generali. Esso fornisce un quadro concreto per comprendere la relazione tra il sottogruppo intrinseco, le isogenie e le rappresentazioni di Galois.

Tuttavia, l'autore è modesto riguardo all'estensione di questi risultati:

• La condizione algebrica nella Sezione 2 è sufficiente ma non necessaria; non ogni curva con il sottogruppo intrinseco desiderato sorge come punto razionale della specifica curva modulare $X_{1,0}(N, MN)$ senza considerare i twist.
• La generalizzazione a campi arbitrari $k$ (al di fuori dei sottocampi di $\mathbb{C}$) rimane una congettura (Congettura 5.1). L'articolo nota che, sebbene il problema dei moduli sia risolto per $k \subset \mathbb{C}$, i metodi non provano ancora questo per campi generali.
• I risultati attuali si concentrano principalmente sul caso in cui il sottogruppo di torsione è ciclico. L'articolo riconosce che l'approccio analitico non si generalizza immediatamente ai casi di torsione non ciclica, lasciando aperta la questione della relazione tra il sottogruppo intrinseco e le immagini di Galois nel caso non ciclico.
• L'algoritmo per campi generali affronta sfide nel test di identità all'interno di $k^\times \otimes \mathbb{Q}/\mathbb{Z}$ e nella precomputazione delle funzioni $f_N$ per $N$ grandi, il cui grado cresce linearmente.