[论文解读] Algebraic K-theory and trace invariants

Lars Hesselholt|ArXiv.org|Apr 21, 2003

Homotopy and Cohomology in Algebraic Topology被引用 5

一句话总结

本文证明了在混合特征 (0,p) 的 henselian 离散赋值环（具有完美剩余域）上，代数 K-理论到拓扑限制同伦（TR）的循环迹映射诱导出一个同构，特别当系数取模 $ p^v $ 时成立。此外，它还表明带系数的 Milnor K-理论与单位根上的对称代数同构于 $ K_*(K, \mathbb{Z}/p^v) $，从而验证了此类域上的 Lichtenbaum-Quillen 猜想。

ABSTRACT

The cyclotomic trace of Bökstedt-Hsiang-Madsen, the subject of Bökstedt's lecture at the congress in Kyoto, is a map of pro-abelian groups K_*(A) -> TR_*^.(A;p) from Quillen's algebraic K-theory to a topological refinement of Connes' cyclic homology. Over the last decade, our understanding of the target and its relation to K-theory has been significantly advanced. This and possible future development is the topic of my lecture.

研究动机与目标

• 理解混合特征 (0,p) 的 henselian 离散赋值域上带有有限系数的代数 K-理论结构。
• 通过循环迹映射阐明代数 K-理论与拓扑限制同伦（TR）之间的关系。
• 利用迹不变量验证局部数域及其相关几何域上的 Lichtenbaum-Quillen 猜想。
• 描述代数闭包上 TR 群的 Galois 模结构，并将其与上同调下降联系起来。
• 在带单位根的 Milnor K-理论与 $ \mathbb{Z}/p^v $ 系数的 K-理论之间建立精确同构。

提出的方法

• 使用循环迹映射 $ K_*(A) \to \operatorname{TR}_*^{\cdot}(A;p) $，其通过拟阿贝尔群因子化且与 Frobenius 算子相容。
• 将 de Rham-Witt 复形 $ W_\cdot\Omega_A^q $ 用作 TR 同伦的通用模型，证明其在低度同构，并在多数高度也同构。
• 利用对数导数映射 $ K_*^M(K) \to \Omega_{(V,M)}^* $，通过 Witt 向量构造进行精化，以恢复带系数的 K-理论。
• 使用与单位根 $ \zeta \in \mu_{p^v} $ 关联的 Bott 元素 $ b_\zeta \in K_2(K, \mathbb{Z}/p^v) $，并构造 $ \mu_{p^v} $ 上的对称代数。
• 分析 $ \operatorname{TR}_*^\cdot(\bar{V}|\bar{K};p, \mathbb{Q}_p/\mathbb{Z}_p) $ 上的 Galois 作用，通过 Tate 模和循环特征证明其可除性与结构。
• 证明 $ \theta_n: W(R_{\bar{V}}) \twoheadrightarrow W_n(\bar{V})^\wedge $ 是满射且具有主核，利用完美 $ \mathbb{F}_p $-代数 $ R_{\bar{V}} $ 中相容的单位根系。

实验结果

研究问题

• RQ1 在何种条件下，循环迹映射 $ K_*(A, \mathbb{Z}/p^v) \to \operatorname{TR}_*^\cdot(A;p, \mathbb{Z}/p^v)^{F=1} $ 是同构？
• RQ2 对于混合特征的 henselian 局部域 $ K $，带系数的 Milnor K-理论与单位根上的对称代数是否能重构 $ K_*(K, \mathbb{Z}/p^v) $？
• RQ3 $ \operatorname{TR}_*^\cdot(\bar{V}|\bar{K};p, \mathbb{Q}_p/\mathbb{Z}_p) $ 的 Galois 模结构是什么？它与连续上同调有何关系？
• RQ4 $ \bar{V} $（即 $ V $ 在 $ \bar{K} $ 中的整闭包）的 TR 群与 $ V $ 的 TR 群有何关系？Frobenius 起什么作用？
• RQ5 当剩余域为完美时，自然映射 $ \operatorname{TR}_q^\cdot(V|K;p, \mathbb{Q}_p/\mathbb{Z}_p) \to \operatorname{TR}_q^\cdot(\bar{V}|\bar{K};p, \mathbb{Q}_p/\mathbb{Z}_p)^{G_K} $ 是否为同构？

主要发现

• 对于正则 $ \mathbb{F}_p $-代数和具有代数闭剩余域的 henselian 离散赋值环，循环迹诱导出同构 $ K_*(A, \mathbb{Z}/p^v) \xrightarrow{\sim} \operatorname{TR}_*^\cdot(A;p, \mathbb{Z}/p^v)^{F=1} $。
• 当 $ \mu_{p^v} \subset K $ 时，自然映射 $ K_*^M(K) \otimes_{\mathbb{Z}} S_{\mathbb{Z}/p^v}(\mu_{p^v}) \xrightarrow{\sim} K_*(K, \mathbb{Z}/p^v) $ 是分次环的同构，从而证明了 Beilinson-Lichtenbaum 猜想对 $ m = p^v $ 成立。
• $ \operatorname{TR}_1^n(\bar{V}|\bar{K};p, \mathbb{Z}_p) $ 具有 Tate 模 $ T_p\operatorname{TR}_1^n(\bar{V}|\bar{K};p) $，其作为 $ \operatorname{TR}_0^n(\bar{V}|\bar{K};p, \mathbb{Z}_p) $ 上的自由模，秩为 1，且该模上的对称代数可重构 $ \operatorname{TR}_*^n(\bar{V}|\bar{K};p, \mathbb{Z}_p) $。
• Bott 元素 $ b_{\epsilon,n} \in T_p\operatorname{TR}_1^n(\bar{V}|\bar{K};p) $ 满足 $ b_{\epsilon,n} = ([\epsilon_n] - 1) \cdot \alpha_{\epsilon,n} $，其中 $ \alpha_{\epsilon,n} $ 为一个典范生成元。
• 对 $ \alpha_{\epsilon,n} $ 的 Galois 作用为 $ \alpha_{\epsilon,n}^\sigma = \chi(\sigma) \frac{[\epsilon_n] - 1}{[\epsilon_n^\sigma] - 1} \cdot \alpha_{\epsilon,n} $，其中 $ \chi $ 为循环特征。
• 更高阶的连续上同调群 $ H_{\text{cont}}^i(G_K, \operatorname{TR}_q^n(\bar{V}|\bar{K};p, \mathbb{Q}_p/\mathbb{Z}_p)) $ 对于 $ i \geq 0 $，$ q > 0 $ 为零，支持了关于 Galois 下降的猜想。