[论文解读] Generalized covering space theories

Jeremy Brazas|arXiv (Cornell University)|Aug 20, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用 14

一句话总结

本文通过在路径连通空间范畴上利用唯一提升性质定义覆盖，提出了一种广义覆盖空间理论的统一范畴框架。研究证明，通过核心射影包（coreflective hull）构造，$π_1(X,x_0)$-集合范畴通过单值化（monodromy）完全捕捉了$π_1$-子群结构，关键结果表明：$Δ$-覆盖是普遍的，而$Ø$-覆盖（即Fan覆盖）具有自然的商拓扑，从而刻画了连续路径的提升性质。

ABSTRACT

In this paper, we unify various approaches to generalized covering space theory by introducing a categorical framework in which coverings are defined purely in terms of unique lifting properties. For each category $\mathcal{C}$ of path-connected spaces having the unit disk as an object, we construct a category of $\mathcal{C}$-coverings over a given space $X$ that embeds in the category of $π_1(X,x_0)$-sets via the usual monodromy action on fibers. When $\mathcal{C}$ is extended to its coreflective hull $\mathscr{H}(\mathcal{C})$, the resulting category of based $\mathscr{H}(\mathcal{C})$-coverings is complete, has an initial object, and often characterizes more of the subgroup lattice of $π_1(X,x_0)$ than traditional covering spaces. We apply our results to three special coreflective subcategories: (1) The category of $Δ$-coverings employs the convenient category of $Δ$-generated spaces and is universal in the sense that it contains every other generalized covering category as a subcategory. (2) In the locally path-connected category, we preserve notion of generalized covering due to Fischer and Zastrow and characterize the topology of such coverings using the standard whisker topology. (3) By employing the coreflective hull $\mathbf{Fan}$ of the category of all contractible spaces, we characterize the notion of continuous lifting of paths and identify the topology of $\mathbf{Fan}$-coverings as the natural quotient topology inherited from the path space.

研究动机与目标

• 将广义覆盖空间理论的不同方法统一到一个单一的范畴框架中。
• 阐明唯一提升性质如何刻画非半局部单连通空间中基本群子群的结构。
• 确定单值化函子成为本质满射的条件，从而完整捕捉$\pi_1(X,x_0)$的所有子群。
• 以商拓扑与发梢拓扑（whisker topology）的形式刻画广义覆盖空间的拓扑结构。
• 确立$\Delta$-覆盖的普遍性，并阐明核心射影包$\mathbf{Fan}$在路径提升性质刻画中的作用。

提出的方法

• 在包含单位圆盘的路径连通空间上，通过唯一提升性质定义$\mathcal{C}$-覆盖。
• 构造一个全忠实的单值化函子$\mu: \mathbf{Cov}_{\mathcal{C}}(X) \to \pi_1(X,x_0)\mathbf{Set}$，将$\mathcal{C}$-覆盖嵌入到$\pi_1$-集合中。
• 利用核心射影包$\mathscr{H}(\mathcal{C})$确保基于$\mathscr{H}(\mathcal{C})$-覆盖范畴的完备性，并保证初始对象的存在性。
• 引入$\Delta$-生成空间作为定义普遍$\Delta$-覆盖的便利范畴，该范畴包含所有其他$\mathcal{C}$-覆盖范畴。
• 通过路径空间$P(X,x_0)$上的商拓扑刻画$\mathbf{Fan}$-覆盖，以$\widetilde{X}_H^{qtop}$作为模型空间。
• 证明$\mathbf{Fan}$-覆盖中连续路径提升等价于通过商映射结构实现的唯一路径提升性质。

实验结果

研究问题

• RQ1 如何基于唯一提升性质，将广义覆盖空间理论统一到一个单一的范畴框架下？
• RQ2 在何种条件下，单值化函子能完整捕捉$\pi_1(X,x_0)$的所有子群，即成为本质满射？
• RQ3 当通过$\mathbf{Fan}$-覆盖定义广义覆盖空间时，其拓扑结构是怎样的？它与路径空间拓扑有何关联？
• RQ4 为何$\Delta$-覆盖在所有广义覆盖范畴中具有普遍性？
• RQ5 在$\mathbf{Fan}$-覆盖中，发梢拓扑与商拓扑如何比较？在何种条件下二者等价？

主要发现

• 基于单值化函子，$X$上的$\mathcal{C}$-覆盖范畴完全嵌入到$\pi_1(X,x_0)$-集合中，因此每个$\mathcal{C}$-覆盖由其纤维稳定子子群的共轭类唯一分类。
• $\Delta$-覆盖是普遍的：所有其他$\mathcal{C}$-覆盖范畴均可全忠实嵌入到$\Delta$-覆盖范畴中。
• 对于$\mathbf{Fan}$-覆盖，覆盖空间$\widetilde{X}_H^{qtop}$的拓扑是继承自路径空间$P(X,x_0)$的商拓扑，且该拓扑刻画了连续路径提升性质。
• 一个$\mathbf{Fan}$-覆盖$p_H: \widetilde{X}_H^{qtop} \to X$具有连续路径提升当且仅当它具有唯一路径提升性质。
• 当$\widehat{X}$是$\mathbf{Fan}$-覆盖时，典范映射$\hat{p}: \widehat{X} \to \widetilde{X}_H^{qtop}$是同胚，证明了商拓扑是此类覆盖的正确拓扑。
• 当$H$是$\mathbf{Fan}$-覆盖子群时，$\widetilde{X}_H$上的发梢拓扑与商拓扑一致，因此有$lpc(\widetilde{X}_H^{qtop}) \cong \widetilde{X}_H$。