Nonemptiness of single affine Deligne-Lusztig varieties

1. Problématique et Contexte

Contexte :
Les variétés de Deligne-Lusztig affines (ADLV) apparaissent naturellement dans l'étude des fibres spéciales des variétés de Shimura, des espaces de Rapoport-Zink et des espaces de modules de shtukas locaux. Elles sont définies pour un groupe réductif $G$ sur un corps local $F$ (ou son extension non ramifiée maximale $\breve{F}$), un élément $b \in G(\breve{F})$ et un élément $x$ du groupe de Weyl affine $\tilde{W}$.

Le problème central :
L'article se concentre sur le problème de non-viduité (nonemptiness) des variétés ADLV simples (ou "single") au niveau d'Iwahori. Contrairement aux variétés ADLV classiques qui sont des unions disjointes de pièces indexées par des ensembles d'admissibilité, les variétés simples sont définies pour un élément fixe $x \in \tilde{W}$ :
$$X_x(b) := \{ gI \in G(\breve{F})/I \mid g^{-1}b\sigma(g) \in I \dot{x} I \}$$
où $I$ est un sous-groupe d'Iwahori et $\sigma$ est l'automorphisme de Frobenius.

État de l'art et lacunes :

• Pour les structures de niveau parahorique générales, la condition de non-viduité est bien comprise (inégalité de Mazur : $[b] \in B(G, \mu)$).
• Pour le niveau d'Iwahori (le plus raffiné), un critère explicite était connu uniquement sous une hypothèse restrictive appelée « chambres de Weyl rétrécies » (shrunken Weyl chambers), établi par He, Görtz, Rapoport et Nie (théorème GHN B).
• Le problème ouvert : Aucun critère explicite (ni même conjecture) n'était disponible pour les éléments $x$ situés en dehors des chambres rétrécies, c'est-à-dire dans les « bandes critiques » (critical strips) qui traversent l'alcôve de base.

2. Méthodologie et Nouvelles Idées

L'auteur propose une nouvelle approche pour généraliser le critère de GHN B à tous les éléments $x$, en introduisant des outils structurels nouveaux sur le groupe de Weyl.

A. La notion de « Bandes Critiques » et l'obstruction :
Les bandes critiques sont définies comme les ensembles d'alcôves situés entre les hyperplans $H_\alpha(0)$ et $H_\alpha(1)$ pour une racine positive $\alpha$. L'hypothèse de GHN B excluait ces zones. L'auteur montre que le comportement des variétés dans ces zones est plus complexe mais structuré.

B. Introduction de l'ensemble $W_x$ :
C'est la contribution méthodologique majeure. Pour un élément $x \in \tilde{W}$, l'auteur définit un sous-ensemble $W_x \subset W_0$ (groupe de Weyl fini) qui encode la manière dont $x$ peut être « plongé » dans les chambres de Weyl rétrécies adjacentes.

• Si $x$ est dans une chambre rétrécie, $W_x = \{id\}$.
• Si $x$ est dans une seule bande critique, $W_x = \{id, s\}$ où $s$ est une réflexion simple spécifique.
• La définition repose sur l'analyse de l'ensemble des racines positives $\Phi_x$ dont la bande critique contient $x$. L'auteur démontre que le complément $\Phi^+ \setminus \Phi_x$ est un sous-ensemble radical et fermé du système de racines, ce qui permet de classifier $W_x$ via des propriétés combinatoires du système de racines (Proposition 3.3).

C. La conjecture principale :
L'auteur conjecture que la condition de non-viduité pour un élément $b$ basique (basic) et un $x$ tel que $\kappa_G(x) = \kappa_G(b)$ et $\widehat{\text{supp}}_\sigma(x) = \tilde{S}$ (support $\sigma$-plein) est donnée par :
$$X_x(b) \neq \emptyset \iff \forall r \in W_x, \quad \text{supp}_\sigma(\sigma^{-1}(r)\eta_\sigma(x)r^{-1}) = S$$
où $\eta_\sigma(x)$ est l'élément fini « essentiel » de $x$ (introduit par Reuman) et $S$ est l'ensemble des réflexions simples.

3. Résultats Principaux

Théorème 1.3 (Preuve de la conjecture) :
L'auteur prouve la conjecture dans presque tous les cas :

1. Direction « Si » ($\Leftarrow$) : La condition est suffisante pour tous les éléments $x$ (Théorème 3.10).
2. Direction « Seulement si » ($\Rightarrow$) : La condition est nécessaire pour tous les $x$ sauf un nombre fini (ceux de longueur petite).
   • La preuve est complète pour les éléments de longueur très grande ($\ell(x) \gg 0$).
   • La preuve est explicite pour les translations et les éléments de type $v t_\mu$.
   • La preuve est complète pour le type $A_n$ sous certaines conditions de bornes sur les coefficients du co-caractère dominant.

Cas particuliers traités :

• Une seule bande critique (Théorème 4.1) : L'auteur montre que si $x$ est dans exactement une bande critique, alors $v_x^{-1}a$ (où $a$ définit la bande) est une racine simple. La non-viduité dépend alors de la vérification du support $\sigma$-plein pour $\eta_\sigma(x)$ et sa conjugaison par la réflexion simple associée.
• Éléments « Cordial » (Théorème 1.9) : Pour les éléments cordiaux (une classe importante incluant les translations dominantes), l'auteur décrit complètement l'ensemble des classes $\sigma$-conjuguées $[b]$ pour lesquelles $X_x(b)$ est non vide, en utilisant la propriété de saturation de l'ensemble $B(G)_x$.

Nouvelle formule de dimension (Théorème 1.10) :
En utilisant les résultats de non-viduité, l'auteur propose une nouvelle formule conjecturale pour la dimension de $X_x(b)$ lorsque $x$ se trouve dans une seule bande critique (cas de rang 2), généralisant la formule connue pour les chambres rétrécies.

4. Contributions Clés et Significativité

1. Suppression de l'hypothèse restrictive : L'article lève la condition des « chambres de Weyl rétrécies », offrant un critère explicite pour la non-viduité dans le cas général (à un nombre fini d'exceptions près).
2. Unification des critères : La conjecture unifie le critère connu pour les chambres rétrécies (où $W_x=\{id\}$) avec le cas des bandes critiques, en introduisant la famille finie $W_x$ qui agit comme un « test de support » multiple.
3. Outils combinatoires nouveaux : L'introduction et l'étude de l'ensemble $W_x$ et de sa relation avec les sous-ensembles fermés des systèmes de racines ouvrent de nouvelles perspectives pour l'analyse des structures de Weyl affine.
4. Applications aux variétés de Shimura : En clarifiant la non-viduité des variétés ADLV simples, ce travail fournit des outils essentiels pour comprendre la géométrie des fibres spéciales des variétés de Shimura et la conjecture de Langlands-Rapoport, en particulier pour les niveaux d'Iwahori.
5. Lien avec le point de Newton générique : L'auteur établit un lien surprenant entre son ensemble $W_x$ et l'ensemble « length-positive » défini récemment par Felix Schremmer, suggérant une structure profonde sous-jacente à la géométrie de ces variétés.

Conclusion

Cet article constitue une avancée majeure dans la théorie des variétés de Deligne-Lusztig affines. En proposant et en prouvant partiellement une conjecture générale pour la non-viduité, Dong Gyu Lim comble une lacune importante dans la littérature, passant d'une compréhension limitée aux chambres rétrécies à une théorie beaucoup plus complète incluant les zones critiques. Les résultats ont des implications directes pour la géométrie arithmétique et la théorie des représentations des groupes réductifs sur les corps locaux.