Towards the $p$-adic Hodge parameters in semistable representations of $\mathrm{GL}_n(\mathrm{Q}_p)$

1. Problématique et Contexte

L'article s'inscrit dans le cadre du programme de Langlands p-adique, visant à établir une correspondance entre les représentations galoisiennes p-adiques et les représentations localement analytiques de groupes réductifs sur $\mathbb{Q}_p$.

• Objet d'étude : Soit $\rho_p$ une représentation galoisienne p-adique de dimension $n$ du groupe de Galois absolu de $\mathbb{Q}_p$, qui est semi-stable (mais pas nécessairement cristalline) et non-critique, avec des poids de Hodge-Tate réguliers.
• Le défi : Selon la théorie de Fontaine, $\rho_p$ est déterminé par son module de Deligne-Fontaine filtré $(D_{st}(\rho_p), \text{Fil}^\bullet_H)$. La partie "algébrique" (via la correspondance de Langlands classique) ne capture que la semi-simplification du module de Weil-Deligne et les poids de Hodge-Tate. Elle perd l'information cruciale de la filtration de Hodge (les paramètres de Hodge p-adiques).
• Question centrale : Comment reconstruire la filtration de Hodge (et donc la représentation $\rho_p$) à partir de représentations localement analytiques de $GL_n(\mathbb{Q}_p)$ ?
• État de l'art :
  • Le cas cristallin (monodromie nulle) a été résolu par Ding et Breuil-Ding.
  • Le cas de Steinberg (monodromie maximale) a été étudié par Breuil, Ding, et récemment Qian (calcul des groupes d'extension supérieurs).
  • Le cas général semi-stable (monodromie intermédiaire) reste ouvert et constitue l'objectif principal de cet article.

2. Méthodologie

L'auteur combine plusieurs outils avancés de la théorie des nombres et de la théorie des représentations :

1. Modules $(\varphi, \Gamma)$ et triangulations : Utilisation de la théorie de Fontaine pour associer à $\rho_p$ un module $(\varphi, \Gamma)$ $D$ sur l'anneau de Robba. L'étude se fait via des triangulations associées aux drapeaux stables sous l'action de $(\varphi, N)$.
2. Décomposition en blocs de Steinberg : Le module $D$ est décomposé en une suite de sous-quotients de type Steinberg (modules $(\varphi, \Gamma)$ de rang maximal pour la monodromie). L'auteur introduit des filtrations paraboliques adaptées à ces blocs.
3. Groupes d'extension supérieurs : Utilisation des travaux de Qian sur les groupes d'extension $\text{Ext}^\bullet$ entre les représentations de Steinberg généralisées localement analytiques. Ces groupes contiennent les invariants de Breuil-Schraen (L-invariants).
4. Représentations localement analytiques : Construction explicite de représentations $\pi_1(\rho_p)$ (ou $\pi^\flat_1, \pi^\sharp_1, \pi^\diamond_1$) comme des sommes amalgamées de représentations induites paraboliquement et de extensions non triviales.
5. Géométrie des variétés de drapeaux : Reformulation des paramètres de Hodge comme des points sur des variétés de drapeaux et utilisation de l'algèbre de Lie pour analyser les morphismes entre ces espaces.

3. Contributions Clés et Résultats Principaux

A. Caractérisation des Paramètres de Hodge (Côté Galois)

L'auteur démontre que l'information complète des paramètres de Hodge p-adiques $L(D)$ peut être récupérée en combinant deux types de données :

1. Les paramètres "cristallins" entre les blocs de Steinberg : En considérant les sous-quotients de $D$ qui sont cristallins (ou des blocs de Steinberg spécifiques), on peut extraire une partie des paramètres via des morphismes $\iota_{r,q}^D$ entre des modules déformés.
2. Les invariants de Breuil-Schraen : Les paramètres de Hodge à l'intérieur de chaque bloc de Steinberg sont capturés par les invariants de Breuil-Schraen (sous-espaces de codimension 1 dans des groupes d'extension).

