代数的トポロジー：代数で形や連続性を調べる数学分野

主要概念と不変量

• 基本群（π1）：閉路を連続変形による同値で分類し、1次元の穴を捉える。
• ホモロジー群：鎖と境界を用いてさまざまな次元の穴を測る。特異ホモロジー、単体ホモロジー、セルホモロジーなどの構成で定式化される。
• コホモロジー：カップ積という追加構造をもつ関連理論で、しばしばより多くの情報を含み、幾何学とも結びつく。
• ホモトピー群：基本群の高次元版にあたり、球面から空間への写像を分類する。
• 完全列、メイヤー・ヴィエトリス、スペクトル系列などの道具は計算をつなぎ合わせ、扱いやすい部分へ分解する助けとなる。

歴史と発展

この分野は19世紀末から20世紀初頭にかけて現れ、アンリ・ポアンカレが基本群のような概念を導入した。20世紀を通じて学問は成熟し、ホモロジーとコホモロジーの理論は公理化され、圏論やホモロジー代数との結びつきも発展した。基礎的な定式化と計算手法は多くの研究者によって整えられ、標準的な教科書や概説にまとめられている。幾何学との関係については幾何学的話題を参照。

応用と重要性

代数的トポロジーは他分野と広く関わる。物理学では、トポロジカル相、欠陥、ゲージ理論を扱うための言語を与える（物理への応用）。現代の数論や代数幾何では、エタール・コホモロジーや算術的双対性に類似の考え方が現れる（数論とのつながり）。また、応用分野のトポロジカルデータ解析では、パーシステント・ホモロジーを用いてデータ集合の構造を検出する。

例と直感

いくつかの標準例は考え方をよく示す。円と、取っ手が1つあるコーヒーカップは、どちらも1次元の穴を1つもつため、同じ基本群を共有する。1点で2つの円をつないだ8の字図形は、2つの独立なループを反映する基本群をもつ。石けんの泡のような中空の球面には1次元の穴はないが、2次元の空洞があり、この種の高次元の特徴はホモロジーで検出される（中空球面の例）。具体的な解説としては追加の注記や概説（代数学の参考、入門ガイド）も役立つ。

備考と限界

代数的不変量は強力だが完全ではない。位相同型でない空間どうしが同じホモロジー群をもつことがあり、その場合にはコホモロジー環、ホモトピー群、あるいは追加構造のような、より精密な道具が必要になることが多い。計算手法とソフトウェアの発達により、今日では多くの計算が可能になっているが、分類の問題の中には依然として深く、活発に研究されているものもある。