The geometry of the unipotent component of the moduli space of Weil-Deligne representations

Résumé technique : La géométrie de la composante unipotente de l'espace de modules des représentations de Weil-Deligne

Énoncé du problème
L'article étudie la géométrie de l'espace de modules des représentations de Weil-Deligne unipotentes à valeurs dans un groupe réductif déployé $G$ sur un corps local. Plus précisément, il se concentre sur le schéma $S_{G,O}$, qui paramètre les paires $(\Phi, N)$ où $\Phi$ est un élément semi-simple et $N$ un élément nilpotent satisfaisant la relation $\text{Ad}(\Phi)N = qN$. Ce schéma sert d'espace de modules muni d'un repère pour les représentations de Weil-Deligne unipotentes et est étroitement lié aux anneaux de déformation galoisiens locaux, qui sont au cœur de la méthode de recouvrement (patching) de Taylor-Wiles-Kisin utilisée dans la preuve des théorèmes de relèvement de modularité.

Le problème géométrique principal abordé est la caractérisation de la régularité (lissité) des composantes irréductibles de $S_{G,O}$. Bien qu'il soit connu que le schéma est une union de composantes irréductibles indexées par les orbites nilpotentes, les conditions sous lesquelles ces composantes sont lisses (régulières) par rapport aux cas singuliers n'étaient pas entièrement établies pour les groupes réductifs généraux, en particulier dans le contexte de la condition « considérée » requise pour la théorie des déformations.

Méthodologie
L'auteur utilise une combinaison de géométrie algébrique, de théorie des représentations et d'algèbre commutative pour analyser la structure locale de $S_{G,O}$.

1. Considération et banalité : L'article introduit et utilise la notion de « $q$-considération », une condition sur la puissance de nombre premier $q$ par rapport au nombre de Coxeter $h_G$ du groupe $G$. Cela garantit que $q$ se comporte bien par rapport à la structure du groupe (spécifiquement, que $1, q, \dots, q^{h_G}$ sont distincts dans le corps résiduel). Cela est lié au concept de « $G$-banalité » et de « $G$-banalité géométrique » issus des travaux de Dat, Helm, Kurinczuk et Moss.
2. Théorie de Bala-Carter et cocharacters : L'analyse repose fortement sur la théorie de Bala-Carter pour classifier les orbites nilpotentes. Pour un élément nilpotent $e$, l'auteur associe un cocharacter $\lambda: \mathbb{G}_m \to G$ et décompose l'algèbre de Lie $\mathfrak{g}$ en sous-espaces propres de $\text{Ad}(\lambda(t))$. La distinction entre les orbites nilpotentes « distinguées » (où le centralisateur possède une structure spécifique) et les orbites non distinguées est cruciale.
3. Preuves de lissité :
   • Lissité : Pour les composantes correspondant aux orbites nilpotentes distinguées (ou à l'orbite nulle), l'auteur construit un morphisme lisse et surjectif à partir d'un produit du groupe $G$ et d'un sous-schéma lisse spécifique $Y$ (défini via la décomposition de Levi du centralisateur de l'élément nilpotent). En montrant que cette application est un pullback d'un morphisme lisse, la lissité de la composante est établie.
   • Singularités : Pour les orbites non distinguées, l'auteur construit un point spécifique dans la composante et démontre que la dimension de l'espace tangent en ce point dépasse strictement la dimension de la composante. Cela est réalisé en analysant l'interaction entre les espaces tangents de l'orbite, du tore, du cône nilpotent et des sous-groupes unipotents, en utilisant les propriétés des racines « exposées » dans le diagramme de Dynkin.
4. Recouvrement et formes automorphes : Les résultats géométriques sont appliqués au contexte arithmétique en utilisant la méthode de recouvrement de Taylor-Wiles-Kisin. L'auteur considère les familles de Hida de formes automorphes ordinaires sur les groupes unitaires et construit un anneau de déformation global $R^{\text{univ}}_S$.

Contributions et résultats clés

1. Caractérisation des composantes lisses (Théorème 1.2) :
   L'article prouve que, sous l'hypothèse que $q$ est considéré par rapport à $G$ :

   • La composante irréductible $X_C$ de $S_{G,O}$ correspondant à une orbite nilpotente distinguée $C$ (ou à l'orbite nulle) est lisse sur l'anneau de base.
   • À l'inverse, si $C$ est une orbite nilpotente non triviale et non distinguée, la composante $X_C$ est singulière.
     Ce résultat généralise les travaux antérieurs de Bellovin et Helm, fournissant une classification géométrique complète de la lissité de ces espaces de modules.

2. Régularité des anneaux de déformation :
   En établissant la lissité des anneaux de déformation locaux associés aux orbites distinguées (spécifiquement les représentations de Steinberg et les séries discrètes), l'article confirme que les fibres génériques de ces anneaux de déformation locaux sont des anneaux locaux réguliers. C'est une condition préalable nécessaire pour que l'argument de recouvrement réussisse.

3. Liberté des formes automorphes ordinaires (Théorème 1.3) :
   En appliquant les résultats géométriques au contexte global, l'auteur prouve que le module des formes automorphes ordinaires $S^{\text{ord}}(U(p^\infty), L/\mathcal{O})^\vee$ est un module localement libre de type fini sur l'anneau de déformation global $R^{\text{univ}}_S[1/l]$.

   • Cela implique que l'algèbre de Hecke agissant sur ces formes est isomorphe à l'anneau de déformation global (après inversion de $l$).
   • Crucialement, cela établit que la multiplicité des formes automorphes avec une représentation galoisienne donnée de caractéristique zéro est constante le long des composantes connexes de l'anneau de déformation.

Importance et affirmations
L'article prétend fournir une fondation géométrique rigoureuse pour la lissité des anneaux de déformation locaux utilisés dans les théorèmes modernes de relèvement de modularité. En identifiant explicitement quelles composantes de l'espace de modules de Weil-Deligne sont lisses, ce travail justifie les hypothèses de régularité souvent faites dans les arguments de recouvrement.

L'application aux familles de Hida est significative car elle étend les résultats de multiplicité des formes automorphes classiques aux familles de Hida non classiques. L'auteur note que si la multiplicité est 1 pour les formes classiques sur une composante connexe spécifique, le résultat de liberté géométrique implique que la multiplicité est 1 pour toutes les formes (classiques et non classiques) dans cette composante. Cela comble le fossé entre la théorie des nombres classique et la géométrie des familles $p$-adiques, garantissant que la propriété « multiplicité un » est préservée à travers la famille.

Le travail ne propose pas de nouvelles applications expérimentales ou de conjectures futures au-delà de la portée immédiate de l'établissement de la liberté du module et de l'isomorphisme entre les anneaux de Hecke et de déformation dans le cadre ordinaire pour les groupes unitaires. Il s'appuie et synthétise des mécanismes existants (Taylor-Wiles-Kisin, théorie de Hida) avec de nouvelles insights géométriques concernant les singularités des fermetures d'orbites nilpotentes dans le contexte des paramètres de Weil-Deligne.