Reduction Types of Genus 2 Curves

Technische Samenvatting: Reductietypen van Genus 2 Curven

Probleemstelling
De arithmetische invarianten van algebraïsche curven over lokale velden zijn fundamenteel voor het begrijpen van hun globale gedrag. Voor elliptische curven bood J. Tate een baanbrekende classificatie (gereproduceerd door Silverman) die deze invarianten—zoals het reductietype van het minimale reguliere model, de Néron-componentgroep, de conductor-exponent en de valentie van de discriminant—samenvat in termen van Kodaira-symbolen. Dit artikel behandelt de afwezigheid van een analoge, uitgebreide classificatie voor curven van genus 2. Hoewel Namikawa en Ueno eerder de speciale vezels van genus 2 curven over $\mathbb{C}[t]$ classificeerden, ontbrak een systematische tabel die deze reductietypen koppelt aan arithmetische invarianten over algemene lokale velden (specifiek met betrekking tot minimale reguliere modellen, Néron-componentgroepen en discriminanten). De auteurs beogen deze kloof te vullen door een reeks tabellen te presenteren die de belangrijkste arithmetische invarianten van genus 2 curven over een volledig discreet gevaloriseerd veld $K$ classificeren in termen van hun reductietype.

Methodologie
De auteurs hanteren een combinatorische benadering, waarbij reductietypen worden behandeld als objecten die gedefinieerd worden door de geometrie van de speciale vezel van een regulier model, onafhankelijk van het specifieke onderliggende veld (behalve voor kleine residu-karakteristieken). De methodologie steunt op drie primaire pijlers:

1. Definities van Reductietypen: Het artikel definieert formeel het "reductietype" van een minimaal regulier model (MRM) en een minimaal regulier model met normale kruisingen (MRNC). Deze data omvat de componenten van de speciale vezel, hun veelvuldigheden en geometrische genera, snijparen en de aard van de singulariteiten. De auteurs vestigen een 1-op-1 correspondentie tussen MRM- en MRNC-reductietypen voor genus 2 curven, waardoor zij de bestaande Namikawa–Ueno classificatie kunnen gebruiken terwijl zij deze verfijnen om potentiële stabiele typen te bevatten.
2. Cluster Pictures: Als vervanging voor de valentie van de $j$-invariant en de discriminant (die in genus 2 de reductietypen niet direct bepalen), maken de auteurs gebruik van "cluster pictures". Deze, geïntroduceerd door Dokchitser et al., coderen de $v$-adische configuratie van de wortels van het definiërende polynoom $f(x)$ van een hyperelliptische curve $y^2=f(x)$. De auteurs definiëren een equivalentierelatie op abstracte cluster pictures die overeenkomt met veranderingen van Weierstrass-vergelijkingen over $K$. Zij bewijzen dat voor tamme curven met $p \neq 2$, deze equivalentieklassen bijectief overeenkomen met paren van (MRM-reductietype, potentieel stabiel type).
3. Berekening van Invarianten:
   • Néron-componentgroepen: In plaats van grote snijmatrices te manipuleren, gebruiken de auteurs een nieuwe techniek (Theorema 1.3) die de Néron-componentgroep relateert aan de torsiegroep van de co-invarianten van de monodromie-operator werkend op de homologie van een hulpcurve over $\mathbb{C}[t]$. Zij gebruiken de door Namikawa en Ueno geclassificeerde monodromie-matrices om deze groepen expliciet te berekenen.
   • Conductors en Discriminanten: De tamme conductor-exponent wordt afgeleid van de abeliens en torische rangen van de speciale vezel. De valentie van de minimale discriminant ($v(\Delta_{min})$) en de BSD "fudge factor" ($v(\omega_{min}/\omega_0)$) worden berekend met behulp van gegeneraliseerde Ogg-formules en de eigenschappen van cluster pictures, specifiek door te identificeren welke cluster pictures overeenkomen met minimale Weierstrass-modellen.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is de presentatie van Tabellen 7.1 tot en met 7.7, die 106 families van reductietypen (gegroepeerd per potentieel stabiel type) categoriseren en de bijbehorende arithmetische invarianten vermelden. Voor elk reductietype bieden de tabellen:

• Het corresponderende MRNC-reductietype.
• De Néron-componentgroep van de Jacobiaan.
• Het tame deel van de conductor-exponent.
• De voorwaarde voor tamme reductie (afhankelijkheid van de residu-karakteristiek $p$).
• Het potentiële stabiele type (voor $p \neq 2$).
• De valentie van de discriminant van een minimaal Weierstrass-model ($v(\Delta_{min})$).
• De valentie van de ratio van de minimale volumevorm tot de Néron-volumevorm ($v(\omega_{min}/\omega_0)$).
• Een volledige lijst van cluster pictures (inclusief de valentie van de leidende coëfficiënt $v_c$) die leiden tot dat specifieke reductietype.

Specifieke technische bevindingen omvatten:

• Corollary 1.4: Voor tamme curven met $p \neq 2$ wordt het MRM-reductietype over een eindige uitbreiding $L/K$ bepaald door het MRM-reductietype over $K$, het potentiële stabiele type en de graad van de uitbreiding.
• Theorem 1.10: Een theoretische toepassing die bewijst dat de groep $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/4\mathbb{Z}$ niet voorkomt als het $p$-vrije deel van de Néron-componentgroep van een principaal gepolariseerde abeliens oppervlak met potentieel goede reductie.
• Expliciete Realisatie: De tabellen bieden expliciete recepten (via cluster pictures) voor het construeren van Weierstrass-vergelijkingen die elk gegeven reductietype realiseren, mits $p \neq 2$ (en $p \neq 3, 5$ in wilde gevallen).

Betekenis en Claims
De auteurs stellen dat hun werk een "analoge set tabellen" biedt aan de tabellen van Tate voor elliptische curven, dienend als een praktisch referentiekader voor de lokale arithmetik van genus 2 curven. Zij benadrukken dat de classificatie in essentie onafhankelijk is van het onderliggende lokale veld, waarbij reductietypen fungeren als puur combinatorische objecten.

De auteurs claimen dat voor tamme curven met $p \neq 2$, de cluster picture een superieur invariant is aan het MRM-type alleen, omdat het zowel het MRM-reductietype als de $\ell$-adische Galois-representatie herstelt. Zij merken bescheiden op dat hoewel het MRM-reductietype soms cruciale data kan missen (zoals het potentiële stabiele type in specifieke gevallen zoals Namikawa–Ueno labels $II^*_{t-m}$ en $2I^*_{m-t}$), hun tabellen deze ambiguïteit oplossen door het potentiële stabiele type als een inputparameter op te nemen.

Het werk wordt gepresenteerd als een classificatie-instrument in plaats van een bron van nieuwe theoretische conjecturen. De auteurs benadrukken dat hun tabellen directe berekening van invarianten zoals de conductor en de discriminant mogelijk maken zonder complexe algoritmen op specifieke curve-vergelijkingen uit te voeren, mits het reductietype bekend is. Zij erkennen dat de casus van residu-karakteristiek $p=2$ complexer blijft en dat de realisatie van alle reductietypen in karakteristiek 2 nog niet volledig bekend is. Het artikel concludeert door op te merken dat de verstrekte classificatie alle mogelijke MRM-typen voor genus 2 curven in alle karakteristieken dekt onder hun definitie, gebaseerd op de volledigheid van de Namikawa–Ueno classificatie.