2-descent for Bloch--Kato Selmer groups and rational points on hyperelliptic curves I

1. Il Problema

Il lavoro affronta il problema fondamentale della determinazione esplicita dei punti razionali su curve iperellittiche di genere $g > 1$. Sebbene per i punti interi esista un algoritmo efficace (metodo di Baker), il calcolo dei punti razionali rimane un problema aperto in generale.
Il metodo standard, il metodo di Chabauty–Coleman, è efficace solo quando il rango di Mordell–Weil della Jacobiana della curva ($J$) è strettamente minore del genere della curva ($g$). Tuttavia, molte curve interessanti hanno un rango di Mordell–Weil maggiore o uguale al genere, rendendo il metodo classico inapplicabile.
Un esempio specifico citato è la curva di genere 2 $X: y^2 - y = x^5 - x$, studiata da Bugeaud, Mignotte, Siksek, Stoll e Tengely (BMSST), che ha un rango di Jacobiana pari a 3. Poiché $3 \not< 2$, né il metodo di Chabauty classico né il metodo di Chabauty quadratico standard possono determinare l'insieme completo dei punti razionali.

2. Metodologia

L'autore sviluppa un approccio basato su metodi di discesa Galoisiana espliciti applicati ai gruppi di Selmer di Bloch–Kato, generalizzando la discesa classica per le varietà abeliane.

• Oggetto di studio: Invece di studiare il gruppo di Selmer $Sel_2(J)$ associato alla torsione 2 della Jacobiana (che approssima il gruppo di Mordell–Weil), il paper si concentra sul gruppo di Selmer di Bloch–Kato associato alla rappresentazione di Galois $\wedge^2 V_2 J$ (il quadrato esterno della rappresentazione 2-adica della Jacobiana).
• Discesa non abeliana: Il metodo utilizza una generalizzazione non abeliana della mappa $(x-T)$ di Schaefer. Si considera il quoziente massimo pro-2 del gruppo fondamentale étale della curva, $\pi_1^{et}(X_{\bar{K}} - \{\infty\}, b)$, e il suo quoziente 2-nilpotente $\Pi_2$.
• Estensioni miste e mappe di Kummer: L'autore costruisce mappe di Kummer non abeliane che associano punti della curva a classi di coomologia in $H^1(K, \Gamma)$, dove $\Gamma$ è un'estensione centrale di $J[4]$ per $\wedge^2 J[2]$.
• Condizioni locali (p=2): Una parte cruciale del lavoro consiste nel descrivere esplicitamente il sottospazio "crystalline" $H^1_f(\mathbb{Q}_2, \wedge^2 J[2])$ all'interno del gruppo di coomologia globale. Questo viene fatto utilizzando punti $p$-adici ($\mathbb{Z}_2$) della curva per costruire estensioni miste integrali e verificare condizioni di sollevabilità (liftability) per le classi di coomologia.
• Metodo di Chabauty–Coleman–Kim: Una volta stimato il rango del gruppo di Selmer di Bloch–Kato, si applica il metodo di Kim (una generalizzazione di Chabauty–Coleman) che utilizza il gruppo fondamentale unipotente $p$-adico per definire un insieme $X(\mathbb{Q}_p)_n$ contenente i punti razionali. Se la dimensione del gruppo di Selmer è sufficientemente piccola rispetto alla dimensione dello spazio dei cicli, l'insieme dei punti razionali è finito e calcolabile.

3. Contributi Chiave

Il paper introduce diversi risultati teorici e strumenti computazionali:

1. Descrizione esplicita di $H^1(K, \wedge^2 J[2])$:
   Viene fornita un'isomorfismo esplicito tra il gruppo di coomologia $H^1(K, \wedge^2 J[2])$ e il nucleo di una mappa di norma tra algebre étale:
   $$H^1(K, \wedge^2 J[2]) \simeq \text{Ker}\left( (K_f^{(2)})^\times \otimes \mathbb{F}_2 \xrightarrow{Nm} K_f^\times \otimes \mathbb{F}_2 \right)$$
   dove $K_f$ è l'algebra associata al polinomio definente la curva e $K_f^{(2)}$ è un'estensione quadratica specifica. Questo permette di calcolare il gruppo di Selmer usando unità di campi di numeri.

