[论文解读] On the Blumberg-Mandell Künneth theorem for TP

Benjamin Antieau, Akhil Mathew+1 more|arXiv (Cornell University)|Oct 16, 2017

Homotopy and Cohomology in Algebraic Topology被引用 14

一句话总结

本文为正特征下光滑且拟紧的DG范畴的周期拓扑循环同伦（TP）的Blumberg-Mandell Künneth定理提供了新的、更强的证明。通过以π⁎THH(k)的正则性为核心的谱代数方法，作者证明了带有S¹作用的THH(k)-模范畴中的对偶对象是有限生成的，从而推出一个改进的Künneth公式以及TC⁻(C)的有限性定理。

ABSTRACT

We give a new proof of the recent Künneth theorem for periodic topological cyclic homology (TP) of smooth and proper dg categories over perfect fields of characteristic p>0 due to Blumberg and Mandell. Our result is slightly stronger and implies a finiteness theorem for topological cyclic homology (TC) of such categories.

研究动机与目标

• 通过证明更一般的有限生成性结果，强化正特征下TP的Blumberg-Mandell Künneth定理。
• 为特征p > 0的完美域上光滑且拟紧的DG范畴的拓扑循环同伦（TC⁻）建立有限性定理。
• 证明Künneth公式在更弱假设下仍成立——具体而言，仅需两个范畴中的一个为光滑且拟紧。
• 将强化后的定理应用于晶向上同调与TF同调，推导出关于超奇异K3曲面的有限性结果。
• 证明某些晶向上同调项的非有限生成性可通过TP中的周期性解决，从而保持TP(X)在TP(k)上的有限性。

提出的方法

• 作者在带有S¹作用的THH(k)-模的∞-范畴中工作，利用Tate构造将TP与TC⁻分别定义为THH^{tS¹}与THH^{hS¹}。
• 他们证明该范畴中的任意对偶对象均为有限生成对象，从而推出TP与TC⁻的Künneth定理。
• 关键技术输入是分次环π⁎THH(k) ≃ W(k)[x±1]（|x| = 2）的正则性，这保证了有限生成对象是可对偶的。
• 证明使用了厚子范畴论证：有限生成对象是单位生成的厚子范畴中的对象，而对偶性在此语境下蕴含紧致性。
• 作者将结果推广至在p上方的素数处局部化的整数环上的相对THH，用S⁰[q]上映射到一个统一参数的相对THH替代THH。
• 他们应用Nikolaus–Scholze公式于TC，推导出TF同调中的非有限生成性由TP中的周期性所消除。

实验结果

研究问题

• RQ1 当仅有一个光滑且拟紧DG范畴为紧致时（而非两者都），TP的Künneth定理是否仍成立？
• RQ2 Blumberg-Mandell定理能否被强化，以在正特征下推出TC⁻(C)与TF(C)的有限性结果？
• RQ3 共轭谱序列中某些晶向上同调项的非有限生成性是否与TP(X)在TP(k)上的有限性相容？
• RQ4 能否通过π⁎THH(k)的正则性，证明THH(C)在带有S¹作用的THH(k)-模范畴中的有限生成性？
• RQ5 TP(k)的周期性是否能稳定TF(X)的局部-整体谱序列中的非有限项，从而保证TF(X)的有限性？

主要发现

• 作者证明了在带有S¹作用的THH(k)-模的∞-范畴中，任意对偶对象均为有限生成对象，从而强化了Blumberg-Mandell Künneth定理。
• 当C或D中仅有一个在k上光滑且拟紧时，TP(C ⊗k D)的Künneth公式仍然成立。
• 该结果蕴含TC⁻(C) = THH(C)^{hS¹}的有限性定理，表明当C是k上光滑且拟紧时，TC⁻(C)是W(k)-模的有限生成模。
• 对于特征p > 0的完美域k上的超奇异K3曲面X，TF_{-1}(X)作为W(k)-模并非有限生成，尽管中间上同调项存在非有限生成性。
• 共轭谱序列中的非有限生成性由TP中的周期性解决，因为谱序列的周期化确保了相关微分在周期副本之间保持平衡。
• 证明表明，H^2(X, W_nΩ^1)中有限生成性的失效被TP中的周期性所补偿，从而保持了TP(X)在TP(k)上的有限性。