[论文解读] Cohomologie de de Rham entiere (Integral de Rham cohomology)

Vincent Franjou|ArXiv.org|Apr 6, 2004

Homotopy and Cohomology in Algebraic Topology被引用 3

一句话总结

本文通过整数环上的 de Rham 复形的 Bockstein 幅射谱序列，计算了仿射空间的积分 de Rham 上同调。它表明 Cartier 同构在幅射谱序列的连续页之间诱导出同构，从而完整描述了作为具有 $p$-进结构的过滤模的上同调，其中每个分次部分对应于 $\mathbb{F}_p$ 上的 de Rham 上同调。关键结果是：在度数 $n$ 处，上同调的 $p$-主部同构于 $\Omega_{{n}/{p^k}}^i \otimes \mathbb{Z}/p\mathbb{Z}$ 中的闭形式空间，其中 $0 < k \leq \nu_p(n)$。

ABSTRACT

The Cartier isomorphism allows a nice description of the Bockstein spectral sequence of the de Rham complex over the integers. It is used to compute the integral de Rham cohomology of affine spaces. ----- On decrit la suite spectrale de Bockstein issue du complexe de de Rham sur les entiers. L'isomorphisme de Cartier intervient comme un endomorphisme du complexe de de Rham modulo p qui identifie les pages successives de la suite spectrale de Bockstein. On en deduit la cohomologie de de Rham entiere des espaces affines.

研究动机与目标

• 计算仿射空间在整数环上的积分 de Rham 上同调。
• 通过分析 Bockstein 幅射谱序列，理解 de Rham 上同调中挠子群的结构。
• 利用 Cartier 同构描述上同调上的 $p$-进过滤结构。
• 通过 Cartier 映射建立 Bockstein 幅射谱序列中连续页之间的自然同构。

提出的方法

• 分析与整数环上的 de Rham 复形相关的 Bockstein 幅射谱序列，系数模 $p$ 降低。
• 利用 Cartier 同构 $C^{-1}: \Omega_n \otimes \mathbb{Z}/p\mathbb{Z} \to H(\Omega_{pn}^\star \otimes \mathbb{Z}/p\mathbb{Z})$，识别幅射谱序列各页之间的同构。
• 利用 Frobenius 映射 $F_*$ 将度数 $n$ 与 $pn$ 的上同调群联系起来，诱导出 $p$-主部上的同构。
• 在 $\mathbb{Q}$ 上使用 Koszul 微分算子 $\kappa$ 作为同伦算子，但利用关系 $d\kappa + \kappa d = n$ 分析 $\mathbb{Z}$ 上的挠子群。
• 利用 de Rham 复形 $\Omega_n^\star = \bigoplus_{i} S^{n-i}(L) \otimes \Lambda^i L$ 的分次结构，将其视为 $L$ 上的函子复形，以保证自然性。
• 在 $H^i(\Omega_n^\star)$ 上构造一个 $p$-进过滤，其分次部分同构于 $\Omega_{{n}/{p^k}}^i \otimes \mathbb{Z}/p\mathbb{Z}$，其中 $0 < k \leq \nu_p(n)$。

实验结果

研究问题

• RQ1 整数环上的 de Rham 复形的 Bockstein 幅射谱序列在 $\mathbb{Z}$ 上的行为如何？
• RQ2 Cartier 同构在关联 Bockstein 幅射谱序列的连续页中起什么作用？
• RQ3 积分 de Rham 上同调中的 $p$-主挠子群的结构是怎样的？
• RQ4 能否通过 $p$-进过滤完全描述 $\mathbb{Z}$ 上仿射空间的上同调？
• RQ5 上同调 $H^i(\Omega_n^\star)$ 的 $p$-进过滤的分次部分的精确同构类型是什么？

主要发现

• 整数环上 de Rham 复形的 Bockstein 幅射谱序列的所有页都同构于 $\mathbb{F}_p$ 上的 de Rham 复形，表明该幅射谱序列是平稳的但非平凡的。
• Cartier 同构在 Bockstein 幅射谱序列的 $E_1$ 与 $E_2$ 页之间诱导出同构，从而识别出连续页之间的关系。
• $H^i(\Omega_n^\star)$ 的 $p$-主部同构于 $\Omega_{{n}/{p^k}}^i \otimes \mathbb{Z}/p\mathbb{Z}$ 中的闭形式空间，其中 $0 < k \leq \nu_p(n)$，否则为零。
• 总上同调 $H^i(\Omega_n^\star)$ 是一个被 $n$ 消去的有限挠群，由关系 $d\kappa + \kappa d = n$ 所示。
• 该幅射谱序列是平稳的：所有页都同构，但微分非平凡，意味着过滤是非平凡的。
• 总度数 $n$ 处的上同调具有一个 $p$-进过滤，其第 $k$ 个分次部分为 $p^{k-1}H^i(\Omega_n^\star)/p^kH^i(\Omega_n^\star) \cong \Omega_{{n}/{p^k}}^i \otimes \mathbb{Z}/p\mathbb{Z}$，其中 $i > 0$ 且 $k \leq \nu_p(n)$。