The overconvergence of multivariable $(φ_q,\mathcal{O}_K^{\times})$-modules at the perfectoid level

1. Contexte et Problématique

Contexte :
L'article s'inscrit dans le cadre de la théorie de Hodge $p$-adique et de la théorie des représentations galoisiennes. Soit $K$ une extension finie non ramifiée de $\mathbb{Q}_p$ de degré $f$, et $E$ une extension finie de $K$. L'objectif est d'étudier les représentations continues du groupe de Galois absolu $G_K = \text{Gal}(\bar{K}/K)$ à valeurs dans $E$.

La théorie classique des modules $(\phi, \Gamma)$ de Fontaine établit une équivalence entre les représentations $p$-adiques et les modules étales sur des anneaux spécifiques (comme l'anneau de Robba cyclotomique). Cependant, pour les extensions de Lubin-Tate, les modules $(\phi, \Gamma)$ correspondants ne sont généralement pas surconvergents (c'est-à-dire qu'ils ne descendent pas vers un anneau de Robba de rayon de convergence fini).

Problème :
Dans un travail antérieur ([Du25]), l'auteur a introduit une nouvelle classe de modules : les modules multivariables $(\phi_q, \mathcal{O}_K^\times)$ sur un anneau coefficient $A_{mv,E}$ à $f$ variables (où $q=p^f$). Ces modules sont associés aux représentations de $G_K$ via un foncteur pleinement fidèle $D^{(i)}_{A_{mv,E}}$.
La question centrale de cet article est de déterminer si ces modules multivariables sont surconvergents. Autrement dit, un module étale défini sur l'anneau complet $A_{mv,E}$ provient-il d'un module défini sur un sous-anneau de surconvergence $A^\dagger_{mv,E}$ ?

2. Méthodologie

L'auteur utilise une approche combinant l'algèbre commutative $p$-adique et la géométrie des courbes de Fargues-Fontaine relatives.

A. Définition des anneaux de surconvergence :
L'auteur définit rigoureusement l'anneau de surconvergence $A^\dagger_{mv,E}$ comme une sous-algèbre de $A_{mv,E}$ constituée d'éléments ayant une certaine convergence (analogue aux anneaux de Robba). Il introduit également des anneaux intermédiaires $A^{\dagger, s}_{mv,E}$ et $A^{\dagger, s-}_{mv,E}$ munis de normes multiplicatives, permettant d'étudier la structure topologique et les propriétés de platitude.

B. Construction du foncteur adjoint :
En s'inspirant de la thèse de Cherbonnier, l'auteur construit un foncteur adjoint à droite $j^\dagger_*$ qui, à un module étale $M$ sur $A_{mv,E}$, associe la réunion de ses sous-modules $A^\dagger_{mv,E}$-finis stables par $\phi_q$. L'objectif est de prouver que ce foncteur est un inverse à gauche du foncteur de changement de base $j^{\dagger,*}$, établissant ainsi que la catégorie des modules surconvergents est une sous-catégorie pleine.

C. Niveau Perfectoïde et Courbes de Fargues-Fontaine :
Pour prouver la surconvergence, l'auteur ne travaille pas directement sur les anneaux classiques, mais descend au niveau perfectoïde.

1. Il considère les anneaux perfectoïdes $A_\infty$ (perfection de $A$) et $A'_\infty$ (liés à la théorie de Lubin-Tate).
2. Il utilise la géométrie de la courbe de Fargues-Fontaine relative $Y_{X, [0,r]}$ associée à un espace perfectoïde.
3. Il exploite le fait que les modules de Lubin-Tate sur les anneaux de Robba perfectoïdes $B_{F((T^{1/p^\infty}_{LT})), [0,r]}$ sont libres (grâce au fait que ces anneaux sont des domaines de Bézout, voire des PID).
4. Il utilise la descente galoisienne via un revêtement pro-étale $\Delta_1$-torsor entre $A'_\infty$ et $A_\infty$ pour construire les modules multivariables à partir des modules de Lubin-Tate.

3. Résultats Clés et Contributions

Théorème 1 : Structure des modules surconvergents (Section 2)

• Théorème 2.22 : Le foncteur de changement de base $j^{\dagger,*} : \text{Mod}^{\text{ét}}_{(\phi_q, \mathcal{O}_K^\times)}(A^\dagger_{mv,E}) \to \text{Mod}^{\text{ét}}_{(\phi_q, \mathcal{O}_K^\times)}(A_{mv,E})$ est pleinement fidèle.
• L'auteur prouve que le foncteur adjoint $j^\dagger_*$ préserve la structure de module étale et que l'unité de l'adjonction est un isomorphisme.
• Cela établit que la catégorie des modules multivariables surconvergents est bien définie et constitue une sous-catégorie pleine de celle des modules étale.

Théorème 2 : Surconvergence au niveau perfectoïde (Section 3)

• Théorème 3.9 et Proposition 3.10 : Pour toute représentation continue libre $\rho$ de $G_K$ de rang $d$, et pour tout rayon $r \in \mathbb{Q}_{>0}$, le module associé $D^{[0,r]}_{A_\infty, i}(\rho)$ défini sur l'anneau de Robba perfectoïde $B_{A_\infty, [0,r]}$ est un module localement libre de rang $d$.
• Point crucial : Contrairement aux méthodes précédentes (Colmez-Sen-Tate) qui ne garantissaient la surconvergence que pour des rayons $r$ suffisamment petits, cette preuve géométrique montre que le rayon de surconvergence peut être arbitraire au niveau perfectoïde.
• De plus, pour $r$ suffisamment petit, le module est libre.

Lemme Technique : Vecteurs localement analytiques (Lemme 3.15)

• L'auteur montre que l'action de $\mathcal{O}_K^\times$ sur l'anneau de surconvergence $A^{\dagger, s-}_{mv,E}[1/Y_{\sigma_0}]$ est localement $\mathbb{Q}_p$-analytique. C'est une étape technique importante pour relier ces structures aux représentations galoisiennes analytiques.

4. Limites et Questions Ouvertes

Bien que la surconvergence soit prouvée au niveau perfectoïde (sur les anneaux $B_{A_\infty, [0,r]}$), l'auteur note une difficulté majeure pour descendre ce résultat au niveau classique (sur l'anneau $A^\dagger_{mv,E}$) :

