Cubic fourfolds containing highly singular hyperplane sections

Technische Samenvatting: Cubische Viervoudige met Sterk Singuliere Hypervlaksecties

Probleemstelling
Het artikel behandelt de classificatie van divisoren binnen de moduli-ruimte $\mathcal{C}$ van gladde complexe cubische viervoudige. Een centraal thema in het onderzoek naar $\mathcal{C}$ is het onderscheid tussen "speciale" cubische viervoudige (die een oppervlak bevatten dat niet homoloog is aan een volledige doorsnede, geparametriseerd door Hassett-divisoren) en "niet-speciale" viervoudige. Hoewel Hassett-divisoren goed begrepen zijn en verbonden zijn met rationaliteitsconstructies, is er een schaarste aan bekende expliciete vergelijkingen voor niet-Hassett-divisoren. De auteurs beogen nieuwe irreducibele divisoren in $\mathcal{C}$ te construeren die gladde cubische viervoudige parametriseert die hypervlaksecties bevatten met specifieke, sterk singuliere configuraties (specifiek singulariteiten met een totale Tjurina-getal 6) en bewijzen dat deze divisoren geen Hassett-divisoren zijn. Dit draagt bij aan het bredere doel van het identificeren van expliciete voorbeelden van irrationale cubische viervoudige, zoals gegarandeerd door de theorie van Hodge-atomen voor niet-speciale viervoudige.

Methodologie
De auteurs maken gebruik van een combinatie van algebraïsche meetkunde, singulariteitentheorie en computationele getaltheorie:

1. Geometrische Constructie en Deformatie-theorie:

   • De auteurs definiëren loci $D_K \subset \mathcal{C}$ die cubische viervoudige parametriseert die een hypervlaksectie $Y$ bevatten met een specifiek singulariteitstype $K$ (waarbij $K$ combinaties van ADE-singulariteiten of de $T_{333}$-singulariteit vertegenwoordigt).
   • Zij maken gebruik van de classificatie van singulariteiten van cubische drievoudige (hypervlaksecties) om combinaties te identificeren met een totaal Tjurina-getal $\tau(Y) = 6$.
   • Om te bewijzen dat deze loci divisoren (codimension 1) zijn, analyseren zij de deformatie-theorie van de singuliere hypervlaksectie $Y$ binnen de omringende viervoudige $X$. Specifiek onderzoeken zij de globale-naar-lokale afbeelding $\phi: H^0(Y, \mathcal{O}(1)) \to \bigoplus_{p \in \text{Sing}(Y)} T^1_{Y_p}$.
   • Door middel van expliciete voorbeelden geconstrueerd via het computeralgebrasysteem MAGMA, demonstreren zij dat voor algemene leden van deze loci de afbeelding $\phi$ injectief is. Deze injectiviteit impliceert dat een algemene cubische viervoudige in deze loci slechts eindig veel dergelijke hypervlaksecties bevat, wat bevestigt dat de loci inderdaad divisoren zijn (of codimension 2 voor het $T_{333}$-geval).

2. Computationele Verificatie van Niet-Specialiteit (Addington–Auel Methode):

   • Om te bewijzen dat de geconstrueerde divisoren geen Hassett-divisoren zijn (d.w.z. de viervoudige zijn niet speciaal), passen de auteurs de computationele methode toe die is ontwikkeld door Addington en Auel.
   • Deze methode berust op het werk van van Luijk voor K3-oppervlakken. Het houdt in dat een specifieke cubische viervoudige $X$ gedefinieerd over $\mathbb{Q}$ binnen de divisor wordt geselecteerd, die vervolgens wordt gereduceerd modulo een priemgetal (specifiek $p=2$), en waarbij het aantal punten over eindige velden $\mathbb{F}_{2^m}$ wordt geteld.
   • Met behulp van de Lefschetz trace-formule berekenen zij het karakteristieke polynoom $\chi(t)$ van de Frobenius-actie op de primitieve étale cohomologie $H^4_{\text{ét, prim}}$.
   • Volgens Corollarium 4.3, indien $\chi(t)$ irreducibel is over $\mathbb{Q}$ en niet alle coëfficiënten gehele getallen zijn, is de cubische viervoudige niet-speciaal. De auteurs implementeren dit met behulp van de CubicLib.m bibliotheek om deze conditie voor expliciete representanten van elke divisor te verifiëren.

Belangrijkste Bijdragen en Resultaten

• Constructie van Nieuwe Divisoren: Het artikel construeert vijf irreducibele divisoren in $\mathcal{C}$:
  • $D_{E6}$ en $D_{D6}$: Parametriserend voor viervoudige met hypervlaksecties die respectievelijk $E_6$- en $D_6$-singulariteiten hebben.
  • $D_{D5+A1}$ en $D_{D4+A2}$: Parametriserend voor viervoudige met hypervlaksecties die $D_5+A_1$- en $D_4+A_2$-singulariteiten hebben.
  • $D_{D4+2A1}$: Deze locus splitst in twee irreducibele componenten, $D^0_{D4+2A1}$ en $D^1_{D4+2A1}$, onderscheiden door de defect $\sigma(Y)$ van de singuliere hypervlaksectie.
• Codimension-resultaten: De locus $D_{T333}$ (parametriserend voor viervoudige met een $T_{333}$-singulariteit, een unimodulaire singulariteit van corank 3 en Tjurina-getal 8) wordt bewezen een irreducibele variëteit van codimension 2 in $\mathcal{C}$ te zijn.
• Niet-Hassett Classificatie:
  • De auteurs bewijzen dat $D_{E6}, D_{D6}, D_{D5+A1}, D_{D4+A2}$, en $D^0_{D4+2A1}$ geen Hassett-divisoren zijn.
  • Zij tonen aan dat $D^1_{D4+2A1}$ samenvalt met de bekende Hassett-divisor $C_8$ (parametriserend voor viervoudige die een vlak bevatten).
  • De codimension 2 locus $D_{T333}$ wordt getoond niet gecontamineerd te worden door enige Hassett-divisor.
• Expliciete Vergelijkingen: Het artikel biedt expliciete polynoomvergelijkingen voor representanten van elke divisor, die gebruikt kunnen worden om voorbeelden van irrationale cubische viervoudige te genereren.

Significantie
Het artikel claimt significantie primair door het uitbreiden van het bekende landschap van niet-Hassett-divisoren in de moduli-ruimte van cubische viervoudige. Vóór dit werk waren slechts enkele niet-Hassett-divisoren expliciet bekend (bijv. die geconstrueerd door Ranestad–Voisin, Addington–Auel, en Costa–Harvey–Kedlaya). Door vijf nieuwe irreducibele divisoren te identificeren en hun niet-specialiteit via computationele methoden te bewijzen, bieden de auteurs nieuwe expliciete bronnen van irrationale cubische viervoudige.

Verder hebben de resultaten implicaties voor de studie van gecompactificeerde intermediaire Jacobiaan-fibraties. De auteurs merken op dat recent werk door Druel en Mauri [DM26] de constructie van hyperkähler-compactificaties uitbreidt naar "zeer goede" cubische viervoudige—die geen vlak, een cubische scroll of een hypervlaksectie met een corank 3 singulariteit bevatten. De resultaten van de auteurs impliceren dat elke cubische viervoudige in $\mathcal{C} \setminus (C_8 \cup C_{12} \cup D_{T333})$ "zeer goed" is, waarmee de existentie van een glad projectief hyperkähler-variëteit van het type OG10 met een Lagrangiaanse fibratie voor deze viervoudige wordt gegarandeerd. Het artikel speculeert niet over toekomstige toepassingen buiten deze directe geometrische consequenties.