Sur une décomposition des orbites de Coxeter $p$-adiques

Informations fondamentales

• ID de l'article: 2109.01424
• Titre: Sur une décomposition des orbites de Coxeter $p$-adiques
• Auteur: Alexander B. Ivanov (Universität Bonn / Ruhr-Universität Bochum)
• Classification: math.AG (Géométrie algébrique), math.RT (Théorie des représentations)
• Journal de publication: Épijournal de Géométrie Algébrique, Volume 7 (2023), Article No. 19
• Lien de l'article: https://arxiv.org/abs/2109.01424

Résumé

Cet article analyse les propriétés géométriques de certains espaces $p$-adiques de Deligne-Lusztig $X_w(b)$ introduits par l'auteur dans des travaux antérieurs, attachés à des groupes réductifs non ramifiés sur des corps locaux non archimédiens. L'auteur démontre que lorsque $G$ est un groupe classique, $b$ est un élément fondamental et $w$ est un élément de Coxeter, $X_w(b)$ se décompose en une union disjointe de translatés d'un certain espace de Deligne-Lusztig $p$-adique intégral. Dans ce processus, l'auteur généralise les observations de DeBacker et Reeder concernant les classes de conjugaison rationnelles des tores non ramifiés au cas des formes intérieures pures étendues, et démontre une version annelée de la section de Steinberg tordue par Frobenius.

Contexte et motivation de la recherche

Contexte du problème

1. Développement de la théorie $p$-adique de Deligne-Lusztig: La théorie classique de Deligne-Lusztig a joué un rôle important dans la théorie des représentations des groupes réductifs sur les corps finis. L'auteur a généralisé cette théorie au cas $p$-adique dans des travaux antérieurs, construisant les espaces $p$-adiques de Deligne-Lusztig $X_w(b)$.
2. Compréhension de la structure géométrique: Contrairement au cas classique, les espaces $p$-adiques de Deligne-Lusztig sont des faisceaux en topologie d'arc sur des algèbres parfaites, leur structure géométrique étant plus complexe. Comprendre les propriétés géométriques de ces espaces est crucial pour étudier les représentations du groupe $p$-adique $G(k)$.
3. Particularité des orbites de Coxeter: Les éléments de Coxeter possèdent des propriétés spéciales dans le groupe de Weyl, et les espaces de Deligne-Lusztig correspondants présentent souvent de meilleures propriétés géométriques et représentationnelles.

Motivation de la recherche

1. Décomposition géométrique: Chercher une décomposition géométrique explicite des espaces $p$-adiques de Deligne-Lusztig, en particulier pour le cas de Coxeter.
2. Applications à la théorie des représentations: Cette décomposition est importante pour comprendre les représentations lisses associées de $G(k)$.
3. Perfectionnement théorique: Généraliser la théorie existante des classes de conjugaison des tores à des situations plus générales.

Contributions principales

1. Théorème de décomposition principal: Démonstration que pour un groupe classique $G$, un élément fondamental $b$ et un élément de Coxeter $c$, les espaces $p$-adiques de Deligne-Lusztig $X_c(b)$ et $\dot{X}_{\bar{c}}(b)$ se décomposent en une union disjointe de translatés d'espaces de Deligne-Lusztig de niveau intégral.
2. Généralisation de la théorie des classes de conjugaison des tores: Extension de la paramétrisation des classes de conjugaison rationnelles des tores non ramifiés de DeBacker et Reeder à toutes les formes intérieures pures étendues.
3. Version annelée de la section de Steinberg: Démonstration d'une version annelée de la section de Steinberg tordue par Frobenius, outil technique important.
4. Preuve des propriétés de schéma: En corollaire, démonstration que les espaces $p$-adiques de Deligne-Lusztig associés sont des unions disjointes de schémas affines, vérifiant ainsi une conjecture antérieurement proposée par l'auteur.

Explication détaillée des méthodes

Définition de la tâche

Étude de la structure géométrique des espaces $p$-adiques de Deligne-Lusztig $X_w(b)$ et $\dot{X}_{\bar{w}}(b)$, où:

• $G$ est un groupe réductif non ramifié sur un corps local non archimédien $k$
• $w \in W$ est un élément de Coxeter du groupe de Weyl
• $b \in G(\bar{k})$ est un élément fondamental
• $\bar{w}$ est un relèvement de $w$ dans un certain quotient discret

Énoncé du théorème principal

Théorème 1.1: Soit $G$ un groupe non ramifié de type classique, $c$ un élément de Coxeter et $b$ un élément fondamental. Alors il existe un isomorphisme $G_b(k)$-équivariant:

