Explicit birational geometry of determinantal quartic 3-folds

Probleemstelling
Het artikel onderzoekt de expliciete birationale geometrie van lineaire determinantale quartische drieën in $\mathbb{P}^4$. Terwijl gladde cubische drieën goed begrepen zijn via hun intermediaire Jacobiaan en geassocieerde vlakke curven, is de intermediaire Jacobiaan van een gladde quartische drie complex. Om deze complexiteit te omzeilen, beperken de auteurs hun studie tot de familie $\mathcal{F}$ van lineaire determinantale quartieken. Een algemeen lid $Y \in \mathcal{F}$ is nodaal (bezit 20 knopen), niet-$\mathbb{Q}$-factorieel en rationeel. Het centrale probleem is het begrijpen van de birationale geometrie van deze quartieken en hun moduli door de extrinsieke geometrie van een specifieke curve $C \subset \mathbb{P}^3$ van graad 10 en genus 11 te analyseren, die de structuur van de quartiek via een kleine resolutie reguleert.

Methodologie
De auteurs maken gebruik van het Minimal Model Program (MMP) op de variëteit $X = \text{Bl}_C \mathbb{P}^3$, de blow-up van $\mathbb{P}^3$ langs een gladde curve $C$ van graad 10 en genus 11. De strategie berust op de correspondentie tussen de determinantale presentatie van $Y$ en de geometrie van $C$.

1. Classificatie van curven: De auteurs analyseren de Hilbert-schema $\mathcal{H}_{10,11}$ van curven van graad 10 en genus 11. Zij identificeren een unieke irreducibele component waarvan het generieke punt gladde, irreducibele, arithmetisch Cohen-Macaulay (ACM) curven parametriseert. Verder identificeren zij twee onderscheiden divisoren binnen deze component:

   • $D_1$: De locus van semikanonieke curven (waarbij $\omega_C \cong \mathcal{O}_C(2)$).
   • $D_2$: De locus van curven die in een gladde cubische oppervlak liggen.
     Met behulp van de Hartshorne-Rao module en liaison-theorie bewijzen zij dat elke gladde irreducibele curve in deze Hilbert-schema tot een van deze drie klassen behoort (ACM, semikanoniek of gelegen in een cubisch oppervlak).

2. Uitvoering van de MMP: Voor elke klasse van curven voeren de auteurs de MMP uit op $X$. Dit omvat:

   • Het bepalen van de nef, effectieve en verplaatsbare (movable) conussen van $X$.
   • Het berekenen van de stabiele basislocus-decompositie (SBLD) van de effectieve conus.
   • Het expliciet beschrijven van de birationale modellen (flops, flips, divisoriële contracties) geïnduceerd door divisoren in deze kamers.
   • Het gebruik van de extrinsieke geometrie van $C$ (bijv. secante lijnen, bevatting in oppervlakken) om de exceptionele loci van deze afbeeldingen te beschrijven.

3. Expliciete Constructies: Het artikel maakt gebruik van Macaulay2 om specifieke geometrische eigenschappen te verifiëren, zoals de gladheid van ramificatie-divisoren en de generatie van ideaalschemata, om te waarborgen dat de algemene leden van de families zich gedragen zoals voorspeld.

Belangrijkste Bijdragen en Resultaten

