Topological Vector Spaces

Sintesi Tecnica: Spazi Vettoriali Topologici nella Matematica Condensata

Problema e Motivazione
Il saggio affronta la necessità di geometrizzare i morfismi di periodo $p$-adici per varietà analitiche rigide, specificamente per facilitare i teoremi di dualità per la coomologia pro-etale $p$-adica. Sebbene gli Spazi Vettoriali Topologici (TVS) fossero stati precedentemente introdotti in [13] come preschemi arricchiti su spazi "simpatetici" con valori in spazi vettoriali localmente convessi su $\mathbb{Q}_p$, questo saggio investiga la versione condensata di tale categoria. La motivazione primaria, come dichiarato nell'introduzione, è l'applicazione ai risultati di dualità in [11], dove gli esempi rilevanti di TVS derivano dalla coomologia di fasci quasi-coerenti sulla curva di Fargues-Fontaine, oggetti che risiedono naturalmente nell'universo condensato.

Gli autori mirano a stabilire un quadro rigoroso in cui:

1. Gli spazi vettoriali topologicamente localmente convessi sono sostituiti da $\mathbb{Q}_p$-moduli condensati (o solidi).
2. Gli spazi simpatetici sono sostituiti da spazi strettamente totalmente disconnessi (o spazi w-contrattili).
3. La condizione di arricchimento (sensibilità alla topologia sugli spazi di mapping) è formalizzata tramite il lemma di Yoneda arricchito all'interno del contesto della matematica condensata.

Metodologia
Il saggio costruisce e analizza tre categorie annidate di (pre)schemi sul sito dei perfetti affinoidi su $C$ (dove $C$ è la completamento $p$-adico di un campo algebricamente chiuso di caratteristica mista $K$):

1. Spazi Vettoriali (VS): La categoria degli schemi di $\mathbb{Q}_p$-spazi vettoriali sul sito pro-etale degli affinoidi perfetti ($S_{\text{pro\'et}}$). Questi sono oggetti algebrici privi di una topologia intrinseca, sebbene il sito codifichi una topologia.
2. Spazi Vettoriali Topologici Naïve (NTVS): La categoria degli schemi di spazi vettoriali $\mathbb{Q}_p$ topologici (nel senso di Clausen-Scholze) sullo stesso sito. Questi sono schemi con valori in gruppi abeliani condensati o solidi. Gli autori dimostrano che essi formano categorie abeliane di Grothendieck e studiano le loro categorie derivate, i funtori di solidificazione e le strutture monoidali.
3. Spazi Vettoriali Topologici (TVS): L'oggetto principale di studio. Questa è la categoria dei preschemi topologicamente arricchiti in NTVS.
   • L'arricchimento è ottenuto equipaggiando gli spazi di Hom tra spazi perfetti con una naturale struttura condensata.
   • Gli autori restringono i funtori di preschemi da generali affinoidi perfetti a spazi strettamente totalmente disconnessi per garantire che la condizione di arricchimento sia soddisfatta e per utilizzare il lemma di Yoneda arricchito.
   • Uno strumento tecnico chiave è la distinzione tra preschemi "rigidi" (dove le mappe di struttura $F(Y \times T) \to [T, F(Y)]$ sono isomorfismi) e preschemi arricchiti generali. Il saggio stabilisce che gli schemi derivanti dal sito pro-etale sono canonicamente rigidi.

La metodologia si basa pesantemente sulla teoria della matematica condensata (Clausen-Scholze), specificamente sulle proprietà dei moduli solidi, sulla relazione tra categorie condensate e solide, e sull'uso delle $\infty$-categorie per gestire i funtori derivati e le strutture arricchite.

Contributi Chiave e Risultati

1. Quadro Categorico: Il saggio definisce la categoria dei TVS come una sottocategoria piena di preschemi topologicamente arricchiti. Dimostra che questa categoria, insieme alle categorie VS e NTVS, forma una categoria abeliana di Grothendieck con generatori compatti e proiettivi (specificamente, oggetti di Yoneda tensorializzati con moduli solidi).

2. Piena Corrispondenza Arricchita (Teorema 1.1, Parte 1):
   Gli autori dimostrano che il funtore canonico da Spazi Vettoriali (VS) a Spazi Vettoriali Topologici (TVS) è completamente regolare (fully faithful) nel senso arricchito, a patto che siano soddisfatte certe condizioni di finitezza.

   • Nello specifico, per $F \in D^b(S_{\text{pro\'et}}, \mathbb{Q}_p)$ e $G \in D^+(S_{\text{pro\'et}}, \mathbb{Q}_p)$, il morfismo canonico
     $$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)$$
     è un quasi-isomorfismo.
   • Questo risultato si basa sul fatto che gli schemi di Yoneda algebrici mappano in quelli topologici e che il lemma di Yoneda arricchito vale in entrambi i contesti.

3. Piena Corrispondenza di Fargues-Fontaine (Teorema 1.1, Parte 2):
   Il saggio stabilisce che il funtore da fasci quasi-coerenti sulla curva di Fargues-Fontaine ($X_{FF}$) a TVS è completamente regolare quando ristretto ai complessi perfetti.

   • Per complessi perfetti $F, G \in \text{Perf}(X_{FF, S^\flat})$, il morfismo naturale
     $$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)$$
     è un quasi-isomorfismo.
   • Questo è un analogo topologico di un risultato di Anschütz-Le Bras [3], ridotto al caso algebrico tramite la prima affermazione del teorema.

4. Compatibilità delle Proiezioni (Teorema 1.1, Parte 3):
   Il saggio dimostra la compatibilità tra la proiezione algebrica (da fasci di Fargues-Fontaine a VS) e la proiezione topologica (a TVS) quando ristretta a fasci nucleari. Ciò assicura che il diagramma che mette in relazione la curva di Fargues-Fontaine, VS e TVS commuti per gli oggetti nucleari.

5. Conseguenze Computazionali (Corollario 1.2 & Esempio 4.27):
   Gli autori forniscono calcoli espliciti dei gruppi di estensione nella categoria TVS, mostrando che essi corrispondono a quelli in VS e sulla curva di Fargues-Fontaine. Ad esempio:

   • $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]$
     Questi risultati confermano che le estensioni di spazi di Banach-Colmez o di fasci sulla curva di Fargues-Fontaine possono essere calcolate indistintamente nei contesti algebrico, pro-etale o topologico.

Significato e Rivendicazioni
Il saggio afferma che la sua importanza primaria risiede nel fornire un robusto quadro condensato per gli Spazi Vettoriali Topologici. Sostituendo gli spazi localmente convessi con moduli condensati/solidi e gli spazi simpatetici con spazi strettamente totalmente disconnessi, gli autori consentono l'uso di potenti strumenti della matematica condensata (come il lemma di Yoneda arricchito e i prodotti tensoriali solidi) per studiare la coomologia $p$-adica.

Gli autori dichiarano esplicitamente che questo quadro è motivato da ed essenziale per i teoremi di dualità in [11]. Notano che la "versione solida" di TVS permette calcoli oggetto-per-oggetto nella categoria dei $\mathbb{Q}_p$-spazi vettoriali solidi, semplificando l'analisi delle dualità coomologiche. Il saggio non pretende di risolvere i teoremi di dualità in sé, ma piuttosto fornisce l'infrastruttura categorica necessaria (la categoria "Spazi Vettoriali Topologici") per rendere tali calcoli rigorosi e trattabili all'interno dell'universo condensato. I risultati confermano che la "geometrizzazione" dei morfismi di periodo tramite TVS preserva l'essenziale informazione omologica degli oggetti algebrici e geometrici sottostanti.