Syntomic cohomology and real topological cyclic homology

技术摘要：合称上同调与实拓扑循环同调

问题陈述
本文解决了在 2 不可逆的情况下，厄米特（hermitian）K-理论与实 K-理论（$KR$）的计算间隙问题。虽然循环迹（cyclotomic trace）和 Dundas–Goodwillie–McCarthy 定理已确立了拓扑循环同调（$TC$）作为计算代数 K-理论的强大工具，但类似于实 K-理论（$KR$）和厄米特 K-理论的工具在发展上仍显滞后。近期，合称上同调（syntomic cohomology）与棱镜上同调（prismatic cohomology）（Bhatt, Morrow, Scholze）的进展为 $TC$提供了动机过滤，并将其分次片识别为合称上同调$\mathbb{Z}_p(i)$。然而，对于实拓扑循环同调（$TCR$）和实拓扑 Hochschild 同调（$THR$）的平行结构性理解仍然缺失。本文旨在通过建立合称上同调与实拓扑循环同调之间的联系，从而填补这一空白，使合称技术能够应用于实 K-理论和厄米特 K-理论。

方法论
作者结合使用了等变稳定同伦论、动机过滤以及下降理论。核心方法步骤包括：

1. 实谱的动机过滤： 本文在 $THR$、$TCR^-$、$TPR$和$TCR$ 上定义了动机过滤。这涉及为拟合称环（quasisyntomic rings）构造自然完备且详尽的乘法过滤。
2. 强偶谱与切片过滤： 一个关键的技术组成部分是在 $\mathbb{Z}/2$-谱范畴（$Sp^{\mathbb{Z}/2}$）中引入了“正则切片过滤”（基于 Ullman 的工作）。作者证明了对于拟正则半完美托德环（quasiregular semiperfectoid rings）$S$，$THR(S; \mathbb{Z}_p)$ 是“强偶”的。这一性质意味着切片过滤的行为是可预测的，其非零切片仅出现在特定次数，从而允许识别分次片。
3. 层属性与下降： 本文确立了实 Hochschild 同调及其伴随物的预层是拟合称层。这使得可以将计算从一般的拟合称环简化到更易处理的拟正则半完美托德环的情形，通过下降理论实现。
4. 过滤的完备性： 作者证明了在特定条件（例如相对 Frobenius 的满射性）下，实 Hochschild–Kostant–Rosenberg (HKR) 过滤是完备的，确保了与这些过滤相关的谱序列强收敛。
5. 谱序列计算： 利用已建立的过滤，本文构造了 $RO(\mathbb{Z}/2)$-分次的乘法谱序列，用于计算特定环（如特征为 2 的完美域上的截断多项式代数 $k[x]/x^e$）的 $TCR$ 同伦群。

主要贡献与结果

• 定理 1.1（主要结构结果）： 对于具有平凡对合的拟合称环 $A$，存在自然完备的乘法过滤于 $THR(A; \mathbb{Z}_p)$、$TCR^-(A; \mathbb{Z}_p)$、$TPR(A; \mathbb{Z}_p)$ 和 $TCR(A; \mathbb{Z}_p)$。其 $n$ 次分次片被识别为合称上同调及相关棱镜对象的等变悬挂：

  • $gr_n THR(A; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} \iota N_{<n} \widehat{\Delta}_A\{n\}$
  • $gr_n TCR^-(A; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} \iota N_{\ge n} \widehat{\Delta}_A\{n\}$
  • $gr_n TPR(A; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} \iota \widehat{\Delta}_A\{n\}$
  • $gr_n TCR(A; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} \iota \mathbb{Z}_p(n)(A)$
    这里，$\iota$ 是不动点函子的左伴随，$\widehat{\Delta}$ 表示 Nygaard 完成的棱镜上同调，$\mathbb{Z}_p(n)$ 是合称上同调。

• 定理 1.2（强偶性）： 对于具有平凡对合的拟正则半完美托德环 $S$，$THR(S; \mathbb{Z}_p)$ 是强偶的。这意味着存在将 $THR$的切片与$THH$的同伦群联系起来的自然等价关系，即$P^{2n}_{2n} THR(S; \mathbb{Z}p) \simeq \Sigma^{n+n\sigma} H\pi{2n} THH(S; \mathbb{Z}_p)$，且奇数次切片消失。

• 定理 1.3（层属性）： 在拟合称环的反范畴上，预层 $THR(-; \mathbb{Z}_p)$、$TCR^-(-; \mathbb{Z}_p)$ 和 $TPR(-; \mathbb{Z}_p)$ 是拟合称层。

• 定理 1.4（显式计算）： 本文提供了特征为 2 的完美域 $k$ 上 $TCR(k[x]/x^e; \mathbb{Z}_2)$ 的 $RO(\mathbb{Z}/2)$-分次同伦群的详细计算。结果被表示为涉及截断 Witt 向量、Verschiebung 算子以及特定生成元（$\tau, \rho, \gamma, x_t, y$）且具有定义次数的模的直和。

• 推论 10.4： 本文利用 Antieau, Krause, 和 Nikolaus 先前的合称上同调计算结果，计算了有限扩张 $\mathcal{O}_K/\omega^n$ 在 $\mathbb{Q}_p$ 上的等变切片 $\Sigma^{2\tau \ge 1} KR(\mathcal{O}_K/\omega^n; \mathbb{Z}_p)$。

意义与主张
本文声称提供了合称上同调与实拓扑循环同调之间的基础结构性联系。通过在 $THR$和$TCR$上建立以合称上同调（及其变体）作为分次片的动机过滤，这项工作使得从代数 K-理论（通过$TC$）领域向实 K-理论和厄米特 K-理论领域转移计算工具成为可能。

作者指出，这些结果取决于一个正在进行中的工作——“Dundas–Goodwillie–McCarthy 定理的实精炼”（由 Harpaz, Nikolaus, 和 Shah 完成）。如果该精炼成立，所计算出的 $TCR$同伦群（特别是非负部分$\tau_{\ge 0} TCR$）将直接给出实 K-理论$KR$ 的同伦群。本文并不声称证明了 Dundas–Goodwillie–McCarthy 精炼本身，而是展示了这样一个定理将如何使所提供的计算对 $KR$ 有效。

其意义在于超越了目前已知的少数厄米特和实 K-理论计算（通常局限于 2 可逆的情况），提供了一个适用于 2 不可逆环的通用框架，并利用了棱镜和合称上同调的力量。