[论文解读] Relative continuous K-theory and cyclic homology

Alexander Beilinson|arXiv (Cornell University)|Dec 11, 2013

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

一句话总结

该论文在 $ p $-进环 $ A $ 及其适当理想 $ I $ 的设定下，建立了有理化相对连续 $ K $-理论拟谱 $ K(A,I)_{\mathbb{Q}}^\wedge $ 与移位后的有理化循环同调拟复形 $ CC(A)_{\mathbb{Q}}^\wedge[1] $ 之间的自然同伦等价（至多相差拟同构）。该构造通过拉扎尔德型理论将古德威尔的定理推广至 $ p $-进设定，从而得到经典 $ K \simeq CC[1] $ 同构的连续版本。

ABSTRACT

We show that for an associative algebra A and its ideal I such that the I-adic topology on A coincides with the p-adic topology, the relative continuous K-theory pro-spectrum "lim"K(A_i, IA_i), where A_i :=A/p^i A, is naturally isogenous to the cyclic chain pro-complex "lim"CC(A_i) (subject to minor conditions on A). This identification is a continuous version of the classical Goodwillie isomorphism. The work comes from an attempt to understand the article of Bloch, Esnault, and Kerz "p-adic deformations of algebraic cycle classes".

研究动机与目标

• 将古德威尔的同构 $ K(R,J) \simeq CC(R,J)[1] $ 推广至相对 $ K $-理论与循环同调的 $ p $-进设定。
• 在拟谱设定下，构建 $ K \simeq CC[1] $ 同构的连续版本，适用于满足 $ p $-进拓扑条件的 $ p $-进环及其理想。
• 利用连续 $ K $-理论与循环同调，为算术几何中的布洛克-埃斯纳尔特-克尔斯型识别提供新证明。
• 在几何假设下，建立 $ \mathbb{Q} \otimes \varprojlim K_n^B(X_i, Y) $ 与德拉姆上同调及其霍奇滤子之间的比较。

提出的方法

• 将相对连续 $ K $-理论拟谱 $ K(A,I)^\wedge $ 定义为 $ K(A_i, I_i) $ 的极限，其中 $ A_i = A/p^i $，且 $ I_i = IA_i $。
• 通过拟谱框架，将循环同调拟复形 $ CC(A)^\wedge $ 定义为 $ CC(A_i) $ 的极限。
• 在 $ p $-进设定中，使用拉扎尔德理论替代马尔切夫理论，简化 $ CC(A)^\wedge $ 与 $ CC(A,I)^\wedge $ 之间的比较。
• 在对称代数 $ CC(A)^\wedge[1] $、李代数复形 $ C(\mathfrak{gl}(A)^\wedge) $ 与 $ K $-理论拟谱 $ \Omega^\infty K(A,I)^\wedge $ 之间构造一系列拟同构。
• 证明这些映射的复合诱导出 $ CC(A)^\wedge[1]_{\mathbb{Q}} $ 与 $ K(A,I)^\wedge_{\mathbb{Q}} $ 之间的拟同构，从而证明主要结果。
• 将结果应用于几何设定：对于具有光滑一般纤维的恰当 $ O_E $-概形 $ X $，将 $ \mathbb{Q} \otimes \varprojlim K_n^B(X_i, Y) $ 识别为 $ \oplus_a H^{2a-n}_{\text{dR}}(X_E)/F^a $。

实验结果

研究问题

• RQ1 古德威尔的同构 $ K(R,J) \simeq CC(R,J)[1] $ 能否在连续 $ K $-理论与循环同调的 $ p $-进设定下被推广？
• RQ2 在满足 $ p $-进拓扑条件的 $ I $ 下，拟设定中 $ CC(A)^\wedge $ 与 $ CC(A,I)^\wedge $ 之间的差异是否在有理化后消失？
• RQ3 布洛克-埃斯纳尔特-克尔斯对 $ K $-理论与德拉姆上同调的识别能否通过连续 $ K $-理论与循环同调重新导出？
• RQ4 对于满足条件的 $ p $-进环及其理想，是否存在 $ K(A,I)^\wedge_{\mathbb{Q}} $ 与 $ CC(A)^\wedge[1]_{\mathbb{Q}} $ 之间的典范拟同构？
• RQ5 在 $ p $-进设定中，$ K $-理论的边界映射与晶态特征类映射之间的确切关系为何？

主要发现

• 对于 $ I $-adic 与 $ p $-adic 拓扑一致的 $ p $-进环 $ A $ 及其理想 $ I $，构造了 $ K(A,I)^\wedge_{\mathbb{Q}} $ 与 $ CC(A)^\wedge[1]_{\mathbb{Q}} $ 之间的自然同伦等价（至多相差拟同构）。
• 该构造将古德威尔定理推广至连续 $ p $-进设定，关键简化在于 $ CC(A)^\wedge $ 与 $ CC(A,I)^\wedge $ 之间的挠差在有理化后消失。
• 在几何设定中，主要结果给出一个典范的 $ \mathbb{Q}_p $-向量空间同构：$ \mathbb{Q} \otimes \varprojlim K_n^B(X_i, Y) \simeq \oplus_a H^{2a-n}_{\text{dR}}(X_E)/F^a $，其中 $ X $ 是具有光滑一般纤维的恰当 $ O_E $-概形。
• 证明依赖于对称代数、李代数复形与 $ GL $-群复形之间的一系列拟同构链，最终表明同调的本原部分被保持。
• 该结果在 $ A_1 $ 的稳定秩有限的假设下成立，从而保证了同调中所需的同构性质。
• 该构造与 $ a \geq 0 $、$ m \geq 1 $ 的选择无关，最终的拟同构是典范且有理的。