Topological Vector Spaces

Resumo Técnico: Espaços Vetoriais Topológicos em Matemática Condensada

Problema e Motivação
O artigo aborda a necessidade de geometrizar os morfismos de período $p$-ádicos para variedades analíticas rígidas, especificamente para facilitar teoremas de dualidade para a cohomologia pro-etale $p$-ádica. Embora os Espaços Vetoriais Topológicos (TVS) tenham sido introduzidos anteriormente em [13] como presfuntores enriquecidos sobre espaços "simpáticos" valendo em espaços vetoriais localmente convexos sobre $\mathbb{Q}_p$, este artigo investiga a versão condensada desta categoria. A motivação primária, conforme declarada na introdução, é a aplicação à resultados de dualidade em [11], onde os exemplos relevantes de TVS surgem da cohomologia de feixes quase coerentes na curva de Fargues-Fontaine, objetos que residem naturalmente no universo condensado.

Os autores visam estabelecer um arcabouço rigoroso onde:

1. Espaços vetoriais localmente convexos são substituídos por $\mathbb{Q}_p$-módulos condensados (ou sólidos).
2. Espaços simpáticos são substituídos por espaços estritamente totalmente desconexos (ou espaços w-contraíveis).
3. A condição de enriquecimento (sensibilidade à topologia nos espaços de mapeamento) é formalizada usando o Lema de Yoneda enriquecido dentro do contexto da matemática condensada.

Metodologia
O artigo constrói e analisa três categorias aninhadas de (pré)feixes sobre a categoria de afinoides perfectoides sobre $C$ (onde $C$ é a completação $p$-ádica de um fechamento algébrico de um corpo de característica mista $K$):

1. Espaços Vetoriais (VS): A categoria de feixes de espaços vetoriais de $\mathbb{Q}_p$ sobre o sítio pro-etale de afinoides perfectoides ($S_{\text{pro\'et}}$). Estes são objetos algébricos sem topologia intrínseca, embora o sítio codifique uma topologia.
2. Espaços Vetoriais Topológicos Ingênuos (NTVS): A categoria de feixes de espaços vetoriais topológicos de $\mathbb{Q}_p$ (no sentido de Clausen-Scholze) sobre o mesmo sítio. Estes são feixes com valores em grupos abelianos condensados ou sólidos. Os autores provam que estes formam categorias abelianas de Grothendieck e estudam suas categorias derivadas, funtores de solidificação e estruturas monoidais.
3. Espaços Vetoriais Topológicos (TVS): O principal objeto de estudo. Esta é a categoria de presfuntores topologicamente enriquecidos em NTVS.
   • O enriquecimento é alcançado equipando os espaços Hom entre espaços perfectoides com uma estrutura condensada natural.
   • Os autores restringem os funtores de presfeixes de afinoides perfectoides gerais para espaços estritamente totalmente desconexos para garantir que a condição de enriquecimento seja satisfeita e para utilizar o Lema de Yoneda enriquecido.
   • Uma ferramenta técnica fundamental é a distinção entre presfequres "rígidos" (onde os mapas de estrutura $F(Y \times T) \to [T, F(Y)]$ são isomorfismos) e presfequres enriquecidos gerais. O artigo estabelece que os feixes que surgem do sítio pro-etale são canonicamente rígidos.

A metodologia baseia-se fortemente na teoria da matemática condensada (Clausen-Scholze), especificamente nas propriedades de módulos sólidos, na relação entre categorias condensadas e sólidas, e no uso de $\infty$-categorias para lidar com funtores derivados e estruturas enriquecidas.

Contribuições Principais e Resultados

1. Arcabouço Categórico: O artigo define a categoria de TVS como uma subcategoria plena de presfequres topologicamente enriquecidos. Ele prova que esta categoria, juntamente com as categorias de VS e NTVS, forma uma categoria abeliana de Grothendieck com geradores projetivos compactos (especificamente, objetos de Yoneda tensorizados com módulos sólidos).

2. Plena Fidelidade Enriquecida (Teorema 1.1, Parte 1):
   Os autores provam que o funtor canônico de Espaços Vetoriais (VS) para Espaços Vetoriais Topológicos (TVS) é plenamente fiel no sentido enriquecido, desde que certas condições de finitude sejam atendidas.

   • Especificamente, para $F \in D^b(S_{\text{pro\'et}}, \mathbb{Q}_p)$ e $G \in D^+(S_{\text{pro\'et}}, \mathbb{Q}_p)$, o 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)$$
     é um quase-isomorfismo.
   • Este resultado depende do fato de que os feixes de Yoneda algébricos mapeiam para os topológicos e que o Lema de Yoneda enriquecido é válido em ambos os contextos.

3. Plena Fidelidade de Fargues-Fontaine (Teorema 1.1, Parte 2):
   O artigo estabelece que o funtor de feixes quase coerentes na curva de Fargues-Fontaine ($X_{FF}$) para TVS é plenamente fiel quando restrito a complexos perfeitos.

   • Para complexos perfeitos $F, G \in \text{Perf}(X_{FF, S^\flat})$, o 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)$$
     é um quase-isomorfismo.
   • Este é um análogo topológico de um resultado de Anschütz-Le Bras [3], reduzido ao caso algébrico via da primeira afirmação do teorema.

4. Compatibilidade de Projeções (Teorema 1.1, Parte 3):
   O artigo demonstra a compatibilidade entre a projeção algébrica (de feixes de Fargues-Fontaine para VS) e a projeção topológica (para TVS) quando restrita a feixes nucleares. Isso garante que o diagrama relacionando a curva de Fargues-Fontaine, VS e TVS comute para objetos nucleares.

5. Consequências Computacionais (Corolário 1.2 & Exemplo 4.27):
   Os autores fornecem computações explícitas de grupos de extensão no contexto de TVS, mostrando que eles coincidem com os de VS e na curva de Fargues-Fontaine. Por exemplo:

   • $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]$
     Estes resultados confirmam que extensões de espaços de Banach-Colmez ou feixes na curva de Fargues-Fontaine podem ser computadas intercambiavelmente nos contextos algébrico, pro-etale ou topológico.

Significância e Alegações
O artigo alega que sua principal significância reside em fornecer um arcabouço condensado robusto para Espaços Vetoriais Topológicos. Ao substituir espaços localmente convexos por módulos condensados/sólidos e espaços simpáticos por espaços estritamente totalmente desconexos, os autores permitem o uso de ferramentas poderosas da matemática condensada (como o Lema de Yoneda enriquecido e produtos tensoriais sólidos) para estudar a cohomologia $p$-ádica.

Os autores afirmam explicitamente que este arcabouço é motivado por e essencial para os teoremas de dualidade em [11]. Eles observam que a "versão sólida" de TVS permite computações objeto-por-objeto na categoria de espaços vetoriais sólidos de $\mathbb{Q}_p$, simplificando a análise de dualidades cohomológicas. O artigo não pretende resolver os teoremas de dualidade em si, mas sim fornece a infraestrutura categórica necessária (a categoria "Espaços Vetoriais Topológicos") para tornar tais computações rigorosas e tratáveis dentro do universo condensado. Os resultados confirmam que a "geometrização" dos morfismos de período via TVS preserva a informação homológica essencial dos objetos algébicos e geométicos subjacentes.