Smoothness of stabilisers in generic characteristic

Résumé technique : Régularité des stabilisateurs en caractéristique générique

Énoncé du problème
L'article traite de la régularité des stabilisateurs (centralisateurs et normalisateurs) pour les actions de groupes algébriques en caractéristique positive. Bien qu'il soit bien établi que, pour les groupes réductifs déployés agissant sur eux-mêmes ou sur leurs algèbres de Lie, les centralisateurs d'éléments sont réguliers pour les nombres premiers « très bons », ces résultats reposent souvent sur des classifications spécifiques ou des hypothèses restrictives. Les auteurs visent à généraliser ces découvertes à des schémas de groupes affines de présentation finie arbitraires $G$ agissant sur des schémas séparés $X$ de type fini sur un anneau commutatif unitaire $R$. Plus précisément, ils cherchent à prouver qu'il existe un nombre premier seuil $p_0$ tel que, pour tout corps algébriquement clos $k$ de caractéristique $p \ge p_0$, le centralisateur de tout sous-schéma fermé $Y \subseteq X_k$ soit régulier. Ils étudient également le normalisateur de $Y$, notant que la borne pour le normalisateur peut dépendre de $Y$, tandis que la borne pour le centralisateur ne dépend que de la complexité de l'action.

Méthodologie
Les auteurs emploient une combinaison novatrice de la théorie des modèles du premier ordre et de la géométrie algébrique computationnelle, spécifiquement :

1. Le principe de Lefschetz : Ils utilisent une version du principe de Lefschetz issue de la théorie des modèles, qui affirme qu'une phrase du premier ordre vraie dans les corps algébriquement clos de caractéristique 0 est également vraie dans les corps algébriquement clos de caractéristique positive suffisamment grande.
2. Techniques de bases de Gröbner : Pour appliquer le principe de Lefschetz, les auteurs doivent exprimer des propriétés géométriques (telles que la régularité et l'appartenance à un idéal) sous forme de phrases du premier ordre dans le langage des anneaux ($L_{ring}$). Ils y parviennent en quantifiant sur des bases de Gröbner de degré borné.
3. Mesures de complexité : Les auteurs introduisent des notions précises de « complexité » pour les schémas, les morphismes et les actions de groupes. Cela implique de borner les degrés des polynômes définissant les idéaux, les degrés des applications dans les comorphismes, et les degrés des applications de structure dans les algèbres de Hopf (comultiplication, antipode, counité).
   • Ils définissent des bases de Gröbner $d$-bornées et montrent que des propriétés telles que le fait d'être une base de Gröbner, la dimension d'un schéma et l'appartenance à un idéal peuvent être encodées par des formules du premier ordre avec un nombre de variables libres dépendant uniquement de la borne $d$.
   • Ils introduisent la $G$-complexité et la $(G, \Delta)$-complexité pour borner l'interaction entre l'action du groupe et les sous-schémas.

Contributions et résultats clés
L'article établit les théorèmes principaux suivants :

• Théorème 1.1 (Centralisateurs réguliers) : Soit $G$ un $R$-groupe algébrique et $X$ un $G$-schéma séparé de type fini sur $R$. Il existe un nombre premier $p_0$ tel que, pour tout $R$-corps $k$ de caractéristique $p \ge p_0$, le centralisateur $C_{G_k}(Y)$ soit régulier pour tout sous-schéma fermé $Y \subseteq X_k$. Crucialement, $p_0$ ne dépend que de la complexité de $G$ et $X$, et non du sous-schéma spécifique $Y$.
• Théorème 1.2 (Normalisateurs réguliers) : Soient $G$ et $X$ comme ci-dessus, et soit $Y$ un sous-schéma fermé spécifique de $X$. Il existe un nombre premier $p_1$ (dépendant de $Y$) tel que, pour $p \ge p_1$, le normalisateur $N_{G_k}(Y_k)$ soit régulier. Les auteurs notent que la dépendance de $p_1$ par rapport à $Y$ est nécessaire et ne peut être éliminée dans le cas général.
• Corollaire 1.3 (Modules) : Pour un $G$-module projectif de type fini $V$, il existe un nombre premier $p_V$ tel que, pour $p \ge p_V$, les centralisateurs et normalisateurs de tout sous-espace $k$-linéaire $W \subseteq V_k$ soient réguliers.
• Théorème 5.2 (Kostant-Kirillov-Souriau modulaire) : Les auteurs appliquent leurs résultats principaux à la géométrie symplectique. Ils prouvent que, pour un groupe algébrique $G$ sur un corps algébriquement clos de caractéristique $p$ suffisamment grande, le théorème de Kostant-Kirillov-Souriau (KKS) tient : le dual de l'algèbre de Lie $\mathfrak{g}^*$ se décompose en une union disjointe de variétés symplectiques, où chaque variété est une orbite coadjointe. Cela repose sur le fait que, pour $p$ grand, les stabilisateurs des points dans $\mathfrak{g}^*$ sont réguliers, assurant ainsi la séparabilité de l'application d'orbite.

Signification et portée
L'article revendique être le premier à mener à bien avec succès le programme suggéré par Schoutens (2000) consistant à utiliser le principe de Lefschetz combiné aux bases de Gröbner pour résoudre des problèmes spécifiques en géométrie algébrique concernant la régularité générique.

• Généralité : Les résultats s'étendent au-delà du cas affine aux variétés quasi-projectives et à d'autres schémas de type fini. Ils s'appliquent à des groupes algébriques arbitraires sur des anneaux, et non seulement aux groupes réductifs déployés sur des corps.
• Uniformité : Une découverte significative est que la borne pour la régularité des centralisateurs est uniforme pour tous les sous-schémas fermés d'une complexité donnée, tandis que les normalisateurs nécessitent une borne dépendant du sous-schéma spécifique.
• Limites : Les auteurs notent explicitement que les résultats échouent sans bornes de complexité. Ils fournissent des contre-exemples où l'action n'est pas de complexité bornée (impliquant par exemple des twists de Frobenius ou des unions disjointes infinies de modules) où les stabilisateurs restent non réguliers quelle que soit la caractéristique.
• Application : L'application principale démontrée est l'extension du théorème KKS aux grandes caractéristiques positives, fournissant une décomposition structurelle de la variété de Poisson $\mathfrak{g}^*$ en orbites coadjointes symplectiques, un résultat qui échoue généralement en petites caractéristiques en raison de l'application d'orbite non séparable.

L'article ne propose pas de nouvelles applications expérimentales ni de directions de recherche futures au-delà des implications mathématiques immédiates de ces théorèmes structurels. Sa contribution réside dans l'établissement d'un cadre robuste pour transférer les propriétés de régularité de la caractéristique 0 vers de grandes caractéristiques positives via des méthodes algébriques de théorie des modèles et algorithmiques.