[论文解读] Crystalline cohomology and de Rham cohomology

Bhargav Bhatt, A. J. de Jong|arXiv (Cornell University)|Oct 22, 2011

Algebraic Geometry and Number Theory参考文献 3被引用 10

一句话总结

本文提供了伯塞洛特关于光滑有限域上代数簇的晶体上同调与德拉姆上同调之间比较同构的全新Čech理论证明，避免了传统微分几何工具（如pd-分层和线性化）。关键结果表明，光滑 $\mathbf{F}_p$-簇的晶体上同调同构于其在 $\mathbf{Z}_p$ 上任意提升的德拉姆上同调，通过形式加厚上的德拉姆复形的上同调提供了新视角。

ABSTRACT

The goal of this short paper is to give a slightly different perspective on the comparison between crystalline cohomology and de Rham cohomology. Most notably, we reprove Berthelot's comparison result without using pd-stratifications, linearisations, and pd-differential operators.

研究动机与目标

• 通过避免使用pd-分层、线性化或pd-微分算子，重新证明伯塞洛特关于晶体上同调与德拉姆上同调之间的比较同构。
• 使用Čech理论方法，为晶体上同调与德拉姆上同调之间的关系提供一种更初等的新视角。
• 建立晶体上同调与光滑 $\mathbf{F}_p$-簇在 $\mathbf{Z}_p$ 上提升的德拉姆复形之间的直接联系。
• 通过拟相干层上的晶体与平坦联络，将比较结果推广至系数情形。
• 分析晶体上同调在模 $p^e$ 降低下的基变换行为，识别出导出基变换成立的条件。

提出的方法

• 作者使用Čech理论方法，通过形式加厚 $T$ 上的德拉姆复形的上同调计算晶体上同调，其中 $T$ 是 $X$ 在 $\mathbf{Z}_p$ 上的形式加厚。
• 他们定义了晶体 $\mathcal{F}$ 上的典范联络 $\nabla:\mathcal{F} \to \mathcal{F} \otimes \Omega^1_{S/\Sigma}$，该联络可积，并由此导出德拉姆复形。
• 关键技术工具是将 $\Omega^1_{S/\Sigma}$ 识别为 $\mathcal{I}/\mathcal{I}^{[2]}$，其中 $\mathcal{I}$ 是分划幂包络 $T(1)$ 中对角线的理想。
• 证明依赖于如下事实：对于具有 $\mathbf{Z}_p$ 上提升的光滑 $\mathbf{F}_p$-簇 $X$，通过提升上的德拉姆复形的上同调可计算其晶体上同调。
• 作者利用导出基变换和平坦性假设，证明在适当条件下有 $R\Gamma(S/\Sigma, \mathcal{F}) \otimes^L_{\mathbf{Z}} \mathbf{Z}/p^e \simeq R\Gamma(S/\Sigma_e, \mathcal{F}|_{S/\Sigma_e})$。
• 他们建立了 $(S/\Sigma)_{\text{cris}}$ 上拟相干层的晶体与 $X$ 上拟相干层上平坦联络之间的等价关系，并保持上同调不变。

实验结果

研究问题

• RQ1 能否在不使用pd-分层或线性化的情况下重新证明晶体上同调与德拉姆上同调之间的比较同构？
• RQ2 是否存在一种Čech理论描述，能将晶体上同调与 $\mathbf{Z}_p$ 上提升的德拉姆复形直接联系起来？
• RQ3 在什么条件下，晶体上同调关于基变换 $\mathbf{Z}_p \to \mathbf{Z}/p^e$ 满足导出基变换？
• RQ4 晶体中的系数如何与德拉姆设定中的平坦联络相关联？
• RQ5 晶体上同调中基变换的障碍是什么？在何种条件下这些障碍会消失？

主要发现

• 本文使用仅Čech理论方法，提供了伯塞洛特比较定理（定理3.6）的新证明，避免了微分几何工具（如pd-分层和线性化）。
• 对于可提升至 $\mathbf{Z}_p$ 的光滑 $\mathbf{F}_p$-簇 $X$，其晶体上同调 $R\Gamma(X/\Sigma, \mathcal{O}_{X/\Sigma})$ 同构于其在 $\mathbf{Z}_p$ 上的提升的德拉姆上同调。
• 在提升 $T$ 上的拟相干层 $\mathcal{M}$ 的德拉姆复形计算了 $(X/\Sigma)_{\text{cris}}$ 上对应晶体 $\mathcal{F}$ 的晶体上同调。
• 建立了 $(S/\Sigma)_{\text{cris}}$ 上拟相干层的晶体与 $X$ 上拟相干层上平坦联络之间的等价关系，且该等价与上同调相容。
• 在关于 $\mathbf{Z}/p^e$ 的层为平坦的假设下，导出基变换成立：$R\Gamma(S/\Sigma, \mathcal{F}) \otimes^L_{\mathbf{Z}} \mathbf{Z}/p^e \simeq R\Gamma(S/\Sigma_e, \mathcal{F}|_{S/\Sigma_e})$。
• 本文构造了一个反例（例3.11），表明当层在 $\mathbf{Z}_p$ 上不平坦时，基变换一般不成立，因为导出张量积可能具有负上同调。