Tropical methods for stable octic double planes

Technische Samenvatting: Tropische Methoden voor Stabiele Octische Dubbele Vlakken

Probleemstelling
Het artikel behandelt de classificatie van de Kollár–Shepherd-Barron–Alexeev (KSBA) moduli-ruimte van oppervlakken van algemeen type met vaste Chern-getallen $K^2=2$ en $p_g=3$. Deze gladde oppervlakken zijn octische dubbele vlakken (dubbele bedekkingen van $\mathbb{P}^2$ vertakt over een gladde octische curve). Hoewel de KSBA-compactificatie ook singuliere "stabiele" oppervlakken omvat, zijn de randstrata die overeenkomen met niet-Gorensteijn singulariteiten grotendeels onverkend gebleven. Vorig werk door Anthes classificeerde de Gorensteijn-limieten en leverde initiële voorbeelden van niet-Gorensteijn limieten. Dit artikel beoogt systematisch alle normale KSBA-stabiele oppervlakken in deze moduli-ruimte te classificeren die een $\mathbb{Q}$-Gorensteijn smoothing naar een glad octisch dubbel vlak toelaten, met een specifieke focus op het niet-Gorensteijn geval.

Methodologie
De auteurs maken gebruik van technieken uit de tropische meetkunde en spiegelmeetkunde (mirror symmetry), specifiek het raamwerk ontwikkeld door Gross, Hacking, Keel en Kontsevich (GHK), om de casusanalyse van oppervlakte-degeneraties te organiseren.

1. Reductie tot Manetti-oppervlakken: De auteurs stellen vast dat elk normaal KSBA-limiet van een octisch dubbel vlak een dubbele bedekking is van een degeneratie van $\mathbb{P}^2$. Door verwijzing naar het werk van Bădescu, Manetti, Hacking en Prokhorov, beperken zij de basisoppervlakken tot "Manetti-oppervlakken"—degeneraties van $\mathbb{P}^2$ met hoogstens quotient-singulariteiten (specifiek Wahl-singulariteiten en eenvoudige elliptische singulariteiten). Zij bewijzen dat eenvoudige elliptische singulariteiten niet kunnen voorkomen in de basis van een log-canonieke octische dubbele bedekking, waardoor alleen Manetti-oppervlakken met Wahl-singulariteiten overblijven.
2. Spiegel-tropicalisatie: De geometrie van deze Manetti-oppervlakken wordt gecodeerd via "spiegel-tropicalisaties" (integrale affiene manifolds). De auteurs maken gebruik van de correspondentie tussen Manetti-oppervlakken en Markov-triples $(a, b, c)$ die voldoen aan $a^2+b^2+c^2=3abc$. Torische Manetti-oppervlakken komen overeen met gewogen projectieve vlakken $\mathbb{P}(a^2, b^2, c^2)$, terwijl niet-torische varianten (aangeduid als $HP(S)$) overeenkomen met partiële smoothings van deze vlakken.
3. Enumeratie van Secties: De vertakkingscurven van de dubbele bedekkingen komen overeen met secties van een specifieke lijnbundel. In het tropische plaatje zijn deze secties in bijeenhangende relatie met gehele punten binnen de spiegel-tropicalisatie-polygon. De auteurs enumereren deze gehele punten voor alle relevante Markov-triples.
4. Discrepantie-berekening: Gebruikmakend van de tropische data, berekenen de auteurs de discrepanties van de singulariteiten van het paar $(Y, \frac{1}{2}B)$, waarbij $Y$ het basis Manetti-oppervlak is en $B$ de vertakkingscurve. Een noodzakelijke voorwaarde voor de dubbele bedekking om KSBA-stabiel te zijn, is dat het paar log-canonieke is (discrepanties $\geq -1$).
5. Mutatie en Inductie: De auteurs gebruiken "mutaties" van de tropische polygonen (analoog aan mutaties van Markov-triples) om inductief oneindig veel gevallen uit te sluiten. Zij demonstreren dat voor de meeste Manetti-oppervlakken de vertakkingscurve noodzakelijkerwijs een veelvoudige component of singulariteiten verkrijgt die de log-canonieke conditie schenden.

Belangrijkste Bijdragen en Resultaten

