ド・ラーム複体

ウィキペディア

ド・ラームコホモロジー

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/07/06 00:56 UTC 版)

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

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

簡単な例

多様体上の微分形式 ω が 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)\,{\xrightarrow {\,d^{0}\,}}\,\Omega ^{1}(M)\,{\xrightarrow {\,d^{1}\,}}\,\Omega ^{2}(M)\,{\xrightarrow {\,d^{2}\,}}\,\Omega ^{3}(M)\to \cdots$

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。（2016年5月）

• 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, MR 1288523 
• 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。