微分形式と代数トポロジーの関係は？基礎から解説（ドラームコホモロジー・ホモロジーなど）

微分形式と代数トポロジーの関係は？基礎から解説（ドラームコホモロジー・ホモロジーなど）

微分形式は、曲線や曲面の上で積分を行うための道具であり、代数トポロジーは空間の穴やつながり方を代数的に捉える分野です。

一見すると解析学と位相幾何学は別の領域に見えますが、両者はドラームコホモロジーによって深く結び付いています。

この記事では、微分形式の基礎からホモロジー、コホモロジー、ストークスの定理までを順に確認し、なぜ積分の情報から空間の形が分かるのかを解説します。

微分形式と代数トポロジーの結び付き

それではまず、微分形式と代数トポロジーがどのように対応するのかについて解説していきます。

積分可能な量としての微分形式

微分形式とは、座標の変化に合わせて自然に扱える積分の対象です。

たとえば二変数関数に対する 一形式 は、dx と dy を用いて表され、曲線に沿った線積分を定義できます。

面積要素を表す dxdy のような二形式は、曲面や領域の上で積分されます。

このように、何次元の対象の上で積分するかに応じて、対応する次数の微分形式を使い分ける仕組みです。

微分形式の重要な特徴は、単なる式の見た目ではなく、座標を取り替えても幾何学的意味が保たれる点にあります。

この性質があるため、曲がった空間や多様体の上でも、積分や微分を一貫した形で扱えます。

空間の穴を扱う代数トポロジー

代数トポロジーでは、空間を連続的に変形しても失われない性質を調べます。

代表例は、円周には中心の穴が一つあり、球面には穴がないという違いです。

この差を数として記録する道具がホモロジー群です。

ホモロジーは、閉じた曲線や閉じた曲面のうち、より高次元の領域の境界として埋められるものと、埋められないものを区別します。

円周を一周する閉曲線は、円周の内部に円板が存在しないため、境界として縮められません。

一方で平面上の円は、内側の円板の境界と見なせるため、同じような閉曲線でも扱いが変わります。

解析と位相をつなぐドラームコホモロジー

微分形式に外微分という操作を施すと、閉形式と完全形式という二つの重要な分類が生まれます。

閉形式は外微分するとゼロになる形式であり、完全形式は別の形式を外微分して得られる形式です。

完全形式は必ず閉形式ですが、閉形式が必ず完全形式になるとは限りません。

この差が残る場所に、空間の穴に関する情報が現れます。

ドラームの定理により、滑らかな多様体ではドラームコホモロジーと実数係数の特異コホモロジーが対応します。

解析で作られた微分形式の世界と、代数トポロジーで作られたコホモロジーの世界が同じ不変量を与える点が、両者の関係の中心です。

微分形式の次数と外微分

続いては、ドラームコホモロジーを理解する土台となる微分形式の次数と外微分を確認していきます。

零形式から高次形式までの区別

零形式は、通常の滑らかな関数です。

たとえば f が関数なら、df はその変化を表す一形式になります。

三次元空間では、関数、一形式、二形式、三形式を順に扱うことが多く、それぞれが点、曲線、曲面、体積への積分と対応します。

次数	代表的な形	積分する対象	直感的な役割
零形式	f	点	関数値
一形式	Pdx＋Qdy	曲線	仕事や循環
二形式	Rdxdy	曲面や領域	面積や流束
三形式	Sdxdydz	立体	体積的な量

ここでの次数は、式の次数ではなく、どの次元の対象に積分できるかを示す番号です。

次数の違いを意識すると、外微分やストークスの定理の役割が整理しやすくなります。

外微分が持つ二つの性質

外微分は d で表され、k 形式を k＋一形式へ送る演算です。

関数に対する微分を、高次の形式まで拡張したものと考えられます。

この性質により、完全形式は必ず閉形式になります。

なぜなら、ω が η の外微分であるとき、ωにさらに外微分を施すと d dη となりゼロになるからです。

一方で、閉形式であっても元になる形式 η が大域的に存在するとは限りません。

その限界こそが、局所的な計算だけでは見えない位相的情報です。

閉形式と完全形式の差

小さな開球のように穴のない領域では、ポアンカレの補題が成り立ちます。

これは、閉形式なら局所的には完全形式として書けるという内容です。

したがって、閉形式と完全形式の差は、狭い範囲の微分計算ではなく、空間全体の構造によって生じます。

円周の上では、一周方向の変化を測る一形式が閉形式になっても、全体で単一値の関数の微分として表せない場合があります。

この現象は、穴を一周したときに積分値が残ることと結び付きます。

ストークスの定理と境界積分

続いては、微分形式とホモロジーの接点となるストークスの定理を確認していきます。

一般化されたストークスの定理

ストークスの定理は、境界上の積分と内部での外微分の積分を結び付ける定理です。

複数の定理を別々に覚えるより、境界と外微分の対応として捉えると見通しがよくなります。

積分する領域の次元が一つ上がり、形式の次数も一つ上がるという関係が重要です。

境界を持つ鎖とホモロジー

ホモロジーでは、点、線分、三角形などを組み合わせた鎖を考えます。

鎖には境界作用素があり、線分の境界は両端の点、三角形の境界は三本の辺というように定義されます。

境界を二回取るとゼロになるため、境界の境界は存在しません。

この性質は外微分の二乗がゼロになる性質とよく似ています。

