Explicit birational geometry of determinantal quartic 3-folds

Énoncé du Problème
Le papier étudie la géométrie birationnelle explicite des quartiques déterminantales linéaires de dimension trois dans $\mathbb{P}^4$. Alors que les cubiques lisses de dimension trois sont bien comprises via leurs jacobiennes intermédiaires et les courbes planes associées, la jacobienne intermédiaire d'une quartique lisse est complexe. Pour contourner cette complexité, les auteurs restreignent leur étude à la famille $\mathcal{F}$ des quartiques déterminantales linéaires. Un membre général $Y \in \mathcal{F}$ est nodal (possédant 20 nœuds), non-$\mathbb{Q}$-factoriel et rationnel. Le problème central est de comprendre la géométrie birationnelle de ces quartiques et de leurs modules en analysant la géométrie extrinsèque d'une courbe spécifique $C \subset \mathbb{P}^3$ de degré 10 et de genre 11, qui régit la structure de la quartique via une résolution petite.

Méthodologie
Les auteurs emploient le Programme du Modèle Minimal (MMP) sur la variété $X = \text{Bl}_C \mathbb{P}^3$, le fibré de $\mathbb{P}^3$ le long d'une courbe lisse $C$ de degré 10 et de genre 11. La stratégie repose sur la correspondance entre la présentation déterminantale de $Y$ et la géométrie de $C$.

1. Classification des Courbes : Les auteurs analysent le schéma de Hilbert $\mathcal{H}_{10,11}$ des courbes de degré 10 et de genre 11. Ils identifient un composant irréductible unique dont le point générique paramètre des courbes lisses, irréductibles et arithmétiquement de Cohen-Macaulay (ACM). Ils identifient ensuite deux diviseurs distingués au sein de ce composant :

   • $D_1$ : le lieu des courbes semicanoniques (satisfaisant $\omega_C \cong \mathcal{O}_C(2)$).
   • $D_2$ : le lieu des courbes contenues dans une surface cubique lisse.
     En utilisant le module de Hartshorne-Rao et la théorie du liaison, ils prouvent que toute courbe lisse irréductible dans ce schéma de Hilbert appartient à l'une de ces trois classes (ACM, semicanonique ou contenue dans une surface cubique).

2. Exécution du MMP : Pour chaque classe de courbes, les auteurs exécutent le MMP sur $X$. Cela implique :

   • La détermination des cônes nef, effectif et mobile de $X$.
   • Le calcul de la décomposition du lieu de base stable (SBLD) du cône effectif.
   • La description explicite des modèles birationnels (flops, flips, contractions divisorielles) induits par les diviseurs dans ces chambres.
   • L'utilisation de la géométrie extrinsèque de $C$ (par exemple, les droites sécantes, l'inclusion dans des surfaces) pour décrire les lieux exceptionnels de ces applications.

3. Constructions Explicites : Le papier utilise Macaulay2 pour vérifier des propriétés géométriques spécifiques, telles que la lissité des diviseurs de ramification et la génération des faisceaux idéaux, afin de s'assurer que les membres généraux des familles se comportent comme prédit.

Contributions Clés et Résultats

• Description Uniforme des Modèles Birationnels : Le papier établit que la géométrie birationnelle de $X$ est gouvernée par la géométrie extrinsèque de $C$. Le cône effectif de $X$ possède généralement quatre chambres de lieu de base stable, menant à une séquence spécifique de modèles birationnels.

  • Cas 1 : Courbes ACM Générales ($C \in \mathcal{H}^\circ_{10,11}$) :

    • L'application anticanonique $f: X \to Y$ contracte exactement vingt droites 4-sécantes de $C$ en 20 nœuds, produisant une quartique déterminantale linéaire $Y \subset \mathbb{P}^4$.
    • La variété $X$ est un espace de rêve de Mori (Mori dream space).
    • Le MMP procède via un flop des 20 droites 4-sécantes, suivi d'une contraction divisorielle vers $\mathbb{P}^3$. Cela forme un lien de Sarkisov connectant $X$ à $\mathbb{P}^3$ et $Y$.
    • Le cône effectif est engendré par le diviseur exceptionnel $E$ et une classe de diviseur rigide $40H - 11E$.

  • Cas 2 : Courbes Semicanoniques ($C \in D_1$) :

    • L'application anticanonique $f_0: X \to Y_0$ est une morphisme génériquement 2:1 sur une quartique quadrique $Y_0 \subset \mathbb{P}^4$.
    • Le diviseur de branchement est une surface de degré 8 avec 20 nœuds.
    • La géométrie birationnelle implique une involution galoisienne (Galois flip) plutôt qu'un flop standard, reflétant la structure de revêtement double.
    • Cette spécialisation correspond à une double quadrique rationnelle non-$\mathbb{Q}$-factorielle.

  • Cas 3 : Courbes dans une Surface Cubique ($C \in D_2$) :

    • La géométrie change significativement : le diviseur anticanonique n'est plus nef.
    • La courbe $C$ possède deux droites 5-sécantes (en plus des droites 4-sécantes).
    • Le MMP implique un « inverse flip » des deux droites 5-sécantes. Cela conduit à un corps de dimension trois terminal singulier $X^+$.
    • Une contraction divisorielle subséquente mappe $X^+$ vers une quartique $Y_0 \subset \mathbb{P}^4$ qui est $\mathbb{Q}$-factorielle mais possède une singularité elliptique (formée par la coalescence de dix nœuds) et dix points doubles ordinaires.

• Implications sur les Modules : Les auteurs montrent que la famille $\mathcal{F}$ des quartiques déterminantales linéaires contient des quartiques rationnelles $\mathbb{Q}$-factorielles (via la spécialisation vers $D_2$) et des doubles quadriques rationnelles non-$\mathbb{Q}$-factorielles (via la spécialisation vers $D_1$). Ils soutiennent que la jacobienne intermédiaire de $X$ coïncide avec la jacobienne de $C$, impliquant que ces spécialisations reflètent des variations dans les modules de la courbe $C$ plutôt que de simples dégénérescences extrinsèques.

Signification
Le papier affirme que sa contribution primaire est de fournir une description détaillée et explicite de la géométrie birationnelle des quartiques déterminantales via la géométrie extrinsèque de la courbe $C$ associée. Spécifiquement :

1. Il généralise le lien de Sarkisov connu pour les courbes ACM générales aux cas où $C$ se spécialise en courbes semicanoniques ou en courbes sur une surface cubique.
2. Il identifie deux diviseurs irréductibles dans l'espace des modules de ces quartiques associés aux courbes lisses non-ACM.
3. Il démontre comment le MMP peut être utilisé pour décrire explicitement la transition d'une quartique déterminantale générale vers des spécialisations singulières (doubles quadriques et quartiques $\mathbb{Q}$-factorielles avec singularités elliptiques).
4. Le travail suggère que l'espace des modules de ces quartiques peut être étudié à travers la géométrie de la courbe $C$, offrant une approche novatrice pour comprendre les modules des hypersurfaces déterminantales, qui sont autrement difficiles à analyser en raison de la complexité de leurs jacobiennes intermédiaires.

Les auteurs notent que si le cas générique (ACM) était déjà connu, la description détaillée des cas non-ACM utilisant le schéma de Hilbert et les modules de Hartshorne-Rao est nouvelle. Ils précisent explicitement qu'une analyse complète de l'espace des modules $M$ est reportée à un article futur afin de maintenir la longueur du présent travail.