Cubic fourfolds containing highly singular hyperplane sections

Résumé technique : Quatre-formes cubiques contenant des sections hyperplanes hautement singulières

Énoncé du problème
L'article traite de la classification des diviseurs au sein de l'espace de modules $\mathcal{C}$ des quatre-formes cubiques complexes lisses. Un thème central de l'étude de $\mathcal{C}$ est la distinction entre les quatre-formes cubiques « spéciales » (celles contenant une surface non homologue à une intersection complète, paramétrées par les diviseurs de Hassett) et les quatre-formes « non spéciales ». Bien que les diviseurs de Hassett soient bien compris et liés aux constructions de rationalité, il existe une rareté de diviseurs explicites connus pour les cas non-Hassett. Les auteurs visent à construire de nouveaux diviseurs irréductibles dans $\mathcal{C}$ qui paramètrent des quatre-formes cubiques lisses contenant des sections hyperplanes avec des configurations singulières spécifiques et hautement singulières (plus précisément, des singularités avec un nombre de Tjurina total égal à 6) et prouvent que ces diviseurs ne sont pas des diviseurs de Hassett. Cela contribue à l'objectif plus large d'identifier des exemples explicites de quatre-formes cubiques irrationnelles, comme le garantit la théorie des atomes de Hodge pour les quatre-formes non spéciales.

Méthodologie
Les auteurs emploient une combinaison de géométrie algébrique, de théorie des singularités et de théorie des nombres computationnelle :

1. Construction géométrique et théorie de la déformation :

   • Les auteurs définissent des loci $D_K \subset \mathcal{C}$ paramétrant des quatre-formes cubiques contenant une section hyperplane $Y$ avec un type de singularité spécifique $K$ (où $K$ représente des combinaisons de singularités ADE ou la singularité $T_{333}$).
   • Ils utilisent la classification des singularités des trois-formes cubiques (sections hyperplanes) pour identifier des combinaisons avec un nombre de Tjurina total $\tau(Y) = 6$.
   • Pour prouver que ces loci sont des diviseurs (codimension 1), ils analysent la théorie de la déformation de la section hyperplane singulière $Y$ à l'intérieur de la quatre-forme ambiante $X$. Plus précisément, ils examinent la application globale-vers-locale $\phi: H^0(Y, \mathcal{O}(1)) \to \bigoplus_{p \in \text{Sing}(Y)} T^1_{Y_p}$.
   • En utilisant des exemples explicites construits via le système de calcul algébrique MAGMA, ils démontrent que pour les membres généraux de ces loci, l'application $\phi$ est injective. Cette injectivité implique qu'une quatre-forme cubique générale dans ces loci ne contient que des sections hyperplanes de ce type en nombre fini, confirmant que les loci sont effectivement des diviseurs (ou de codimension 2 pour le cas $T_{333}$).

2. Vérification computationnelle de la non-spécialité (méthode Addington–Auel) :

   • Pour prouver que ces diviseurs ne sont pas des diviseurs de Hassett (c'est-à-dire que les quatre-formes ne sont pas spéciales), les auteurs appliquent la méthode computationnelle développée par Addington et Auel.
   • Cette méthode repose sur les travaux de van Luijk pour les surfaces K3. Elle consiste à sélectionner une quatre-forme cubique $X$ spécifique définie sur $\mathbb{Q}$ au sein du diviseur, à la réduire modulo un nombre premier (spécifiquement $p=2$), et à compter les points sur les corps finis $\mathbb{F}_{2^m}$.
   • En utilisant la formule de la trace de Lefschetz, ils calculent le polynôme caractéristique $\chi(t)$ de l'action de Frobenius sur la cohomologie étale primitive $H^4_{\text{ét, prim}}$.
   • Selon le Corollaire 4.3, si $\chi(t)$ est irréductible sur $\mathbb{Q}$ et que tous ses coefficients ne sont pas des entiers, la quatre-forme cubique est non spéciale. Les auteurs implémentent cela en utilisant la bibliothèque CubicLib.m pour vérifier cette condition pour des représentants explicites de chaque diviseur.

Contributions clés et résultats

• Construction de nouveaux diviseurs : L'article construit cinq diviseurs irréductibles dans $\mathcal{C}$ :
  • $D_{E6}$ et $D_{D6}$ : Paramétrant des quatre-formes avec des sections hyperplanes ayant des singularités $E_6$ et $D_6$, respectivement.
  • $D_{D5+A1}$ et $D_{D4+A2}$ : Paramétrant des quatre-formes avec des sections hyperplanes ayant des singularités $D_5+A_1$ et $D_4+A_2$.
  • $D_{D4+2A1}$ : Ce locus se scinde en deux composantes irréductibles, $D^0_{D4+2A1}$ et $D^1_{D4+2A1}$, distinguées par le défaut $\sigma(Y)$ de la section hyperplane singulière.
• Résultats de codimension : Le locus $D_{T333}$ (paramétrant des quatre-formes avec une singularité $T_{333}$, une singularité unimodulaire de rang 3 et de nombre de Tjurina 8) est prouvé être une sous-variété irréductible de codimension 2 dans $\mathcal{C}$.
• Classification Non-Hassett :
  • Les auteurs prouvent que $D_{E6}, D_{D6}, D_{D5+A1}, D_{D4+A2}$ et $D^0_{D4+2A1}$ ne sont pas des diviseurs de Hassett.
  • Ils montrent que $D^1_{D4+2A1}$ coïncide avec le diviseur de Hassett connu $C_8$ (paramétrant des quatre-formes contenant un plan).
  • Le locus de codimension 2 $D_{T333}$ est montré comme n'étant contenu dans aucun diviseur de Hassett.
• Équations explicites : L'article fournit des équations polynomiales explicites pour les représentants de chaque diviseur, qui peuvent être utilisées pour générer des exemples de quatre-formes cubiques irrationnelles.

Signification
L'article revendique sa signification principalement en élargissant le paysage connu des diviseurs non-Hassett dans l'espace de modules des quatre-formes cubiques. Avant ce travail, seuls quelques diviseurs non-Hassett étaient explicitement connus (par exemple, ceux construits par Ranestad–Voisin, Addington–Auel, et Costa–Harvey–Kedlaya). En identifiant cinq nouveaux diviseurs irréductibles et en prouvant leur non-spécialité via des méthodes computationnelles, les auteurs fournissent de nouvelles sources explicites de quatre-formes cubiques irrationnelles.

De plus, les résultats ont des implications pour l'étude des fibrations de jacobiennes intermédiaires compactifiées. Les auteurs notent que les travaux récents de Druel et Mauri [DM26] étendent la construction des compactifications hyperkählériennes aux quatre-formes cubiques « très bonnes » — celles ne contenant ni un plan, ni un scroll cubique, ni une section hyperplane avec une singularité de rang 3. Les résultats des auteurs impliquent que toute quatre-forme cubique dans $\mathcal{C} \setminus (C_8 \cup C_{12} \cup D_{T333})$ est « très bonne », garantissant ainsi l'existence d'une variété hyperkählérienne projective lisse de type OG10 avec une fibration lagrangienne pour ces quatre-formes. L'article ne spécule pas sur des applications futures au-delà de ces conséquences géométriques immédiates.