[论文解读] Coverings and fundamental groups: a new approach

Jerzy Dydak|arXiv (Cornell University)|Aug 15, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用 10

一句话总结

本文通過首先定義普遍覆蓋，然後將基本群推導為覆蓋變換群，提出了一種基本群的新方法。該文利用圓盤刺猬覆蓋，為所有道路連通空間建立了普遍覆蓋理論，其中最大覆蓋的單值群被用作新的基本群，將經典理論推廣至非皮亞諾空間之外。

ABSTRACT

The traditional approach of defining the fundamental group first and then constructing universal coverings works well only for the class of Poincar\' e spaces. For general spaces there were several attempts to define generalized coverings (see \cite{BP3}, \cite{BDLM}, and \cite{FisZas}), yet there is no general theory so far that covers all path connected spaces. In this paper we plan to remedy that by changing the order of things: we define the universal covering first and its group of deck transformations is the new fundamental group of the base space. The basic idea is that a non-trivial loop ought to be detected by a covering (not by extension over the unit disk): a loop is non-trivial if there is a covering such that some lift of the loop is a non-loop. So it remains to define coverings: the most natural class is the class of maps that have unique disk lifting property. To make the theory work one needs to add the assumption that path components of pre-images of open sets form a basis of the total space.

研究动机与目标

• 開發一種適用於所有道路連通空間（而不僅限於皮亞諾空間）的普遍覆蓋理論。
• 將基本群重新定義為最大覆蓋的覆蓋變換群，而非透過環路定義。
• 透過基於提升的方法，克服經典基本群在非局部單連通空間中的局限性。
• 引入 $π$-基本群作為最大 $π$-覆蓋的單值群，其中 $π$ 為圓盤刺猬的類。
• 透過證明最大圓盤刺猬覆蓋在所有道路連通空間中作為所有覆蓋的普遍對象，統一覆蓋理論。

提出的方法

• 將 $π$-覆蓋定義為對所有屬於某類 $π$ 的佩阿諾空間，均具有唯一提升的映射。
• 引入單值群 $\pi(p,b_0)$，即作用於纖維 $p^{-1}(b_0)$ 上的環路群作用，其等價關係由一致提升定義。
• 對任意空間 $B$，利用路徑類上的端點投影構造最大 $π$-覆蓋 $p_\mathcal{P}: \tilde{B}_\mathcal{P} \to B$。
• 使用髮梢拓撲（whisker topology）以確保最大覆蓋的全空間性質良好且局部道路連通。
• 將 $π$-基本群定義為最大 $π$-覆蓋的單值群，其中 $π$ 為圓盤刺猬的類。
• 證明最大圓盤刺猬覆蓋是普遍的，方法是顯示其支配所有經典覆蓋，且其核對應於斯潘納群（Spanier group）。

实验结果

研究问题

• RQ1 能否為所有道路連通空間（而不僅限於半局部單連通空間）構建普遍覆蓋理論？
• RQ2 當經典方法失效時，基本群的正確推廣是什麼？
• RQ3 如何利用覆蓋的單值群定義一個新基本群，使其能捕捉非平凡環路？
• RQ4 斯潘納群在描述從經典基本群到新 $π$-基本群的映射核方面發揮何種作用？
• RQ5 是否存在一個適用於所有道路連通空間的普遍覆蓋，以推廣皮亞諾空間的經典普遍覆蓋？

主要发现

• 對任意道路連通空間 $B$，其中 $π$ 為圓盤刺猬的類，最大 $π$-覆蓋存在，且在 $π$-覆蓋的範疇中作為普遍對象。
• 最大圓盤刺猬覆蓋的單值群同構於覆蓋變換群，該群被定義為空間 $B$ 的新基本群。
• 自然映射 $\pi_1(B,b_0) \to \pi(p,b_0)$ 的核恰好是斯潘納群，該群捕捉了環路無法被提升為環路的障礙。
• 即使在經典基本群為平凡的空間中，新基本群也能透過非環路提升檢測到非平凡環路。
• 該理論推廣了經典覆蓋理論：對於皮亞諾空間，新基本群與經典基本群一致。
• 最大圓盤刺猬覆蓋具有普遍性，因為所有經典覆蓋都可透過它分解，使其成為弧刺猬覆蓋範疇中可能的最大覆蓋。