Explicit desingularisation of Kummer surfaces in characteristic two via specialisation

Technische Samenvatting: Expliciete Desingularisatie van Kummer-oppervlakken in Karakteristiek Twee via Specialisatie

Probleemstelling
Kummer-oppervlakken, gedefinieerd als de quotient van een abeliaanse oppervlak door de inversie $P \mapsto -P$, zijn klassieke voorbeelden van K3-oppervlakken. Hoewel hun geometrie over velden met een karakter die niet gelijk is aan twee goed begrepen is — specifiek de existentie van expliciete modellen voor hun desingularisatie als de doorsnede van drie kwadratische vormen in $\mathbb{P}^5$ — is de situatie in karakteristiek twee aanzienlijk complexer. In karakteristiek twee is de 2-torsie subgroep van het abeliaanse oppervlak kleiner (isomorf aan $(\mathbb{Z}/2\mathbb{Z})^r$ waar $r \le 2$), wat leidt tot minder singuliere punten maar van hogere complexiteit (bijv. $D_4$, $D_8$, of elliptische singulariteiten). Eerdere pogingen om expliciete modellen voor deze oppervlakken in karakteristiek twee te construeren, zoals die van Müller, slaagden er niet in om gladde gedesingulariseerde modellen te genereren via de standaard doorsnede van kwadratische vormen. Bovendien verschilt het gedrag van Kummer-oppervlakken in karakteristiek twee fundamenteel van andere karakteristieken, wat vragen oproept over de vraag of klassieke constructies kunnen worden aangepast en of er voorbeelden van Kummer-oppervlakken met overal goede reductie bestaan over getalvelden.

Methodologie
De auteur hanteert een strategie van specialisatie vanuit karakteristiek nul naar karakteristiek twee. De kernmethodologie omvat:

1. Expliciete Inbeddingen: Het berekenen van een projectieve inbedding van de Jacobiaan $J$ van een genus twee curve $C$ als de doorsnede van 72 kwadratische vormen in $\mathbb{P}^{15}$. Dit wordt bereikt door een basis te construeren voor de lineaire systeem $|2(\Theta_+ + \Theta_-)|$, waarbij $\Theta$ de theta-divisoren representeert.
2. Basisconstructie via Smith Normaalvorm: Om de reductie modulo twee te behandelen, past de auteur een basis van oneven functies uit karakteristiek nul aan. Omdat directe reductie vaak leidt tot lineaire afhankelijkheid door het instorten van eigenwaarden $\pm 1$ naar $1$, wordt een algoritme (Algoritme 1) gebruikt om de Smith normaalvorm van de relatiematrix te berekenen. Dit levert een gemodificeerde basis op die goed reduceert naar karakteristiek twee, waardoor de resulterende elementen lineair onafhankelijk blijven.
3. Partiële Desingularisatie: Met behulp van de gereduceerde basis construeert de auteur een rationale afbeelding van het singuliere Kummer-oppervlak $X \subset \mathbb{P}^3$ naar een oppervlak $Y \subset \mathbb{P}^5$. Dit oppervlak $Y$ is gedefinieerd als de volledige doorsnede van drie kwadratische vormen. De afbeelding is een isomorfisme buiten de singuliere locus van $X$ en fungeert als een partiële desingularisatie.
4. Geometrische Analyse per p-rang: De geometrie van $Y$ en zijn singulariteiten worden afzonderlijk geanalyseerd voor de drie gevallen van de p-rang van de Jacobiaan: ordelijk ($r=2$), bijna ordelijk ($r=1$), en supersingulier ($r=0$). De auteur maakt gebruik van de theorie van "tropes" (speciale conica op het Kummer-oppervlak) en hun gedrag onder specialisatie om de exceptionele divisoren en de resulterende singulariteiten van $Y$ te beschrijven.
5. Criterium voor Goede Reductie: Om de existentie van Kummer-oppervlakken met overal goede reductie aan te pakken, past het paper een criterium van Lazda en Skorobogatov toe. Dit houdt in dat de actie van de absolute Galois-groep op de 2-torsiepunten van de Jacobiaan over een kwadratisch getalveld wordt geanalyseerd, specifiek door te controleren of de exacte sequentie van 2-torsie modules splitst bij reductie.

