[논문 리뷰] Discreteness and Homogeneity of the Topological Fundamental Group

Jack S. Calcut, John D. McCarthy|ArXiv.org|2009. 04. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 21

한 줄 요약

이 논문은 국소적으로 경로연결된 공간에 대해 위상적 기본군이 이산적임과 동시에 해당 공간이 국소적으로 단순연결 가능할 때만 성립함을 증명하며, 오랫동안 널리 퍼져 있던 민간 추측을 해결한다. 또한, 왼쪽과 오른쪽 이동이 항상 연속적인 자기위상동형사상임을 보여, 어떤 공간의 성질과도 관계없이 위상적 기본군이 항상 동차공간임을 증명한다.

ABSTRACT

For a locally path connected topological space, the topological fundamental group is discrete if and only if the space is semilocally simply-connected. While functoriality of the topological fundamental group for arbitrary topological spaces remains an open question, the topological fundamental group is always a homogeneous space.

연구 동기 및 목표

• 국소적으로 경로연결된 공간에서 위상적 기본군이 언제 이산적인지에 대한 열린 질문을 해결하기 위해.
• 위상적 기본군의 이산성과 고전적인 국소적으로 단순연결 가능성 성질 간의 관계를 명확히 하기 위해.
• 위상적 기본군이 항상 동차공간임을 증명하기 위해, 함자성에 의존하지 않음.
• 함자성 또는 코버링 공간 이론에 의존하지 않고 이산성 기준을 증명하기 위해.
• 이전 문헌에서 위상적 기본군의 군 곱셈 연속성에 대한 오해를 수정하고 명확히 하기 위해.

제안 방법

• 기본점에서 시작하는 루프 공간에 컴팩트-오픈 위상을 적용하여 위상적 기본군을 몫공간으로 정의한다.
• 몫사상의 보편성질을 적용하여 경로 호모토피 동치 하에 위상적 기본군 간의 유도된 사상의 연속성을 증명한다.
• 컴팩트-오픈 위상에서의 기본열린집합을 사용하여 고정된 루프 클래스에 대한 왼쪽과 오른쪽 곱셈이 연속적임을 보여준다.
• 루프의 애핀 재매개변수화를 활용하여 루프 공간 내 연결 맵의 연속성을 분석한다.
• 고전적인 코버링 공간 이론을 가정하지 않고, 몫사상과 컴팩트-오픈 위상과 같은 위상적 원리를 사용한다.
• 이산 공간에서는 곱셈이 자명하게 연속적이므로, 국소적으로 단순연결 가능일 경우의 연속성도 보여준다.

실험 결과

연구 질문

• RQ1 국소적으로 경로연결된 공간에서 위상적 기본군이 언제 이산적인가?
• RQ2 위상적 기본군은 항상 동차공간인가, 혹은 기저 공간의 성질과는 무관한가?
• RQ3 위상적 기본군의 군 곱셈 연속성은 일반적으로 유지되는가, 아니면 특정 조건에서만 성립하는가?
• RQ4 함자성 또는 코버링 공간 이론을 사용하지 않고 위상적 기본군의 이산성을 특성화할 수 있는가?
• RQ5 기본점의 선택이 기본군의 위상에 어떤 영향을 미치며, 언제 다른 기본점에서의 기본군이 위상동형인가?

주요 결과

• 국소적으로 경로연결된 공간에서 위상적 기본군은 이산적임과 동시에 해당 공간이 국소적으로 단순연결 가능할 때만 성립한다.
• 왼쪽과 오른쪽 이동이 임의의 고정된 원소에 대해 연속적인 자기위상동형사상이므로, 위상적 기본군은 항상 동차공간이다.
• 군이 이산적일 경우 곱셈 연속성이 자명하게 성립하며, 이는 정확히 해당 공간이 국소적으로 단순연결 가능할 때 발생한다.
• 공간이 경로연결이고 국소적으로 경로연결일 경우, 위상적 기본군의 위상형태는 기본점의 선택에 따라 위상동형으로 유지된다.
• 함자성의 성립 여부가 일반적으로 증명되지 않았음을 감안하고, 이 논문은 위상적 기본군의 함자성에 의존하지 않으며, 엄격한 코버링 필라션 또는 고전적 코버링 공간 이론에도 의존하지 않는다.
• 이전 문헌의 오류를 수정하며, 특히 몫사상의 곱이 몫사상이 되는 것으로 잘못 가정한 점을 바로잡는다. 이 오류는 일부 이전의 함자성 증명을 무효로 만든다.