代数トポロジー

代数トポロジーは、代数的構造（群、環、加群など）を位相空間に付与することで、連続的に変形できない空間を計算可能な代数によって区別する学問分野です。

Definition

代数トポロジーは、代数的構造（最も重要なのはホモトピー群、ホモロジー、コホモロジー）を用いて位相空間を研究する学問分野です。これらの構造は連続的な変形によって保存され、位相的な問題を代数的な計算へと変換します。

Scope

この分野は、ホモトピー同値な空間を分類する関手的な不変量、すなわち基本群と高次ホモトピー群、被覆空間論、特異ホモロジーと単体ホモロジー、カップ積環構造を持つコホモロジー、およびそれらを計算するために用いられる完全系列とCW複体の機構を扱います。位相的な問題を代数に変換することに重点を置き、点集合論的基礎（一般位相幾何学）や、微分幾何学およびリーマン幾何学で扱われる滑らかな多様体や距離的な精密化は除外されます。

Sub-topics

• Cohomology
• Fundamental Group and Covering Spaces
• Homology
• Homotopy Theory

Core questions

• 代数的構造は、同相でない、あるいはホモトピー同値でない空間をどのように区別できるのか？
• どの不変量が計算可能であり、完全系列とCW構造はどのようにそれらを計算可能にするのか？
• ホモロジーとコホモロジーはどのように異なり、コホモロジーはどのような追加構造（積、双対性）を持つのか？
• 容易に定義できる基本群と、はるかに微妙な高次ホモトピー群との関係は何か？

Key concepts

• 写像と空間のホモトピーとホモトピー同値
• 基本群と被覆空間
• 特異ホモロジーと単体ホモロジー
• コホモロジー、カップ積、ポアンカレ双対性
• CW複体と不変量の関手性

Clinical relevance

代数トポロジーは、幾何学や解析学全体で用いられる障害理論や分類の道具（不動点定理、曲面やベクトル束の分類、指数理論、特性類など）を提供し、その圏論的およびホモロジー的な言語は現代代数学や数理物理学に広く浸透しています。

History

この分野は、ポアンカレの『Analysis Situs』（1895年）に端を発し、ホモロジーと基本群が導入されました。1920年代のエミー・ネーターによるホモロジーの群論的再構築、そして20世紀半ばの圏論とホモロジー代数の発展により、今日教えられているような関手的な学問分野へと変貌しました。

Key figures

• Henri Poincaré
• Emmy Noether
• Allen Hatcher

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

空間に代数的構造を付与するとはどういう意味ですか？

不変量とは、各空間に群または環を、各連続写像に準同型写像を割り当てる関手であり、ホモトピー同値な写像が同じ準同型写像を誘導するように機能します。これにより、ホモトピー同値な空間は同型な不変量を得ます。

高次ホモトピー群がホモロジーよりもはるかに難しいのはなぜですか？

ホモトピー群は非常に敏感で計算が困難であり、球面のホモトピー群でさえほとんど知られていません。一方、ホモロジーは切除定理と長完全系列を満たすため、体系的に計算可能です。