[논문 리뷰] Equivalence de la théorie homotopique des $n$-groupoïdes et celle des espaces topologiques $n$-tronqués

Zouhair Tamsamani|ArXiv.org|1996. 07. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 3인용 수 8

한 줄 요약

이 논문은 약한 동치에 관하여 국소화한 두 범주인 $n$-군oids의 호모토피 이론과 $n$-단절된 위상공간의 호모토피 이론 사이에 등가성을 확립한다. 이를 위해 기하적 실현과 푸앵카레 $n$-군oids라는 서로 역인 함자를 구성한다. 주요 결과는 이러한 호모토피 범주들 사이에 쿠릴레인 등가가 존재한다는 것으로, 이는 $n$-군oids가 호모토피론적으로 $n$-단절된 공간들을 모델링함을 보여준다.

ABSTRACT

This paper constitutes a recent work using the constructions of a previous preprint alg-geom/9512006 to show that the functors geometric realisation and Poincaré $n$-groupoid induce an equivalence between the category of $n$-grouppoids and the category of $n$-truncated topological spaces, when we localise both categories by weak equivalence.

연구 동기 및 목표

• 모든 $n$-군oids와 $n$-단절된 위상공간 사이의 호모토피론적 등가성을 확립하기 위해.
• 이전의 사전인쇄물(alg-geom/9512006)에서의 구축을 보다 완전한 호모토피 등가로 확장하기 위해.
• 기하적 실현과 푸앵카레 $n$-군oids 함자가 약한 동치에 관하여 국소화된 이후에 등가를 유도함을 보여주기 위해.
• 호모토피 이론에서 $n$-군oids가 $n$-단절된 공간들을 모델링할 수 있는 범주론적 프레임워크를 제공하기 위해.

제안 방법

• 기하적 실현을 활용하여 $n$-군oids에 대해 위상공간을 부여함으로써 호모토피적 구조를 유지한다.
• 단체적 방법을 통해 위상공간의 $n$-단절을 캡처하는 푸앵카레 $n$-군oids 함자를 구성한다.
• $n$-군oids의 범주와 $n$-단절된 위상공간의 범주를 약한 동치에 관하여 국소화하여 호모토피 범주를 형성한다.
• 함수가 잘 정의되고 서로 호모토피 상에서 역이 되도록 하기 위해 고차 범주론과 단체적 집합의 기법을 적용한다.
• 일致성과 일관성을 확보하기 위해 이전의 사전인쇄물 alg-geom/9512006의 기초적 구성에 의존한다.
• 두 함수의 합성 결과가 각 범주 내에서 항등함수와 자연스럽게 약한 동치임을 보여준다.

실험 결과

연구 질문

• RQ1 기하적 실현과 푸앵카레 $n$-군oids 함수가 약한 동치에 관하여 국소화된 이후에 등가를 유도하는가?
• RQ2 약한 동치에 관하여 국소화된 $n$-군oids의 범주와 $n$-단절된 공간의 범주 사이의 국소화가 서로 등가인가?
• RQ3 alg-geom/9512006에서의 구성들이 전체 호모토피 등가를 얻기 위해 어떻게 확장되는가?
• RQ4 함수가 $n$-단절 설정에서 약한 호모토피 유형을 유지하고 반영하기 위해 어떤 조건이 필요한가?

주요 결과

• 약한 동치에 관하여 국소화된 호모토피 범주에서 $n$-군oids에서 $n$-단절된 위상공간으로의 기하적 실현 함수는 잘 정의된 함수로 작용한다.
• 약한 동치에 관하여 국소화된 이후, $n$-단절된 공간에서 $n$-군oids로의 푸앵카레 $n$-군oids 함수는 기하적 실현의 호모토피 역함수이다.
• 두 함수의 합성 결과는 각 쪽에서 항등함수와 자연스럽게 약한 동치이다.
• 이 등가는 $n$-군oids와 $n$-단절된 공간의 모델 범주들 사이의 쿠릴레인 등가를 통해 확립된다.
• 결과적으로 $n$-군oids가 $n$-단절된 호모토피 유형의 유효한 대수적 모델임을 확인한다.
• 이 구성은 이전의 작업에서 개발된 고차 범주론과 단체적 방법의 프레임워크를 일관되게 유지하고 확장한다.