[論文レビュー] On the Spanier Groups and Covering and Semicovering Spaces

Hamid Torabi, Ali Pakdaman+1 more|arXiv (Cornell University)|Jul 18, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 12

ひとこと要約

本稿では、群の核心が擬位相基本群における開性を通じて、被覆空間として生じる基本群の部分群を特徴づける。部分群 $ H \leq \pi_1(X,x) $ が被覆空間に対応するための必要十分条件は、その核心が $ \pi_1^{qtop}(X,x) $ で開であることであると証明し、パス・スパンナー群を導入することで、半被覆空間への拡張を達成した。すべての半被覆空間がパス開被覆から生じることを示した。主な貢献は、位相的および擬位相的基本群を用いた被覆および半被覆空間の修正された分類である。

ABSTRACT

For a connected, locally path connected space $X$, let $H$ be a subgroup of the fundamental group of $X$, $π_1(X,x)$. We show that there exists an open cover $\cal U$ of $X$ such that $H$ contains the Spanier group $π({\U},x)$ if and only if the core of $H$ in $π_1(X,x)$ is open in the quasitopological fundamental group $π_1^{qtop}(X,x)$ or equivalently it is open in the topological fundamental group $π_1^τ(X,x)$. As a consequence, using the relation between the Spanier groups and covering spaces, we give a classification for connected covering spaces of $X$ based on the conjugacy classes of subgroups with open core in $π_1^{qtop}(X,x)$. Finally, we give a necessary and sufficient condition for the existence of a semicovering. Moreover, we present a condition under which every semicovering of $X$ is a covering.

研究の動機と目的

• ビスが、すべてのファイブレーションが離散的ファイバーを持つと誤って仮定したため、被覆空間の誤った分類を是正すること。
• 部分群 $ \pi_1(X,x) $ が被覆空間の像として実現可能であるための必要十分条件を、$ \pi_1^{qtop}(X,x) $ におけるその核心の開性によって確立すること。
• パス・スパンナー群を導入し、$ \pi_1^{qtop}(X,x) $ における開部分群と関連付けることで、半被覆空間への分類を拡張すること。
• すべての半被覆空間が被覆空間である条件を特定すること、特に半局所的に小さな生成性の下で。

提案手法

• パス開被覆 $ \mathcal{V} $ を導入し、$ \pi_1(X,x) $ の部分群としてパス・スパンナー群 $ \widetilde{\pi}(\mathcal{V},x) $ を定義し、それが $ \pi_1^{qtop}(X,x) $ で開であることを示した。
• 部分群 $ H \leq \pi_1(X,x) $ がスパンナー群 $ \pi(\mathcal{U},x) $ を含むことと、そのコアが $ \pi_1^{qtop}(X,x) $ で開であることとは同値であることを証明した。
• 開部分群が $ \pi_1^{qtop}(X,x) $ と $ \pi_1^\tau(X,x) $ の両方の位相において同値であることを用いて、両者の結果を統合した。
• 定理 1.1（スパンナーの被覆基準）を適用し、$ \pi(\mathcal{U},x) \leq H $ ならば $ H $ が被覆空間の像として実現可能であることを示した。
• 半局所的に小さな生成性の概念を導入し、この条件下ですべての半被覆空間が被覆空間であることを証明した。
• 半被覆空間の分類が $ \pi_1^\tau(X,x) $ における開部分群と関連していることを活用し、スパンナーの定理を半被覆空間へ拡張した。

実験結果

リサーチクエスチョン

• RQ1 部分群 $ H \leq \pi_1(X,x) $ に対して、ある開被覆 $ \mathcal{U} $ が存在して $ \pi(\mathcal{U},x) \leq H $ となるような条件は何か？
• RQ2 部分群 $ H \leq \pi_1(X,x) $ のコアが $ \pi_1^{qtop}(X,x) $ で開であることは、$ H $ が何らかの開被覆 $ \mathcal{U} $ に対して $ \pi(\mathcal{U},x) $ を含むことと同値か？
• RQ3 $ \pi_1^{qtop}(X,x) $ における開部分群を通じた被覆空間の分類は、先行研究の誤りを是正して明確にできるか？
• RQ4 空間 $ X $ のすべての半被覆空間が被覆空間であるのはどのような場合か？
• RQ5 パス・スパンナー群 $ \widetilde{\pi}(\mathcal{V},x) $ は、$ \pi_1^{qtop}(X,x) $ の開部分群を特徴付ける上で果たす役割は何か？

主な発見

• 部分群 $ H \leq \pi_1(X,x) $ が被覆空間の像として実現可能であるための必要十分条件は、そのコアが $ \pi_1^{qtop}(X,x) $ で開であることである。これは被覆空間の分類の是正をもたらす。
• 部分群 $ H \leq \pi_1(X,x) $ のコアが $ \pi_1^{qtop}(X,x) $ で開であることと、$ H $ が何らかの開被覆 $ \mathcal{U} $ に対して $ \pi(\mathcal{U},x) $ を含むことは同値である。
• パス開被覆 $ \mathcal{V} $ に対応するパス・スパンナー群 $ \widetilde{\pi}(\mathcal{V},x) $ は $ \pi_1^{qtop}(X,x) $ の開部分群であり、すべての開部分群はこの方法で得られる。
• 連結で、局所的に経路連結で、パラコンパクトかつハウスドルフな空間 $ X $ に対して、部分群 $ H \leq \pi_1(X,x) $ が形状位相で開であることと、そのコアが $ \pi_1^{qtop}(X,x) $ で開であることは同値である。
• 空間 $ X $ が半局所的に小さな生成性を満たすならば、$ X $ のすべての半被覆空間は被覆空間である。これは半局所的に simply connected であることよりも弱い条件である。
• 本稿では、ビスの分類の修正版を提示し、すべてのファイブレーションが離散的ファイバーを持つと仮定することは誤りであることを示した。また、ハワイアン・エアラインを用いた反例を提示した。