The equations of general Hassett maximal cubic fourfolds

Résumé Technique : Les Équations des Quatrefois Cubiques Maximaux de Hassett Généraux

Énoncé du Problème
Les quatrefois cubiques occupent une position centrale en géométrie algébrique moderne en raison de leur théorie de Hodge complexe et du problème de rationalité non résolu. Un quatrefois cubique $X \subset \mathbb{P}^5$ est qualifié de « spécial » si le rang de son réseau de cohomologie algébrique $A(X)$ est d'au moins 2. Hassett a établi que le lieu des quatrefois cubiques spéciaux forme une union de diviseurs irréductibles $C_d$, indexés par un discriminant $d$ appartenant à l'ensemble de Hassett $\mathcal{H} = \{n \in \mathbb{N}_{\ge 8} : n \equiv 0, 2 \pmod 6\}$.

L'intersection de tous ces diviseurs de Hassett, notée $Z = \bigcap_{d \in \mathcal{H}} C_d$, représente les quatrefois cubiques dotés de structures géométriques maximallement riches, qualifiés de « maximaux de Hassett ». Dans un travail antérieur, les auteurs (Gal et Nuer) ont établi que la dimension de $Z$ est 16 et que toute composante irréductible de $Z$ correspond à un espace de modules $C_M$ de quatrefois $M$-polarisables, où $M$ est un réseau défini positif de rang minimal (rang 4) représentant primitivement $\mathcal{H}$. Cependant, la relation géométrique explicite entre le réseau $M$ et les équations définissant ces quatrefois restait obscure. L'objectif principal de cette note est de construire une famille explicite de polynômes cubiques dont les lieux d'annulation constituent une composante irréductible de dimension 16 de $Z$, fournissant ainsi une description géométrique concrète des quatrefois cubiques maximaux de Hassett généraux.

Méthodologie
Les auteurs emploient une combinaison de construction géométrique, de théorie des réseaux et de méthodes arithmétiques pour atteindre leurs objectifs :

1. Construction Géométrique via des Arrangements de Plans :
   S'appuyant sur un résultat fondamental de Voisin concernant l'intersection de plans dans les quatrefois cubiques, les auteurs définissent une famille spécialisée $\mathcal{N}$ de quatrefois cubiques contenant quatre plans ($P_1, P_2, P_3, P_4$) avec un profil d'incidence spécifique :

   • $P_1 \cap P_2$ et $P_1 \cap P_3$ sont des droites.
   • $P_2 \cap P_3$ est un point.
   • $P_1 \cap P_4 = \emptyset$.

   En utilisant les relations d'incidence, les auteurs dérivent les idéaux définissant ces plans en termes de formes linéaires. En analysant l'intersection de ces idéaux, ils construisent une famille spécifique de polynômes cubiques $F$ qui s'annulent sur les quatre plans. Cela conduit à une forme algébrique explicite pour $F$ impliquant des paramètres $a, b \in \mathbb{C}$.

2. Analyse Dimensionnelle :
   Les auteurs analysent l'espace des paramètres de tels arrangements de plans modulo l'action de $PGL(6, \mathbb{C})$. En calculant la dimension de la correspondance d'incidence entre les arrangements de plans et les quatrefois cubiques, ils démontrent que la famille résultante $\mathcal{N}$ a une dimension 16, correspondant à la dimension connue du lieu maximal de Hassett $Z$.

3. Vérification Arithmétique via les Formes ADC :
   Pour prouver que cette famille construite $\mathcal{N}$ couvre bien l'ensemble du lieu maximal de Hassett (c'est-à-dire que l'image primitive du réseau associé engendre l'ensemble de Hassett $\mathcal{H}$), les auteurs analysent le réseau de rang 4 associé $L(M)$. Ils réduisent le problème à la démonstration qu'une forme quadratique définie positive spécifique $F$ représente primitivement chaque entier dans $\mathcal{H}$.

   Cela nécessite de prouver que la forme $F$ (et les formes ternaires associées) possède la propriété ADC (Tout entier représentable par un vecteur rationnel est également représentable par un vecteur entier). Les auteurs :

   • Établissent que les formes ternaires $Q_3(x, y, z) = x^2 + y^2 + 3z^2$ et $G(x, y, z) = x^2 + 3y^2 + 3z^2$ sont des formes ADC.
   • Utilisent un argument de descente géométrique généralisé (étendant la méthode de Davenport-Cassels via la partition par tore) pour confirmer la propriété ADC pour les formes non euclidiennes.
   • Utilisent le théorème de Hasse-Minkowski et les principes local-global pour démontrer que l'image de la forme couvre toutes les résidus nécessaires modulo des entiers spécifiques, garantissant ainsi que chaque élément de $\mathcal{H}$ est représenté primitivement.

Contributions et Résultats Clés

• Équations Explicites : L'article fournit la première construction explicite d'une famille de quatrefois cubiques qui sont maximaux de Hassett. Le membre général de cette famille est isomorphe au lieu d'annulation d'un polynôme cubique homogène $F$ appartenant à l'intersection de quatre idéaux spécifiques :
  $$F \in (x, y, z) \cap (x, y, u) \cap (x, z, v) \cap (v - by, u - az, w)$$
  où $x, y, z, u, v, w$ sont des formes linéaires et $a, b \in \mathbb{C}$ sont des constantes.
• Confirmation Dimensionnelle : Les auteurs prouvent que le lieu $\mathcal{N}$ défini par ces équations a une dimension 16, confirmant qu'il constitue une composante irréductible du lieu maximal de Hassett $Z$.
• Maximalité du Réseau : En prouvant la propriété ADC pour les formes quadratiques associées, les auteurs démontrent que l'image primitive du réseau $L(M)$ associé à ces quatrefois est exactement l'ensemble de Hassett $\mathcal{H}$. Cela confirme que la famille construite est bien « maximale de Hassett », ce qui signifie que ces quatrefois se situent dans l'intersection de tous les diviseurs de Hassett $C_d$.
• Outil Arithmétique : L'article contribue à un argument de descente géométrique raffiné (Annexe A) pour confirmer la propriété ADC pour des formes ternaires non euclidiennes spécifiques, un résultat technique utilisé pour combler le fossé entre la construction du réseau et les propriétés arithmétiques de l'ensemble de Hassett.

Signification
L'article prétend résoudre la relation « opaque » entre le réseau abstrait $M$ et la géométrie concrète des quatrefois cubiques maximaux de Hassett. En fournissant des équations polynomiales explicites, les auteurs font passer l'étude de ces objets maximaux d'un résultat d'existence purement théorique à un cadre concret et calculable. Le travail confirme que la famille de dimension 16 de quatrefois cubiques définie par l'intersection d'idéaux de plans spécifiques n'est pas seulement de la bonne dimension, mais aussi arithmétiquement complète par rapport à l'ensemble de Hassett, caractérisant ainsi pleinement une composante générale du lieu maximal de Hassett.