[论文解读] A spectrum-level Hodge filtration on topological Hochschild homology

Saul Glasman|arXiv (Cornell University)|Aug 13, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 5

一句话总结

本文通过基于共端和扭曲箭头范畴的函子性、同伦论构造，引入了交换环谱的拓扑霍赫希尔德同调（THH）上的谱级霍赫希尔德过滤。关键结果是，该过滤的分次项为艾德姆斯操作的特征谱，证实其与通过 $γ$-过滤和 $λ$-环结构建立的代数霍赫希尔德过滤框架相容。

ABSTRACT

We define a functorial spectrum-level filtration on the topological Hochschild homology of any commutative ring spectrum $R$, and more generally the factorization homology $R \otimes X$ for any space $X$, echoing algebraic constructions of Loday and Pirashvili. We investigate the properties of this filtration and show that it breaks THH up into common eigenspectra of the Adams operations.

研究动机与目标

• 在交换环谱的拓扑霍赫希尔德同调（THH）上发展一种函子性、谱级的霍赫希尔德过滤，将经典的代数霍赫希尔德过滤推广至同伦论设定。
• 通过拟范畴论的同伦共端和分解同调，将 Loday 与 Pirashvili 的代数霍赫希尔德过滤框架扩展至拓扑霍赫希尔德同调。
• 确立该过滤的分次项为艾德姆斯操作的特征谱，从而验证其在同伦论语境下作为真正霍赫希尔德过滤的地位。
• 为将该过滤提升至循环谱和拓扑循环同调（TC）奠定基础，并通过循环迹映射与 K-理论上的权重过滤建立关联。

提出的方法

• 使用 THH 的同伦共端公式及其在空间 $X$ 上的推广 $R times X$ 的一般化，通过共端分解的截断构造过滤。
• 在 $∞$-范畴设定下，利用扭曲箭头范畴和共端，定义 $R times X$ 上的函子性过滤，其中 $X = S^1$ 时得到 THH(R)。
• 通过 $S^1$ 上的 $r$-次映射实现艾德姆斯操作 $ψ^r$，其在共端构造上诱导自然变换，并证明其在第 $n$ 个分次项上作用为乘以 $r^n$。
• 利用 Kan 扩张和同伦纤维构造，将 $[r]$ 在共端上的作用提升至过滤层级，证明在第 $n$ 个分次项上 $(ψ^r)^{(n)} = r^n$。
• 依赖 $H\mathbb{Z}$-同调的同调检测来分类函子，并证明在同调上作用为整数标量的自然变换等价于标量乘法。
• 应用 Lurie 的 $∞$-范畴理论和拟范畴形式化，确保函子性及与对称张量结构的相容性。

实验结果

研究问题

• RQ1 能否在交换环谱 $R$ 的 THH(R) 上定义一种类似于代数霍赫希尔德同调上霍赫希尔德过滤的谱级霍赫希尔德过滤？
• RQ2 该过滤是否如霍赫希尔德型过滤所要求的那样，将 THH 分解为艾德姆斯操作的特征谱？
• RQ3 该过滤能否被提升至循环谱，从而推广至拓扑循环同调（TC），其与 K-理论通过循环迹映射的关系如何？
• RQ4 该过滤是否与 THH(R) 上由 $λ$-环结构导出的 $γ$-过滤相容，如同 Loday 的代数构造所展示的那样？

主要发现

• 本文在 $\text{THH}(R)$ 及其推广 $R \otimes X$ 上，通过 $∞$-范畴设定下的共端公式，构造了函子性、谱级的霍赫希尔德过滤。
• 该过滤的第 $n$ 个分次项被证明是艾德姆斯操作 $\psi^r$ 的特征谱，且 $\psi^r$ 在第 $n$ 个分次项上作用为乘以 $r^n$。
• 这证实了该过滤满足霍赫希尔德过滤的关键代数条件：通过特征空间分解与艾德姆斯操作相容。
• 该过滤与 THH(R) 上由 $λ$-环结构导出的 $γ$-过滤相容，将 Loday 的构造推广至拓扑设定。
• 该构造完全函子性，并可推广至任意空间 $X$ 的分解同调 $R times X$，而不仅限于 $S^1$。
• 本文确立了过滤数据的同调决定了谱的同伦等价类，从而可通过 $H\mathbb{Z}$-同调实现同伦分类。