Topological Vector Spaces

Technische Samenvatting: Topologische Vektorruimten in de Gecondenseerde Wiskunde

Probleem en Motivatie
Het artikel behandelt de noodzaak om $p$-adische periode-morfismen voor rigide analytische variëteiten te geometriseeren, specifiek om dualiteitstellingen voor $p$-adische pro-étale cohomologie te faciliteren. Hoewel Topologische Vektorruimten (TVS) eerder in [13] werden geïntroduceerd als verrijkte presheaves op "sympathische" ruimten met waarden in lokaal convexe vektorruimten over $\mathbb{Q}_p$, onderzoekt dit artikel de gecondenseerde versie van deze categorie. De primaire motivatie, zoals vermeld in de inleiding, is de toepassing op dualiteitsresultaten in [11], waarbij de relevante voorbeelden van TVS voortkomen uit de cohomologie van quasi-coherente sheaves op de Fargues-Fontaine curve, objecten die van nature in het gecondenseerde universum verblijven.

De auteurs beogen een rigoureus kader vast te stellen waar:

1. Lokaal convexe topologische vektorruimten worden vervangen door gecondenseerde (of solide) $\mathbb{Q}_p$-modules.
2. Sympathische ruimten worden vervangen door strikt totaal onverbonden ruimten (of w-contractabele ruimten).
3. De verrijkingsvoorwaarde (gevoeligheid voor de topologie op mapping-ruimten) wordt geformaliseerd met behulp van de verrijkte Yoneda-lemma binnen de setting van de gecondenseerde wiskunde.

Methodologie
Het artikel construeert en analyseert drie geneste categorieën van (pre)sheaves op de categorie van perfectoïde affinoïden over $C$ (waarbij $C$ de $p$-adische voltooiing is van een algebraïsche afsluiting van een gemengde karakteristiek veld $K$):

