基本群と被覆空間

基本群は、空間内のループがどのように収縮できるか、あるいはできないかを記録するものであり、被覆空間理論は、その部分群を、元の空間を包み込む空間の完全な幾何学的辞書へと変換する。

Definition

基点付き空間の基本群とは、その要素が基点付きループのホモトピー類であり、連結を演算とする群である。被覆空間とは、局所的に基底のコピーの自明なスタックである写像であり、その理論はこのような写像と基本群の部分群とを関連付ける。

Scope

このトピックでは、パスのホモトピー、一点を基点とするループのクラスの群としての基本群、およびファン・カンペンの定理によるその計算について紹介する。また、被覆空間、持ち上げ基準、および基本群の部分群と連結被覆との間のガロア的な対応関係（普遍被覆やデッキ変換を含む）についても展開する。円の被覆の分類やグラフおよび曲面の基本群の計算といった応用も含まれる。

Core questions

• 基本群は、ループの収縮を妨げる「穴」をどのように検出するのか？
• ファン・カンペンの定理は、重なり合う部分の基本群から空間の基本群をどのように構築するのか？
• 連結被覆空間と基本群の部分群との間の正確な対応関係とは何か？
• 写像が被覆を通じて持ち上がるのはどのような場合か、また普遍被覆はどのような役割を果たすのか？

Key concepts

• パスのホモトピーとループの連結
• 基本群と基点保存写像の下でのその関手性
• ファン・カンペンの定理
• 被覆空間、持ち上げ基準、およびデッキ変換
• 普遍被覆と被覆のガロア対応

Clinical relevance

基本群は、円と円盤を区別し、モノドロミー、リーマン面理論、平坦束の分類を支える、最初で最もアクセスしやすい代数的invariantである。被覆空間理論は、ガロア理論や群作用による商空間の位相的モデルである。

History

ポアンカレは『Analysis Situs』（1895年）で基本群を導入した。1930年代のザイフェルト-ファン・カンペンの定理は、貼り合わせによって計算可能にし、デッキ変換を通じて形式化された被覆と部分群の間の体系的な対応関係は、現在カリキュラムで標準となっているガロア理論との類推を確立した。

Key figures

• Henri Poincaré
• Egbert van Kampen
• Allen Hatcher

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

円の基本群が整数なのはなぜですか？

円上のループは、それが何回巻き付くかによってホモトピー同値類に分類され、方向には符号が付けられます。この巻き数（winding number）は連結の下で加法的であり、整数との同型を与えます。

普遍被覆とは何ですか？

それは、（適切な）空間の単連結な被覆空間です。被覆空間の辞書では自明な部分群に対応し、そのデッキ変換群として基本群を保持します。