[논문 리뷰] The fundamental groupoid of the quotient of a Hausdorff space by a discontinuous action of a discrete group is the orbit groupoid of the induced action

Ronald Brown, Philip J. Higgins|ArXiv.org|2002. 12. 19.

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

한 줄 요약

이 논문은 $ X/G $의 기본 군집합이, $ X $의 기본 군집합의 궤도 군집합과 동형임을 증명한다. 여기서는 이산군 $ G $가 하우스도르프 공간 $ X $에 이산적으로 작용하고, $ X $가 유니버설 커버를 갖는 조건을 만족한다. 이 결과는 코팅 공간 이론을 일반화하며, 군집합 작용과 궤도 구성에 의한 몫공간의 기본 군집합 계산을 위한 계산 도구를 제공한다.

ABSTRACT

The main result is that the fundamental groupoid of the orbit space of a discontinuous action of a discrete group on a Hausdorff space which admits a universal cover is the orbit groupoid of the fundamental groupoid of the space. We also describe work of Higgins and of Taylor which makes this result usable for calculations. As an example, we compute the fundamental group of the symmetric square of a space. The main result, which is related to work of Armstrong, is due to Brown and Higgins in 1985 and was published in sections 9 and 10 of Chapter 9 of the first author's book on Topology (Ellis Horwood, 1988). This is a somewhat edited, and in one point (on normal closures) corrected, version of those sections. Since the book is out of print, and the result seems not well known, we now advertise it here. It is hoped that this account will also allow wider views of these results, for example in topos theory and descent theory. Because of its provenance, this should be read as a graduate text rather than an article. The Exercises should be regarded as further propositions for which we leave the proofs to the reader. It is expected that this material will be part of a new edition of the book.

연구 동기 및 목표

• 이산군 작용 하에서 몫공간 $ X/G $의 기본 군집합과 $ X $의 기본 군집합의 궤도 군집합 사이의 정확한 관계를 규명하는 것.
• 기존의 코팅 공간 이론을 이산군 작용으로 일반화하여, 정규 코팅에서 더 일반적인 군 작용으로 결과를 확장하는 것.
• 군집합 이론과 궤도 구성에 기반하여 몫공간의 기본 군집합을 계산하는 프레임워크를 제공하는 것.
• 예를 들어 공간의 대칭 제곱의 기본군을 계산하는 데 응용함으로써 결과의 유용성을 입증하는 것.
• 이전에 접근하기 어려운 책에만 실려 있던 강력한 결과를, 호모토피 이론, 토포스 이론, 내림내림 이론 분야의 연구자들이 널리 이용할 수 있도록 공개하는 것.

제안 방법

• 공간의 기본 군집합과 그 군 작용에 의한 궤도를 군집합 이론을 통해 모델링하는 것.
• 군 $ G $의 유도된 작용에 의해 기본 군집합 $ ho $ 의 몫으로서 궤도 군집합 $ ilde{ ho} $ 를 구성하는 것, 이를 코팅 준동형을 통해 수행함.
• 군집합의 코팅 준동형 이론, 특히 몫 준동형과 그 성질의 특성화를 적용하는 것.
• 사슬 사상 $ p: X o X/G $ 가 열려 있고, 작용이 이산적이므로 궤도 공간이 좋은 위상적 및 군집합적 성질을 상속받음을 보장하는 것.
• 유니버설 커버의 존재를 이용하여 단순연결된 코팅 공간이 존재함을 보장함으로써 궤도 군집합의 구성에 기여하는 것.
• 군집합의 범주에서의 피봇 및 동치류 생성자 구성(특히 작용 준동형의 동치류 생성자)을 사용하여 궤도 군집합을 정의하고 분석하는 것.

실험 결과

연구 질문

• RQ1 이산군 작용 하에서 궤도 공간 $ X/G $의 기본 군집합은 원래 공간 $ X $의 기본 군집합과 어떻게 관련이 있는가?
• RQ2 궤도 군집합 구성이 대칭 곱과 같은 몫공간의 기본군을 계산하는 데 사용될 수 있는가?
• RQ3 어떤 조건이 군집합 작용의 궤도 군집합이 몫공간의 기본 군집합과 동형임을 보장하는가?
• RQ4 군집합의 코팅 준동형 이론은 위상공간 위의 이산군 작용을 다룰 수 있도록 어떻게 확장될 수 있는가?
• RQ5 이 결과는 어떤 방식으로 정규 코팅 공간의 고전적 결과를 더 일반적인 군 작용으로 확장하는가?

주요 결과

• 이산군 작용 하에서 하우스도르프 공간 $ X $가 유니버설 커버를 갖는 조건을 만족할 경우, 몰입공간 $ X/G $의 기본 군집합은 $ X $의 기본 군집합의 군 작용에 의한 궤도 군집합과 동형이다.
• 사슬 사상 $ p: X o X/G $ 는 열린 사상이며, 이는 궤도 공간이 호모토피 분석에 적합한 잘 조율된 위상을 상속받음을 보장한다.
• 궤도 군집합 구성은 군집합 범주에서 작용 준동형의 동치류 생성자로 표현되며, 이는 결과에 대한 범주론적 기반을 제공한다.
• 대칭 제곱 $ Q^2X $ 에서 대각선 점에서의 기본군은 $ ho(X,x) $, 즉 $ X $ 의 점 $ x $ 에서의 기본군의 아벨화와 동형이다.
• 이 결과는 $ ho(X,x) $ 의 부분군에 의해 결정되는 정규 코팅 공간으로까지 확장되며, 보조정리 2.6을 유니버설 커버의 경우를 넘어서 일반화한다.
• 이 이론은 유한군 이외에도 푸크스 및 클라인 군에까지 적용 가능하며, 복소함수론과 토포스 이론 등 응용에 기여한다.