• Classificatie-stelling: Het artikel biedt een volledige classificatie van normale KSBA-stabiele oppervlakken met $K^2=2, p_g=3$ die een $\mathbb{Q}$-Gorensteijn smoothing toelaten. De stabiele oppervlakken vallen in vier categorieën:

  1. Dubbele bedekkingen van $\mathbb{P}^2$ vertakt over singuliere octieken (Gorensteijn-limieten, eerder geclassificeerd door Anthes).
  2. Dubbele bedekkingen van $Y = \mathbb{P}(1, 1, 4)$ vertakt over een curve van gewogen graad 16. Deze kunnen twee $\frac{1}{4}(1,1)$ singulariteiten bezitten of specifieke mandjes (baskets) van singulariteiten voortvloeiend uit $\mathbb{Z}/2$-quotienten van eenvoudige elliptische of cusp-singulariteiten.
  3. Dubbele bedekkingen van $Y = \mathbb{P}(1, 4, 25)$ vertakt over een curve van gewogen graad 80. Deze bezitten een $\frac{1}{50}(1, 29)$ singulariteit en één van de mandjes die vermeld staan voor $\mathbb{P}(1, 1, 4)$.
  4. Dubbele bedekkingen van het niet-torische Manetti-oppervlak $HP(5)$ (een partiële smoothing van $\mathbb{P}(1, 4, 25)$). Deze bezitten een $\frac{1}{50}(1, 29)$ singulariteit.

• Uitsluiting van Hogere Markov-getallen: Een significant resultaat is het bewijs dat Manetti-oppervlakken geassocieerd met Markov-getallen $c \notin \{1, 2, 5, 13, 29, 34\}$ (en hun bijbehorende niet-torische varianten) geen log-canonieke dubbele bedekkingen opleveren. De auteurs tonen aan dat voor deze oppervlakken de vertakkingscurve noodzakelijkerwijs een component met een veelvoud $\geq 2$ bevat of dat de resulterende singulariteiten de log-canonieke conditie schenden.

• Gedetailleerde Analyse van Singulariteiten: Het artikel geeft expliciete beschrijvingen van de minimale resoluties voor de niet-Gorensteijn gevallen.

  • Voor $Y=\mathbb{P}(1, 1, 4)$ analyseren de auteurs de gevallen waarin de vertakkingscurve door de singulariteit gaat. Zij identificeren duale grafieken voor de minimale resoluties, die $\mathbb{Z}/2$-quotienten van eenvoudige elliptische of cusp-singulariteiten bevatten.
  • Zij stellen grenzen vast aan de parameters van deze singulariteiten (bijv. voor het cusp-geval: $t \leq 19$ en $t_1 + t_2 \leq 38$, met een conjectuur dat $t_1 + t_2 \leq 21$).
  • Zij construeren expliciet de $\frac{1}{50}(1, 29)$ Wahl-singulariteit die voortkomt uit de $\mathbb{P}(1, 4, 25)$ en $HP(5)$ gevallen.

• Structuur van de Moduli-ruimte: De auteurs berekenen de dimensies van de strata in de KSBA-rand die overeenkomen met deze singuliere oppervlakken. Zij tonen aan dat de strata genest zijn (bijv. $D^{IIc}_Y \subset D^{IIb}_Y \subset D^{IIa}_Y \subset D^I_Y$) en bepalen hun codimensies ten opzichte van de 36-dimensionale moduli-ruimte van gladde octische dubbele vlakken.

Betekenis en Claims
Het artikel claimt dat tropische meetkunde en spiegelmeetkunde een krachtig, systematisch raamwerk bieden voor het organiseren van de complexe casusanalyse die vereist is voor het bestuderen van KSBA-moduli-ruimtes nabij de Noether-lijn ($2p_g = K^2 + 4$). Door het classificeren van oppervlakte-degeneraties te vertalen naar het combinatorische probleem van het tellen van gehele punten in tropische polygonen en het analyseren van hun mutaties, zijn de auteurs in staat geweest een anders onhandelbaar classificatieprobleem te beheersen.

Het werk breidt het begrip van KSBA-stabiele oppervlakken uit voorbij het Gorensteijn geval, en levert de eerste uitgebreide lijst van niet-Gorensteijn limieten voor octische dubbele vlakken. De auteurs merken op dat hoewel hun technieken gemotiveerd zijn door de studie van Horikawa-oppervlakken (die op of nabij de Noether-lijn liggen), de specifieke classificatie van het $K^2=2, p_g=3$ geval dient als een fundamentele stap. Zij stellen expliciet dat zij niet alle combinaties van Gorensteijn en niet-Gorensteijn singulariteiten hebben bestudeerd, noch hebben zij bepaald welke specifieke combinaties van de geïdentificeerde mandjes realiseerbaar zijn, hoewel zij de existentie van de strata bewijzen. Het artikel benadrukt ook dat hoewel de geïdentificeerde oppervlakken KSBA-stabiel zijn, de meeste niet smoothbaar zijn in de zin van het hebben van verdwijnende lokale-naar-globale obstructiegroepen, hoewel ze rationeel kunnen worden teruggebracht (blown down) naar gladde 4-manifolds.