Invariant polynomials and Mukai's models of moduli spaces of curves and K3 surfaces

Résumé Technique : Polynômes Invariants et Modèles de Mukai pour les Espaces de Modules de Courbes et de Surfaces K3

Énoncé du Problème
Depuis la fin des années 1980, Shigeru Mukai a introduit des modèles birationnels, notés $M^X_{1,g}$ et $M^X_{2,g}$, pour des espaces de modules spécifiques de courbes et de surfaces K3 polarisées de genre $g \in \{7, 8, 9, 10\}$. Ces modèles sont définis comme des quotients de la théorie du invariant géométrique (GIT) de variétés de Grassmann par des groupes algébriques linéaires simples. Bien que des résultats fondamentaux existent concernant la stabilité des objets lisses et généraux au sein de ces modèles, la stabilité GIT des courbes et surfaces singulières apparaissant sur les frontières de ces espaces de modules demeure largement inconnue. Les tentatives précédentes pour vérifier la semi-stabilité d'exemples singuliers spécifiques (tels que le genre 7) reposaient sur des constructions classiques et explicites de polynômes invariants et une évaluation directe. Ces méthodes étaient extrêmement coûteuses en termes de calcul, nécessitant souvent des ressources de calcul parallèle massives et un temps considérable pour évaluer même un seul exemple.

Méthodologie
L'article propose une approche de construction et d'évaluation efficace de polynômes invariants associés aux problèmes GIT de Mukai. La méthodologie procède en trois étapes :

1. Construction de Polynômes Invariants :
   Les auteurs analysent la décomposition des puissances extérieures $\Lambda^g V_g^*$ (pour les courbes) et $\Lambda^{g+1} V_g^*$ (pour les surfaces), où $V_g$ est la représentation spécifique associée au groupe $G_g$ agissant sur la Grassmannienne. En identifiant les sous-modules irréductibles au sein de ces décompositions, les auteurs construisent des polynômes invariants $F_{g,d}$ de degrés spécifiques.

   • La stratégie consiste à sélectionner des sous-modules irréductibles de petite dimension et à trouver le degré $d$ le plus bas tel que la puissance symétrique $\text{Sym}^d$ du sous-module contienne un $G_g$-module trivial (un invariant).
   • Pour des cas spécifiques (par exemple, le Genre 8, Dimension 2), les auteurs utilisent une formule combinatoire pour les invariants $SL_n$ exprimée en termes de bases de Gelfand-Tsetlin, implémentée dans le package LieAlgebraRepresentations pour Macaulay2. Cela évite le recours à des algorithmes généraux gourmands en mémoire.

2. Localisation d'Objets Singuliers :
   Les auteurs identifient des points spécifiques dans les espaces de paramètres (Grassmanniennes) correspondant à des courbes et surfaces singulières. Ceux-ci incluent :

   • Des développables tangents.
   • Des cubiques cuspidales avec symétrie $g$-gonale.
   • Des tapis K3 équilibrés (balanced K3 carpets) et des rubans (ribbons).
   • Des courbes de graphes associées à des graphes trivalents ($\Gamma_7, \Gamma_8, \Gamma_9$).
   • Des surfaces réductibles et des courbes avec des composantes génériquement non réduites.
     Les coordonnées de ces points sont dérivées des groupes d'automorphismes, d'algorithmes pour les courbes de graphes et de recherches informatiques pour les structures non réduites.

3. Évaluation et Vérification :
   En utilisant les polynômes construits et les points identifiés, les auteurs évaluent $F_{g,d}$ aux points de paramètres représentant les objets singuliers. Si la valeur est non nulle, l'objet est prouvé comme étant semi-stable au sens de la GIT. Tous les calculs sont effectués à l'aide de Macaulay2.

Contributions Clés

• Efficacité Algorithmique : L'article introduit une méthode d'évaluation de polynômes invariants qui est nettement plus efficace que les approches précédentes. Alors que les travaux antérieurs nécessitaient des jours de calcul sur des clusters de haute performance (par exemple, 36 heures sur des instances AWS), la nouvelle méthode construit et évalue des polynômes pour le genre 7 sur un ordinateur portable standard en environ 24 heures, les évaluations ultérieures étant quasi instantanées.
• Implémentation : Le travail est implémenté dans le package LieAlgebraRepresentations pour Macaulay2, qui inclut une formule combinatoire pour les invariants $SL_n$ dans l'Appendice.
• Formule Combinatoire : L'Appendice fournit une preuve autonome d'une formule combinatoire pour un invariant $SL_n$ en termes de bases de Gelfand-Tsetlin, ce qui est crucial pour le calcul efficace de l'invariant du genre 8.

Résultats
Les auteurs prouvent le Théorème 1.1, établissant qu'une grande variété de courbes et de surfaces singulières sont semi-stables au sens de la GIT dans les modèles de Mukai pour les genres allant de 7 à de 10. Plus précisément, l'article confirme la semi-stabilité de :

• Genre 7 : Développables tangents, cubiques à 7 cuspides, tapis K3 équilibrés, rubans équilibrés et courbes de graphes.
• Genre 8 : Développables tangents, cubiques à 8 cuspides, surfaces réductibles avec quatre composantes non réduites, courbes réductibles avec cinq composantes non réduites, et courbes de graphes.
• Genre 9 : Développables tangents, cubiques à 9 cuspides, tapis K3 équilibrés, rubans équilibrés et courbes de graphes.
• Genre 10 : Développables tangents, cubiques à 10 cuspides, surfaces réductibles avec deux composantes non réduites, et courbes réductibles avec quatre composantes non réduites.

Notamment, la surface réductible de genre 8 (Exemple 8c) est démontrée comme étant strictement semi-stable, un résultat qui a nécessité l'utilisation spécifique du polynôme invariant $F_{8,2}$ dérivé via la formule combinatoire, car les méthodes générales échouaient en raison de contraintes de mémoire.

Signification et Revendications
L'article affirme que sa contribution principale est la démonstration d'une méthode scalable et efficace pour analyser les frontières des espaces de modules de Mukai. Les auteurs soulignent que les « caractéristiques les plus frappantes » de leurs résultats sont la « longueur et l'étendue » de la liste des objets semi-stables vérifiés, plutôt que les propriétés géométriques spécifiques de n'importe quel élément individuel. La méthodologie permet l'analyse de bien plus d'exemples que ce qui était possible auparavant. L'article ne prétend pas résoudre le problème général de la caractérisation de toute la frontière de ces espaces de modules, mais fournit un outil computationnel robuste pour vérifier la semi-stabilité d'objets singuliers spécifiques et complexes qui étaient auparavant intraitables. Le travail étend les conclusions de [25] en remplaçant les calculs explicites classiques par une approche de la théorie des représentations qui est à la fois plus rapide et plus efficace en termes de mémoire.