[论文解读] A homological approach to chromatic complexity of algebraic K-theory

Gabriel Angelini‐Knoll, J. D. Quigley|arXiv (Cornell University)|Aug 24, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 39被引用 4

一句话总结

本文证明了 Thom 丛 $y(n)$ 的拓扑周期循环同调（TP）具有 $n+1$ 阶色散复杂度，而相对代数 K-理论、拓扑循环同调（TC）和拓扑负循环同调（TC⁻）至少保持色散复杂度。通过同调谱序列和 Greenlees 滤子，作者证明了对所有 $1 \leq m \leq n$，有 $K(m)_*(TP(y(n))) \cong 0$，为 TP 中的色散上移现象提供了强有力证据，支持了所有色散高度下 Ausoni–Rognes 色散上移猜想的变体。

ABSTRACT

The family of Thom spectra $y(n)$ interpolates between the sphere spectrum and the mod two Eilenberg--MacLane spectrum. Computations of Mahowald, Ravenel, Shick, and the authors show that the associative ring spectrum $y(n)$ has type $n$. Using trace methods, we give evidence that algebraic K-theory preserves this chromatic complexity. Our approach sheds light on the chromatic complexity of topological negative cyclic homology and topological periodic cyclic homology, which approximate algebraic K-theory and are of independent interest. Our main contribution is a homological approach that can be applied in great generality, such as to associative ring spectra $R$ without additional structure whose coefficient rings are not completely understood.

研究动机与目标

• 研究拓扑周期循环同调（TP）是否对 $E_1$ 环谱（特别是 $y(n)$ 系列）产生色散高度的改变。
• 将色散上移猜想从代数 K-理论和拓扑循环同调扩展至 TP 和 TC⁻。
• 利用谱序列和滤子技术，分析 $y(n)$ 的 TP、TC⁻、TC 和相对 K-理论中 Morava K-理论的消失性。
• 通过 $y(n)$ 作为测试案例，为 TP 中所有色散高度下广义色散上移现象提供证据。

提出的方法

• 利用 $TP(y(n))$ 的 Greenlees 滤子构造谱序列以计算其同伦群。
• 应用同调 Tate 和同伦固定点谱序列，分析滤子的 $E_1$-项及其收敛性。
• 使用基于 $K(m)$ 的 Bökstedt 谱序列计算 $K(m)_*THH(y(n))$ 并推导出消失性结果。
• 利用纤维序列 $\Sigma THH(y(n))_{h\mathbb{T}} \to TC^-(y(n)) \to TP(y(n))$，通过同伦固定点关系联系 TC⁻ 与 TP。
• 应用 Dundas-Goodwillie-McCarthy 定理，将 $TC(y(n), H\mathbb{F}_2)$ 与 $K(y(n), H\mathbb{F}_2)$ 关联，从而实现 K-理论的计算。
• 利用余作用结构和滤子论证，建立 $H_*(TP(y(n))[i])$ 中余模本原元度数的上界。

实验结果

研究问题

• RQ1 TP 的 $y(n)$ 是否表现出 $n+1$ 阶色散复杂度？
• RQ2 TP 是否在所有色散层级上均产生色散高度的改变，从而支持色散上移猜想？
• RQ3 相对代数 K-理论、TC⁻ 和 TC 是否对 $y(n)$ 保持色散复杂度？
• RQ4 能否通过谱序列和滤子技术确立 $TP(y(n))$ 中 $K(m)_*$ 对所有 $1 \leq m \leq n$ 的消失性？
• RQ5 是否存在 $H_*(TP(y(n))[i])$ 中余模本原元度数的统一上界？

主要发现

• 对所有 $1 \leq m \leq n$，有 $K(m)_*(TP(y(n))) \cong 0$，证明 TP 将色散复杂度从 $n$ 提升至 $n+1$。
• $H_*(TP(y(n))[i])$ 中余模本原元的度数被统一有界于 $2^{n+1}$，且与 $i$ 无关。
• 对所有 $1 \leq m \leq n$，有 $K(m)_*(TC^-(y(n), H\mathbb{F}_2)) \cong 0$，表明 TC⁻ 保持色散复杂度。
• 对所有 $1 \leq \ell \leq n-1$，有 $K(\ell)_*(TC^-(y(n))) \cong 0$，确认 TC⁻ 在较低色散层级的消失性。
• 相对代数 K-理论 $K(y(n), H\mathbb{F}_2)$ 满足对所有 $0 \leq m \leq n-1$ 有 $K(m)_*(K(y(n), H\mathbb{F}_2)) \cong 0$，保持色散复杂度。
• 纤维序列 $TC(y(n), H\mathbb{F}_2) \to TC^-(y(n), H\mathbb{F}_2) \to TP(y(n), H\mathbb{F}_2)$ 与 Dundas-Goodwillie-McCarthy 定理共同推出 $TC(y(n), H\mathbb{F}_2) \simeq K(y(n), H\mathbb{F}_2)$，且对所有 $0 \leq m \leq n-1$ 有 $K(m)$-同调消失。