[论文解读] Trace theories, Bokstedt periodicity and Bott periodicity

D. Kaledin|arXiv (Cornell University)|Apr 8, 2020

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

一句话总结

本文通過蹤理論與穩定化，建立了一套概念框架，將拓撲霍奇循環同調（THH）、博克斯特週期性與博特定週期性聯繫起來。證明了 THH(A) 同構於共週期循環同調上共軛濾子的零階項，將博克斯特生成元 σ 與博特定週期性元素 u⁻¹ 對應起來，並以霍奇-惠特同調的形式提供了 THH 的新代數描述。

ABSTRACT

We flesh out the theory of "trace theories" and "trace functors" sketched in arXiv:1308.3743, extend it to a homotopical setting, and prove a reconstruction theorem claiming that a trace theory is completely determined by the associated trace functor. As an application, we consider Topological Hoshschild Homology $THH(A,M)$ of a algebra $A$ over a perfect field of positive characteristic, with coefficients in a bimodule $M$, and prove two comparison results. Firstly, we give a very simple algebraic model for THH in terms of Hochschild-Witt Homology WHH of arXiv:1604.01588 (and we also identify $TP(A)$ with the periodic version $WHP(A)$ of WHH). Secondly, we prove that $THH(A)$ is identified with the zero term of the conjugate filtration on the co-periodic cyclic homology $\overline{HP}(A)$ of arXiv:1509.08784, and the isomorphism sends the Bokstedt periodicity generator to the Bott periodicity generator. We also give an independent proof of Bokstedt periodicity that is somewhat shorter than the usual ones.

研究动机与目标

• 提供拓撲霍奇循環同調中博克斯特週期性的概念清晰且代數化的證明。
• 建立 THH 與共週期循環同調之間的比較，識別博特定週期性生成元。
• 對於任意 k-代數 A 與雙模 M，以霍奇-惠特同調 WHH(A,M) 表達 THH(A,M)。
• 釐清共軛濾子在 THH 與週期循環同調之間關係中的作用。
• 透過共軛濾子解釋 p-進霍奇理論中「錯誤」總化現象，證明其等價於 THH。

提出的方法

• 利用蹤理論將 THH(A,M) 的計算簡化為完美域 k 上的 THH(k,M)。
• 對雙模及其同倫範疇上的函子性構造應用穩定化與可加化技術。
• 運用相對塔特上同調與譜序列分析 THH 與 WHH 的同倫群。
• 構造一個環映射 φ: THH(k) → R，使得 φ(σ) 不是幂零元，從而證明 k[σ] 單射嵌入 THH(k)。
• 利用循環結構與循環蹤的截斷定義 φ，無需依賴高階譜序列技術。
• 應用共軛濾子，並與從 THH 到 HH[σ] 的譜序列比較，證明其與博特定週期性相容。

实验结果

研究问题

• RQ1 是否能以純粹代數且概念性的方法證明 THH 中的博克斯特週期性，而非依賴譜序列論證？
• RQ2 是否存在 THH(A) 與共週期循環同調上共軛濾子之間的直接代數同構？
• RQ3 在 k-代數上的雙模背景下，霍奇-惠特同調 WHH 與 THH 之間的關係為何？
• RQ4 博克斯特生成元 σ 與週期同調理論中博特定週期性生成元 u⁻¹ 之間的精確關係為何？
• RQ5 為何 p-進霍奇理論中的「錯誤」總化對應於 THH？此現象如何由共軛濾子解釋？

主要发现

• THH(A) 同構於共週期循環同調上共軛濾子的零階項，即 THH(A) ≅ V₀CP̄(A)。
• 在同構下，博克斯特週期性生成元 σ ∈ THH(k) 映射至共週期循環同調中的博特定週期性生成元 u⁻¹ ∈ CP̄(A)，因此 THH(A) ⊗k[σ] k(σ,σ⁻¹) ≅ CP̄(A)。
• 對於任意 k-代數 A 與 A-雙模 M，存在函子性同構 THH(A,M) ≅ WHH(A,M)。
• 從 HH(A)[σ] 到 THH(A) 的譜序列同構於共軛譜序列，從而解釋了正特徵下退化模式的成因。
• 映射 φ: THH(k) → R 滿足 φ(σ) 非幂零，證明了 k[σ] 單射嵌入 THH(k)，且維數論證表明 THH(k) = k[σ]。
• 使用相對塔特上同調而非塔特同調，使證明對所有素數 p（包括 p=2）具有統一性，從而彌補了早期工作中的一個技術缺口。