[论文解读] K-theory and topological cyclic homology of henselian pairs

Dustin Clausen, Akhil Mathew+1 more|arXiv (Cornell University)|Mar 29, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 69被引用 18

一句话总结

本论文为 henselian 对上的代数 K-理论与拓扑循环同伦 (TC) 建立了刚性结果，证明了通过循环迹，相对 K-理论与相对 TC 在有限系数下是等价的。关键贡献是将 Gabber–Gillet–Thomason–Suslin 刚性定理与 McCarthy 定理推广至更一般情形，证明对任意 henselian 对 $ (R,I) $，有 $ K^\text{inv}(R)/n \to K^\text{inv}(R/I)/n $ 是同伦等价，从而将已知结果扩展至非可逆系数情形，并在 p-进设置中建立了 K-理论与 TC 之间的强关联。

ABSTRACT

Given a henselian pair $(R, I)$ of commutative rings, we show that the relative $K$-theory and relative topological cyclic homology with finite coefficients are identified via the cyclotomic trace $K o \mathrm{TC}$. This yields a generalization of the classical Gabber-Gillet-Thomason-Suslin rigidity theorem (for mod $n$ coefficients, with $n$ invertible in $R$) and McCarthy's theorem on relative $K$-theory (when $I$ is nilpotent). We deduce that the cyclotomic trace is an equivalence in large degrees between $p$-adic $K$-theory and topological cyclic homology for a large class of $p$-adic rings. In addition, we show that $K$-theory with finite coefficients satisfies continuity for complete noetherian rings which are $F$-finite modulo $p$. Our main new ingredient is a basic finiteness property of $\mathrm{TC}$ with finite coefficients.

研究动机与目标

• 将 Gabber、Gillet–Thomason 与 Suslin 的经典刚性定理推广至系数在环中不可逆的情形。
• 将 McCarthy 关于幂零理想相对 K-理论的定理推广至更广泛的 henselian 对设置。
• 证明在一大类 p-进环中，循环迹在大度数下诱导 p-进 K-理论与 TC 之间的等价。
• 证明对于模 $ p $ 为 F-有限的完备诺特环，具有有限系数的 K-理论满足连续性。
• 识别截断 de Rham–Witt 复形上映射 $ \pi - \overline{F} $ 的余核作为控制 K-理论与 TC 之间比较的关键不变量。

提出的方法

• 以循环迹 $ K(R) \to \mathrm{TC}(R) $ 为核心工具，建立 K-理论与拓扑循环同伦之间的联系。
• 引入循环迹的同伦纤维 $ K^{\text{inv}}(R) $，以度量 K-理论与 TC 之间的差异。
• 应用 $ \mathrm{TC}/p $ 在有限系数下的新有限性性质，这对刚性论证至关重要。
• 采用基于伪凝聚性与 $ \mathrm{TC}/p $ 在导出范畴中连续性的公理化刚性框架。
• 利用 de Rham–Witt 复形及映射 $ \pi - \overline{F} $ 在 $ W_r\Omega_R^m $ 上的作用，描述控制比较的余核 $ \widetilde{\nu_r^m}(R) $。
• 在 ind-光滑代数上应用平展上同调与消解技术，计算 $ \widetilde{\nu_r^m}(R) $，并证明 henselian 对的刚性。

实验结果

研究问题

• RQ1 循环迹是否在 henselian 对上诱导具有有限系数的相对 K-理论与相对 TC 之间的等价？
• RQ2 经典 K-理论刚性定理在有限系数情形是否可超越系数在环中可逆的情形？
• RQ3 控制具有 $ p^r $-挠系数的 K-理论与 TC 之间比较的余核 $ \widetilde{\nu_r^m}(R) $ 的精确结构为何？
• RQ4 具有有限系数的 K-理论是否对模 $ p $ 为 F-有限的完备诺特环满足连续性？
• RQ5 有限系数下 $ \mathrm{TC}/p $ 的有限性如何促成代数 K-理论中新刚性结果的产生？

主要发现

• 对任意 henselian 对 $ (R,I) $，通过循环迹，相对 K-理论与相对 TC 在有限系数下被识别，即 $ K^{\text{inv}}(R)/n \to K^{\text{inv}}(R/I)/n $ 是同伦等价。
• 主要刚性结果将 Gabber 定理（针对可逆系数）与 McCarthy 定理（针对幂零理想）推广至一般 henselian 设置。
• 对 $ p $-进环而言，循环迹在大度数下诱导 p-进 K-理论与拓扑循环同伦之间的等价。
• 余核 $ \widetilde{\nu_r^m}(R) $ 自然同构于 $ \mathrm{coker}(\pi - \overline{F}: W_r\Omega_R^m \to W_r\Omega_R^m / dV^{r-1}\Omega_R^m) $，从而给出了比较不变量的显式描述。
• 具有有限系数的 K-理论对模 $ p $ 为 F-有限的完备诺特环满足连续性，推广了已知的 pro-定理。
• 当 $ n = p^r $ 时，由于 $ \widetilde{\nu_r^m}(R) $ 的刚性，K-理论与 $ \mathrm{TC} $ 的纤维序列在同伦群中的长正合列分解为短正合列。