Sur les fibrés vectoriels équivariants sur la courbe de Fargues-Fontaine sur une extension finie

Informations fondamentales

• ID de l'article: 2510.12533
• Titre: On equivariant vector bundles on the Fargues--Fontaine curve over a finite extension
• Auteur: Rustam Steingart
• Classification: math.NT (Théorie des nombres), math.AG (Géométrie algébrique)
• Date de publication: 15 octobre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.12533

Résumé

Soit $K/E/\mathbb{Q}_p$ une tour d'extensions finies, où $E$ est une extension galoisienne. Cet article établit la relation entre la catégorie des fibrés vectoriels $G_K$-équivariants sur la courbe de Fargues-Fontaine à coefficients dans $E$ et celle des $E$-$G_K$-$B$-paires, en décrivant explicitement les objets cristallins et de de Rham. Lorsque $E$ est une extension propre, nous donnons une nouvelle description de cette catégorie en termes de $[E:\mathbb{Q}_p]$-uplets de $\mathbf{B}_e$-modules compatibles, ce qui nous permet de calculer la cohomologie galoisienne via des complexes de Čech explicites, servant d'alternative à la suite exacte fondamentale.

Contexte et motivation de la recherche

1. Problème central: Cet article étudie la classification et les propriétés des fibrés vectoriels équivariants sur la courbe de Fargues-Fontaine, en particulier lorsque le corps de base $E$ n'est pas égal à $\mathbb{Q}_p$.
2. Importance: La courbe de Fargues-Fontaine joue un rôle fondamental dans la théorie de Hodge $p$-adique. Elle fournit une interprétation géométrique des représentations galoisiennes $p$-adiques, reliant la théorie algébrique des nombres et la géométrie algébrique.
3. Limitations des approches existantes:
   • Lorsque $E = \mathbb{Q}_p$, la théorie est déjà bien développée, et la catégorie des fibrés vectoriels équivariants est équivalente à celle des $B$-paires
   • Cependant, lorsque $E \neq \mathbb{Q}_p$, la situation devient plus subtile, et la notion existante de fibrés vectoriels « cristallins » est trop restrictive
4. Motivation de la recherche:
   • Généraliser la théorie de Fargues-Fontaine à des corps de base plus généraux $E$
   • Découvrir les nouveaux phénomènes qui apparaissent lorsque $[E:\mathbb{Q}_p] > 1$
   • Établir de nouvelles méthodes de calcul de la cohomologie galoisienne

Contributions principales

1. Établissement d'une équivalence de catégories: Démonstration de l'équivalence entre la catégorie des $G_K$-$E$-$B$-paires et celle des fibrés vectoriels $G_K$-équivariants (Théorème 1)
2. Découverte de nouveaux phénomènes géométriques: Lorsque $E \neq \mathbb{Q}_p$, la courbe $X_E$ possède $[E:\mathbb{Q}_p]$ points au-dessus du point $\infty$, permettant plusieurs façons de « percer » la courbe
3. Introduction de la théorie des $B_e$-uplets: Proposition d'une nouvelle méthode de description des fibrés vectoriels en termes de $[E:\mathbb{Q}_p]$-uplets de $B_e$-modules compatibles (Théorème 2)
4. Établissement d'un calcul de cohomologie explicite: Calcul de la cohomologie galoisienne via des complexes de Čech, fournissant une alternative à la suite exacte fondamentale
5. Raffinement de la définition des objets cristallins: Fourniture d'une définition plus fine des fibrés vectoriels cristallins, correspondant à de véritables représentations cristallines

Explication détaillée des méthodes

Définition de la tâche

Étude des fibrés vectoriels $G_K$-équivariants sur la courbe de Fargues-Fontaine $X_E = X_{C_p^{\flat}, E}$, où :

• Entrée : une tour d'extensions finies $K/E/\mathbb{Q}_p$, avec $E$ galoisienne
• Sortie : classification et description des propriétés des fibrés vectoriels équivariants
• Contraintes : maintien de la compatibilité avec la théorie classique de Hodge $p$-adique

Constructions principales

1. Construction de la courbe de Fargues-Fontaine

La courbe est définie comme $X_{E,F} = \text{Proj}(P_{E,F,\pi_E})$, où l'anneau gradué est : $P_{E,F,\pi_E} = \bigoplus_{n \geq 0} (B_E^+)^{\varphi_E = \pi_E^n}$

Propriétés clés :

• $X_E$ est une courbe complète, définie sur $E$
• Existence d'une application standard $X_E \to X_{\mathbb{Q}_p}$
• $[E:\mathbb{Q}_p]$ points au-dessus du point $\infty$ : $\{\infty_\sigma : \sigma \in \Sigma_E\}$

2. Généralisation des $B$-paires

Pour une $E$-$B$-paire $W = (W_e, W_{dR}^+)$ :

• $W_e$ est une représentation continue de type fini et libre sur $E \otimes_{\mathbb{Q}_p} B_e$
• $W_{dR}^+$ est un réseau $G_K$-équivariant sur $B_{dR}^+$

Utilisation de la décomposition : $E \otimes_{\mathbb{Q}_p} B_{dR}^+ = \prod_{\sigma \in \Sigma_E} B_{dR}^+$

3. Théorie des $B_e$-uplets

Définition : Soit $S = \{\infty_\sigma : \sigma \in \Sigma_E\}$ et $L$ un recouvrement complémentaire de $S$. Un $B_e$-uplet est :

• Pour chaque $T \in L$, un $B_{e,T}$-module libre $M_T$
• Isomorphismes de compatibilité : $B_{e,T_1 \cup T_2} \otimes_{B_{e,T_1}} M_{T_1} \cong B_{e,T_1 \cup T_2} \otimes_{B_{e,T_2}} M_{T_2}$