• Uniforme Beschrijving van Birationale Modellen: Het artikel stelt vast dat de birationale geometrie van $X$ wordt gereguleerd door de extrinsieke geometrie van $C$. De effectieve conus van $X$ bezit over het algemeen vier stabiele basislocus-kamers, wat leidt tot een specifieke sequentie van birationale modellen.

  • Geval 1: Algemene ACM-curven ($C \in \mathcal{H}^\circ_{10,11}$):

    • De anticanonieke afbeelding $f: X \to Y$ contraheert exact twintig 4-secante lijnen van $C$ naar 20 knopen, wat een lineaire determinantale quartiek $Y \subset \mathbb{P}^4$ oplevert.
    • De variëteit $X$ is een Mori dream space.
    • De MMP verloopt via een flop van de 20 4-secante lijnen, gevolgd door een divisoriële contractie naar $\mathbb{P}^3$. Dit vormt een Sarkisov-link die $X$ verbindt met $\mathbb{P}^3$ en $Y$.
    • De effectieve conus wordt gespannen door de exceptionele divisor $E$ en een rigide divisor klasse $40H - 11E$.

  • Geval 2: Semikanonieke Curven ($C \in D_1$):

    • De anticanonieke afbeelding $f_0: X \to Y_0$ is een generiek 2:1 morfisme op een kubische drie-eenheid (quadric threefold) $Y_0 \subset \mathbb{P}^4$.
    • De vertakkingsdivisor (branch divisor) is een graad 8 oppervlak met 20 knopen.
    • De birationale geometrie omvat een Galois-involutie (Galois flip) in plaats van een standaard flop, wat de dubbele dekstructuur weerspieelt.
    • Deze specialisatie komt overeen met een rationele niet-$\mathbb{Q}$-factoriele dubbele kubische drie-eenheid (double quadric).

  • Geval 3: Curven in een Cubisch Oppervlak ($C \in D_2$):

    • De geometrie verandert aanzienlijk: de anticanonieke divisor is niet langer nef.
    • De curve $C$ bezit twee 5-secante lijnen (naast de 4-secante lijnen).
    • De MMP omvat een "inverse flip" van de twee 5-secante lijnen. Dit leidt tot een singuliere terminale drie-eenheid $X^+$.
    • Een daaropvolgende divisoriële contractie brengt $X^+$ in contact met een quartiek $Y_0 \subset \mathbb{P}^4$ die $\mathbb{Q}$-factorieel is maar een elliptische singulariteit bezit (gevormd door de coalescentie van tien knopen) en tien gewone dubbele punten.

• Moduli-implicaties: De auteurs tonen aan dat de familie $\mathcal{F}$ van lineaire determinantale quartieken rationele $\mathbb{Q}$-factoriele quartieken bevat (via de specialisatie naar $D_2$) en rationele niet-$\mathbb{Q}$-factoriele dubbele kubische drie-eenheden (via specialisatie naar $D_1$). Zij stellen dat de intermediaire Jacobiaan van $X$ samenvalt met de Jacobiaan van $C$, wat impliceert dat deze specialisaties reflecties zijn van variaties in de moduli van de curve $C$ in plaats van enkel extrinsieke degeneraties.

Betekenis
De auteurs stellen dat hun primaire bijdrage een gedetailleerde, expliciete beschrijving is van de birationale geometrie van determinantale quartieken via de geassocieerde extrinsieke geometrie van de curve $C$. Specifiek:

1. Het generaliseert de bekende Sarkisov-link voor algemene ACM-curven naar de gevallen waar $C$ specialiseert naar semikanonieke curven of curven op een kubisch oppervlak.
2. Het identificeert twee irreducibele divisoren in de moduli-ruimte van dergelijke quartieken geassocieerd met de niet-ACM gladde curven.
3. Het demonstreert hoe de MMP kan worden gebruikt om expliciet de overgang te beschrijven van een algemene determinantale quartiek naar singuliere specialisaties (dubbele kubische drie-eenheden en $\mathbb{Q}$-factoriele quartieken met elliptische singulariteiten).
4. Het werk suggereert dat de moduli-ruimte van deze quartieken kan worden bestudeerd via de geometrie van de curve $C$, wat een nieuwe benadering biedt voor het begrijpen van de moduli van determinantale hypersurfaces, die anders moeilijk te analyseren zijn vanwege de complexiteit van hun intermediaire Jacobiaanse structuren.

De auteurs merken op dat hoewel het generieke geval (ACM) reeds bekend was, de gedetailleerde beschrijving van de niet-ACM gevallen met behulp van de Hilbert-schema en Hartshorne-Rao modules nieuw is. Zij geven expliciet aan dat een volledige analyse van de moduli-ruimte $M$ wordt uitgesteld naar een toekomstig artikel om de lengte van het huidige werk te bewaken.