[논문 리뷰] Homotopy Theory of Orbispaces

André Henriques, David Gepner|ArXiv.org|2007. 01. 31.

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

한 줄 요약

이 논문은 위상군의 궤도 범주에서 공간으로의 함자인 Orb-space의 범주를 사용하여 오비스페이스에 대한 호모토피 이론을 수립한다. 이는 등변 호모토피 이론과 스택 이론적 접근을 통합하고 일반화하는 호모토피 이론적 프레임워크를 제공한다. 주요 기여는 Orb-space와 분해형 위상 스택 사이의 퀼렌 동치를 증명함으로써, 오비스페이스의 호모토피 유형이 그 궤도 범주 함수에 의해 포착됨을 보여주는 것이다.

ABSTRACT

Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the category of contravariant functors Func(Orb_G,Spaces) have equivalent homotopy theories. We extend this result to the context of orbispaces, with the role of Orb_G now played by a category whose objects are topological groups and whose morphisms are given by Hom(H,G) = Mono(H,G) x_G EG. On our way, we endow the category of topological groupoids with notions of weak equivalence, fibrant objects, and cofibrant objects, and show that it then shares many of the properties of a Quillen model category.

연구 동기 및 목표

• 오비스페이스에 대한 호모토피 이론을 개발하여 등변 호모토피 이론을 일반화하고 스택 이론적 형식과 일치시킨다.
• 위상군의 궤도 범주에서 위상공간으로의 반대변호 함수로 Orb-space를 정의함으로써 오비스페이스의 호모토피 이론적 다루기를 가능하게 한다.
• Orb-space의 모델 범주와 분해형 위상 스택의 모델 범주 사이의 퀄렌 동치를 수립하여 호모토피적 구조의 동치성을 보여준다.
• 오비스페이스의 호모토피 군과 약한 동치가 고정점 집합을 통해 감지될 수 있는 프레임워크를 제공한다. 이는 엘멘도르프의 정리의 일반화이다.

제안 방법

• 논문은 위상군 G의 궤도 범주에서 위상공간의 범주로의 연속적인 반대변호 함수로 Orb-space를 정의한다.
• 약한 동치가 군 작용에 의한 고정점 집합을 통해 감지되는 모델 구조를 Orb-space에 도입하며, 엘멘도르프의 정리를 위상군로 일반화한다.
• 기하적 실현과 스택화 함수를 통해 Orb-space의 모델 범주와 분해형 위상 스택의 모델 범주 사이의 퀄렌 동치를 구성한다.
• 셀러러 위상군의 군oids와 분해형 치환을 사용하여 스택을 모델링함으로써 호모토피 불변성과 내림내림 조건과의 호환성을 확보한다.
• 증명은 2-범주적 쌍대합과 군oids의 릿지-예비층의 성질을 이용하여 군oid 작용과 스택 구조 사이의 관계를 규명한다.
• 핵심 기술 도구로는 푸시아웃-풀백 다이어그램과 위상 범주에서의 쌍대합 구성에 대한 호메오모르피스 결과가 포함된다.

실험 결과

연구 질문

• RQ1 등변 호모토피 이론과 스택 이론적 접근을 모두 일반화하는 방식으로 오비스페이스의 호모토피 이론을 어떻게 형식화할 수 있는가?
• RQ2 오비스페이스의 호모토피 유형을 포착하는 데 적합한 Orb-space 위의 모델 범주 구조는 무엇인가?
• RQ3 Orb-space의 범주와 분해형 위상 스택의 범주 사이에 퀄렌 동치가 존재하는가?
• RQ4 오비스페이스의 호모토피 군은 군 작용에 의한 고정점 집합과 어떻게 관련이 있는가?
• RQ5 분해형 치환을 거친 후에도 위상 스택의 호모토피 유형이 그에 대응하는 Orb-space로부터 복원될 수 있는가?

주요 결과

• Orb-space의 범주는 약한 동치가 고정점 집합을 통해 감지되는 퀄렌 모델 구조를 지닌다. 이는 엘멘도르프의 정리를 위상군로 일반화한 것이다.
• Orb-space의 모델 범주와 분해형 위상 스택의 모델 범주 사이에 퀄렌 동치가 존재하며, 이는 그들의 호모토피적 동치성을 보여준다.
• 위상 스택의 호모토피 유형은 그에 대응하는 Orb-space에 의해 완전히 결정된다. 즉, 스택화는 분해형 치환을 거친 후에도 호모토피 유형을 유지한다.
• 분해형 위상 군oids의 기하적 실현은 그에 대응하는 Orb-space의 호모토피 유형과 일치하는 위상 스택을 생성한다.
• 보조정리 A.8의 푸시아웃-풀백 다이어그램은 위상 스택에서의 쌍대합이 풀백과 가환함을 확인하며, 호모토피 쌍대합의 호환성을 보장한다.
• 논문은 분해형 위상 군oids가 스택임을 수립하였고, 그 기하적 실현이 오비스페이스의 올바른 호모토피 유형을 모델링함을 보였다.