Existence of minimal del Pezzo surfaces of degree 1 with conic bundles over finite fields

1. Il Problema di Ricerca

Il paper affronta il problema inverso di Galois per le superfici di Del Pezzo di grado 1 definite su campi finiti $\mathbb{F}_q$.

• Contesto: Le superfici di Del Pezzo sono superfici razionali lisce con un divisore anticanonico $-K_X$ ampio. Il loro grado $d$ è definito come $K_X^2$, con $1 \le d \le 9$.
• Classificazione: Su un campo perfetto, le superfici di Del Pezzo sono classificate in base all'azione del gruppo di Galois assoluto sul reticolo di Picard. Questa azione induce un automorfismo nel gruppo di Weyl $W(R_{9-d})$. Per $d=1$, il sistema di radici è $E_8$, e il gruppo di Weyl $W(E_8)$ possiede 112 classi di coniugazione, ciascuna delle quali definisce un "tipo" di superficie.
• La Questione: Data una classe di coniugazione $C$ in $W(E_8)$, esiste una superficie di Del Pezzo di grado 1 su $\mathbb{F}_q$ il cui tipo è esattamente $C$?
• Stato dell'arte: Il problema è stato risolto completamente per gradi $d \ge 2$. Per $d=1$, la situazione era parzialmente risolta (ad esempio, in [BFL19] per alcuni valori di traccia), ma mancava una soluzione completa per tutti i tipi, in particolare per le superfici minime (indice 0) che ammettono una struttura di fascio di coniche.

2. Metodologia

L'autore utilizza due strategie distinte e complementari per dimostrare l'esistenza (o la non-esistenza) di queste superfici:

A. Costruzione tramite Fasci di Coniche (Sezioni 3 e 4)

Questa strategia si concentra sui tipi 1-7, che corrispondono alle superfici di Del Pezzo minime di grado 1 dotate di una struttura di fascio di coniche.

1. Caratterizzazione dei Fasci: Si utilizza un teorema di Rybakov [Ryb05] per caratterizzare i fasci di coniche standard minimi su $\mathbb{F}_q$ in base alla configurazione delle fibre singolari (punti razionali e punti di grado superiore su $\mathbb{P}^1$). Si stabilisce una corrispondenza biunivoca tra i tipi 1-7 e 7 configurazioni specifiche di fibre singolari.
2. Trasformazioni Elementari: Si parte da un fascio di coniche esistente (garantito da Rybakov per $q$ sufficientemente grandi) che potrebbe non essere una superficie di Del Pezzo (cioè $-K_X$ potrebbe non essere ampio).
3. Analisi dei Casi: Si classificano le superfici minime che non sono ancora Del Pezzo in base alla presenza di curve con auto-intersection negativa ($-K_X$ non nef o nef ma non ampio). Si identificano cinque casi (Proposizione 4.6).
4. Costruzione della Superficie: Si applicano trasformazioni elementari (blow-up di un punto su una fibra liscia seguito dalla contrazione della fibra trasformata) per eliminare le curve "cattive" (curve con auto-intersection $\le -2$ o sezioni con auto-intersection negativa).
5. Stime di Esistenza: Si calcolano limiti superiori per il numero di punti razionali "sbagliati" su una fibra liscia (punti su curve con auto-intersection negativa o punti singolari di curve anticanoniche). Se il numero totale di punti sulla fibra ($q+1$) supera questo limite, esiste un punto $P$ tale che la trasformazione elementare centrata in $P$ produce una superficie di Del Pezzo di grado 1 dello stesso tipo.

B. Strategie tramite Twist di Bertini (Sezione 5)

Per i tipi che non ammettono una struttura di fascio di coniche o per colmare i buchi per piccoli valori di $q$, si utilizza la proprietà del Twist di Bertini.

