ド・ラームコホモロジー

ド・ラームコホモロジー（）とは可微分多様体のひとつの不変量で、多様体上の微分形式を用いて定まるベクトル空間である。多様体の位相不変量である特異コホモロジーとド・ラームコホモロジーは同型になるというド・ラームの定理がある。
簡単な例.
多様体上の微分形式 が となるとき閉形式、 となる が存在するとき完全形式と呼ぶ。ユークリッド空間においてはポアンカレの補題によれば、閉形式はいつでも完全形式である。つまり 次微分形式 が ならある 次微分形式 が存在して となる。
しかし円周において角測度に対応する 次微分形式 を考える。円周は 次元の多様体であるから である、すなわち閉形式である。一方で となるような円周上全体で定義された微分可能関数 は存在しない。なぜならそのような関数にたいし を円周上で積分すると微積分学の基本定理から になるが を円周上で積分すると になるからである。このことから は閉形式であるが完全形式ではないことがわかる。
このように一般の多様体においては閉形式が完全形式であるとはかぎらない。閉形式の空間と完全形式の空間の差をはかるのがド・ラームコホモロジーである。
定義.
 を微分可能多様体とし を 上の滑らかな函数の空間、 を 上の 次微分形式の空間とする。 で外微分をあらわし、上で述べたように の元を閉形式、 の元を完全形式と呼ぶ。 をみたすことから次の系列
は複体であり、これをド・ラーム複体と呼ぶ。この複体のコホモロジーがド・ラームコホモロジーである。すなわち、閉形式の空間を完全形式の空間でわった商
が 次ド・ラームコホモロジー群である。
定義からわかるように であることと任意の 次閉形式が完全形式であることが同値である。
計算例.
 個の連結成分からなる任意の多様体 に対し、
が成り立つ。これは、微分が である 上の滑らかな函数は局所定数関数であるという事実から従う。
ポアンカレの補題から可縮な多様体 についてそのド・ラームコホモロジーは に対し
をみたす。
ド・ラームコホモロジーを計算する上で有用な事実はマイヤー・ヴィートリス完全系列の存在およびホモトピー不変性である。ド・ラームコホモロジーを計算した結果を以下に挙げる。
ド・ラームの定理.
 を微分可能多様体とする。特異チェイン と 次微分形式 にたいし、積分 を考える。ストークスの定理から閉形式 にたいし
となり、特異サイクル にたいし
となる。このことからド・ラームコホモロジーと特異ホモロジーの間にペアリングを定める事ができ、特異ホモロジーの双対である特異コホモロジーへの線形写像
が定義される。具体的にかくと、ド・ラームコホモロジー類 から定まる 上の線形形式 が、サイクル類 を formula_11 にうつすものとしてあたえられる。ド・ラームの定理は、この写像 が同型であるという定理である。
さらに微分形式のウェッジ積と特異コホモロジーのカップ積が整合的であり、この積から定まる2つのコホモロジー環は（次数付き環として）同型となることも言っている。
チェックコホモロジーとの比較.
ド・ラームコホモロジーは、ファイバー を持つのと同型である。
証明.
 で 上の 形式の芽の層を表すとする（ を の上の 級函数を表すとする）。ポアンカレの補題によって、次は層の完全系列となる。
上記の系列は短完全列へと分解する。
これらの各々の短完全系列は、コホモロジーの長完全系列を引き起こす。
多様体上の 級函数の層は1の分割を持っているので、 にたいし層係数コホモロジー は であり、コホモロジーの長完全系列から となる。これを繰り返す事で主張の同型がえられる。
関連するアイデア.
 がコンパクトで向き付けられた多様体でリーマン計量をもつとする。このとき のド・ラームコホモロジーはホッジ理論によりホッジ分解をもつ。また が複素多様体であれば、ド・ラームコホモロジーの類似としてドルボーコホモロジーが定義される。他にもアティヤ・シンガーの指数定理など、多くの数学的なアイデアを呼び起こした。