Degeneration Theorems of Connes and Feigin--Tsygan Type in Mixed Characteristic, with q-Analogues

技术摘要：混合特征下 Connes 与 Feigin–Tsygan 型退化定理及其 Q-类比

问题陈述
本文探讨了在混合特征设定下，与拓扑循环同调（topological cyclic homology）和周期循环同调（periodic cyclic homology）相关的谱序列的退化问题。经典地，对于定义在 $\mathbb{Q}$-代数上的光滑代数，Connes–Feigin–Tsygan 定理将周期循环同调（$HP$）识别为 de Rham 复形的 2-周期化。在特征 $p$ 下，这一图景通过 Hochschild–Kostant–Rosenberg (HKR) 滤过和 Deligne–Illusie 定理得到细化，后者保证了在维数约束下（例如 $\dim X < p$）的退化。

核心问题是建立这些退化定理的混合特征类比。具体而言，作者研究了将结晶上同调与拓扑周期同调（$TP$）相关联、以及将 de Rham 上同调与周期循环同调（$HP$）相关联的谱序列，在$p$-进域整数环上的光滑固有簇情形下，是否发生**分裂退化**。分裂退化意味着谱序列在$E_2$ 页坍缩，且目标同伦群上的诱导滤过分裂，从而产生同伦群与上同调群直和之间的同构。

方法论
本文采用了非交换 $p$-进霍奇理论、Breuil–Kisin 模理论以及拓扑 K-理论的综合方法。

1. 非交换 $p$-进霍奇理论：作者利用了 Bhatt–Morrow–Scholze 发展的框架以及作者之前的工作。这涉及通过 $K(1)$-局部 K-理论，比较 $p$-进环上概形的拓扑不变量（$TP$, $TC^-$）与其 étale 和结晶对应物。
2. Breuil–Kisin 模：技术机制的很大一部分致力于 Breuil–Kisin 模的结构理论。本文建立了一个低分歧结构定理（定理 4.4）的变体，该变体能够容纳有限自由Breuil–Kisin 模以及挠模。这对于处理源自 BMS（Bhatt–Morrow–Scholze）谱序列的滤过至关重要。
3. 谱序列分析：作者将 Li 关于离散赋值环（DVRs）上滤过复形的判据适应到了谱序列设定中。核心策略是证明总同伦群的挠子模长度等于其分次项挠子模长度之和。这一等式，结合在 $p$ 可逆后谱序列的退化，意味着分裂退化。
4. 拓扑 K-理论与陈类：为了处理 $q$-de Rham 类比，本文证明了拓扑 K-理论陈类分解的整性细化。结果表明，对于维数为 $d$ 的有限 CW 复形，在将 $\lfloor (d+1)/2 \rfloor!$ 可逆后，陈类成为同构。这控制了拓扑 $q$-de Rham 结果所需的整性范围。

主要贡献与结果

本文证明了在特定维数和分歧界限下关于分裂退化的三个主要定理。设 $W = W(k)$ 为特征 $p > 0$ 的完美域 $k$ 的 Witt 向量，$K$ 为 $\text{Frac}(W)$ 的有限扩张，分歧指数为 $e$，$X$ 为 $\mathcal{O}_K$ 上的光滑固有簇。

1. 结晶到 $TP$ 的退化（定理 1.1 与 3.9）：
   若满足以下条件，结晶到-$TP$ 谱序列是分裂退化的：

   • 当 $\mathcal{O}_K = W$（无分歧）时，$\dim X < p - 1$。
   • 当 $e \ge 2$（有分歧）时，$e(2 \dim X - 1) < p - 1$。
     这导出了 $W$-模的同构：
     $$\pi_j TP(X_k; \mathbb{Z}_p) \simeq \bigoplus_{i \in \mathbb{Z}} H^{-j+2i}_{\text{cry}}(X_k/W)$$
     此处，在有分歧情形下，该界限比 de Rham 情形略为尖锐，因为证明直接依赖于结晶比较和拓扑 K-理论分裂判据，绕过了用于其他情形的 Breuil–Kisin 分裂论证。

2. de Rham 到 $HP$ 的退化（定理 1.1 与 5.14）：
   若 $2e \dim(X/\mathcal{O}_K) < p - 1$，则 de Rham 到-$HP$ 谱序列是分裂退化的。这意味着：
   $$HP_j(X/\mathcal{O}_K; \mathbb{Z}_p) \simeq \bigoplus_{i \in \mathbb{Z}} H^{-j+2i}_{\text{dR}}(X/\mathcal{O}_K)$$
   证明通过建立Breuil–Kisin 到-$TC^-$谱序列的分裂退化（定理 5.13），然后通过映射到 $\mathcal{O}_K$ 和 $A_{\inf}$ 进行特化来实现。

3. $A_{\inf}$ 到 $TP$ 的退化（定理 1.3 与 5.15）：
   在相同条件 $2e \dim(X/\mathcal{O}_K) < p - 1$ 下，$A_{\inf}$ 到-$TP$ 谱序列是分裂退化的：
   $$TP_j(X; \mathbb{Z}_p) \simeq \bigoplus_{i \in \mathbb{Z}} H^{-j+2i}_{A_{\inf}}(X)$$

4. 拓扑 $q$-de Rham 类比（定理 1.3 与 5.18）：
   对于 $\mathbb{Z}[1/N]$ 上的光滑固有簇 $X$（其中 $N$ 为偶数），本文证明了在将 $(2d+1)!$（其中 $d = \dim X$）可逆后，$TP(X \otimes ku / ku)$ 上的 $S^1$-等变偶滤过是分裂退化的。这导出了与 $q$-de Rham 上同调的同构：
   $$\pi_j TP(X \otimes ku / ku)[(2d+1)!^{-1}] \simeq \bigoplus_{i \in \mathbb{Z}} H^{-j+2i}_{q\text{-dR}}(X/\mathbb{Z})[(2d+1)!^{-1}]$$
   该结果依赖于整性陈类分解（定理 2.2）以及一个下降论证，该论证比较了 $q$-de Rham 滤过与在素数 $\ell > 2d+1$ 的 $\ell$-进完备化上的 Breuil–Kisin 滤过。

意义与主张
本文声称建立了 Connes–Feigin–Tsygan 退化定理的首个混合特征类比，并给出了关于维数和分歧的显式界限。通过证明分裂退化（而不仅仅是退化），作者确保了拓扑不变量的同伦群分解为相应上同调群的直和，从而保持了基环上的模结构。

这项工作沟通了交换与非交换 $p$-进霍奇理论。正如致谢中所述，其动机源于这样一个问题：是否可以从非交换对应物中恢复交换 $p$-进霍奇理论。结果表明，对于光滑固有簇，拓扑循环同调上的“动机”滤过（由 Bhatt–Morrow–Scholze 构造）以恢复经典结晶、de Rham 和 $A_{\inf}$ 上同调的方式退化，前提是维数相对于特征 $p$ 和分歧指数 $e$ 足够小。

包含 $q$-de Rham 类比将这些结果扩展到了涉及 $KU$-理论和$q$-变形的拓扑设定中，表明这些谱序列的结构性质即使在为了控制源自陈类的分母而将特定阶乘可逆后依然保持。