ホモロジー（数学）とは：入門と概要

基本的な考え方と形式的定義

構成は鎖複体から始まります。鎖複体とは、可換群 C_n の集まりと、d_n: C_n → C_{n-1} という境界写像が組になったもので、d_{n} ∘ d_{n+1} = 0 を満たします。n 次ホモロジー群は H_n = ker(d_n) / im(d_{n+1}) と定義されます。直感的には、サイクル（ker d_n の要素）は閉じた n 次元の特徴を表し、境界（im d_{n+1} の要素）は、その 1 つ上の次元の何かに境界づけられているため、真の穴を表さないサイクルです。

よく用いられる変種と構成

• 単体ホモロジー: 三角形や四面体など、単体からできた空間に対して定義されます。
• 特異ホモロジー: 標準単体からの連続写像を用いて任意の位相空間に対して定義され、ホモトピー不変で適用範囲が広いものです。
• 胞体ホモロジー: CW 複体に適した形に調整され、胞体構造を使うことで計算をしばしば簡単にします。
• 相対ホモロジーと縮約ホモロジー: 空間と部分空間を比較する変種、あるいは連結性に関する情報のために 0 次群を調整する変種です。

ホモロジー群は関手的です。空間の間の連続写像は、それぞれのホモロジー群の間に群準同型を誘導します。この関手性により、正確列、マイヤー＝ヴィエトリス列、普遍係数定理、そして積空間に対するクンネスの公式など、多くの計算的・理論的道具が得られます。

歴史的背景と公理的アプローチ

位相空間に代数的対象を対応させて大域的性質を捉えるという考えは、20 世紀初頭のアンリ・ポアンカレらの仕事にさかのぼります。20 世紀半ばには、代数的位相幾何学者たちがこれらの考えを形式化し拡張しました。ホモロジー理論の公理（イーレンバーグ＝スティーンロッドの公理）は、妥当な理論が満たすべき性質を明確にし、一般化ホモロジー理論の発展を導きました。

例と意義

簡単な計算は、ホモロジーの意味をよく示します。円 S^1 のホモロジーは H_0 ≅ Z、H_1 ≅ Z であり（1 つの連結成分と 1 つの独立な 1 次元の穴）、高次の群は消えます。n 次球面 S^n では H_0 ≅ Z、H_n ≅ Z で、他の H_k = 0 です。トーラスや結び目補空間のようなより複雑な空間では、ホモロジー群が複数の独立なサイクルや、ありうるねじれ元を記録します。ホモロジー群の自由部分のランクはベッチ数であり、オイラー標数の公式や、位相の定量的な記述に現れます。

関連と区別

ホモロジーは、多くの場合ホモトピー群より計算しやすいです。なぜなら、ホモロジー群は常に可換であり、線形代数風の技法を使えるからです。しかし、ホモロジーはある種の細かな構造を見落とすこともあり、異なる空間が同じホモロジーを持っていても、ホモトピー型は異なることがあります。多様体に対しては、ポアンカレ双対性がホモロジーとコホモロジーを関連づけ、幾何学的な向き付けと代数的不変量を結びます。代数的な変種としては、位相空間のホモロジー、群ホモロジー、そして コホモロジー や K 理論で用いられる一般化理論があります。

さらに学ぶ際には、通常、計算のための道具（胞体鎖複体、マイヤー＝ヴィエトリス）、係数の違いによる挙動、そして古典的公理を拡張する一般化ホモロジー理論が扱われます。入門や技術的な参考文献としては、代数的位相幾何学の標準的な教科書や概説、または位相的手法に関する入門資料を参照するとよいでしょう。

総じて、ホモロジーは幾何から代数への橋渡しを与えます。空間や他の数学的構造にある「穴」や大域的特徴を、簡潔で計算可能な形で数量化し比較する方法です。