[论文解读] Completions and derived de Rham cohomology

Bhargav Bhatt|arXiv (Cornell University)|Jul 26, 2012

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

一句话总结

本文建立了在特征 $0$ 下，对于诺特 $\mathbf{Q}$-概形的有限型态射，Illusie 的 Hodge-完备化导出 de Rham 上同调与 Hartshorne 的代数 de Rham 上同调之间的典范同构，解决了长期存在的比较问题。关键创新在于使用 Adams 完备化作为导出 de Rham 复形与 $I$-adic 完备化之间的桥梁，实现了无需选择的构造，并揭示了导出 Hodge-to-de Rham 族谱序列中非零微分的存在。

ABSTRACT

We show that Illusie's derived de Rham cohomology (Hodge-completed) coincides with Hartshorne's algebraic de Rham cohomology for a finite type map of noetherian schemes in characteristic 0; the case of lci morphisms was a result of Illusie. In particular, the E_1-differentials in the derived Hodge-to-de Rham spectral sequence for singular varieties are often non-zero. Another consequence is a completely elementary description of Hartshorne's algebraic de Rham cohomology: it is computed by the completed Amitsur complex for any variety in characteristic 0.

研究动机与目标

• 建立在特征 $0$ 下，对奇点代数簇的导出 de Rham 上同调与 Hartshorne 的代数 de Rham 上同调之间的典范同构。
• 提供代数 de Rham 上同调的显式无需选择的构造，使如 Kunneth 公式等性质变得清晰明了。
• 定义并研究代数 de Rham 上同调上的导出 Hodge 赋值滤子，其比经典 Hodge 赋值滤子更精细。
• 证明导出 Hodge-to-de Rham 族谱序列中的 $E_1$-微分通常非零，意味着该序列中存在非平凡的消去。

提出的方法

• 引入 Adams 完备化 $\mathrm{Comp}_A(A,I)$，作为 $I$-adic 完备化与导出 de Rham 上同调之间的桥梁。
• 利用 Quillen 的收敛定理，赋予 Adams 完备化一个完全滤子，其与导出 de Rham 上同调的 Hodge 截断同构。
• 借助 Carlsson 定理，将 Adams 完备化识别为 $I$-adic 完备化 $\widehat{A}$，从而比较两种上同调理论。
• 在闭浸入 $\mathrm{Spec}(A/I) \hookrightarrow \mathrm{Spec}(A)$ 上局部证明同构，然后通过下降法将其整体化。
• 利用 Mayer-Vietoris 正合列与局部上同调计算，验证族谱序列中关键层上同调群的消去。
• 应用完备化 Amitsur 复形，给出 Betti 上同调与导出 de Rham 上同调之间显式、乘法性的同构。

实验结果

研究问题

• RQ1 在特征 $0$ 下，导出 de Rham 上同调是否与 Hartshorne 的代数 de Rham 上同调对奇点代数簇一致？
• RQ2 导出 Hodge-to-de Rham 族谱序列中的微分是否可能非零？这又对上同调消去现象意味着什么？
• RQ3 能否利用完备化 Amitsur 复形，实现代数 de Rham 上同调的无需选择且显式的构造？
• RQ4 导出 Hodge 赋值滤子是否在代数 de Rham 上同调中严格细化了经典 Hodge 赋值滤子？
• RQ5 该比较结果能否有意义地推广至正特征情形？

主要发现

• 任意有限型诺特 $\mathbf{Q}$-概形态射的 Hodge-完备化导出 de Rham 上同调，与 Hartshorne 的代数 de Rham 上同调之间存在典范同构。
• 代数 de Rham 上同调上的导出 Hodge 赋值滤子，严格精细于标准 Hodge 理论滤子。
• 导出 Hodge-to-de Rham 族谱序列中的 $E_1$-微分通常非零，表明该族谱序列中存在非平凡的消去。
• 完备化 Amitsur 复形通过 $\mathrm{R}\Gamma(X^{\mathrm{an}},\mathbf{C}) \simeq \widehat{R \to R^{\tens 2} \to \cdots}$，对任意有限型仿射 $\mathbf{C}$-概形，乘法性地计算 Betti 上同调。
• 在 $\mathbf{P}^3$ 沿曲面自粘贴的爆破的例子里，$c_2: K^0(X) \otimes \mathbf{Q} \to \mathrm{Fil}^2 H^4(X^{\mathrm{an}},\mathbf{C}) \cap H^4(X^{\mathrm{an}},\mathbf{Q})$ 不是满射，表明在此情形下 Bloch-Beilinson 猜想不成立。
• 导出 Hodge-to-de Rham 族谱序列表现出消去现象：尽管各阶分次复形的上同调为无限维，但总复形的上同调却为有限维。