Théorème 1.2 & 1.3 : Le module $D$ est déterminé de manière unique par la donnée de :

• L'ensemble des sous-quotients de Steinberg $CST$ (qui capturent les paramètres internes aux blocs).
• Soit le module cristallin maximal $D_{cr}$, soit les morphismes $\iota_{r,q}^D$ entre les blocs (qui capturent les paramètres "cristallins" inter-blocs).

Cela se reformule géométriquement par l'injectivité d'un morphisme reliant l'espace de modules des paramètres de Hodge non-critiques $\Phi_{nc, \Delta}(S_0)$ à un produit d'espaces de paramètres associés aux blocs de Steinberg et aux paramètres cristallins.

B. Construction de Représentations Localement Analytiques

L'auteur construit explicitement des représentations localement analytiques de $GL_n(\mathbb{Q}_p)$, notées $\pi^\flat_1(\rho_p)$, $\pi^\sharp_1(\rho_p)$ et $\pi^\diamond_1(\rho_p)$, qui encodent ces paramètres.

• Structure : Ces représentations sont construites comme des extensions non triviales de représentations algébriques locales par des représentations de Steinberg généralisées et des représentations intermédiaires (via le foncteur d'Orlik-Strauch).
• Correspondance : Il existe des applications surjectives (dépendant du choix de $\log_p(p)$) :
  $$t^\star_D : \text{Ext}^1_G(\pi^{alg}, \pi^\star_1(\rho_p)) \twoheadrightarrow \text{Ext}^1_{\phi, f} \oplus \text{Hom}^\star_{\text{Fil}}(D, D)$$
  Le noyau de cette application, $\ker(t^\star_D)$, détermine les paramètres de Hodge de $D$ (modulo l'action du centre).
• Cas particuliers : Si le rang de monodromie de $\rho_p$ est au plus 1 (ce qui inclut le cas cristallin et le cas de Steinberg pur), la représentation $\pi^\sharp_1(\rho_p)$ détermine entièrement $\rho_p$.

C. Compatibilité Locale-Globale

Dans le cadre des variétés de patching (patched eigenvarieties), l'auteur montre que si $\rho_p$ provient d'une représentation automorphe p-adique globale, alors la représentation locale $\pi^\sharp_1(\rho_p)$ (ou sa version minimale $\pi^-_{\min}$) se plonge dans la représentation automorphe globale $\Pi_\infty$ associée. Cela fournit une preuve de compatibilité locale-globale pour le cas semi-stable non-critique.

4. Signification et Impact

• Extension du programme de Langlands p-adique : Cet article comble une lacune majeure en étendant les résultats connus pour les cas cristallin et de Steinberg au cas semi-stable général. Il propose une stratégie unifiée pour traiter la monodromie intermédiaire.
• Nouvelles preuves de conjectures : Les résultats fournissent de nouvelles preuves (ou "evidence") pour la conjecture selon laquelle les paramètres de Hodge p-adiques sont encodés dans la structure fine des représentations localement analytiques.
• Méthodologie robuste : La combinaison des méthodes de Ding, Breuil-Ding et Qian démontre la puissance de l'approche par les groupes d'extension supérieurs et les invariants L pour décoder la géométrie des modules $(\varphi, \Gamma)$.
• Outils pour l'avenir : La construction explicite des représentations $\pi_1(\rho_p)$ et l'analyse des noyaux des applications $t_D$ offrent un cadre technique pour de futures recherches sur la correspondance de Langlands p-adique pour des représentations plus générales (par exemple, avec des poids de Hodge-Tate non réguliers ou des cas critiques).

En résumé, Yiqin He réussit à "traduire" l'information géométrique complexe des paramètres de Hodge d'une représentation semi-stable en données algébriques et analytiques accessibles via la théorie des représentations de $GL_n(\mathbb{Q}_p)$, établissant ainsi un pont solide entre la théorie de Hodge p-adique et le programme de Langlands.