Stability conditions in the mathematical Gauged Linear Sigma Model

Résumé Technique : Conditions de Stabilité dans le Modèle de Sigma Linéaire Gauché Mathématique

Énoncé du Problème
L'article traite du défi consistant à définir un cadre mathématique robuste pour le Modèle de Sigma Linéaire Gauché (GLSM) qui généralise les théories existantes, spécifiquement la théorie des champs MSP (Mixed-Spin-P) pour les trois-folds quintiques et la théorie FJR (Fan-Jarvis-Ruan) des LG-quasimaps.

Bien que les champs MSP parviennent à lier la théorie de Gromov-Witten et la théorie des singularités quantiques pour le quintique, et que la théorie FJR fournisse une théorie de comptage pour les quotients GIT avec potentiels super-potentiels, aucun de ces cadres ne se généralise pleinement aux espaces masters de variations de GIT (vGIT) arbitraires, nécessaires pour l'étude des invariants de Gromov-Witten de genre supérieur pour les intersections complètes de Calabi-Yau dans les variétés toriques.

Un obstacle technique primaire est l'absence d'une condition de stabilité garantissant la séparabilité et la propreté de l'espace de modules, particulièrement du lieu de dégénérescence de la cosection. Les tentatives précédentes, telles que la condition ad hoc des automorphismes finis dans le MSP ou l'exigence de « bon relèvement » (good lift) dans la théorie FJR, échouent pour les espaces masters vGIT généraux (par exemple, là où les loci instables s'intersectent de manière non triviale ou là où les bons relèvements n'existent pas). Sans ces propriétés géométriques, on ne peut définir d'invariants via la théorie de l'intersection ou utiliser efficacement les techniques de localisation virtuelle.

Méthodologie
Les auteurs introduisent une nouvelle condition de stabilité nommée $\Omega$-stabilité pour les LG-quasimaps. La méthodologie procède comme suit :