2. Formula esplicita per la classe di Kummer non abeliana:
   Viene derivata una formula esplicita per sollevare la classe di Kummer mod 4 di un punto $z$ (rispetto a un punto base $b$) a un elemento in $H^1(K, \wedge^2 J[2])$. La formula coinvolge radici quadrate di espressioni lineari nelle coordinate $x(z)$ e $x(b)$ e nelle radici del polinomio $f$.

3. Criteri di sollevabilità a $p=2$:
   L'autore risolve il problema tecnico di descrivere il sottospazio $H^1_f(\mathbb{Q}_2, \wedge^2 J[2])$ utilizzando la teoria delle estensioni miste integrali e condizioni di riduzione semistabile, permettendo di verificare se una classe globale ammette un sollevamento cristallino.

4. Algoritmo per il calcolo dei punti razionali:
   Viene proposto un algoritmo pratico che combina la stima del rango del gruppo di Selmer di Bloch–Kato con il metodo di Chabauty–Coleman–Kim di secondo ordine ($n=2$). Questo permette di trattare curve con rango di Mordell–Weil fuori dal range di Chabauty classico.

4. Risultati Principali

Il risultato principale è la determinazione completa dell'insieme dei punti razionali sulla curva di BMSST $X: y^2 - y = x^5 - x$.

• Teorema 1: L'autore dimostra che l'insieme dei punti razionali $X(\mathbb{Q})$ è finito e lo elenca esplicitamente. L'insieme contiene 17 punti (inclusi i punti all'infinito e le simmetrie), tra cui:
  $$\{ \infty, (0,0), (0,1), (1,0), (1,1), (2, -5), (2,6), (3, -15), (3,16), (-1,0), (-1,1), (30, -4929), (30, 4930), (1/4, 15/32), (1/4, 17/32), (-15/16, -185/1024), (-15/16, 1209/1024) \}$$
• Verifica di finitezza: Viene dimostrato che la dimensione del gruppo di Selmer di Bloch–Kato $H^1_f(\mathbb{Q}, \wedge^2 V)$ è sufficientemente piccola (specificamente $\le 2$) da garantire la finitezza dell'insieme $X(\mathbb{Q}_2)_2$ tramite il metodo di Kim.
• Risoluzione di un problema aperto: La risposta alla domanda posta da Bugeaud et al. nel 2008 è affermativa: i punti razionali possono essere determinati anche quando il rango della Jacobiana (3) supera il genere (2), superando i limiti dei metodi precedenti.

5. Significato e Implicazioni

Questo lavoro è di fondamentale importanza per la teoria dei numeri e la geometria aritmetica per diversi motivi:

• Superamento del limite di Chabauty: Fornisce un metodo pratico per calcolare i punti razionali su curve iperellittiche con Jacobiane di alto rango, un caso che era precedentemente intrattabile con metodi espliciti.
• Connessione tra Teoria di Galois e Geometria: Collega in modo esplicito la coomologia Galoisiana di rappresentazioni di peso negativo (motivi puri) con la geometria delle curve, realizzando concretamente le congetture di Bloch–Kato in contesti computazionali.
• Generalizzazione: Sebbene il paper si concentri su curve con un punto di Weierstrass razionale, i metodi sviluppati (inclusi i lavori successivi citati di Berry) promettono di estendersi a curve di genere superiore e senza punti di Weierstrass razionali.
• Strumento Computazionale: Offre un nuovo strumento algoritmico (implementato in Magma) che combina discesa di Selmer, mappe di Kummer non abeliane e altezza generalizzate, aprendo la strada a nuovi calcoli di punti razionali su varietà algebriche complesse.

In sintesi, il paper rappresenta un passo avanti significativo verso la risoluzione effettiva del problema di Mordell per le curve iperellittiche, fornendo un quadro teorico solido e algoritmi pratici per casi precedentemente considerati troppo complessi.