Topological Vector Spaces

Résumé technique : Espaces vectoriels topologiques en mathématiques condensées

Problème et motivation
L'article traite de la nécessité de géométriser les morphismes de périodes $p$-adiques pour les variétés analytiques rigides, spécifiquement pour faciliter les théorèmes de dualité pour la cohomologie pro-étale $p$-adique. Bien que les espaces vectoriels topologiques (EVT) aient été introduits dans [13] comme des préfaisceaux enrichis sur des espaces « sympathiques » à valeurs dans des espaces vectoriels localement convexes sur $\mathbb{Q}_p$, cet article étudie la version condensée de cette catégorie. La motivation principale, telle qu'énoncée dans l'introduction, est l'application aux résultats de dualité dans [11], où les exemples pertinents d'EVT proviennent de la cohomologie des faisceaux quasi-cohérents sur la courbe de Fargues-Fontaine, des objets qui résident naturellement dans l'univers condensé.

Les auteurs visent à établir un cadre rigoureux où :

1. Les espaces vectoriels topologiques localement convexes sont remplacés par des $\mathbb{Q}_p$-modules condensés (ou solides).
2. Les espaces sympathiques sont remplacés par des espaces strictement totalement déconnectés (ou des espaces w-contractibles).
3. La condition d'enrichissement (sensibilité à la topologie sur les espaces de morphismes) est formalisée par le lemme de Yoneda enrichi dans le cadre des mathématiques condensées.

Méthodologie
L'article construit et analyse trois catégories imbriquées de (pré)faisceaux sur la catégorie des affinoïdes parfaitoïdes sur $C$ (où $C$ est la complétion $p$-adique d'une clôture algébrique d'un corps de caractéristique mixte $K$) :

1. Espaces vectoriels (VS) : La catégorie des faisceaux de $\mathbb{Q}_p$-espaces vectoriels sur le site pro-étale des affinoïdes parfaitoïdes ($S_{\text{proét}}$). Ce sont des objets algébriques sans topologie intrinsèque, bien que le site encode une topologie.
2. Espaces vectoriels topologiques naïfs (NTVS) : La catégorie des faisceaux de $\mathbb{Q}_p$-espaces vectoriels topologiques (au sens de Clausen-Scholze) sur ce même site. Ce sont des faisceaux à valeurs dans des groupes abéliens condensés ou solides. Les auteurs prouvent qu'ils forment des catégories abéliennes de Grothendieck et étudient leurs catégories dérivées, les foncteurs de solidification et leurs structures monoïdales.
3. Espaces vectoriels topologiques (TVS) : L'objet principal d'étude. Il s'agit de la catégorie des préfaisceaux topologiquement enrichis dans NTVS.
   • L'enrichissement est réalisé en équipant les espaces de Hom entre les espaces parfaitoïdes d'une structure condensée naturelle.
   • Les auteurs restreignent les foncteurs de préfaisceaux des affinoïdes parfaitoïdes généraux aux espaces strictement totalement déconnectés pour garantir que la condition d'enrichissement soit satisfaite et pour utiliser le lemme de Yoneda enrichi.
   • Un outil technique clé est la distinction entre les préfaisceaux « rigides » (où les applications de structure $F(Y \times T) \to [T, F(Y)]$ sont des isomorphismes) et les préfaisceaux enrichis généraux. L'article établit que les faisceaux issus du site pro-étale sont canoniquement rigides.

La méthodologie repose fortement sur la théorie des mathématiques condensées (Clausen-Scholze), spécifiquement sur les propriétés des modules solides, la relation entre les catégories condensées et solides, et l'utilisation des $\infty$-catégories pour gérer les foncteurs dérivés et les structures enrichies.

Contributions clés et résultats

1. Cadre catégorique : L'article définit la catégorie des TVS comme une sous-catégorie pleine de préfaisceaux topologiquement enrichis. Il prouve que cette catégorie, ainsi que les catégories VS et NTVS, forment une catégorie abélienne de Grothendieck avec des générateurs projectifs compacts (spécifiquement, les objets de Yoneda tensorisés avec des modules solides).

