[论文解读] $K$-theory of valuation rings

Shane Kelly, Matthew Morrow|arXiv (Cornell University)|Oct 29, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用 7

一句话总结

本文证明了赋值环——尤其是特征 $ p $ 的赋值环——的代数K-理论表现出类似于诺特环的性质，通过de Rham–Witt形式建立了 $ p $-进K-理论同构，并将同伦不变性与Gersten的单射性推广到该设定。此外，本文还利用拟完美技巧和Tamme的消去条件，首次给出了在 $ p $-局部化下K-理论的cdh下降的全新证明。

ABSTRACT

We prove several results showing that the algebraic $K$-theory of valuation rings behave as though such rings were regular Noetherian, in particular an analogue of the Geisser--Levine theorem. We also give some new proofs of known results concerning cdh descent of algebraic $K$-theory.

研究动机与目标

• 建立赋值环的代数K-理论展现出与正则诺特环类似的性质，尽管其本身并非诺特环。
• 证明在特征 $ p $ 下，赋值环的 $ p $-进K-理论同构，类似于Geisser–Levine定理。
• 将同伦不变性与Gersten单射性推广至域上赋值环的K-理论。
• 利用拟完美概形和Tamme的消去条件，对特征 $ p $ 下 $ K[\frac{1}{p}] $ 的cdh下降提供新的证明。
• 利用完美oid几何与导出代数几何的现代工具，统一并重新证明已知的cdh下降结果。

提出的方法

• 利用局部 $ \rF_p $-代数上K-理论到拓扑循环同调的迹映射的分裂单射性。
• 应用Gabber–Ramero与Gabber关于赋值环的余切复形与de Rham上同调的深刻结果。
• 利用de Rham–Witt复形与dlog形式，构造同构 $ K_n(\rO)/p^r \to W_r\bigwedge^n_{\rO,\text{log}} $。
• 通过幂零不变性与诺特逼近，将cdh下降问题约化为拟完美概形。
• 应用Bhatt–Scholze关于拟完美概形的结果，验证导出范畴中拟相干层的Tamme消去条件。
• 利用 $ Li^*Ri_* = \text{id} $ 在拟完美概形上的性质，确立右伴随的全忠实性，这是Tamme准则中的关键步骤。

实验结果

研究问题

• RQ1 赋值环的K-理论在多大程度上类似于正则诺特环的K-理论？
• RQ2 Geisser–Levine关于正则局部环K-理论的定理能否推广至特征 $ p $ 的赋值环？
• RQ3 赋值环在域上的K-理论是否满足同伦不变性与Gersten单射性？
• RQ4 能否利用完美oid与导出技巧，重新证明特征 $ p $ 下 $ K[\frac{1}{p}] $ 的cdh下降？
• RQ5 何种条件下，与抽象爆破相关的K-理论谱的正方形是同伦交换的？

主要发现

• 对于包含 $ \rF_p $ 的赋值环 $ \rO $，存在自然同构 $ K_n(\rO)/p^r \to W_r\bigwedge^n_{\rO,\text{log}} $，由符号上的dlog映射给出，表明 $ K_n(\rO) $ 是 $ p $-挠自由的。
• 对所有 $ n \neq 0 $，映射 $ K_n(\rO) \to K_n(\text{Frac}(\rO)) $ 是单射，确认了域上赋值环的Gersten单射性。
• 赋值环的K-理论满足同伦不变性：对所有 $ d \to \rZ $，映射 $ K_n(\rO) \to K_n(\rO[T_1,\ldots,T_d]) $ 是同构，且当 $ n < 0 $ 时 $ K_n(\rO) = 0 $。
• 特征 $ p $ 下，与概形抽象爆破相关的 $ K[\frac{1}{p}] $-谱的正方形是同伦交换的，其证明基于完美oid技巧与Tamme的消去条件。
• 特征 $ p $ 下 $ K[\frac{1}{p}] $ 的cdh下降证明是全新的，且独立于先前方法，其依赖于Bhatt–Scholze关于拟完美概形的同调性质。
• 赋值环的导出de Rham与导出de Rham–Witt上同调通过Gabber–Ramero关于余切复形的结果得以控制，从而支持了主要的K-理论同构。