[論文レビュー] Discreteness and Homogeneity of the Topological Fundamental Group

Jack S. Calcut, John D. McCarthy|ArXiv.org|Apr 30, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 21

ひとこと要約

この論文は、局所的に道で連結な空間に対して、位相的基本群が離散的であることと、空間が局所的に単連結であることの同値性を確立し、長年のフォルクロア的予想を解決する。さらに、左および右の平行移動が連続な自己ホメオモルフィズムであることを示すことにより、任意の空間の性質にかかわらず、位相的基本群が常に一様空間（homogeneous space）であることを証明する。

ABSTRACT

For a locally path connected topological space, the topological fundamental group is discrete if and only if the space is semilocally simply-connected. While functoriality of the topological fundamental group for arbitrary topological spaces remains an open question, the topological fundamental group is always a homogeneous space.

研究の動機と目的

• 局所的に道で連結な空間における位相的基本群が離散的である条件を解明すること。
• 位相的基本群の離散性と古典的な局所的に単連結性の性質との関係を明確化すること。
• 位相的基本群が関手的性質に依存せず、常に一様空間であることを確立すること。
• 関手的性質や被覆空間理論に依存せずに、離散性の基準を証明すること。
• 従来の文献における、位相的基本群における群の乗法の連続性に関する誤解を是正・明確化すること。

提案手法

• 基点におけるループの空間にコンパクト開位相を導入し、その商空間として位相的基本群を定義する。
• 商写像の普遍性を用いて、道ホモトピー同値な写像の下で、位相的基本群間の誘導写像の連続性を証明する。
• コンパクト開位相における基礎的開集合を用いて、固定されたループ類による左および右乗法が連続であることを示す。
• ループのアフィン再パrametrizationを用いて、ループ空間における結合写像の連続性を分析する。
• 古典的被覆空間理論を仮定せず、商写像やコンパクト開位相といった位相的原則に依存する。
• 離散空間では群の乗法が自明に連続であることを利用して、局所的に単連結な場合の連続性を示す。

実験結果

リサーチクエスチョン

• RQ1 局所的に道で連結な空間の位相的基本群が離散的である条件は何か？
• RQ2 位相的基本群は、常に一様空間であるのだろうか？ これは、元の空間の性質に依存しない。
• RQ3 位相的基本群における群の乗法写像は一般に連続であるのか、それとも特定の条件下でのみ連続なのか？
• RQ4 関手的性質や被覆空間理論に依存せずに、位相的基本群の離散性を特徴づけることは可能か？
• RQ5 基点の選び方が基本群の位相にどのように影響するのか？ また、異なる基点における基本群がいつ位相的に同相になるのか？

主な発見

• 局所的に道で連結な空間の位相的基本群が離散的であることと、空間が局所的に単連結であることとは同値である。
• 左および右の平行移動が任意の固定要素に対して連続な自己ホメオモルフィズムであるため、位相的基本群は常に一様空間である。
• 群の乗法写像が連続であることは、群が離散的である場合に自明に満たされる。これは、空間が局所的に単連結である場合にのみ成立する。
• 空間が道で連結かつ局所的に道で連結であるとき、位相的基本群の位相的型は基点に依存せず、位相的に同型である。
• この証明は、一般には未証明の関手的性質に依存せず、剛体被覆ファイブレーションや古典的被覆空間理論にも依存しない。
• 従来の文献における誤りを是正した。特に、商写像の積が商写像であるという誤った仮定が、関手的性質の一部の証明を無効にしている。