[논문 리뷰] Generalized covering space theories

Jeremy Brazas|arXiv (Cornell University)|2015. 08. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 14

한 줄 요약

이 논문은 경로 연결 공간의 범주를 통해 유일한 올림성질을 통한 커버링을 정의하여 일반화된 커버링 공간 이론의 통합 범주적 프레임워크를 제안한다. 핵심 결과로는 $\pi_1(X,x_0)$-집합을 통한 단형성에 의한 $\pi_1$-부분군의 구조를 완전히 기록할 수 있으며, $\Delta$-커버링이 보편적임과 동시에 $\O$-커버링(팬 커버링)이 자연스러운 몫위상 구조를 가지며 연속 경로의 올림 성질을 특징지음.

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.

연구 동기 및 목표

• 일반화된 커버링 공간 이론의 다수의 접근법을 하나의 범주적 프레임워크로 통합하기.
• 유일한 올림성질이 비-반지구적 단순연결성 공간에서 기본군의 부분군을 어떻게 특징짓는지 명확히 하기.
• 단형성 함자 $\mu$가 본질적으로 전성임을 보장하는 조건을 규명하여 $\pi_1(X,x_0)$의 모든 부분군을 포괄함.
• 일반화된 커버링 공간의 위상적 구조를 몫위상과 빗자루 위상의 관점에서 기술하기.
• 보편성의 $\Delta$-커버링과 경로 올림 특성화에 있어 코레플렉티브 헐 $\mathbf{Fan}$ 의 역할을 확립하기.

제안 방법

• 경로 연결 공간 중 단위 디스크를 포함하는 범주 $\mathcal{C}$ 에서의 $\mathcal{C}$-커버링을 유일한 올림성질을 통해 정의하기.
• $\mathbf{Cov}_{\mathcal{C}}(X)$ 에서 $\pi_1(X,x_0)\mathbf{Set}$ 로의 완전 충실한 단형성 함자 $\mu$ 를 구성하여 $\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}$-커버링에서 빗자루 위상과 몫위상은 어떻게 비교되며, 언제 동치가 되는가?

주요 결과

• $\mathcal{C}$-커버링의 범주 $\mathbf{Cov}_{\mathcal{C}}(X)$ 는 단형성 함자를 통해 $\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$ 임.