Belangrijkste Bijdragen en Resultaten

• Expliciete Modellen in Karakteristiek Twee: Het paper biedt de eerste expliciete vergelijkingen voor de Jacobiaan van een algemene genus twee curve in karakteristiek twee als de doorsnede van 72 kwadratische vormen in $\mathbb{P}^{15}$ (Stelling 4.1).
• Partiële Desingularisatie: Het construeert een model voor een partiële desingularisatie van het Kummer-oppervlak als de doorsnede van drie kwadratische vormen in $\mathbb{P}^5$ (Stelling 3.1). Het paper classificeert de singulariteiten van dit model op basis van de p-rang:
  • Ordelijk: $Y$ heeft 12 singulariteiten van type $A_1$.
  • Bijna Ordelijk: $Y$ heeft 2 singulariteiten van type $D_4^0$ en 2 van type $A_3$.
  • Supersingulier: $Y$ heeft een elliptische singulariteit van type $A^*_{0} + A^*_{0} + A^*_{0} + A^*_{0} + A^*_{0}$ (in Laufer's notatie).
• Geometrische Beschrijving van Tropes: Het paper breidt de klassieke beschrijving van tropes uit naar karakteristiek twee, waarbij wordt gedetailleerd hoe zij specialiseren en hoe hun intersecties met exceptionele divisoren de singulariteitsstructuur van het gedesingulariseerde model bepalen.
• Existentie van Overal Goede Reductie: Het paper bewijst de existentie van Kummer-oppervlakken met overal goede reductie over een getalveld (Stelling 1.2). Specifiek construeert het een expliciet voorbeeld over het kwadratische veld $\mathbb{Q}(\sqrt{353})$ waar het geassocieerde Kummer-oppervlak goede reductie heeft bij alle priemgetallen, inclusief die boven 2. Dit wordt bereikt door te verifiëren dat de Galois-actie op de 2-torsiepunten van de Jacobiaan compatibel is met de reductie, waardoor de relevante exacte sequentie kan splitsen zonder dat een veldluitbreiding vereist is voor het specifieke voorbeeld.
• Beperkingen en Extensies: Het paper merkt op dat hoewel goede reductie bij 2 mogelijk is, dit niet gegarandeerd is voor alle curves met overal goede reductie. Voor "bijna ordelijke" gevallen kan de minimale uitbreiding die nodig is om goede reductie te bereiken van een hogere graad zijn (bijv. graad 12), en voor supersinguliere gevallen wordt de existentie van een model met goede reductie gegarandeerd door de stelling van Matsumoto, maar de expliciete uitbreiding wordt niet geleverd.

Significantie
Het paper demonstreert dat de klassieke geometrische constructies van Kummer-oppervlakken en hun desingularisaties, die traditioneel beperkt zijn tot karakteristiek nul of oneven karakteristiek, succesvol kunnen worden aangepast aan karakteristiek twee via specialisatie. Dit overbrugt een kloof in het begrip van K3-oppervlakken in positieve karakteristiek, wat bijzonder relevant is voor cryptografische toepassingen betreffende isogenie-gebaseerde protocollen (zoals SIDH) die vaak moeite hebben in karakteristiek twee. Door expliciete vergelijkingen en een volledige geometrische classificatie van de singulariteiten te bieden, maakt dit werk computationele verificatie en verdere studie van deze oppervlakken mogelijk. Verder lost de constructie van een Kummer-oppervlak met overal goede reductie over een kwadratisch veld een specifieke openstaande vraag op over de existentie van dergelijke K3-oppervlakken, wat contrasteert met de niet-existentie van abeliaanse variëteiten met overal goede reductie over $\mathbb{Q}$. Het paper benadrukt dat deze resultaten constructief zijn, ondersteund door code die de berekening van expliciete vergelijkingen voor de beschreven variëteiten mogelijk maakt.