[논문 리뷰] On the Spanier Groups and Covering and Semicovering Spaces

Hamid Torabi, Ali Pakdaman외 1명|arXiv (Cornell University)|2012. 07. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 12

한 줄 요약

이 논문은 쿼지톱로지컬 기본군에서의 핵의 열린성을 통해 코ating 공간으로서 나타나는 기본군의 부분군을 특성화한다. 부분군 $ H \leq \pi_1(X,x) $가 코ating 공간에 대응되려면 그 핵이 $ \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 $의 핵이 $ \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 $의 핵이 $ \pi_1^{qtop}(X,x) $에서 열려 있는 것은, 어떤 열린 커버 $ \mathcal{U} $에 대해 $ H $가 스팬이어 군 $ \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 $가 반코팅 공간이 국소적으로 작은 생성성을 만족할 경우, 모든 반코팅 공간은 코팅 공간이다. 이는 반코팅 공간이 국소적으로 단순연결된 것보다 더 약한 조건이다.
• 논문은 비스의 분류를 수정하여, 이 모든 피브레이션의 이산 섬유가 코팅 공간이라고 가정하는 것이 잘못되었음을 보였으며, 하와이안 이어링을 이용한 반례를 제시하였다.