• Il n'est pas encore connu si le module $D^{(i)}_{A_{mv,E}}(\rho)$ associé à une représentation générale est surconvergent au sens classique.
• La méthode de trace normalisée de Tate (utilisée par Cherbonnier-Colmez pour $K=\mathbb{Q}_p$) est difficile à généraliser car $\mathcal{O}_K^\times$ n'est pas un groupe de Lie $p$-adique de dimension 1 et l'anneau $A^\dagger_{mv,E}$ possède $f$ variables.
• La descente de $\hat{R}^{int}_{A_\infty} \otimes D^{[0,r]}_{A_\infty, i}(\rho)$ vers un module sur $A^\dagger_{mv,E}$ reste un problème ouvert.

5. Signification et Impact

Cet article représente une avancée significative dans la théorie des modules $(\phi, \Gamma)$ multivariables :

1. Généralisation : Il étend la théorie de la surconvergence au-delà du cas cyclotomique et du cas de Lubin-Tate univariable, vers un cadre multivariable complexe.
2. Outils Géométriques : Il démontre la puissance de la géométrie des courbes de Fargues-Fontaine relatives pour résoudre des problèmes d'algèbre $p$-adique pure, en particulier pour établir des propriétés de liberté et de surconvergence sur des rayons arbitraires.
3. Fondation pour la Théorie de Langlands : Ces modules sont potentiellement liés aux représentations $p$-adiques de $GL_2(K)$. La compréhension de leur surconvergence est une étape prérequis pour établir des correspondances de Langlands locales $p$-adiques pour $GL_2(K)$ au-delà du cas $K=\mathbb{Q}_p$.

En résumé, Changjiang Du a réussi à établir la surconvergence "perfectoïde" pour les modules multivariables, fournissant un cadre robuste pour l'étude future des représentations galoisiennes sur les extensions non ramifiées de $\mathbb{Q}_p$, tout en identifiant clairement les obstacles techniques restants pour la surconvergence classique.