[论文解读] On the topological Hochschild homology of $DX$

Cary Malkiewich|arXiv (Cornell University)|May 25, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 3

一句话总结

本文建立了有限CW复形X的对偶DX的拓扑霍尔赫兹同调THH(DX)与其中心循环空间的悬垂谱Σ⁺LX之间的S¹-等变对偶性，保持Cₙ-固定点、环结构和亚当斯运算不变。通过一种新的THH模型和几何固定点的刚性定理，证明了THH(DΣX)中的稳定分裂，并计算了THH(DS²ⁿ⁺¹)与TC(DS¹)。

ABSTRACT

We begin a systematic study of the topological Hochschild homology of the commutative ring spectrum $DX$, the dual of a finite CW-complex $X$. We prove that the Atiyah between $THH(DX)$ and the free loop space $\Sigma^\infty_+ LX$ is an $S^1$-equivariant duality that preserves the $C_n$-fixed points, in addition to the ring structure and Adams operations. We then prove a stable splitting on $THH(D\Sigma X)$, and use this to calculate $THH(DS^{2n+1})$ and $TC(DS^1)$. Our approach uses a new, simplified construction of $THH$ due to Angeltveit et al., building on the work of Hill, Hopkins, and Ravenel. We also extend and elucidate this new model of $THH$, using a simple but powerful rigidity theorem for the geometric fixed point functor $\Phi^G$ of orthogonal $G$-spectra.

研究动机与目标

• 系统研究有限CW复形X的对偶DX的拓扑霍尔赫兹同调（THH），即交换环谱DX的THH。
• 在THH(DX)与自由循环空间谱Σ⁺LX之间建立S¹-等变对偶性，保持Cₙ-固定点、环结构和亚当斯运算不变。
• 证明THH(DΣX)中的稳定分裂，以实现THH(DS²ⁿ⁺¹)与TC(DS¹)的显式计算。
• 扩展并澄清由Angeltveit等人提出的THH新模型，基于Hill-Hopkins-Ravenel的工作。
• 为正交G-谱上的几何固定点函子Φᴳ建立刚性定理，以在等变THH中实现结构控制。

提出的方法

• 利用Angeltveit等人基于Hill、Hopkins与Ravenel工作的基础性成果所提出的新型、简化的THH构造。
• 应用正交G-谱上几何固定点函子Φᴳ的刚性定理，以控制等变THH中的固定点结构。
• 在THH(DX)与Σ⁺LX之间建立S¹-等变对偶性，证明其与Cₙ-固定点、环结构及亚当斯运算的相容性。
• 利用THH(DΣX)中的稳定分裂结果，分解谱并计算其同伦类型。
• 通过该对偶性与分裂性，将THH(DS²ⁿ⁺¹)计算为X的悬垂谱的楔和，而TC(DS¹)则通过循环结构计算得出。
• 利用Φᴳ的刚性确保对偶性与分裂性结果在几何固定点函子下保持不变。

实验结果

研究问题

• RQ1 THH(DX)与自由循环空间谱Σ⁺LX之间是否存在S¹-等变对偶性，且保持关键结构不变？
• RQ2 THH(DΣX)中的稳定分裂如何促进THH(DS²ⁿ⁺¹)与TC(DS¹)的显式计算？
• RQ3 Angeltveit等人提出的THH新模型能否通过几何固定点的刚性定理得到扩展与澄清？
• RQ4 在THH(DX)与Σ⁺LX之间的对偶性中，Cₙ-固定点被保持到何种程度？
• RQ5 亚当斯运算与环结构如何与THH(DX)中的S¹-等变对偶性相互作用？

主要发现

• 在THH(DX)与Σ⁺LX之间建立了S¹-等变对偶性，保持Cₙ-固定点、环结构与亚当斯运算不变。
• 证明了THH(DΣX)中的稳定分裂，从而实现其同伦类型的分解与计算。
• THH(DS²ⁿ⁺¹)被计算为球面悬垂谱的楔和，反映出分裂结构。
• TC(DS¹)通过循环结构与THH(DΣX)中的稳定分裂被显式计算得出。
• 为几何固定点函子Φᴳ建立了刚性定理，确保等变THH中固定点结构的相容性。
• 新THH模型得到扩展与澄清，为未来等变代数K-理论中的计算提供了稳健框架。