[论文解读] Algebraic cycles and crystalline cohomology

Amalendu Krishna, Jinhyun Park|arXiv (Cornell University)|Apr 30, 2015

Algebraic Geometry and Number Theory参考文献 43被引用 6

一句话总结

该论文证明，在特征 $p \neq 2$ 的域上的光滑代数簇上，加法高阶 Chow 群构成一个 Zariski 层的拟微分分次代数，其 Milnor 范围与大 de Rham-Witt 复形一致。当 $p > 2$ 时，该层的 $p$-典型部分的 Zariski 上同调计算了晶体上同调，为 Bloch 和 Illusie 的经典结果提供了现代代数循环理论视角的重新解释。

ABSTRACT

We show that additive higher Chow groups on smooth varieties over a field of characteristic $p ot = 2$ induce a Zariski sheaf of pro-differential graded algebras, whose Milnor range is isomorphic to the Zariski sheaf of the big de Rham-Witt complexes of L. Hesselholt and I. Madsen. When $p > 2$, the Zariski hypercohomology of the $p$-typical part of the sheaves arising from additive higher Chow groups computes the crystalline cohomology of smooth varieties. This revisits the 1970s results of S. Bloch and L. Illusie on crystalline cohomology.

研究动机与目标

• 在正特征下，将加法高阶 Chow 群与晶体上同调联系起来。
• 证明这些群构成一个 Zariski 层的拟微分分次代数。
• 证明该层的 $p$-典型部分通过上同调计算晶体上同调。
• 利用现代循环理论工具重新解释 Bloch 和 Illusie 的经典结果。

提出的方法

• 从特征 $p \neq 2$ 的域上光滑代数簇的加法高阶 Chow 群构造一个 Zariski 层的拟微分分次代数。
• 将该层的 Milnor 范围与 Hesselholt 和 Madsen 的大 de Rham-Witt 复形的层识别为同构。
• 聚焦于该层的 $p$-典型部分，以建立其与晶体上同调的关系。
• 利用 Zariski 上同调计算该层结构下的晶体上同调。
• 利用拟微分代数框架处理上同调计算中的极限与收敛性问题。
• 应用代数循环与晶体上同调的结果，建立其与经典构造的同构性。

实验结果

研究问题

• RQ1 在正特征下，加法高阶 Chow 群与 de Rham-Witt 复形有何关系？
• RQ2 能否通过加法高阶 Chow 群导出的层的 $p$-典型部分计算晶体上同调？
• RQ3 是否存在加法高阶 Chow 群 Milnor 范围的层论实现，使其与大 de Rham-Witt 复形一致？
• RQ4 该构造是否恢复或重新解释了 Bloch 和 Illusie 在 1970 年代关于晶体上同调的结果？
• RQ5 拟微分分次代数结构在连接循环与上同调理论中起什么作用？

主要发现

• 在特征 $p \neq 2$ 的域上的光滑代数簇上，加法高阶 Chow 群诱导出一个 Zariski 层的拟微分分次代数。
• 该层的 Milnor 范围同构于 Hesselholt 和 Madsen 的大 de Rham-Witt 复形的 Zariski 层。
• 当 $p > 2$ 时，该层的 $p$-典型部分的 Zariski 上同调计算了光滑代数簇的晶体上同调。
• 该构造为晶体上同调提供了新的代数循环理论解释。
• 该结果为 Bloch 和 Illusie 关于晶体上同调的经典定理提供了现代重新解释。
• 该框架通过拟结构与分次微分代数，建立了高阶 Chow 循环与晶体上同调之间的桥梁。