閉じた鎖をサイクル、別の鎖の境界として表せるものをバウンダリーと呼び、その差を分類するのがホモロジーです。

穴を囲む閉曲線はサイクルですが、穴をまたいで埋める面がなければバウンダリーではありません。

積分によるサイクルの検出

閉形式を閉じたサイクルに積分すると、その値は代表元の選び方に依存しにくい情報になります。

完全形式を閉曲線に積分した場合は、ストークスの定理によりゼロになります。

したがって、閉曲線に対してゼロでない積分値が得られれば、その形式は完全形式ではありません。

同時に、その閉曲線も単なる境界ではない可能性が高いと判断できます。

ドラームコホモロジーとホモロジーの対応

続いては、ドラームコホモロジーとホモロジーがどのように補い合うのかを確認していきます。

コホモロジー群の構成

k 形式全体の集合を考え、その中から閉形式を取り出します。

さらに完全形式を同じものとして扱うと、k 次ドラームコホモロジー群が得られます。

形式的には、k 次の閉形式の集合を k 次の完全形式の集合で割ったものです。

ここで割るという操作は、積分に影響しない余分な部分を取り除く意味を持ちます。

完全形式は局所的な変化として消せる一方、閉形式に残る非自明な部分は大域的な穴と対応します。

このため、コホモロジー群の次元はベッチ数と呼ばれ、穴の数に関する有力な指標になります。

積分ペアリングの意味

コホモロジー類とホモロジー類の間には、積分による対応があります。

閉形式の類を閉サイクルの類に積分すると、代表元を変えても値が変わりません。

完全形式を加えても閉サイクル上での積分は変わらず、サイクルに境界を加えても閉形式の積分は変わりません。

この安定性によって、積分はコホモロジーとホモロジーの間の自然な組み合わせになります。

対象	主な役割	対応する見方
ホモロジー	穴を囲む図形を分類	積分される側
コホモロジー	閉形式の非自明性を分類	積分する側
積分	両者を数値で結合	位相的不変量の観測

この関係は、形そのものと、その形を測定する装置の関係にたとえることもできます。

ドラームの定理が示す内容

ドラームの定理は、滑らかな多様体のドラームコホモロジーが、実数係数の特異コホモロジーと同型であることを述べます。

特異コホモロジーは連続写像や単体分割を用いて定義されるため、より位相的な構成です。

対してドラームコホモロジーは、微分可能な関数や形式を使う解析的な構成です。

両者が一致するという事実により、計算しやすい側の道具を選べます。

たとえば座標や積分を活用したいときは微分形式を使い、連続変形や写像の性質を重視したいときは特異コホモロジーを使うとよいでしょう。

異なる言語で同じ空間を記述できることが、ドラームの定理の本質です。

円周と球面に見る具体例

続いては、円周と球面を例に、コホモロジーがどのように穴を表すのかを確認していきます。

円周における一周方向の情報

円周は一次元の多様体であり、中心の穴を一つ持つ代表的な空間です。

円周を一周する閉曲線は縮められないため、一次ホモロジーに非自明な要素を与えます。

対応する一次コホモロジーも非自明であり、一周方向への積分値を記録できます。

局所的には角度の微分のように見える形式でも、角度そのものは一周すると元の値へ戻るため、全域で単一の関数として扱えない場合があります。

ここには、周期性と穴が結び付く典型的な構図があります。

円周を一周する積分がゼロでない閉形式は、完全形式ではありません。

球面における二次元の穴

球面には円周のような一次元の穴はありません。

そのため、球面上の閉曲線は適切な意味で埋められ、一次ホモロジーは自明になります。

一方で球面全体は、三次元空間の中で表面として閉じた二次元の対象です。

球面を覆う二形式を積分すると、面積や向きに応じた値を得られます。

この二次元の情報は二次コホモロジーと関係し、球面が単なる一点へ縮められないことを示します。

トーラスにおける複数の独立方向

ドーナツ状のトーラスには、中心を通る穴と、管を一周する方向という二種類の一周経路があります。

これらは互いに独立であるため、一次ホモロジーには複数の独立な要素が現れます。

対応して、一次ドラームコホモロジーにも複数の独立な閉形式の類が存在します。

一方の経路では積分値を持つが、他方ではゼロになる形式を考えることで、それぞれの方向を区別できます。

この例は、コホモロジーが単純な穴の個数だけでなく、独立な循環の方向を扱うことを示しています。

複雑な多様体でも、ベッチ数や積分ペアリングを用いることで、同様の構造を整理できます。

学習に役立つ考え方とまとめ

微分形式と代数トポロジーの関係を理解するには、局所計算と大域的構造を分けて考えることが大切です。

微分形式は局所的な変化や積分を記述し、ホモロジーは空間に残る穴や境界の構造を分類します。

そしてドラームコホモロジーは、閉形式と完全形式の差を通じて、解析的な計算から位相的な情報を取り出します。

ストークスの定理は境界と外微分を結び、積分ペアリングはコホモロジーとホモロジーを数値として接続します。

完全形式は閉曲線への積分で消えるという性質を押さえると、なぜ非自明な積分値が穴の存在を示すのか理解しやすくなるでしょう。

まずは円周、球面、トーラスの例で次数ごとの違いを確認し、その後に多様体、特異コホモロジー、ポアンカレ双対性へ進むと、学習の流れが自然になります。

微分と積分の技術が空間の形を語り始める点に、ドラームコホモロジーの魅力があります。