1. Vektorruimten (VS): De categorie van sheaves van $\mathbb{Q}_p$-vektorruimten op de pro-étale site van perfectoïde affinoïden ($S_{\text{pro\'et}}$). Dit zijn algebraïsche objecten zonder intrinsieke topologie, hoewel de site een topologie codeert.
2. Naïeve Topologische Vektorruimten (NTVS): De categorie van sheaves van topologische $\mathbb{Q}_p$-vektorruimten (in de zin van Clausen-Scholze) op dezelfde site. Dit zijn sheaves met waarden in gecondenseerde of solide abelse groepen. De auteurs bewijzen dat deze vormen als Grothendieck abelse categorieën en bestuderen hun afgeleide categorieën, solidificatie-functoren en monoidale structuren.
3. Topologische Vektorruimten (TVS): Het hoofdonderwerp van studie. Dit is de categorie van topologisch verrijkte presheaves in NTVS.
   • De verrijking wordt bereikt door de Hom-ruimten tussen perfectoïde ruimten te voorzien van een natuurlijke gecondenseerde structuur.
   • De auteurs beperken de presheaf-functoren van algemene perfectoïde affinoïden tot strikt totaal onverbonden ruimten om ervoor te zorgen dat de verrijkingsvoorwaarde standhoudt en om de verrijkte Yoneda-lemma te kunnen gebruiken.
   • Een cruciaal technisch instrument is het onderscheid tussen "rigide" presheaves (waarbij structuur-afbeeldingen $F(Y \times T) \to [T, F(Y)]$ isomorfismen zijn) en algemene verrijkte presheaves. Het artikel stelt vast dat sheaves die voortkomen uit de pro-étale site canoniek rigide zijn.

De methodologie leunt zwaar op de theorie van de gecondenseerde wiskunde (Clausen-Scholze), specifiek de eigenschappen van solide modules, de relatie tussen gecondenseerde en solide categorieën, en het gebruik van $\infty$-categorieën om afgeleide functoren en verrijkte structuren te behandelen.

Belangrijkste Bijdragen en Resultaten

1. Categoriaal Kader: Het artikel definieert de categorie van TVS als een volledige subcategorie van topologisch verrijkte presheaves. Het bewijst dat deze categorie, samen met de categorieën van VS en NTVS, een Grothendieck abelse categorie vormt met compacte, projectieve generatoren (specifiek, Yoneda-objecten getensoreerd met solide modules).

2. Verrijkte Volledige Inbedding (Theorem 1.1, Deel 1):
   De auteurs bewijzen dat de canonieke functor van Vektorruimten (VS) naar Topologische Vektorruimten (TVS) volledig faithful is in de verrijkte zin, mits aan bepaalde eindigheidsvoorwaarden wordt voldaan.

   • Specifiek, voor $F \in D^b(S_{\text{pro\'et}}, \mathbb{Q}_p)$ en $G \in D^+(S_{\text{pro\'et}}, \mathbb{Q}_p)$ is de canonieke morfisme
     $$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)$$
     een quasi-isomorfisme.
   • Dit resultaat berust op het feit dat algebraïsche Yoneda-sheaves naar topologische ones mappen en dat de verrijkte Yoneda-lemma geldt in beide settings.

3. Fargues-Fontaine Volledige Inbedding (Theorem 1.1, Deel 2):
   Het artikel stelt vast dat de functor van quasi-coherente sheaves op de Fargues-Fontaine curve ($X_{FF}$) naar TVS volledig faithful is wanneer deze wordt beperkt tot perfecte complexen.

   • Voor perfecte complexen $F, G \in \text{Perf}(X_{FF, S^\flat})$ is de natuurlijke morfisme
     $$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)$$
     een quasi-isomorfisme.
   • Dit is een topologisch analoog van een resultaat door Anschütz-Le Bras [3], gereduceerd tot het algebraïsche geval via de eerste claim van de stelling.

4. Compatibiliteit van Projecties (Theorem 1.1, Deel 3):
   Het artikel demonstreert de compatibiliteit tussen de algebraïsche projectie (van Fargues-Fontaine sheaves naar VS) en de topologische projectie (naar TVS) wanneer deze wordt beperkt tot nucleaire sheaves. Dit zorgt ervoor dat het diagram dat de Fargues-Fontaine curve, VS en TVS relateert, commuteert voor nucleaire objecten.

5. Computationele Gevolgen (Corollary 1.2 & Example 4.27):
   De auteurs bieden expliciete berekeningen van extensie-groepen in de TVS-categorie, waarbij zij aantonen dat deze overeenkomen met die in VS en op de Fargues-Fontaine curve. Bijvoorbeeld:

   • $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]$
     Deze resultaten bevestigen dat extensies van Banach-Colmez ruimten of sheaves op de Fargues-Fontaine curve uitwisselbaar berekend kunnen worden in de algebraïsche, pro-étale of topologische settings.

Betekenis en Claims
Het artikel claimt dat de primaire betekenis ligt in het bieden van een robuust gecondenseerd kader voor Topologische Vektorruimten. Door lokaal convexe ruimten te vervangen door gecondenseerde/solide modules en sympathische ruimten door strikt totaal onverbonden ruimten, stellen de auteurs het mogelijk om krachtige instrumenten uit de gecondenseerde wiskunde (zoals de verrijkte Yoneda-lemma en solide tensorproducten) te gebruiken om $p$-adische cohomologie te bestuderen.

De auteurs stellen expliciet dat dit kader gemotiveerd wordt door en essentieel is voor de dualiteitstellingen in [11]. Zij merken op dat de "solide versie" van TVS objectgewijze berekeningen in de categorie van solide $\mathbb{Q}_p$-vektorruimten mogelijk maakt, wat de analyse van cohomologische dualiteiten vereenvoudigt. Het artikel claimt niet zelf de dualiteitstellingen op te lossen, maar biedt de noodzakelijke categoriale infrastructuur (de categorie "Topologische Vektorruimten") om dergelijke berekeningen rigoureus en hanteerbaar te maken binnen het gecondenseerde universum. De resultaten bevestigen dat de "geometrisering" van periode-morfismen via TVS de essentiële homologische informatie van de onderliggende algebraïsche en geometrische objecten behoudt.