[논문 리뷰] A characterization of spaces with discrete topological fundamental group

Paul Fabel|ArXiv.org|2005. 02. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 4

한 줄 요약

이 논문은 국소적으로 경로 연결인 거리 공간이 국소적으로 단순연결임과 동치로 위상적 기본군이 이산임을 주장하는 문헌에 오류가 있는 정리를 수정한다. 원래 정리가 국소적 경로 연결성 조건 없이 실패함을 보여주는 반례를 제시하며, 이 조건을 추가하면 특성화가 성립함을 입증한다: 위상적 기본군이 정확히 국소적으로 단순연결일 때만 이산이다.

ABSTRACT

We offer a counterexample to a theorem in the literature and then repair the theorem as follows: The fundamental group of a locally path connected metric space inherits the discrete topology in a natural way if and only if the underlying space is semilocally simply connected.

연구 동기 및 목표

• 출판된 정리(정리 5.1 [1])에서 공간의 위상적 기본군이 이산임과 동치로 국소적으로 단순연결임을 주장하는 오류를 식별하고 수정한다.
• 원래 정리가 국소적 경로 연결성 조건이 없을 경우 실패함을 보여주는 반례를 구성한다.
• 국소적 경로 연결성이라는 추가 가정 하에 이산 위상적 기본군을 갖는 공간의 보정된 특성화를 수립한다.
• 기본군이 이산 위상을 갖는 위상적 및 호모토피적 조건을 명확히 한다.

제안 방법

• 기반된 막대의 집합 $C_p(X)$ 위의 균일 수렴 위상으로 위상적 기본군 $\pi_1(X,p)$ 위의 몫위상을 정의한다.
• 몫사상 $q: C_p(X) \to \pi_1(X,p)$를 적용하여 기본군 내 열린 집합을 막대의 경로 성분의 열린 집합으로 번역한다.
• 국소적 경로 연결성을 활용해, 막대의 상에 속한 점들의 작은 이웃들 사이에 짧은 연결 경로가 존재하도록 보장한다.
• 국소적으로 단순연결 조건을 사용해 작은 고리들이 동치호모토피임을 보장하여, 균일하게 가까운 고리들 사이의 호모토피를 구성할 수 있도록 한다.
• 막대들의 수열의 등연속성과 국소적 경로 연결성, 작은 고리들이 동치호모토피임을 조합하여 근접한 고리들 사이의 명시적 호모토피를 구축한다.
• 위상적 기본군이 위상군임을 응용하여 증명을 단순화시키며, 항등원이 열린 집합임을 보이는 것으로 충분히 만든다. 이는 동차성의 성질을 활용한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 공간의 위상적 기본군이 이산이 되는가?
• RQ2 기존 정리 5.1 [1]가 실패하는 이유는 무엇이며, 누락된 가정은 무엇인가?
• RQ3 국소적으로 단순연결이지만 위상적 기본군이 이산이 아닌 공간이 존재할 수 있는가?
• RQ4 국소적 경로 연결성 조건이 위상적 기본군의 이산성과 국소적 단순연결성 간의 동치관계를 복원하는 데 충분한가?
• RQ5 국소적으로 경로 연결되지 않은 공간 중 위상적 기본군이 이산인 예가 존재하는가?

주요 결과

• 원래 정리 5.1 [1]는 잘못되었다: 예제 1에서 보듯 국소적으로 단순연결이지만 위상적 기본군이 이산이 아닌 공간 $X$ 가 존재한다.
• 예제 1은 국소적으로 단순연결이지만 상수 막대의 경로 성분이 열리지 않는 공간 $X$ 를 구성한다. 따라서 $\pi_1(X,p)$ 는 이산이 아니다.
• 국소적 경로 연결성 조건을 추가하면, $\pi_1(X,p)$ 가 이산임과 동시에 $X$ 가 점 $p$ 에서 국소적으로 단순연결임이 동치가 된다.
• 증명은 작은 경로와 작은 이웃 내에서 동치호모토피인 고리를 사용해 균일하게 가까운 고리들 사이의 호모토피를 구성하는 데 기반한다.
• 예제 1의 공간의 콘은 단순연결이므로 이산 기본군을 갖는다. 이는 국소적으로 경로 연결되지 않음에도 불구하고 성립한다.
• $S^1 \times S^1 \times \cdots$ 의 기본군은 완전히 분리되어 있지만 국소적으로 단순연결이 아니며, 이는 완전한 분리성도 국소적 단순연결성을 보장하지 못함을 보여준다.