On the $p$-adic deformation problem for the $K$-theory of semistable schemes

技术摘要：关于半稳定概形的 K 理论的 p-进形变问题

1. 问题
本文探讨了在半稳定约化背景下代数 K 理论的 p-进形变问题。具体而言，它旨在刻画将 K 理论类 $x \in K_0(X_k; \mathbb{Q})$ 从概形 $X$ 的闭纤维 $X_k$ 提升到通用纤维的连续 K 理论 $K_{cts}^0(X; \mathbb{Q})$ 的障碍。

在良好约化（即定义在完备离散赋值域 $K$ 上的光滑且本征概形）的情形下，Antieau、Mathew、Morrow 和 Nikolaus [1] 确立了这种提升由通用纤维德拉姆上同调的霍奇滤过所控制，这是通过一个将连续 K 理论与拓扑循环同调（TC）及结晶不变量联系起来的笛卡尔纤维方框实现的。然而，在半稳定情形（即坏约化）下，标准的结晶 Chern 特征及其相关的障碍类缺乏直接的结晶解释，且 K 理论与对数不变量之间的关系此前尚不明确。作者旨在利用对数几何将光滑情形的结果推广至半稳定情形。

2. 方法论
作者综合运用了对数几何、动机同伦理论和迹方法：

• 纤维方框的对数推广：作者将 Antieau–Mathew–Morrow–Nikolaus 的笛卡尔方框推广至对数情形。他们利用了 Rognes 的对数拓扑 Hochschild 同调（$\text{log-THH}$）以及对数 Hochschild–Kostant–Rosenberg（HKR）滤过。
• 垂直对数结构：一个关键的技术步骤是分析“垂直”对数结构（即幺半群映射的余核为群）。作者证明了对于垂直、正则且对数正则的代数，有理化的对数循环同调不变量的行为类似于平凡对数结构的情形，这使得他们能够“合并”光滑情形与对数情形的纤维方框。
• Hyodo–Kato Chern 特征：作者构造了一个从闭纤维的 K 理论到 Hyodo–Kato 上同调的 Hyodo–Kato Chern 特征（$ch_{HK}$）。这是利用对数动机同伦理论中的 Chern 定向并将其应用于对数德拉姆–Witt 复形而实现的。
• 迹映射与同伦 K 理论：为了处理 K 理论与对数结构之间的相互作用，作者在必要时用同伦 K 理论（$KH$）替代标准 K 理论，并利用对数 cyclotomic 迹。他们建立了一个关联 $K$、$KH$ 与对数 TC 的交换图。
• 分裂滤过：利用将通用纤维的德拉姆上同调与闭纤维的 Hyodo–Kato 上同调联系起来的 Hyodo–Kato 同构，作者分裂了负循环同调（$HC^-$）和周期循环同调（$HP$）的有理化滤过。

3. 主要贡献与结果

• 对数 Bloch–Esnault–Kerz 方框（定理 A）：作者为垂直、正则且对数正则的 $O_K^\sharp$-代数 $(R, P)$ 建立了一个谱的笛卡尔方框：
  $$\begin{array}{ccc} K(R; \mathbb{Q}_p) & \to & K(R/p; \mathbb{Q}_p) \\ \downarrow & & \downarrow \\ HC^-((R, P)/O_K^\sharp; \mathbb{Q}_p) & \to & HP((R, P)/O_K^\sharp; \mathbb{Q}_p) \end{array}$$
  这将普通 K 理论与对数循环同调不变量联系起来。

• Hyodo–Kato 形变判据（定理 B）：对于定义在 $O_K$ 上且闭纤维 $X_k$ 为半稳定的本征平坦概形 $X$，一个类 $x \in K_0(X_k; \mathbb{Q})$ 可提升到 $K_{cts}^0(X; \mathbb{Q})$，当且仅当其在 Hyodo–Kato Chern 特征下的像 $ch_{HK}(x)$ 在 Hyodo–Kato 等价下落在霍奇滤过 $\bigoplus_{i=0}^\infty \text{Fil}^{\ge i} H^{2i}_{dR}(X_K; \mathbb{Q}_p)$ 中。这明确地将提升障碍识别为 Hyodo–Kato Chern 特征。

• 对数 K 理论变体（定理 C）：作者提供了一个涉及闭纤维的同伦 K 理论（$KH$）与对数 TC 的纤维方框变体，填补了代数 K 理论与对数迹不变量之间的空白。

• Yamashita 定理的复现（第 6 节）：作为直接应用，作者提供了一个纯 K 理论证明，确立了 Yamashita 的半稳定 p-进 Lefschetz $(1,1)$ 定理。他们表明，$\text{Pic}(X_k; \mathbb{Q})$ 中的线丛类可提升到 $\text{Pic}(X; \mathbb{Q})$，当且仅当其第一个 Hyodo–Kato Chern 类落在 $\text{Fil}^{\ge 1} H^2_{dR}(X_K; \mathbb{Q}_p)$ 中。

• 特征零推广（第 7 节）：作者将这些方法推广到特征零情形（即定义在 $K[[t]]$ 上的概形），证明了关于 K 理论类提升性的 Morrow 定理的半稳定推广，该推广涉及相对对数德拉姆上同调上的平坦滤过。

4. 意义
本文声称提供了首个源自真正几何的对数迹不变量的 K 理论应用。通过将 Hyodo–Kato Chern 特征确立为半稳定情形下 p-进形变问题的控制障碍，这项工作将 Antieau–Mathew–Morrow–Nikolaus 的基础结果从光滑情形扩展到了半稳定情形。

作者指出，他们的结果提供了代数 K 理论与对数迹不变量之间更为灵活和透明的关系，有望推进关于 K 理论与对数循环同调之间关系的猜想（特别是 [30, 猜想 1.5]）。通过这些方法复现 Yamashita 定理，展示了所构造的纤维方框在经典算术几何问题中的实用性。这项工作被视为在半稳定约化存在下统一理解 K 理论的重要一步，尽管作者对未来应用的全貌保持谦逊，指出仍需进一步进展以完全解决 K 理论与对数不变量之间的关系。