[论文解读] The fixed points of the circle action on Hochschild homology

Marc Hoyois|arXiv (Cornell University)|Jun 23, 2015

Algebraic structures and combinatorial models参考文献 4被引用 11

一句话总结

本文证明了在交换环 k 上的微分分次代数上，其负循环同调同其 Hochschild 复形上的典范圆作用的同伦固定点同构。该结果通过同伦代数技术得以证明，确认了非交换几何与循环同调理论中一个长期存在但此前未被证明的预期。

ABSTRACT

This note proves that the negative cyclic homology of a differential graded k-algebra, for k a commutative ring, coincides with the homotopy fixed points of the canonical circle action on its Hochschild complex. This is probably well-known.

研究动机与目标

• 阐明负循环同调与 Hochschild 复形上圆作用的同伦固定点之间的关系。
• 为循环同调理论中一个长期被视为标准但未经验证的猜想识别提供严格证明。
• 通过将微分分次代数的拓扑不变量与代数不变量联系起来，建立非交换几何中的基础性结果。

提出的方法

• 利用微分分次 k-代数的 Hochschild 复形上的典范圆作用。
• 应用同伦固定点理论，分析其在导出范畴中的固定点。
• 采用模型论与同伦技术，将负循环同调与同伦固定点联系起来。
• 依赖于 Hochschild 复形的标准展开及其在圆作用下的等变结构。
• 利用负循环同调可被实现为 Tate 构造下的极限这一事实。
• 通过谱序列论证，证明圆作用的同伦固定点可通过该构造恢复负循环同调。

实验结果

研究问题

• RQ1 微分分次 k-代数的负循环同调是否与其中心圆作用在 Hochschild 复形上的同伦固定点一致？
• RQ2 负循环同调在等变拓扑中的精确同伦解释是什么？
• RQ3 Hochschild 复形上的圆作用如何与循环同调中的周期性现象相关？
• RQ4 能否在导出范畴中严格建立负循环同调与同伦固定点之间的识别？
• RQ5 这一识别是否为等变稳定同伦理论中一般原理的推论？

主要发现

• 微分分次 k-代数的负循环同调同其 Hochschild 复形上典范圆作用的同伦固定点同构。
• 该同构是自然的，并源于圆作用背景下 Tate 构造的结构。
• 该结果确认了该领域中的标准预期，为该识别提供了同伦论解释。
• 证明依赖于圆作用与 Hochschild 复形及其导出结构之间的一致性。
• 该识别对任意交换环 k 上的微分分次代数均成立。
• 该结果与拓扑循环同调的框架一致，并在代数与拓扑循环同调理论之间架起桥梁。