Topological Vector Spaces

技术摘要：凝聚数学中的拓扑向量空间

问题与动机
本文旨在解决将 $p$-进周期态射（$p$-adic period morphisms）几何化的需求，特别是在刚性解析簇（rigid analytic varieties）的情形下，以促进 $p$-进 pro-étale 上同调的对偶定理。虽然在 [13] 中，拓扑向量空间（TVS）曾作为以 $\mathbb{Q}_p$ 上局部凸向量空间为值的“同情”（sympathetic）空间的富集预层被引入，但本文研究的是该范畴的凝聚版本（condensed version）。正如引言中所述，其主要动机在于应用于 [11] 中的对偶结果，其中相关的 TVS 实例源自 Fargues-Fontaine 曲线上的拟相干层上同调，这些对象自然地存在于凝聚宇宙中。

作者旨在建立一个严谨的框架，其中：

1. 局部凸拓扑向量空间被替换为凝聚的（或固体的/solid）$\mathbb{Q}_p$-模。
2. 同情空间被替换为严格完全不连通空间（或 w-收缩空间）。
3. 富集条件（即对映射空间的拓扑敏感性）通过在凝聚数学框架内使用富集 Yoneda 引理来形式化。

方法论
本文构建并分析了三个嵌套的（预）层范畴，这些范畴定义在关于 $C$ 上完美型仿射空间（perfectoid affinoids）的范畴之上（其中 $C$ 是混合特征域 $K$ 的代数闭包的 $p$-进完成）：

1. 向量空间 (VS)： 在完美型仿射空间的 pro-étale 站点（$S_{\text{pro'et}}$）上的 $\mathbb{Q}_p$-向量空间层范畴。这些是纯代数对象，尽管站点编码了某种拓扑。
2. 朴素拓扑向量空间 (NTVS)： 在同一站点上的拓扑 $\mathbb{Q}_p$-向量空间层范畴（在 Clausen-Scholze 意义下）。这些是取值为凝聚或固体阿贝尔群的层。作者证明了它们构成了 Grothendieck 阿贝尔范畴，并研究了它们的导出范畴、固体化演算（solidification functors）以及单子结构。
3. 拓扑向量空间 (TVS)： 本文研究的核心对象。这是 拓扑富集的 NTVS 预层 范畴。
   • 富集是通过为完美型空间之间的 Hom-空间配备自然的凝聚结构来实现的。
   • 作者将预层函子从一般的完美型仿射空间限制在严格完全不连通空间上，以确保富集条件成立并利用富集 Yoneda 引理。
   • 一个关键的技术工具是区分“刚性”（rigid）预层（其结构映射 $F(Y \times T) \to [T, F(Y)]$ 为同构）与一般的富集预层。本文确立了源自 pro-étale 站点的层是规范刚性的。

该方法论高度依赖于凝聚数学（Clausen-Scholze）理论，特别是固体模（solid modules）的性质、凝聚与固体范畴之间的关系，以及使用 $\infty$-范畴来处理导出函子和富集结构。

核心贡献与结果

1. 范畴框架： 本文将 TVS 定义为拓扑富集预层的一个全子范畴。它证明了该范畴与 VS 和 NTVS 范畴一起，构成了一个具有紧致、射影生成元（具体为与固体模张量积的 Yonela 对象）的 Grothendieck 阿贝尔范畴。

2. 富集全忠实性 (Theorem 1.1, Part 1)：
   作者证明，在满足特定有限性条件的情况下，从向量空间 (VS) 到拓扑向量空间 (TVS) 的规范函子是富集意义下的全忠实的。

   • 具体而言，对于 $F \in D^b(S_{\text{pro'et}}, \mathbb{Q}_p)$ 和 $G \in D^+(S_{\text{pro'et}}, \mathbb{Q}_p)$，规范态射
     $$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)$$
     是一个拟同构（quasi-isomorphism）。
   • 该结果依赖于代数 Yoneda 层映射为拓扑层，且富集 Yoneda 引理在两种设定下均成立的事实。

3. Fargues-Fontaine 全忠实性 (Theorem 1.1, Part 2)：
   本文确立了从 Fargues-Fontaine 曲线 ($X_{FF}$) 上的拟相干层到 TVS 的函子在限制于完美复形时是全忠实的。

   • 对于完美复形 $F, G \in \text{Perf}(X_{FF, S^\flat})$，自然态射
     $$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)$$
     是一个拟同构。
   • 这是 Anschütz-Le Bras [3] 结果的拓扑模拟，通过第一部分结论归约为代数情形。

4. 投影的相容性 (Theorem 1.1, Part 3)：
   本文展示了代数投影（从 Fargues-Fontaine 层到 VS）与拓扑投影（到 TVS）在限制于**核层（nuclear sheaves）**时具有相容性。这确保了关于 Fargues-Fontaine 曲线、VS 和 TVS 的图表对于核对象是交换的。

5. 计算后果 (Corollary 1.2 & Example 4.27)：
   作者提供了 TVS 范畴中扩张群（extension groups）的具体计算，表明它们与 VS 及 Fargues-Fontaine 曲线上的扩张群相匹配。例如：

   • $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]$
     这些结果证实，Banach-Colmez 空间或 Fargues-Fontaine 曲线上的层的扩张可以在代数、pro-étale 或拓扑设定下交替进行计算。

意义与主张
本文声称其主要意义在于为拓扑向量空间提供了一个稳健的凝聚框架。通过用凝聚/固体模取代局部凸空间，用严格完全不连通空间取代同情空间，作者使得利用强大的凝聚数学工具（如富集 Yoneda 引理和固体张量积）来研究 $p$-进上同调成为可能。

作者明确指出，该框架的设计初衷是且对于 [11] 中的对偶定理至关重要。他们指出，TVS 的“固体版本”允许在固体 $\mathbb{Q}_p$-向量空间的范畴内进行逐对象计算，从而简化了对上同调对偶性的分析。本文并不声称解决了这些对偶定理本身，而是提供了必要的范畴基础（即“拓扑向量空间”范畴），以便在凝聚宇宙中使此类计算变得严谨且可处理。研究结果证实，通过 TVS 进行的周期态射的“几何化”保留了底层代数和几何对象的本质同调信息。