Topological Vector Spaces

Resumen Técnico: Espacios Vectoriales Topológicos en Matemáticas Condensadas

Problema y Motivación
El artículo aborda la necesidad de geometrizar los morfismos de periodos $p$-ádicos para variedades analíticas rígidas, específicamente para facilitar los teoremas de dualidad para la cohomología pro-étale $p$-ádica. Si bien los Espacios Vectoriales Topológicos (TVS, por sus siglas en inglés) fueron introducidos previamente en [13] como presafas enriquecidas sobre espacios "simpáticos" con valores en espacios vectoriales localmente convexos sobre $\mathbb{Q}_p$, este artículo investiga la versión condensada de esta categoría. La motivación principal, como se establece en la introducción, es la aplicación a los resultados de dualidad en [11], donde los ejemplos relevantes de TVS surgen de la cohomología de haces coherentes sobre la curva de Fargues-Fontaine, objetos que residen naturalmente en el universo condensado.

Los autores pretenden establecer un marco riguroso donde:

1. Los espacios vectoriales topológicamente convexos localmente se reemplazan por $\mathbb{Q}_p$-módulos condensados (o sólidos).
2. Los espacios simpáticos se reemplazan por espacios estrictamente totalmente desconectados (o espacios w-contraíbles).
3. La condición de enriquecimiento (sensibilidad a la topología en los espacios de mapeo) se formaliza utilizando el Lema de Yoneda enriquecido dentro del entorno de la matemática condensada.

Metodología
El artículo construye y analiza tres categorías anidadas de (pre)afas sobre la categoría de afinoides perfectoides sobre $C$ (donde $C$ es la completación $p$-ádica de un cierre algebraico de un campo de característica mixta $K$):

1. Espacios Vectoriales (VS): La categoría de haces de espacios vectoriales de $\mathbb{Q}_p$ sobre el sitio pro-étale de afinoides perfectoides ($S_{\text{pro\'et}}$). Estos son objetos algebraicos sin topología intrínseca, aunque el sitio codifica una topología.
2. Espacios Vectoriales Topológicos Naive (NTVS): La categoría de haces de espacios vectoriales topológicos de $\mathbb{Q}_p$ (en el sentido de Clausen-Scholze) sobre el mismo sitio. Estos son haces con valores en grupos abelianos condensados o sólidos. Los autores demuestran que estos forman categorías abelianas de Grothendieck y estudian sus categorías derivadas, los funtores de solidificación y sus estructuras monoidales.
3. Espacios Vectoriales Topológicos (TVS): El objeto principal de estudio. Esta es la categoría de presafas topológicamente enriquecidas en NTVS.
   • El enriquecimiento se logra equipando los espacios Hom entre los espacios perfectoides con una estructura condensada natural.
   • Los autores restringen los funtores de presafas desde afinoides perfectoides generales a espacios estrictamente totalmente desconectados para asegurar que la condición de enriquecimiento se cumpla y para utilizar el Lema de Yoneda enriquecido.
   • Una herramienta técnica clave es la distinción entre presafas "rígidas" (donde las aplicaciones de estructura $F(Y \times T) \to [T, F(Y)]$ son isomorfismos) y las presafas enriquecidas generales. El artículo establece que las safas que surgen del sitio pro-étale son canónicamente rígidas.

La metodología se apoya fuertemente en la teoría de la matemática condensada (Clausen-Scholze), específicamente en las propiedades de los módulos sólidos, la relación entre las categorías condensadas y sólidas, y el uso de $\infty$-categorías para manejar los funtores derivados y las estructuras enriquecidas.

Contribuciones Clave y Resultados

1. Marco Categórico: El artículo define la categoría de TVS como una subcategoría plena de las presafas topológicamente enriquecidas. Demuestra que esta categoría, junto con las categorías de VS y NTVS, forma una categoría abeliana de Grothendieck con generadores proyectivos compactos (específicamente, objetos de Yoneda tensoreados con módulos sólidos).

2. Plenitud Enriquecida (Teorema 1.1, Parte 1):
   Los autores demuestran que el funtor canónico de Espacios Vectoriales (VS) a Espacios Vectoriales Topológicos (TVS) es plenamente fiel en el sentido enriquecido, siempre que se cumplan ciertas condiciones de finitud.

   • Específicamente, para $F \in D^b(S_{\text{pro\'et}}, \mathbb{Q}_p)$ y $G \in D^+(S_{\text{pro\'et}}, \mathbb{Q}_p)$, la morfismo canónico
     $$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)$$
     es un cuasi-isomorfismo.
   • Este resultado se basa en el hecho de que las safas de Yoneda algebraicas mapean a las topológicas y que el Lema de Yoneda enriquecido se cumple en ambos entornos.

3. Plenitud de Fargues-Fontaine (Teorema 1.1, Parte 2):
   El artículo establece que el funtor de los haces coherentes sobre la curva de Fargues-Fontaine ($X_{FF}$) a TVS es plenamente fiel cuando se restringe a complejos perfectos.

   • Para complejos perfectos $F, G \in \text{Perf}(X_{FF, S^\flat})$, el morfismo natural
     $$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)$$
     es un cuasi-isomorfismo.
   • Este es un análogo topológico de un resultado de Anschütz-Le Bras [3], reducido al caso algebraico mediante la primera afirmación del teorema.

4. Compatibilidad de Proyecciones (Teorema 1.1, Parte 3):
   El artículo demuestra la compatibilidad entre la proyección algebraica (de los haces de Fargues-Fontaine a VS) y la proyección topológica (a TVS) cuando se restringe a safas nucleares. Esto asegura que el diagrama que relaciona la curva de Fargues-Fontaine, VS y TVS conmute para objetos nucleares.

5. Consecuencias Computacionales (Corolario 1.2 y Ejemplo 4.27):
   Los autores proporcionan computaciones explícitas de los grupos de extensión en la categoría de TVS, mostrando que coinciden con los de VS y en la curva de Farges-Fontaine. Por ejemplo:

   • $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]$
     Estos resultados confirman que las extensiones de los espacios de Banach-Colmez o de los haces sobre la curva de Fargues-Fontaine pueden computarse indistintamente en los entornos algebraico, pro-étale o topológico.

Significancia y Reivindicaciones
El artículo afirma que su principal significancia radica en proporcionar un marco condensado para los Espacios Vectoriales Topológicos. Al reemplazar los espacios localmente convexos con módulos condensados/sólidos y los espacios simpáticos con espacios estrictamente totalmente desconectados, los autores permiten el uso de herramientas poderosas de la matemática condensada (como el Lema de Yoneda enriquecido y los productos tensoriales sólidos) para estudiar la cohomología $p$-ádica.

Los autores declaran explícitamente que este marco está motivado por y es esencial para los teoremas de dualidad en [11]. Señalan que la "versión sólida" de los TVS permite realizar computaciones objeto por objeto en la categoría de espacios vectoriales sólidos de $\mathbb{Q}_p$, simplificando el análisis de las dualidades cohomológicas. El artículo no pretende resolver los teoremas de dualidad en sí, sino que proporciona la infraestructura categórica necesaria (la categoría de "Espacios Vectoriales Topológicos") para que tales computaciones sean rigurosas y tratables dentro del universo condensado. Los resultados confirman que la "geometrización" de los morfismos de periodos vía TVS preserva la información homológica esencial de los objetos algebraicos y geométicos subyacentes.