[论文解读] Algebraic K-theory of the fraction field of topological K-theory

Christian Ausoni, John Rognes|ArXiv.org|Nov 25, 2009

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

一句话总结

本文利用拓扑循环同调计算了 $S$-代数 $\ell/p = k(1)$ 的模 $p$ 和 $v_1$ 的代数 $K$-理论，并利用此结果将转移映射 $K(L/p) \to K(L_p)$ 的同伦余纤维识别为拓扑 $K$-理论的 $p$-完备亚代数的‘分式域’的代数 $K$-理论。结果表明，该理论满足类似于 $p$-进域的 Tate–Poitou 对偶性的算术对偶定理。

ABSTRACT

We compute the algebraic K-theory modulo p and v_1 of the S-algebra ell/p = k(1), using topological cyclic homology. We use this to compute the homotopy cofiber of a transfer map K(L/p) --> K(L_p), which we interpret as the algebraic K-theory of the "fraction field" of the p-complete Adams summand of topological K-theory. The results suggest that there is an arithmetic duality theorem for this fraction field, much like Tate--Poitou duality for p-adic fields.

研究动机与目标

• 通过伽罗瓦下降和局部化方法，理解拓扑 $K$-理论的 $p$-完备亚代数 $\ell_p$ 的代数 $K$-理论。
• 将 $\ell_p$ 的‘分式域’ $\mathrm{ff}(\ell_p)$ 识别为转移映射 $K(L/p) \to K(L_p)$ 的目标，其余纤维猜想为 $K(\mathrm{ff}(\ell_p))$。
• 建立 $K(\mathrm{ff}(\ell_p))$ 的 $V(1)$-同伦群的范畴框架，其结构类似于 $K(\mathbb{Z}_p)$ 和 $K(\mathbb{Q}_p)$ 的结构。
• 提出 $\mathrm{ff}(\ell_p)$ 的代数 $K$-理论满足算术对偶性，类似于 $p$-进域的 Tate–Poitou 对偶性。
• 通过 $K(n)$-局部伽罗瓦扩张将该框架推广至更高色度层次，并猜想 $L_{K(n+1)}K(\Omega_n) \simeq E_{n+1}$。

提出的方法

• 利用拓扑循环同调（TC）计算 $V(1)_*K(\ell/p)$，其中 $\ell/p = k(1)$ 为亚代数的模 $p$ 简化。
• 应用 Blumberg 和 Mandell 建立的局部化序列 $K(\mathbb{Z}/p) \to K(\ell_p) \to K(L_p)$，将 $K(\ell_p)$ 与 $K(L_p)$ 关联起来。
• 将转移映射 $K(L/p) \to K(L_p)$ 的同伦余纤维解释为 $K(\mathrm{ff}(\ell_p))$，即 $\ell_p$ 的分式域的代数 $K$-理论。
• 利用交换 $S$-代数的伽罗瓦下降谱序列，建模绝对伽罗瓦群在 $K(\overline{\mathbb{Q}}_p)$ 上的作用，推广 Tate–Poitou 对偶性。
• 利用动机谱序列和 Bloch 的高阶 Chow 群，将模 $p$ 动机上同调与伽罗瓦上同调关联，截断于 $r > i$。
• 在 $V(1)_*K(ku)$ 中构造高阶 Bott 元素，并将其与 $\mathbb{F}_{p^2}(1)$ 上的伽罗瓦作用关联，通过 $b \mapsto w u^{p+1}$ 和 $\xi \mapsto u^j$ 实现 $\mathbb{F}_{p^2}[u^{\pm 1}]$。

实验结果

研究问题

• RQ1 拓扑 $K$-理论的 $p$-完备亚代数 $\ell_p$ 的分式域的代数 $K$-理论是什么？
• RQ2 转移映射 $K(L/p) \to K(L_p)$ 的同伦余纤维如何与 $\mathrm{ff}(\ell_p)$ 的代数 $K$-理论相关？
• RQ3 能否建立 $\mathrm{ff}(\ell_p)$ 的算术对偶定理，类似于 $\mathbb{Q}_p$ 的 Tate–Poitou 对偶性？
• RQ4 高阶 Bott 元素与 $V(1)_*K(ku)$ 上的伽罗瓦作用如何实现 $\mathbb{F}_{p^2}[u^{\pm 1}]$ 的结构？
• RQ5 该框架能否通过 $K(n)$-局部伽罗瓦扩张推广至更高色度层次，并猜想 $L_{K(n+1)}K(\Omega_n) \simeq E_{n+1}$？

主要发现

• $K(\ell/p)$ 的 $V(1)$-同伦群被计算为自由 $P(v_2) = \mathbb{F}_p[v_2]$-模，$|v_2| = 2p^2 - 2$，由 $4p+4$ 个生成元生成。
• 转移映射 $K(L/p) \to K(L_p)$ 的同伦余纤维被识别为 $K(\mathrm{ff}(\ell_p))$，即 $\ell_p$ 的分式域的代数 $K$-理论。
• 猜想 $V(1)_*K(\mathrm{ff}(\ell_p))$ 的结构满足算术对偶性，类似于 $p$-进域的 Tate–Poitou 对偶性。
• $V(1)_{2p+2}K(\Omega_1)[v_2^{-1}]$ 中的一个生成元由无分支 $\Delta$-伽罗瓦扩张 $L_p \to KU_p$ 实现，其像为 $wu^{p+1}$，其中 $w \in \mathbb{F}_{p^2}^\times$ 满足 $w^{p-1} = -1$。
• 高阶 Bott 元素 $b \in V(1)_{2p+2}K(ku)$ 满足 $b^{p-1} = -v_2 = -u^{p^2 - 1}$，其像在 $V(1)_*K(\Omega_1)[v_2^{-1}]$ 中生成 $\mathbb{F}_{p^2}\{u^{p+1}\}$。
• 提出猜想 $L_{K(n+1)}K(\Omega_n) \simeq E_{n+1}$，其中 $\Omega_n$ 为 $L_{K(n)}S$ 或 $E_n$ 的分式域的 $K(n)$-局部分离闭包，暗示了算术对偶性的色度推广。