Compact Moduli Spaces of Marked Cubic Plane Curves

Résumé Technique : Espaces de Modules Compacts de Courbes Planes Cubiques Marquées

Énoncé du Problème
Ce travail traite de la construction et de la classification des compactifications pour l'espace de modules des courbes planes cubiques marquées par $n$ points étiquetés, considérées à équivalence projective près. Bien que les compactifications de l'espace de modules des courbes lisses de genre $g \geq 0$ avec $n$ points marqués (telles que les compactifications de Deligne-Mumford et de Hassett) soient bien comprises via des structures combinatoires comme les graphes duaux ou les poids, le cas spécifique des courbes planes marquées par des points nécessite une approche différente. L'auteur se concentre sur la variation de la théorie de la stabilité géométrique (VGIT) pour construire ces compactifications, spécifiquement pour le degré $d=3$. L'objectif est de fournir une description complète des murs et des chambres de la VGIT dans le cône ample du paramètre de l'espace, et de caractériser les phénomènes de traversée de murs en termes de singularités des courbes et de positions des points marqués.

Méthodologie
Le document utilise la théorie de la stabilité géométrique (GIT) pour construire des compactifications de la variété quasi-projective $C^{gen}_{n,d}/SL(3)$, où $C^{gen}_{n,d}$ représente l'espace des paramètres de courbes de degré $d$ avec $n$ points marqués génériques. La méthodologie procède à travers les étapes suivantes :

1. Espace de Paramètres et Linéarisation : L'espace de paramètres $C_{n,d}$ est défini comme la sous-variété de $\mathbb{P}(\Gamma(\mathbb{P}^2, \mathcal{O}(d))) \times (\mathbb{P}^2)^n$ découpée par des relations d'incidence. L'auteur construit une famille de fibrés en droites $L$ linéarisés par $SL(3)$ sur cet espace, paramétrée par un tuple d'entiers non négatifs $(\gamma, w_1, \dots, w_n)$, où $\gamma$ agit comme un poids sur la courbe et $w_i$ comme des poids sur les points marqués $p_i$.
2. Critère Numérique : La stabilité d'une courbe marquée est déterminée en utilisant le critère numérique de Hilbert-Mumford. L'auteur réduit le critère à des sous-groupes un-paramétriques normalisés d'un tore maximal de $SL(3)$. Cela implique de calculer la fonction numérique $\mu_L(x, \lambda)$ basée sur le « support » de la courbe et des points sous l'action du tore, en utilisant l'ordre de Mukai sur les monômes.
3. Détermination du Cône Ample : Le document caractérise d'abord le cône $SL(3)$-ample $\Lambda(C_{n,d})$, identifiant la région des poids $(\gamma, w_1, \dots, w_n)$ pour laquelle le lieu des courbes marquées semi-stables est non vide. Ceci est réalisé en analysant la stabilité de courbes suffisamment générales (lisses).
4. Analyse des Murs pour les Cubiques ($d=3$) : Pour le cas spécifique des courbes cubiques, l'auteur identifie les « murs intérieurs » du cône ample. Ces murs correspondent à des fibrés en droites où existent des courbes strictement semi-stables. Par le Lemme 4.1, ces courbes strictement semi-stables doivent posséder un stabilisateur $SL(3)$ de dimension positive. L'auteur classifie toutes les courbes planes réduites possédant des stabilisateurs de dimension positive (Lemme 2.18) et détermine les configurations spécifiques de points marqués qui rendent ces courbes strictement semi-stables.
5. Description de la Traversée de Murs : Le document analyse la transition de stabilité lors de la traversée de ces murs, en identifiant les courbes stables génériques de part et d'autre d'un mur ainsi que leur dégénérescence commune (la courbe strictement semi-stable sur le mur).

Contributions Clés et Résultats

• Caractérisation du Cône Ample (Théorème 3.2) : Le document fournit une description explicite du cône $SL(3)$-ample $\Lambda(C_{n,d})$ pour tout degré $d$. Le cône est défini par un système d'inégalités linéaires impliquant le poids total des points $W = \sum w_i$, les poids individuels $w_i$ et le poids de la courbe $\gamma$. Cela généralise les résultats précédents pour $d=2$ (Giansiracusa et Simpson) et $n=1$ (Jensen).
• Classification des Murs GIT pour les Cubiques (Théorème 5.1) : Pour le degré $d=3$, l'auteur identifie quatre types distincts de murs GIT intérieurs, chacun associé à une dégénérescence spécifique de la courbe cubique et à une configuration spécifique de points marqués :
  1. $3A_1$ (Trois droites non concourantes) : Associé à des points coïncidant en un nœud.
  2. $A_2$ (Courbe cuspidée) : Associé à des points coïncidant au cusp (point de cusp).
  3. $A_3$ (Conique et droite tangente) : Associé à des points au tacnode et sur la composante linéaire.
  4. $D_4$ (Cône sur trois points) : Associé à des points à la singularité et sur les composantes linéaires.
     Le Théorème 5.1 fournit les équations hyperplans explicites et les conditions limites pour chaque type de mur.
• Comportement de Traversée de Murs (Théorème 5.2) : Le document détaille les changements géométriques survenant lors de la traversée de ces murs. Il décrit les courbes stables génériques $S(T, I, \pm)$ de part et d'autre d'un mur et leur dégénérescence commune $S(T, I, 0)$. Par exemple, traverser un mur associé à la singularité $3A_1$ fait passer l'espace de modules d'un état contenant des courbes nodales irréductibles à un état contenant des unions d'une conique et d'une droite transverse.
• Applications à d'Autres Espaces de Modules :
  • Surfaces Cubiques (Corollaire 6.3) : Pour $n=2$, le document établit un isomorphisme entre un quotient GIT spécifique de cubiques marquées et l'espace de modules des surfaces cubiques contenant un point d'Eckardt marqué (qui est isomorphe à l'espace projectif pondéré $\mathbb{P}(1, 2, 2, 3)$). Cela relie ce travail aux constructions antérieures de Radu Laza.
  • Courbes Elliptiques Marquées (Corollaire 6.5) : Le document construit un espace paramétrant les courbes planes avec $n$ points et un point d'inflexion supplémentaire marqué. Il montre que le quotient GIT de cet espace compactifie l'espace de modules des courbes elliptiques $M_{1, n+1}$.

Signification et Revendications
Le papier prétend fournir une « description complète » des murs et des chambres de la GIT pour les courbes planes cubiques marquées, une tâche notée comme hors de portée pour des degrés arbitraires en raison de l'absence de classification des dégénérescences pour des courbes de degré plus élevé. Ce travail généralise les résultats existants pour les courbes de genre zéro et les cas spécifiques de bas degré.

La signification réside dans la description combinatoire et géométrique explicite de la frontière de ces espaces de modules. En liant directement les murs de la GIT aux singularités des courbes (nœuds, cusps, tacnodes, singularités $D_4$) et à la collision des points marqués, le document offre une compréhension concrète de la manière dont l'espace de modules change à mesure que la linéarisation varie. L'auteur note que les morphismes de traversée de murs sont liés à des fibrés d'espaces projectifs pondérés sur les loci exceptionnels, fournissant une compréhension structurelle de la géométrie birationnelle de ces compactifications. Les résultats servent de fondation pour comprendre la carte birationnelle entre $M_{1,n}$ et les quotients GIT construits, qui est identifiée comme l'objet de travaux en cours.