[论文解读] Localization for THH(ku) and the topological Hochschild and cyclic homology of Waldhausen categories

Andrew J. Blumberg, Michael A. Mandell|arXiv (Cornell University)|Nov 17, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用 17

一句话总结

本文为瓦尔登豪森范畴的拓扑霍赫希尔德同调（THH）与拓扑循环同调（TC）建立了局部化纤维序列，解决了关于THH局部化序列存在性与性质的长期困惑。该文构建了从 $ H\mathbb{Z} \to ku $ 的相对THH与TC理论，证明了猜想的纤维序列 $ THH(\mathbb{Z}) \to THH(ku) \to THH(ku|KU) \to \Sigma THH(\mathbb{Z}) $，验证了赫塞尔霍尔特对 $ \ell \to ku $ 为良态分歧的看法，并使得 $ V(1)_*K(KU) $ 的简化计算成为可能。

ABSTRACT

We prove a conjecture of Hesselholt and Ausoni-Rognes, establishing localization cofiber sequences of spectra for THH(ku) and TC(ku). These sequences support Hesselholt's view of the map l to ku as a "tamely ramified" extension of ring spectra, and validate the hypotheses necessary for Ausoni's simplified computation of V(1)_* K(KU). In order to make sense of the relative term THH(ku|KU) in the cofiber sequence and prove these results, we develop a theory of THH and TC of Waldhausen categories and prove the analogues of Waldhausen's theorems for K-theory. We resolve the longstanding confusion about localization sequences in THH and TC, and establish a specialized devissage theorem.

研究动机与目标

• 解决拓扑霍赫希尔德同调（THH）中关于局部化序列的存在性与性质的长期困惑，特别是其与K-理论的关系。
• 为瓦尔登豪森范畴发展THH与TC理论，将形式化体系从谱范畴扩展至可连通与非可连通变体。
• 通过区分可连通与非可连通谱范畴，建立一个解释THH中两种不同局部化序列——赫塞尔霍尔特-曼森型与汤普森-特罗巴依型——的理论框架。
• 证明关于 $ THH(ku|KU) $ 与 $ TC(ku|KU) $ 的猜想局部化纤维序列，且与代数K-理论的迹映射相容。
• 通过验证奥萨伊计算中所需的假设，使 $ V(1)_*K(KU) $ 的新计算成为可能，从而拓展了罗恩斯程序在K-理论计算中的应用。

提出的方法

• 引入具有强一致性（即瓦尔登豪森结构与单纯映射空间之间兼容）的单纯化增强瓦尔登豪森范畴，确保其与同伦代数的一致性。
• 为瓦尔登豪森范畴定义THH与TC的两种变体：一种为可连通版本（更接近经典K-理论），另一种为非可连通版本（在同伦意义下行为更佳），并证明在连通性假设下二者一致。
• 通过混合 $ ku $-模与 $ KU $-模中的弱等价关系，构造相对THH与TC项 $ THH(ku|KU) $ 与 $ TC(ku|KU) $，这一构造在经典代数K-理论中并不存在。
• 证明THH与TC的德维萨定理，将瓦尔登豪森的逼近定理与纤维化定理推广至THH框架。
• 利用该理论证明局部化纤维序列 $ THH(\mathbb{Z}) \to THH(ku) \to THH(ku|KU) \to \Sigma THH(\mathbb{Z}) $，且与来自K-理论的迹映射相容。
• 将结果推广至 $ p $-局部与 $ p $-完备情形，证明 $ K(\mathbb{W}\mathbb{F}_p[[u_1,\ldots,u_{n-1}]]) $、$ BP_n $ 与 $ E_n $ 的类似序列，其中 $ BP_n $ 为 $ E_\infty $ 环谱。

实验结果

研究问题

• RQ1 能否为瓦尔登豪森范畴发展一个一致的拓扑霍赫希尔德同调（THH）理论，使其超越谱范畴？
• RQ2 为何THH中存在两种不同的局部化序列？它们与代数K-理论中的局部化序列有何关系？
• RQ3 当 $ THH(ku|KU) $ 混合了 $ ku $-模与 $ KU $-模中的弱等价关系时，如何有意义地定义该相对项？
• RQ4 局部化序列 $ THH(\mathbb{Z}) \to THH(ku) \to THH(ku|KU) \to \Sigma THH(\mathbb{Z}) $ 是否成立？它是否与来自K-理论的迹映射相容？
• RQ5 该框架能否用于扩展罗恩斯程序以计算球面的K-理论，特别是通过用 $ E_\infty $ 的 $ BP_n $ 取代 $ BP\langle n\rangle $？
• RQ6 相对于 $ ku \to KU $ 的相对THH与TC是否同构于罗恩斯定义的对数THH与TC？

主要发现

• 本文构造了一个明确定义的相对THH项 $ THH(ku|KU) $，其混合了 $ ku $-模与 $ KU $-模中的弱等价关系，解决了该理论中的一个关键技术障碍。
• 明确证明了局部化纤维序列 $ THH(\mathbb{Z}) \to THH(ku) \to THH(ku|KU) \to \Sigma THH(\mathbb{Z}) $，证实了赫塞尔霍尔特及奥萨伊-罗恩斯的猜想。
• 为拓扑循环同调建立了类似的局部化序列：$ TC(\mathbb{Z}) \to TC(ku) \to TC(ku|KU) \to \Sigma TC(\mathbb{Z}) $，且与来自K-理论的迹映射相容。
• 为瓦尔登豪森范畴的THH与TC理论发展了两种变体：可连通与非可连通版本，二者在环与可连通环谱上一致，并在适当的连通性条件下被证明等价。
• 证明了 $ p $-完备与 $ p $-局部情形下的类似局部化序列：$ THH(\mathbb{W}\mathbb{F}_p[[u_1,\ldots,u_{n-1}]]) \to THH(BP_n) \to THH(BP_n|E_n) \to \Sigma THH(\mathbb{W}\mathbb{F}_p[[u_1,\ldots,u_{n-1}]]) $，且TC情形类似。
• 证明 $ BP_n $ 为 $ E_\infty $ 环谱，相较于仅具 $ A_\infty $ 结构的 $ BP\langle n\rangle $，这是关键优势，使新框架更适用于罗恩斯程序中的计算。