Rank jumps for Jacobians of Hyperelliptic curves on K3 surfaces

1. Il Problema

Il paper si concentra sul fenomeno dei salti di rango Mordell-Weil (rank jumps) nelle famiglie di varietà abeliane definite su un campo di numeri $k$.
Sia $k$ un campo di numeri, $S$ una curva liscia e $\eta: A \to S$ una famiglia non costante di varietà abeliane con fibra generica $A$. Per il teorema di Lang-Néron, il gruppo di Mordell-Weil $A(k(S))$ è finitamente generato; sia $r(\eta, k)$ il suo rango.
Per un punto $s \in S(k)$, sia $A_s$ la fibra corrispondente e $r_s$ il suo rango su $k$. Il teorema di specializzazione di Silverman (basato su Neron) garantisce che $r_s \ge r(\eta, k)$ per tutti tranne un numero finito di punti.
L'obiettivo è studiare l'insieme dei punti in cui avviene un salto di rango:
$$R(\eta, k) = \{ s \in S(k) \mid r_s > r(\eta, k) \}$$
In particolare, gli autori investigano se questo insieme sia infinito o, in casi più forti, non "sottile" (non thin) su un opportuno estensione di campo. Il contesto specifico è quello delle fibrazioni di Jacobiane associate a un fascio di curve di genere 2 su una superficie K3 definita su $k$.

2. Metodologia

L'approccio degli autori si distacca dai metodi classici basati sui numeri di radice (Rohrlich) o sulla teoria delle altezze, focalizzandosi invece sulla costruzione di multisezioni che inducano salti di rango dopo un cambio di base.

• Strumento Principale: L'uso delle multisezioni "saliently ramified" (ramificate in modo saliente), un concetto introdotto da Bogomolov e Tschinkel. Una multisezione $M$ è saliently ramified se la mappa composta dal suo normalizzato alla base è ramificata sopra l'aperto delle fibre lisce.
• Meccanismo di Salto: Il Lemma 2.4 dimostra che se esiste una multisezione saliently ramified $M$, allora il rango generico della fibrazione dopo il cambio di base lungo $M$ è strettamente maggiore del rango originale.
• Teorema di Specializzazione: Combinando il Lemma 2.4 con il Teorema di Specializzazione (Thm 2.1), si dimostra che se la multisezione ha infiniti punti razionali (su un'estensione di campo), allora l'insieme dei salti di rango è infinito (Proposizione 2.5).
• Geometria delle Superfici K3: Gli autori sfruttano la realizzazione delle superfici K3 contenenti curve di genere 2 come doppi piani coperti ramificati lungo una curva piana sestica $B \subset \mathbb{P}^2_k$. Le curve del fascio sono ottenute come pull-back di rette in $\mathbb{P}^2$.

3. Risultati Principali

Teorema 1.1 (Salto di Rango Infinito)

Se la curva sestica di ramificazione $B$ contiene una componente geometricamente irriducibile non lineare definita su $k$, allora esiste un'estensione di campo $l/k$ di grado al massimo 12 tale che l'insieme dei salti di rango $R(\eta, l)$ è infinito.

• Meccanismo: Si costruisce una multisezione di genere 1 (la pull-back di una retta tangente a una componente non lineare di $B$) che è saliently ramified.

Teorema 1.2 (Salto di Rango Non Sottile)

Se $B$ ammette una singolarità semplice definita su $k$, allora esiste un'estensione $l/k$ di grado al massimo 18 tale che $R(\eta, l)$ non è un insieme sottile (non thin) in $\mathbb{P}^1_l$.

• Meccanismo: La presenza di una singolarità permette di definire un fascio di curve di genere 1. Le fibre di questo fascio agiscono come multisezioni saliently ramified per il fascio di genere 2. Utilizzando la proprietà di Hilbert e risultati sulla densità, si dimostra che i salti di rango sono "abbondanti" (non contenuti in un'unione finita di sottovarietà proprie o immagini di mappe generiche finite di grado $\ge 2$).

Corollari e Applicazioni

• Corollario 1.4: Per una superficie K3 generica nella famiglia $L_d$ (con $d > 3, d \equiv 3 \pmod 4$), i salti di rango avvengono già sul campo base $k$ (o su un'estensione di grado 2) e l'insieme non è sottile.
• Corollario 1.5: Nello spazio dei moduli grezzo delle superfici K3 di grado 2, esiste una famiglia densa di superfici definite su $\mathbb{Q}$ tali che esiste un insieme denso di curve nel sistema lineare completo con Jacobiana di rango Mordell-Weil positivo su $\mathbb{Q}$.

4. Contributi Chiave e Innovazioni

1. Indipendenza dall'Unirazionalità: A differenza di risultati precedenti (es. Hindry-Salgado, Colliot-Thélène) che richiedevano che la varietà fosse $k$-unirazionale o l'esistenza di una varietà $W$ con la proprietà di Hilbert, questo lavoro non assume tali condizioni. Funziona anche per superfici K3 che ammettono al massimo una fibrazione di genere 1 (o nessuna), dove la proprietà di Hilbert è generalmente sconosciuta.
2. Stime Esplicite sui Gradi: Forniscono stime quantitative esplicite per il grado dell'estensione di campo necessaria ($[l:k] \le 12$ o $18$) per garantire l'esistenza di salti di rango. Stime simili non sono ottenibili direttamente dai teoremi generali sulla proprietà di Hilbert.
3. Costruzione Esplicita di Multisezioni: Dimostrano come costruire esplicitamente multisezioni di genere 1 (rigide o in famiglie lineari) a partire dalla geometria della curva sestica di ramificazione (tangenti a componenti non lineari o rette passanti per singolarità).
4. Estensione a Sistemi Lineari Completi: Il Corollario 3.14 estende i risultati dai fasci (pencils) all'intero sistema lineare completo, dimostrando che l'insieme delle curve con Jacobiana a rango elevato è denso (o non sottile) nello spazio dei parametri.

5. Significato e Impatto

Questo lavoro è significativo perché:

• Nuove Famiglie di Fibrati: Fornisce nuove famiglie di fibrati abeliani (Jacobiane di curve di genere 2 su K3) che soddisfano la proprietà di salto di rango, anche in casi dove i metodi precedenti (basati sulla proprietà di Hilbert) non potevano essere applicati.
• Controllo Geometrico: Collega direttamente le proprietà aritmetiche (salti di rango) alla geometria della curva di ramificazione (presenza di componenti non lineari o singolarità), offrendo un criterio verificabile per determinare l'esistenza di salti di rango.
• Applicabilità su $\mathbb{Q}$: Dimostra che per molte superfici K3 definite su $\mathbb{Q}$, è possibile trovare curve con Jacobiane di rango positivo direttamente su $\mathbb{Q}$, senza bisogno di estensioni di campo complesse, contribuendo alla comprensione della distribuzione dei punti razionali su varietà di dimensione superiore.

In sintesi, il paper combina tecniche di geometria algebrica (superfici K3, fibrati, risoluzione delle singolarità) con la teoria dei numeri (proprietà di Hilbert, teoremi di specializzazione) per risolvere un problema aritmetico specifico su una classe di varietà che non era stata trattata in modo esaustivo dai metodi esistenti.