Smooth categories in a 6 functor formalism and compact generation for nuclear categories in analytic geometry

技术摘要：6-函子形式体系中的光滑范畴与解析几何中核范畴的紧致生成

问题陈述
本文探讨了非交换代数几何中光滑性与固有性的标准范畴定义与解析情形之间存在的基本不相容性。在代数语境下，一个簇 $X$ 是光滑的，当且仅当其关联的完美复形范畴 $\text{Perf}(X)$ 是一个光滑的 $\infty$-范畴（通过对角双模的对偶性来定义）。然而，在刚性解析几何中，稳定现成 $\infty$-范畴的标准张量积无法满足 Tate 代数上的 Künneth 公式（例如，$\text{Perf}(k\langle t \rangle) \otimes_k \text{Perf}(k\langle u \rangle) \neq \text{Perf}(k\langle t, u \rangle)$）。因此，标准范畴论意义下的光滑性本质上是代数的，并不适用于解析簇。这一失效导致了一种脱节：一个刚性解析簇 $X$ 可能在几何上是光滑的，但其 $\text{Perf}(X)$ 在范畴论意义上并非光滑的，除非 $X$ 是可代数化的（即源于一个代数概型）。

方法论
为解决这一问题，作者采用了由 Clausen 和 Scholze 发展的凝聚数学（condensed mathematics）和解析叠（analytic stacks）框架。方法论通过以下几个关键步骤展开：

1. 导出刚性解析几何：本文利用了动画仿射代数（animated affinoid algebras）和导出刚性解析空间（derived rigid analytic spaces）的理论（遵循 Mikaelian 以及 Porta–Yu 的工作）。这些空间是通过沿有理局部化粘合动画仿射代数而构造的。
2. 核范畴：作者不再处理 $\text{Perf}(X)$，而是专注于核层（nuclear sheaves）的 $\infty$-范畴，记为 $\text{Nuc}(X)$。核范畴是在凝聚数学中引入的，它们是刚性的，并 admit 一个“完备化”的张量积，该张量积满足刚性簇上的 Künneth 公式。
3. 六函子形式体系：针对导出刚性解析空间上的核范畴，建立了一个稳健的六函子形式体系。该形式体系包含拉回（$f^*$）、前推（$f_*$）以及下 shriek（$f_!$）函子，其中对于拟紧、半分离态射，$f_!$ 被识别为 $f_*$。
4. 相对光滑性：本文定义了相对于基对称幺半 $\infty$-范畴 $\mathcal{V}$（具体为 $\text{Nuc}(k)$）的内部光滑（internally smooth）$\infty$-范畴。一个 $\infty$-范畴 $\mathcal{C}$ 是内部光滑的，如果其余赋值映射（coevaluation map） admit 一个保持余极限的 $\mathcal{V}$-线性右伴随。
5. 原子生成：本研究考察了这些范畴是否存在单个紧致（或“原子”）生成元，并将此性质与底层簇的可代数化联系起来。

主要贡献与结果

• 几何光滑性与范畴光滑性的等价性：主要结果（定理 1.4 / 定理 5.1）确立，对于非阿基米德域 $k$ 上的经典刚性解析簇 $X$，$X$ 在几何上是光滑的，当且仅当 $\infty$-范畴 $\text{Nuc}(X)$ 在 $\text{Nuc}(k)$ 上是内部光滑的。这是通过证明对角映射 $\Delta^* \mathcal{O}_X$ 在 $\text{Nuc}(X \hat{\times} X)$ 中是完美复形（紧致对象）当且仅当 $X$ 是光滑的来实现的。
• 核范畴的 GAGA：本文证明了一个 GAGA 型定理（推论 5.7），将解析化 $X^{\text{an}}$ 的核范畴与代数范畴联系起来：$\text{Nuc}(X^{\text{an}}) \simeq \text{QCoh}(X) \otimes_{\text{Mod}_k} \text{Nuc}(k)$。
• 可代数化的刻画：定理 1.8（定理 5.9）提供了可代数化的范畴论判据。一个光滑、固有、拟紧、分离的刚性解析簇 $X$ 是可代数化的，当且仅当 $\text{Nuc}(X)$ admit 单个 $\text{Nuc}(k)$-原子（等价地，紧致）生成元。
• 对猜想 1.7 的反例：本文构造了一个反例，反驳了“每个光滑、原子生成的 $\mathcal{V}$-线性 $\infty$-范畴都 admit 单个原子生成元”的猜想（猜想 1.7）。通过考虑一个不可代数化的光滑且固有刚性解析簇（例如 $p$-adic Hopf 曲面），作者证明了 $\text{Nuc}(X)$ 是内部光滑的，但 fail 具有单个紧致生成元。这表明，在代数几何中成立的“粘合局部紧致生成元以形成全局生成元”这一性质，在解析拓扑中失效。

意义
本文在三个主要领域宣称其重要性：

1. 非交换解析几何：通过将标准张量积替换为核张量积，本文成功地将范畴光滑性的强大工具引入刚性解析几何。这使得能够以前所未有的精确度对几何光滑性进行非交换刻画，而此前在经典情形中，Künneth 公式的失效阻碍了这种刻画。
2. 可代数化判据：本文提供了一种全新的、纯范畴论的方法来检测刚性解析簇是否可代数化，将核范畴中全局紧致生成元的存在性与可代数化这一几何性质联系起来。
3. 基础性区别：研究结果突显了代数拓扑与解析拓扑之间根本的结构差异。具体而言，“局部紧致生成元粘合”在解析情形下的失效，构成了对代数结果（如猜想 1.7）推广到任意刚性基的普遍化的反例，证明了核范畴的行为与代数情形中模环的行为截然不同。

本文得出结论：虽然通过凝聚数学和核范畴可以将光滑性的范畴框架适应于解析几何，但由此产生的理论揭示了关于紧致生成的内在局限性，而这些局限性在代数世界中并不存在。