2. Pleine fidélité enrichie (Théorème 1.1, Partie 1) :
   Les auteurs prouvent que le foncteur canonique de la catégorie des Espaces Vectoriels (VS) vers les Espaces Vectoriels Topologiques (TVS) est pleinement fidèle au sens enrichi, sous réserve de certaines conditions de finitude.

   • Plus précisément, pour $F \in D^b(S_{\text{proét}}, \mathbb{Q}_p)$ et $G \in D^+(S_{\text{proét}}, \mathbb{Q}_p)$, le morphisme canonique
     $$R\pi_* R\text{Hom}_{S, \mathbb{Q}_p}(F, G) \to R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(R\pi_* F, R\pi_* G)$$
     est un quasi-isomorphisme.
   • Ce résultat repose sur le fait que les faisceaux de Yoneda algébriques se projettent vers des faisceaux topologiques et que le lemme de Yoneda enrichi est valide dans les deux contextes.

3. Pleine fidélité de Fargues-Fontaine (Théorème 1.1, Partie 2) :
   L'article établit que le foncteur des faisceaux quasi-cohérents sur la courbe de Fargues-Fontaine ($X_{FF}$) vers les TVS est pleinement fidèle lorsqu'il est restreint aux complexes parfaits.

   • Pour des complexes parfaits $F, G \in \text{Perf}(X_{FF, S^\flat})$, le morphisme naturel
     $$R\tau_* R\text{Hom}_{\text{QCoh}}(F, G) \to R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(R\tau_* F, R\tau_* G)$$
     est un quasi-isomorphisme.
   • Ceci est un analogue topologique d'un résultat d'Anschütz-Le Bras [3], réduit au cas algébrique via la première affirmation du théorème.

4. Compatibilité des projections (Théorème 1.1, Partie 3) :
   L'article démontre la compatibilité entre la projection algébrique (de la Fargues-Fontaine vers VS) et la projection topologique (vers TVS) lorsqu'elle est restreinte aux faisceaux nucléaires. Cela garantit que le diagramme reliant la courbe de Fargues-Fontaine, VS et TVS commute pour les objets nucléaires.

5. Conséquences calculatoires (Corollaire 1.2 & Exemple 4.27) :
   Les auteurs fournissent des calculs explicites des groupes d'extensions dans la catégorie TVS, montrant qu'ils correspondent à ceux de VS et de la courbe de Fargues-Fontaine. Par exemple :

   • $R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(\mathbb{Q}_p, \mathbb{Q}_p) \simeq \mathbb{Q}_p$
   • $R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(\mathbb{Q}_p, \mathbb{G}_a) \simeq \mathbb{G}_a$
   • $R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(\mathbb{G}_a, \mathbb{G}_a) \simeq \mathbb{G}_a \oplus \mathbb{G}_a[-1]$
     Ces résultats confirment que les extensions des espaces de Banach-Colmez ou des faisceaux sur la courbe de Fargues-Fontaine peuvent être calculées de manière interchangeable dans les contextes algébrique, pro-étale ou topologique.

Signification et affirmations
L'article affirme que sa principale importance réside dans la fourniture d'un cadre condensé robuste pour les espaces vectoriels topologiques. En remplaçant les espaces localement convexes par des modules condensés/solides et les espaces sympathiques par des espaces strictement totalement déconnectés, les auteurs permettent l'utilisation d'outils puissants des mathématiques condensées (tels que le lemme de Yoneda enrichi et les produits tensoriels solides) pour étudier la cohomologie $p$-adique.

Les auteurs déclarent explicitement que ce cadre est motivé par et essentiel pour les théorèmes de dualité dans [11]. Ils notent que la « version solide » des TVS permet des calculs objet par objet dans la catégorie des $\mathbb{Q}_p$-espaces vectoriels solides, simplifiant l'analyse des dualités cohomologiques. L'article ne prétend pas résoudre les théorèmes de dualité eux-mêmes, mais fournit l'infrastructure catégorique nécessaire (la catégorie des « Espaces Vectoriels Topologiques ») pour rendre de tels calculs rigoureux et maniables au sein de l'univers condensé. Les résultats confirment que la « géométrisation » des morphismes de périodes via les TVS préserve l'information homologique essentielle des objets algébriques et géométriques sous-jacents.