1. Configuration du Cadre : La théorie est construite sur un paquet ($R$-chargé) $(V, G \leq \Gamma, \varpi, \vartheta)$, où $V$ est un schéma affine, $G$ est un groupe réductif, et $\Gamma$ est un groupe réductif contenant $G$ avec un caractère $\varpi$ induisant un isomorphisme $\Gamma/G \cong \mathbb{C}^*$. Le caractère $\vartheta$ se restreint à un paramètre de stabilité $\theta$ sur $G$.
2. Définition de l'$\Omega$-stabilité : Un LG-quasimap pré-stable $\xi = (C, \Sigma_C, u, \kappa)$ est dit $\Omega$-stable s'il satisfait trois conditions impliquant un triplet $\Omega = (S, A, \vartheta)$ :
   • $\Omega$-1 : Le lieu de base est discret et disjoint des points spéciaux.
   • $\Omega$-2 : Une condition de pente aux points non spéciaux impliquant un ensemble fini $S$ d'éléments homogènes dans l'anneau des invariants. Pour $f \in S$, la condition est $\min_{f \in S} \{ \frac{1}{\text{wt}_\theta(f)}\text{ord}_x(u^*f) + \text{pente}(f) \} \leq A$. Ici, la pente incorpore la « charge R » (le poids sous l'action $\mathbb{C}^*$ sur les fibres).
   • $\Omega$-3 : Le fibré en $\mathbb{Q}$ $u^*L_\vartheta \otimes (\omega_C^{\log})^{\otimes A}$ est positif.
3. Analyse de la Stabilité : Les auteurs analysent la dépendance de la stabilité vis-à-vis des paramètres $S$, $A$, et $\vartheta$. Ils démontrent que, pour une cible fixée, la variation de $A$ crée une structure de murs et de chambres similaire aux $\epsilon$-quasimaps stables. Ils montrent que lorsque $A \to \infty$, la condition recupère la stabilité $\epsilon = 0^+$ de la théorie FJR.
4. Réduction à l'Espace Projectif : Pour prouver les théorèmes principaux, les auteurs réduisent le cas général au cas des espaces projectifs avec diverses charges R. Ils construisent un morphisme de l'espace de modules des LG-quasimaps $\Omega$-stables vers une cible $X$ vers l'espace de modules des LG-quasimaps $\Omega$-stables vers un espace projectif $\mathbb{P}^{N-1}$, préservant les conditions de stabilité.
5. Critère Valuatif : En utilisant la réduction, ils appliquent le critère valuatif pour prouver la séparabilité et la propreté. Cela implique la construction d'extensions de familles sur des corps de valuation discrète, la gestion de fibres spéciales non réduites via des soufflages (blow-ups) et des changements de base, ainsi qu'un processus de stabilisation pour contracter les queues rationnelles et les ponts qui violent la condition de positivité.

Contributions Principales et Résultats
L'article établit les théorèmes principaux suivants concernant l'espace de modules $\text{LGQ}^\Omega_{g,k}(X, d)$ des LG-quasimaps $\Omega$-stables :

• Théorème 2.4 (Séparabilité) : Le stack $\text{LGQ}^\Omega_{g,k}(X, d)$ est un stack de Deligne-Mumford séparé de type fini. Cela résout le problème des espaces de modules non séparés rencontrés dans les constructions ad hoc précédentes.
• Théorème 2.5 (Propreté) : Si le quotient GIT $V//_\theta G$ est projectif et que l'ensemble $S$ est « complet » (c'est-à-dire que son lieu de vanishement commun est le lieu instable), alors le stack $\text{LGQ}^\Omega_{g,k}(X, d)$ est propre.
• Généralisation du MSP : La nouvelle condition de stabilité généralise la construction des champs MSP pour le trois-fold quintique. En appliquant la théorie à l'espace master $Y$ associé au quintique, les auteurs récupèrent la propreté du lieu de dégénérescence de la cosection, ce qui avait été démontré précédemment via des méthodes ad hoc.
• Extension à des Cibles Générales : Le cadre s'applique aux intersections complètes de Calabi-Yau dans des variétés toriques et d'autres espaces masters vGIT où les méthodes précédentes (exigeant des « bons relèvements ») échouaient.
• Bornitude : L'article fournit une preuve de la bornitude de l'espace de modules, adressant une lacune dans la littérature concernant la bornitude des quasimaps stables dans le cas non abélien (en se référant à un article compagnon pour la preuve complète du cas non abélien).

Signification et Revendications
Les auteurs affirment que ce travail constitue une généralisation commune de la théorie des champs MSP et de la théorie GLSM FJR. En introduisant l'$\Omega$-stabilité, ils fournissent une plateforme géométrique qui :

1. Garantit la séparabilité et la propreté nécessaires des espaces de modules et de leurs lieux de dégénérescence de cosection.
2. Permet de définir des théories de comptage pour une classe plus large de cibles, incluant les intersections complètes de Calabi-Yau dans des variétés toriques.
3. Offre une voie pour calculer efficacement les invariants de Gromov-Witten de genre supérieur pour ces cibles, étendant potentiellement des résultats tels que la règle de Feynman BCOV et l'équation d'anomalie holomorphe au-delà du trois-fold quintique.

L'article note que bien que la construction soit générale, le choix spécifique du paquet chargé en $R$ et du paramètre $A$ peut mener à différentes théories énumératives. Il souligne que pour certains cas (par exemple, les singularités de Fermat ou les intersections complètes de Calabi-Yau dans des produits d'espaces projectifs), ce cadre a déjà été utilisé pour prouver des conjectures concernant la règle de Feynman BCOV et l'analyticité des fonctions de partition. Le travail ne prétend pas résoudre immédiatement tous les problèmes de genre supérieur, mais établit les conditions de stabilité fondamentales nécessaires pour les aborder.