[論文レビュー] A monomorphism theorem for the inverse limit of nested retracts

Paul Fabel|ArXiv.org|Feb 13, 2005

Geometric and Algebraic Topology参考文献 12被引用数 4

ひとこと要約

この論文は、逆極限空間の位相的基本群から、入れ子になったリトラクトの基本群の逆極限への標準的準同型が、一般化された普遍被覆空間——つまり、単連結な全空間と完全に経路に接続されていない纤维をもつ剛性のある被覆ファイブレーション——をもつとき、かつそのときに限り単射であることを確立している。この結果は、位相的およびファイブレーション的性質を用いて単射性を特徴づけ、ハワイアンイヤリングのような局所的に単連結でない空間に対しても、古典的被覆空間論を拡張するものである。

ABSTRACT

Various characterizations are offered of injectivity of the canonical fundamental group homomorphism for a certain class of inverse limit spaces. One application characterizes the existence of a kind of generalized universal cover.

研究の動機と目的

• 逆極限の入れ子になったリトラクトの逆極限における基本群への標準的準同型が単射である条件を特徴づけること。
• 局所的に単連結でない状況における一般化された普遍被覆空間の存在に対する位相的基準を確立すること。
• 準同型の単射性が、単連結な全空間と完全に経路に接続されていない纤维をもつ単純連結な剛性被覆ファイブレーションの存在と関連することを示すこと。
• ハワイアンイヤリング やハーモニック・アーキペラゴのようないくつかの空間に普遍被覆が存在しない場合でも、古典的被覆空間論を拡張すること。
• 基本群の位相的構造を用いたホモトピー型の区別に役立つ枠組みを提供すること。

提案手法

• 各 $X_n$ が $X_{n+1}$ のリトラクトであり、$\pi_1(X_n, p)$ が完全に経路に接続されているとき、$X = \text{lim} \reflectbox{\textbackslashleftarrow} X_n$ を定義する。
• 標準的準同型 $\phi: \pi_1(X, p) \to \varprojlim \pi_1(X_n, p)$ を用いて、位相的およびファイブレーション的構造に基づき単射性を分析する。
• 全空間 $E$ が単連結で、纤维が完全に経路に接続されている剛性被覆ファイブレーション $q: E \to X$ を構成し、$\phi$ が単射であることと同値に存在することを示す。
• ループの上への持ち上げと一意的経路持ち上げを用いて、そのファイブレーションの全空間 $E$ が単連結であることを証明する。
• ファイブレーションが連続な単射 $g: \pi_1(X, p) \to q^{-1}(p)$ を誘導することを示し、$\phi$ の単射性が $\pi_1(X, p)$ が完全に経路に接続されていることを示唆することを示す。
• 基本群に商位相を、経路空間に一様位相を導入することで、経路の結合と持ち上げ写像の連続性を保証する。

実験結果

リサーチクエスチョン

• RQ1 逆極限の入れ子になったリトラクトに対して、標準的準同型 $\phi: \pi_1(X, p) \to \varprojlim \pi_1(X_n, p)$ が単射であるのはいつか？
• RQ2 パスに接続された、分離可能な距離空間 $X$ が、単連結な全空間と完全に経路に接続された纤维をもつ一般化された普遍被覆空間をもつのはどのような条件下か？
• RQ3 $X$ が局所的に単連結でない場合でも、位相的基本群 $\pi_1(X, p)$ が完全に経路に接続されていることがあるか？
• RQ4 剛性被覆ファイブレーションにおける局所的経路に接続性の仮定をどの程度緩和しても、基本群とデッキ変換群の間の同型が位相同相を保つのか？
• RQ5 局所的に経路に接続されていない状況下で、基本群とデッキ変換群の同型がコンパクト・オープン位相に関して位相同型であるか？

主な発見

• 標準的準同型 $\phi: \pi_1(X, p) \to \varprojlim \pi_1(X_n, p)$ が単射であることと、$X$ が全空間が単連結で、纤维が完全に経路に接続されている剛性被覆ファイブレーション $q: E \to X$ をもつことは同値である。
• ハワイアンイヤリング $HE$ に対して、$\phi$ は単射であり、これは $HE$ が古典的普遍被覆を持たないにもかかわらず、一般化された普遍被覆をもつことを確認している。
• 位相的基本群 $\pi_1(X, p)$ が $T_1$ であることと、各リトラクト $X_n$ が $\pi_1(X, p)$ 内で閉部分群を定めることとは同値であり、単射性と位相的閉包性質が関連している。
• $\phi$ の単射性は、$X$ が局所的に単連結でない場合でも、$\pi_1(X, p)$ が完全に経路に接続されていることを示唆する。
• このような一般化された普遍被覆の存在は、$\phi$ の単射性を特徴づけ、ホモトピー型を区別するための位相的・代数的不変量を提供する。
• 逆極限構造から得られるファイブレーション $q: E \to X$ は、一意的経路持ち上げをもち、剛性被覆ファイブレーションである。$E$ は、ホモトピー的零ループの持ち上げによって単連結である。