$X_c(b) = \coprod_{\gamma \in G^{ad}_b(k)/G^{ad}_{x,b}(\mathcal{O}_k)} \gamma X^{G^{ad}_x}_{c,b}$

et un isomorphisme $G_b(k) \times T_c(k)$-équivariant:

$\dot{X}_{\bar{c}}(b) \cong \coprod_{\gamma \in G_b(k)/G_{x,b}(\mathcal{O}_k)} \gamma \dot{X}^{G_x}_{\bar{c},b}$

Chemin technique

1. Construction de la théorie préalable

• Foncteurs annelés: Utilisation des foncteurs annelés $L$ et $L^+$ pour construire les objets $p$-adiques associés
• Groupe fondamental et application de Kottwitz: Utilisation du groupe fondamental de Borovoi $\pi_1(G)$ et de l'application de Kottwitz $\kappa_G$ pour paramétrer les classes de conjugaison
• Classes $\sigma$-conjuguées: Étude de la structure des classes de conjugaison sous l'action de Frobenius

2. Analyse des classes de conjugaison des tores

• Classes de conjugaison stables: Extension de la théorie de DeBacker-Reeder aux formes intérieures pures étendues
• Paramétrisation des classes de conjugaison rationnelles: Utilisation de l'application $F_w / \ker \bar{\kappa}_w \to \pi_1(G)^{\langle\sigma\rangle}$
• Propriétés spéciales du cas de Coxeter: Exploitation du fait que $\beta_c = 0$ (lorsque $G$ est de type adjoint et $c$ est un élément de Coxeter)

3. Version annelée de la section de Steinberg

Proposition 5.3: Pour un groupe classique $G$ et un élément de Coxeter spécial $c$, l'application $\alpha_b: L({}^cU \cap U^-) \times L({}^cU \cap U^-) \to L({}^cU)$$(x,y) \mapsto x^{-1}y\sigma_b(x)$ est un isomorphisme.

4. Méthode du polygone de Newton

À une étape cruciale de la preuve, on utilise les propriétés du polygone de Newton des cristaux isoclines:

Lemme 7.3: Soit $(V,\varphi)$ un cristal isocline de pente $\lambda$ et de dimension $n$, et $v$ un vecteur cyclique. Si $\varphi^n(v) = \sum_{i=0}^{n-1} A_i\varphi^i(v)$, alors $\text{ord}_\varpi(A_i) \geq (n-i)\lambda$.

Points d'innovation technique

1. Argument de descente v-adique: Utilisation des propriétés des morphismes quasi-compacts universellement fermés pour traiter les problèmes de descente des espaces de recouvrement aux espaces quotients.
2. Analyse par type: Analyse détaillée et vérification pour chaque type de Dynkin irréductible ($A_{n-1}, B_m, C_m, D_m, {}^2A_{n-1}, {}^2D_m$).
3. Traitement au niveau intégral: Introduction d'espaces $p$-adiques de Deligne-Lusztig intégraux $\dot{X}^{G_x}_{\bar{c},b}$ pour simplifier le problème.

Configuration expérimentale

Méthode de vérification théorique

En tant qu'article de mathématiques pures, cet article ne contient pas d'expériences numériques, mais vérifie la théorie par:

1. Vérification cas par cas: Calculs détaillés pour tous les types de Dynkin classiques
2. Vérification de compatibilité: Vérification de la compatibilité entre différentes constructions
3. Analyse des cas limites: Examen des cas spéciaux tels que le cas quasi-déployé

Cadre de calcul

• Théorie de l'immeuble de Bruhat-Tits: Utilisée pour traiter la géométrie des groupes $p$-adiques
• Théorie des cristaux isoclines: Utilisée pour analyser l'action de Frobenius
• Cohomologie galoisienne: Utilisée pour paramétrer les formes intérieures

Résultats principaux

Corollaires du théorème central

Corollaire 1.2: Si $G$ est un groupe non ramifié de type classique, $c$ est un élément de Coxeter et $b$ est un élément fondamental, alors $X_c(b)$ et $\dot{X}_{\bar{c}}(b)$ sont tous deux des unions disjointes de schémas affines.

Corollaire 1.3 (Cas quasi-déployé): Lorsque $b$ est conjugué à 1, il existe un isomorphisme $G(k)$-équivariant: $X_c(1) \cong \coprod_{\gamma \in G^{ad}(k)/G^{ad}_{x,1}(\mathcal{O}_k)} \gamma X^{G_x}_c(1)$

