[论文解读] A UNIVERSAL HKR THEOREM

Bertrand Toën, Tasos Moulinos+1 more|arXiv (Cornell University)|Jun 17, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用 7

一句话总结

该论文通过构建一个在拓扑圆周与形式圆周之间插值的过滤圆周，实现了正特征和混合特征下的霍赫希尔德-科斯塔nt-罗森伯格（Hochschild-Kostant-Rosenberg, HKR）定理的普遍版本，从而在霍赫希尔德同调与循环同调与导出德雷姆上同调之间建立了自然的过滤结构。其核心贡献是通过导出代数几何与威特定理概形，构建了一个系统性框架，解决了经典HKR同构在正特征下失效的问题。

ABSTRACT

In this work we study the failure of the HKR theorem over rings of positive and mixed characteristic. For this we construct a filtered circle interpolating between the usual topological circle and a formal version of it. By mapping to schemes we produce this way a natural interpolation, realized in practice by the existence of a natural filtration, from Hochschild and cyclic homology to derived de Rham cohomology. The construction our filtered circle is based upon the theory of affine stacks and affinization introduced by the third author, together with some facts about schemes of Witt vectors.

研究动机与目标

• 解决经典霍赫希尔德-科斯塔nt-罗森伯格（Hochschild-Kostant-Rosenberg, HKR）定理在正特征和混合特征环中的失效问题。
• 利用过滤结构，在拓扑圆周与其形式对应物之间构建几何插值。
• 通过概形与仿射堆栈，将霍赫希尔德同调与循环同调到导出德雷姆上同调的自然过滤结构化。
• 通过导出代数几何与威特定理概形，将HKR同构推广至普遍设定。
• 提供一个统一正特征下霍赫希尔德同调与德雷姆上同调的框架。

提出的方法

• 利用第三作者发展的仿射堆栈与仿紧化理论，构造一个过滤圆周。
• 利用威特定理概形处理正特征与混合特征下的算术结构。
• 将过滤圆周映射到概形，从而在霍赫希尔德同调与循环同调上产生自然的过滤。
• 通过导出几何构造，在拓扑结构与形式结构之间实现插值。
• 将导出德雷姆上同调作为插值的目标，将其与霍赫希尔德同调联系起来。
• 应用过滤圆周，在导出代数几何中建立普遍的HKR型同构。

实验结果

研究问题

• RQ1 如何将经典HKR同构推广至正特征和混合特征的环？
• RQ2 何种几何对象能够实现在拓扑圆周与形式圆周结构之间的连续插值？
• RQ3 过滤圆周构造如何促进从霍赫希尔德同调到导出德雷姆上同调的过滤结构？
• RQ4 威特定理概形在正特征构造中起到何种作用？
• RQ5 仿射堆栈与仿紧化理论在实现普遍HKR定理中扮演何种角色？

主要发现

• 过滤圆周构造在导出几何中为拓扑与形式设定之间提供了几何桥梁，实现了插值。
• 通过过滤圆周与概形映射，霍赫希尔德同调与循环同调到导出德雷姆上同调的过滤结构得以自然实现。
• 通过利用导出结构与威特定理概形，普遍HKR定理在正特征与混合特征下成立。
• 该构造通过系统性过滤解决了经典HKR同构在正特征下失效的问题。
• 利用仿射堆栈与仿紧化确保了插值的几何自然性与普遍性。