où $B_{e,T} = (B_E^+[1/\prod_{x \in T} t_x])^{\varphi_E = 1}$.

Points d'innovation technique

1. Analyse multi-points: Utilisation de la structure géométrique de plusieurs points au-dessus de $\infty$, plutôt que la méthode traditionnelle à point unique
2. Résultats de strictitude: Démonstration que les différentielles du complexe de Čech sont strictes, utilisant la théorie des représentations presque $C_p$
3. Cadre unifié: Unification des cas cristallin, de de Rham et général dans un même cadre théorique

Théorèmes principaux

Théorème 1 (Équivalence de catégories)

Les énoncés suivants sont vrais :

1. La catégorie des $G_K$-$E$-$B$-paires est équivalente à celle des fibrés $G_K$-équivariants sur $X_E$
2. Sous cette équivalence, les objets cristallins, de de Rham et de pente zéro se correspondent mutuellement

Théorème 2 (Description par $B_e$-uplets)

Soit $L$ un recouvrement complémentaire de $S$. Le foncteur $\text{Bun}_{X_E} \to \{\text{$B_e$-uplets}\}$$F \mapsto (F(X \setminus T))_T$ est une équivalence de catégories. Le même résultat vaut pour le cas $G_K$-équivariant.

Théorème 3 (Calcul de cohomologie)

Pour une $G_K$-$E$-$B$-paire $W$ et son fibré vectoriel correspondant $V$ : $[W_e \oplus W_{dR}^+ \to W_{dR}] \simeq C^{\bullet}(L,V)$ est un quasi-isomorphisme strict et $G_K$-équivariant.

Applications et exemples

Caractérisation des fibrés vectoriels cristallins

Un fibré vectoriel $E$ est cristallin si et seulement s'il existe un $\varphi_q$-module $D$ tel que : $E(U) = (B_E^+[1/\prod_\sigma t_{\infty\sigma}] \otimes_E D)^{\varphi_q = 1}$ où $G_E$ agit trivialement sur $D$.

Généralisation de la suite exacte fondamentale

Pour deux plongements distincts $\sigma \neq \tau$, on obtient une « suite exacte fondamentale » : $0 \to V \to B_E^+[1/t_\sigma]^{\varphi_E=1} \otimes V \times B_E^+[1/t_\tau]^{\varphi_E=1} \otimes V \to B_E^+[1/t_\sigma t_\tau]^{\varphi_E=1} \otimes V \to 0$

Travaux connexes

Cet article s'appuie sur les travaux importants suivants :

1. Fargues-Fontaine: Établissement de la théorie fondamentale de la courbe et du cas $E = \mathbb{Q}_p$
2. Nakamura: Introduction du concept de $B$-paires
3. Berger: Développement de la théorie multivariée des $(\varphi,\Gamma)$-modules
4. Pham: Étude des représentations cristallines analytiques, bien que son concept de « cristallin » soit plus restrictif

Conclusion et discussion

Conclusions principales

1. Généralisation réussie de la théorie de Fargues-Fontaine à des extensions finies générales $E/\mathbb{Q}_p$
2. Découverte et utilisation des nouveaux phénomènes géométriques lorsque $E \neq \mathbb{Q}_p$
3. Établissement de nouvelles méthodes de calcul de la cohomologie galoisienne

Limitations

1. Exigence que $E$ soit une extension galoisienne (bien que l'auteur indique que cela peut être généralisé)
2. La théorie des $B_e$-uplets nécessite $[E:\mathbb{Q}_p] > 1$
3. La relation avec la théorie multivariée des $(\varphi,\Gamma)$-modules nécessite une recherche ultérieure

Directions futures

1. Étude de la correspondance complète entre les $(\varphi,\Gamma)$-modules multivariés et les $B_e$-uplets
2. Généralisation aux extensions non-galoisiennes
3. Application à des problèmes arithmétiques concrets

Évaluation approfondie

Avantages

1. Profondeur théorique: Révélation profonde de nouveaux phénomènes dans la théorie de Hodge $p$-adique
2. Innovation technique: La théorie des $B_e$-uplets offre une perspective entièrement nouvelle
3. Valeur computationnelle: Les complexes de Čech explicites fournissent des outils pour les calculs pratiques
4. Rigueur: Les techniques de preuve sont rigoureuses, en particulier l'établissement des résultats de strictitude

Insuffisances

1. Lisibilité: Très technique, nécessitant une connaissance approfondie de la théorie de Hodge $p$-adique
2. Applications: Manque d'exemples concrets d'applications arithmétiques
3. Complétude: Certains détails des constructions (comme la relation avec la théorie de Berger) nécessitent un développement ultérieur

Impact potentiel

1. Contribution théorique: Fourniture d'une nouvelle perspective géométrique à la théorie de Hodge $p$-adique
2. Méthodologie: La méthode des $B_e$-uplets peut s'appliquer à d'autres problèmes connexes
3. Outils computationnels: Fourniture de nouveaux moyens de calcul pour les chercheurs dans les domaines connexes

Contextes d'application

Les méthodes de cet article sont particulièrement appropriées pour :

1. L'étude des représentations $p$-adiques sur des corps de base non triviaux
2. Les problèmes nécessitant le calcul explicite de la cohomologie galoisienne
3. La recherche interdisciplinaire reliant la théorie algébrique des nombres et la géométrie algébrique

Références bibliographiques

L'article cite les travaux importants du domaine, notamment :

• Les travaux originaux de Fargues-Fontaine FF19
• La théorie multivariée de Berger Ber13
• La théorie fondamentale de Fontaine Fon20
• Les outils techniques et méthodes connexes