Nouveaux résultats sur les classes de conjugaison des tores

Corollaire 4.7: Pour un élément fondamental $b$ et un élément de Coxeter $c$, l'ensemble des tranches non vides distinctes $X_c(b)_{\bar{c}} \subseteq X_c(b)$ et l'ensemble des classes de conjugaison rationnelles des tores de Coxeter non ramifiés dans $G_b$, noté $T(G_b,c)/\text{Ad}G_b(k)$, sont en correspondance par une surjection canonique.

Travaux connexes

Développement historique

1. Théorie classique de Deligne-Lusztig: Deligne et Lusztig ont établi les fondations de la théorie sur les corps finis en 1976
2. Variétés affines de Deligne-Lusztig: Rapoport et d'autres ont développé la théorie dans le cas affine
3. Généralisation $p$-adique: L'auteur a établi les fondations de la version $p$-adique dans des travaux antérieurs

Connexions techniques

• Relation avec les variétés affines de Deligne-Lusztig: Chan-Ivanov ont démontré que certaines limites inverses de systèmes de variétés affines de Deligne-Lusztig sont isomorphes aux espaces $p$-adiques de Deligne-Lusztig
• Similarité avec les travaux de He-Nie-Yu: Les résultats de décomposition de cet article sont formellement similaires à leurs résultats de décomposition pour les variétés affines de Deligne-Lusztig avec parties de Coxeter finies

Conclusion et discussion

Conclusions principales

1. Démonstration réussie de la décomposition géométrique des espaces $p$-adiques de Deligne-Lusztig de type Coxeter pour les groupes classiques
2. Établissement d'une généralisation complète de la théorie des classes de conjugaison rationnelles des tores
3. Fondations géométriques établies pour les applications ultérieures à la théorie des représentations

Limitations

1. Restriction sur les types de groupes: Actuellement limité aux groupes classiques, le cas des groupes réductifs généraux reste ouvert
2. Condition de Coxeter: La méthode dépend fortement des propriétés spéciales des éléments de Coxeter
3. Complexité technique: La preuve nécessite une analyse détaillée cas par cas pour chaque type de Dynkin

Directions futures

1. Généralisation aux groupes réductifs généraux: L'auteur s'attend à ce que le théorème s'applique à tous les groupes réductifs non ramifiés
2. Applications à la théorie des représentations: Utilisation de la décomposition géométrique pour étudier les représentations lisses associées
3. Calculs de cohomologie: Utilisation des résultats de décomposition pour calculer la cohomologie des espaces de Deligne-Lusztig

Évaluation approfondie

Points forts

1. Profondeur théorique: Combinaison organique de plusieurs théories mathématiques profondes (théorie de Deligne-Lusztig, théorie de Bruhat-Tits, théorie des cristaux isoclines)
2. Innovation technique: Développement de nouvelles méthodes pour traiter les problèmes spécifiques au cas $p$-adique, en particulier l'application de la technique du polygone de Newton
3. Complétude: Fourniture d'une preuve complète incluant tous les détails techniques
4. Perspectives d'application: Fourniture d'outils importants pour le développement ultérieur de la théorie des représentations des groupes $p$-adiques

Insuffisances

1. Complexité de la preuve: Nécessité d'une vérification longue et fastidieuse cas par cas pour chaque type de Dynkin
2. Lisibilité: Contenu technique extrêmement dense, difficile d'accès pour les non-spécialistes
3. Généralité: Les résultats actuels restent limités au cas des groupes classiques

Influence

1. Contribution théorique: Avancement significatif du développement de la théorie $p$-adique de Deligne-Lusztig
2. Valeur méthodologique: Les méthodes techniques établies pourraient s'appliquer à d'autres problèmes connexes
3. Recherches ultérieures: Déjà inspiré des recherches ultérieures dans les domaines connexes

Domaines d'application

• Étude de la théorie des représentations des groupes $p$-adiques
• Aspects géométriques de la correspondance de Langlands locale
• Théorie de la réduction des variétés de Shimura
• Réalisation géométrique des algèbres de Hecke affines

Références

L'article cite 39 références connexes, incluant principalement:

• Articles originaux de Deligne-Lusztig DL76
• Travaux antérieurs de l'auteur sur les espaces $p$-adiques de Deligne-Lusztig Iva23
• Travaux de DeBacker-Reeder sur les classes de conjugaison des tores DeB06, DR09, Ree11
• Travaux classiques de Kottwitz sur le groupe fondamental et les classes $\sigma$-conjuguées Kot84, Kot85, Kot97