1. Dualità: Ogni superficie di Del Pezzo di grado 1 $X$ ammette un involuzione di Bertini $\beta$. Il "twist" quadratico $X_\alpha$ è un'altra superficie di Del Pezzo di grado 1. L'esistenza di $X$ è equivalente all'esistenza di $X_\alpha$.
2. Riduzione al Grado 2: Per i tipi 1, 2 e 4, il loro twist di Bertini (tipi 97, 105, 73) non è minimale e contiene una curva eccezionale ($(-1)$-curva) definita su $\mathbb{F}_q$. Contrarre questa curva produce una superficie di Del Pezzo di grado 2.
3. Problema Inverso per Grado 2: Si sfrutta la soluzione completa del problema inverso per il grado 2 ([LT20], [Tre20]). Se esiste una superficie di grado 2 di un certo tipo con un punto razionale $P$ che non giace sul "luogo cattivo" (curve $(-1)$ e divisore di ramificazione), allora il blow-up di $P$ genera una superficie di grado 1 del tipo desiderato.
4. Conteggio dei Punti: Si calcolano limiti superiori per il numero di punti nel "luogo cattivo" (usando il limite di Hasse-Weil per la curva di ramificazione e l'analisi delle orbite di Galois delle curve $(-1)$). Se il numero totale di punti razionali sulla superficie di grado 2 supera questo limite, esiste un punto "buono" per il blow-up.

3. Risultati Chiave

Teorema 1.1: Esistenza per Superfici Minime con Fascio di Coniche (Tipi 1-7)

L'autore risolve il problema inverso per i tipi 1-7, determinando i valori minimi di $q$ per l'esistenza:

• Tipo 1: Esiste se e solo se $q \ge 5$. (Non esiste per $q=2, 3$).
• Tipo 2: Esiste se e solo se $q \ge 3$.
• Tipo 3: Esiste se $q \ge 4$. (Non esiste per $q=2$).
• Tipo 4: Esiste se $q \ge 7$.
• Tipo 5: Esiste se $q \ge 4$.
• Tipi 6 e 7: Esistono per tutti i $q$.

Teorema 1.2: Esistenza per Fasci di Coniche Standard Minimi

Vengono forniti risultati simili per i fasci di coniche standard minimi (che includono superfici deboli di Del Pezzo), confermando le stesse soglie per $q$ in molti casi, con alcune eccezioni per $q=2,3$ per i tipi 1 e 3.

Teorema 1.3: Risoluzione per Tipi di Indice 8

Vengono risolti i casi per le superfici di Del Pezzo di grado 1 di indice 8 (che possono essere contratte a $\mathbb{P}^2$ su $\mathbb{F}_q$). Questo copre i tipi associati ai twist di Bertini delle superfici minime e altri.

• Esempi significativi:
  • Tipi 8 e 91: Esistono se e solo se $q=16$ o $q \ge 19$.
  • Tipi 44 e 92: Esistono se e solo se $q \ge 11$.
  • Tipi 20, 22, 49, 106-112: Esistono per tutti i $q$.
• Il teorema risolve il problema inverso per tutti i tipi di indice 8 tranne il tipo 108.

4. Contributi e Significatività

1. Completezza del Problema Inverso: Il lavoro fornisce una soluzione quasi completa al problema inverso di Galois per le superfici di Del Pezzo di grado 1 su campi finiti, colmando le lacune lasciate da studi precedenti (come [BFL19]) che trattavano solo valori di traccia specifici.
2. Metodologia Ibrida: L'integrazione di tecniche geometriche (trasformazioni elementari su fasci di coniche) con tecniche aritmetiche (conteggio dei punti su twist di Bertini e superfici di grado 2) rappresenta un approccio robusto per gestire sia i grandi che i piccoli campi finiti.
3. Limiti Esatti: A differenza di risultati precedenti che garantivano l'esistenza solo per $q$ "sufficientemente grande", questo paper determina esattamente quali piccoli valori di $q$ falliscono l'esistenza per certi tipi (ad esempio, dimostrando che il Tipo 1 non esiste su $\mathbb{F}_2$ o $\mathbb{F}_3$).
4. Strumenti Computazionali: L'uso di codice Magma per calcolare le intersezioni delle orbite di Galois e verificare l'esistenza per piccoli $q$ è fondamentale per chiudere i casi residui, rendendo i risultati verificabili e precisi.
5. Classificazione dei Tipi Minimi: La distinzione e la classificazione completa dei 7 tipi di superfici minime di grado 1 con struttura di fascio di coniche (Tipi 1-7) offre una comprensione più profonda della geometria di queste superfici su campi non algebricamente chiusi.

In sintesi, il paper rappresenta un passo fondamentale nella comprensione aritmetica delle superfici di Del Pezzo di grado 1, fornendo una mappa completa delle condizioni di esistenza in funzione della dimensione del campo finito e della classe di coniugazione di Galois.