[论文解读] The geometry of the cyclotomic trace

David Ayala, Aaron Mazel-Gee+1 more|arXiv (Cornell University)|Oct 17, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用 10

一句话总结

本文通过1-流形的几何与Goodwillie微积分中的线性化，提出了一种新的拓扑循环同伦（TC）及同伦循环迹映射的几何构造。它将THH(C)上的循环结构识别为在自由循环空间L X上具有T-不变性的函数，且在循环迭代下保持相容，表明向量丛的单值性迹满足这些条件，从而为循环迹映射K(X) → TC(X)提供了概念性、导出几何的解释。

ABSTRACT

We provide a new construction of the topological cyclic homology $TC(C)$ of any spectrally-enriched $\infty$-category $C$, which affords a precise algebro-geometric interpretation of the cyclotomic trace map $K(X) o TC(X)$ from algebraic K-theory to topological cyclic homology for any scheme $X$. This construction rests on a new identification of the cyclotomic structure on $THH(C)$, which we find to be a consequence of (i) the geometry of 1-manifolds, and (ii) linearization (in the sense of Goodwillie calculus). Our construction of the cyclotomic trace likewise arises from the linearization of more primitive data.

研究动机与目标

• 为谱增强的∞-范畴的拓扑循环同伦（TC）提供一种新的、具有几何意义的构造。
• 为概形X的循环迹映射K(X) → TC(X)提供精确的代数几何解释。
• 将THH(C)上的循环结构识别为1-流形几何与Goodwillie微积分中线性化的产物。
• 表明循环迹源于更原始数据集的线性化，从而阐明其概念起源。
• 通过配体同调建立丹尼斯迹、循环空间与T-等变不变量之间的概念性联系。

提出的方法

• 使用增强的配体同调，将THH(C)实现为自由循环空间L X上的函数，即THH(C) ≃ O(L X)。
• 将THH(C)上的循环结构识别为T作用（循环旋转）与通过Tate构造实现的循环迭代相容性所致。
• 通过对角结构包与范畴族中的纤维上极限，构造THH×_V上的不稳定循环结构。
• 利用Tate结构包与上极限的普遍性质，将不稳定结构提升为THH上的完整循环结构。
• 应用Goodwillie微积分与Tate构造的微积分理论基本特征，从不稳定结构过渡到稳定循环结构。
• 利用稳定∞-范畴的代数K-理论的普遍性质，将循环预迹分解为循环迹映射K(C) → TC(C)。

实验结果

研究问题

• RQ1 如何通过1-流形的几何来几何地理解THH(C)上的循环结构？
• RQ2 Goodwillie微积分中的线性化在构造循环迹中起何精确作用？
• RQ3 为何向量丛在X上的单值性迹满足定义TC-类的条件？
• RQ4 配体同调框架如何将THH(C)实现为自由循环空间L X上的函数？
• RQ5 TC通过T-不变性与循环迭代相容性从THH中产生的概念机制是什么？

主要发现

• THH(C)上的循环结构被识别为源自1-流形几何与配体同调数据线性化的产物。
• 循环迹K(X) → TC(X)被证明通过向量丛的单值性迹实现，后者满足所需的T-不变性与迭代循环相容性。
• TC(C)被构造为THH(C)在T作用下的同伦固定点，其循环结构通过Tate结构包与弗罗贝尼乌斯上移编码。
• 不稳定循环迹通过在带框架的1-流形上的配体同调构造，并利用悬停谱与普遍性质推广至稳定情形。
• 该构造产生一个自然变换Σ∞_+ ι ⇒ TC in Sp，通过代数K-理论的普遍性质在K(C)上分解。
• 关键技术步骤是利用Tate构造的微积分理论特性，将不稳定循环结构提升至稳定设定。