Explicit desingularisation of Kummer surfaces in characteristic two via specialisation

Sintesi Tecnica: Desingularizzazione Esplicita di Superfici di Kummer in Caratteristica Due tramite Specializzazione

Enunciato del Problema
Le superfici di Kummer, definite come il quoziente di una superficie abeliana per l'inviluppo $P \mapsto -P$, sono esempi classici di superfici K3. Mentre la loro geometria su campi con caratteristica diversa da due è ben compresa — specificamente l'esistenza di modelli espliciti per la loro desingularizzazione come intersezione di tre quadriche in $\mathbb{P}^5$ — la situazione in caratteristica due è significativamente più complessa. In caratteristica due, il sottogruppo dei 2-torsioni della superficie abeliana è più piccolo (isomorfo a $(\mathbb{Z}/2\mathbb{Z})^r$ dove $r \le 2$), portando a meno punti singolari ma di maggiore complessità (ad esempio, singolarità $D_4$, $D_8$ o ellittiche). I tentativi precedenti di costruire modelli espliciti per queste superfici in caratteristica due, come quelli di Müller, non sono riusciti a generare modelli desingularizzati regolari tramite la standard intersezione di quadriche. Inoltre, il comportamento delle superfici di Kummer in caratteristica due differisce fondamentalmente da altre caratteristiche, sollevando questioni sul fatto se le costruzioni classiche possano essere adattate e se esistano esempi di superfici di Kummer con riduzione ovunque buona su campi numerici.

Metodologia
L'autore impiega una strategia di specializzazione dalla caratteristica zero alla caratteristica due. La metodologia centrale prevede:

1. Embeddings Espliciti: Calcolo di un embedding proiettivo del Jacobiano $J$ di una curva di genere due $C$ come intersezione di 72 quadriche in $\mathbb{P}^{15}$. Ciò viene ottenuto costruendo una base per il sistema lineare $|2(\Theta_+ + \Theta_-)|$, dove $\Theta$ rappresenta i divisori theta.
2. Costruzione della Base tramite Forma Normale di Smith: Per gestire la riduzione modulo due, l'autore adatta una base di funzioni dispari dalla caratteristica zero. Poiché la riduzione diretta porta spesso alla dipendenza lineare a causa del collasso degli autovalori $\pm 1$ in $1$, viene utilizzato un algoritmo (Algoritmo 1) per calcolare la forma normale di Smith della matrice di relazione. Ciò fornisce una base modificata che si riduce bene in caratteristica due, garantendo che gli elementi risultanti rimangano linearmente indipendenti.
3. Desingularizzazione Parziale: Utilizzando la base ridotta, l'autore costruisce una mappa razionale da una superficie di Kummer singolare $X \subset \mathbb{P}^3$ a una superficie $Y \subset \mathbb{P}^5$. Questa superficie $Y$ è definita come l'intersezione completa di tre quadriche. La mappa è un isomorfismo al di fuori del luogo singolare di $X$ e agisce come una desingularizzazione parziale.
4. Analisi Geometrica per p-rank: La geometria di $Y$ e le sue singolarità sono analizzate separatamente per i tre casi del p-rank del Jacobiano: ordinario ($r=2$), quasi ordinario ($r=1$) e supersingolare ($r=0$). L'autore utilizza la teoria dei "tropi" (coniche speciali sulla superficie di Kummer) e il loro comportamento sotto specializzazione per descrivere i divisori eccezionali e le singolarità risultanti di $Y$.
5. Criterio di Buona Riduzione: Per affrontare l'esistenza di superfici di Kummer con riduzione ovunque buona, il saggio applica un criterio di Lazda e Skorobogatov. Ciò comporta l'analisi dell'azione del gruppo di Galois assoluto sui punti di 2-torsione del Jacobiano su un campo numerico quadratico, verificando specificamente se la sequenza esatta dei moduli di 2-torsione si scinde mediante riduzione.

Contributi Chiave e Risultati

• Modelli Espliciti in Caratteristica Due: Il saggio fornisce le prime equazioni esplicite per il Jacobiano di una curva generica di genere due in caratteristica due come intersezione di 72 quadriche in $\mathbb{P}^{15}$ (Teorema 4.1).
• Desingularizzazione Parziale: Costruisce un modello per una desingularizzazione parziale della superficie di Kummer come intersezione di tre quadriche in $\mathbb{P}^5$ (Teorema 3.1). Il saggio classifica le singolarità di questo modello in base al p-rank:
  • Ordinario: $Y$ ha 12 singolarità di tipo $A_1$.
  • Quasi Ordinario: $Y$ ha 2 singolarità di tipo $D_4^0$ e 2 di tipo $A_3$.
  • Supersingolare: $Y$ ha una singolarità ellittica di tipo $A^*_{0} + A^*_{0} + A^*_{0} + A^*_{0} + A^*_{0}$ (nella notazione di Laufer).
• Descrizione Geometrica dei Tropi: Il saggio estende la descrizione classica dei tropi alla caratteristica due, dettagliando come essi si specializzano e come le loro intersezioni con i divisori eccezionali determinano la struttura delle singolarità del modello desingularizzato.
• Esistenza di Riduzione Ovunque Buona: Il saggio prova l'esistenza di superfici di Kummer con riduzione ovunque buona su un campo numerico (Teorema 1.2). Nello specifico, costruisce un esempio esplicito su $\mathbb{Q}(\sqrt{353})$ dove la superficie di Kummer associata ha buona riduzione in tutti i primi, inclusi quelli sopra 2. Ciò è ottenuto verificando che l'azione di Galois sui punti di 2-torsione è compatibile con la riduzione, permettendo la scissione della sequenza esatta rilevante senza richiedere un'estensione di campo per l'esempio specifico fornito.
• Limitazioni ed Estensioni: Il saggio nota che, sebbene la buona riduzione a 2 sia possibile, essa non è garantita per tutte le curve con riduzione ovunque buona. Per i casi "quasi ordinari", l'estensione minima richiesta per ottenere la buona riduzione può essere di grado superiore (ad esempio, grado 12), e per i casi supersingolari, l'esistenza di un modello di buona riduzione è garantita dal teorema di Matsumoto, ma l'estensione esplicita non viene fornita.

Significatività
Il saggio dimostra che le costruzioni geometriche classiche delle superfici di Kummer e delle loro desingularizzazioni, tradizionalmente ristrette alla caratteristica zero o alla caratteristica dispari, possono essere adattate con successo alla caratteristica due tramite specializzazione. Questo colma una lacuna nella comprensione delle superfici K3 in caratteristica positiva, il che è particolarmente rilevante per le applicazioni crittografiche che coinvolgono protocolli basati su isogenie (come SIDH) che spesso incontrano difficoltà in caratteristica due. Fornendo equazioni esplicite e una completa classificazione geometrica delle singolarità, il lavoro abilita la verifica computazionale e lo studio ulteriore di queste superfici. Inoltre, la costruzione di una superficie di Kummer con riduzione ovunque buona su un campo quadratico risolve una specifica questione aperta riguardante l'esistenza di tali superfici K3, contrastando con la non esistenza di varietà abeliane con riduzione ovunque buona su $\mathbb{Q}$. Il saggio sottolinea che questi risultati sono costruttivi, supportati da codice che permette il calcolo delle equazioni esplicite per le varietà descritte.