[論文レビュー] 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 コホロジー複体のボクシュタインスペクトル系列を用いて、アフィン空間の積分 de Rham コホロジーを計算する。カルティエ同型写像がスペクトル系列の連続するページの間に同型を誘導することを示し、各階数ごとに $\mathbb{F}_p$ 上の de Rham コホロジーに一致する $p$-進構造を備えたフィルトレーション付きモジュールとしてコホロジーを完全に記述する。主な結果は、次数 $n$ におけるコホロジーの $p$-主部が、$0 < k \leq \nu_p(n)$ に対して $\Omega_{{n}/{p^k}}^i \otimes \mathbb{Z}/p\mathbb{Z}$ 内の閉形式の空間に同型であることである。

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 コホロジーを計算すること。
• ボクシュタインスペクトル系列を分析することで、de Rham コホロジーにおける torsion の構造を理解すること。
• カルティエ同型写像を用いて、コホロジーへの $p$-adic フィルトレーションを記述すること。
• カルティエ写像を介して、ボクシュタインスペクトル系列の連続するページの間に自然な同型を確立すること。

提案手法

• 係数を $p$ で剰余類に落とした整数上の de Rham コホロジー複体に関連するボクシュタインスペクトル系列を分析する。
• スペクトル系列のページ間の同型を特定するために、$C^{-1}: \Omega_n \otimes \mathbb{Z}/p\mathbb{Z} \to H(\Omega_{pn}^\star \otimes \mathbb{Z}/p\mathbb{Z})$ というカルティエ同型写像を用いる。
• フロベニウス写像 $F_*$ を用いて、次数 $n$ と $pn$ のコホロジー群を関連させ、$p$-主部に同型を誘導する。
• 有理数上でのホモトピー作用素としての Koszul 微分作用素 $\kappa$ を用いるが、$\mathbb{Z}$ 上での torsion を解析するために $d\kappa + \kappa d = n$ の関係を利用する。
• de Rham コホロジー複体 $\Omega_n^\star = \bigoplus_{i} S^{n-i}(L) \otimes \Lambda^i L$ の階数構造を用い、$L$ に関する関手的複体とみなすことで自然性を保つ。
• $H^i(\Omega_n^\star)$ に $p$-adic フィルトレーションを構成し、$0 < k \leq \nu_p(n)$ のとき、各階数部分が $\Omega_{{n}/{p^k}}^i \otimes \mathbb{Z}/p\mathbb{Z}$ に同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 整数上の積分 de Rham コホロジー複体のボクシュタインスペクトル系列は、$\mathbb{Z}$ 上でどのように振る舞うか？
• RQ2 カルティエ同型写像は、ボクシュタインスペクトル系列の連続するページをどのように関連付けるか？
• RQ3 整数上の de Rham コホロジーにおける $p$-主部の torsion 構造はどのように構成されているか？
• RQ4 アフィン空間の $\mathbb{Z}$ 上のコホロジーは、$p$-adic フィルトレーションによって完全に記述可能か？
• RQ5 $H^i(\Omega_n^\star)$ の $p$-adic フィルトレーションの階数部分の正確な同型型は何か？

主な発見

• 整数上の de Rham コホロジー複体のボクシュタインスペクトル系列は、すべてのページが $\mathbb{F}_p$ 上の de Rham コホロジー複体に同型であり、静的ではあるが非自明なスペクトル系列であることを示す。
• カルティエ同型写像により、ボクシュタインスペクトル系列の $E_1$ と $E_2$ の間に同型が誘導され、連続するページが同定される。
• $H^i(\Omega_n^\star)$ の $p$-主部は、$0 < k \leq \nu_p(n)$ のとき $\Omega_{{n}/{p^k}}^i \otimes \mathbb{Z}/p\mathbb{Z}$ 内の閉形式の空間に同型であり、それ以外では消える。
• 全コホロジー $H^i(\Omega_n^\star)$ は、$d\kappa + \kappa d = n$ の関係により、$n$ で消える有限 torsion 群である。
• スペクトル系列は静的である：すべてのページが同型であるが、フィルトレーションが非自明であるため、微分は非自明である。
• 全次数 $n$ におけるコホロジーには $p$-adic フィルトレーションが存在し、$k$-番目の階数部分は $i > 0$ かつ $k \leq \nu_p(n)$ のとき $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}$ に同型である。