[논문 리뷰] Semistrict Tamsamani n-groupoids and connected n-types

Simona Paoli|ArXiv.org|2007. 01. 23.

Homotopy and Cohomology in Algebraic Topology참고 문헌 31인용 수 7

한 줄 요약

이 논문은 연결된 $n$-형태를 표현하는 Tamsamani 약한 $n$-군집에 대해 반엄격화 결과를 확립하며, 모든 이러한 $n$-군집이 $n$-동치의 지그재그를 통해 반엄격화된 것으로서의 동치성을 갖는다는 것을 보여준다—구체적으로는 상단 단체 방향에서 조합이 등급사상에 의해 엄격해지는 Tamsamani $n$-군집이다. 이는 고차 호모토피 이론에서 반엄격화 가설의 핵심 케이스를 확인한다.

ABSTRACT

Tamsamani's weak n-groupoids are known to model n-types. In this paper we show that every Tamsamani weak n-groupoid representing a connected n-type is equivalent in a suitable way to a semistrict one. We obtain this result by comparing Tasmamani's weak n-groupoids and cat^(n-1)-groups as models of connected n-types.

연구 동기 및 목표

• 연결된 $n$-형태를 표현하는 모든 Tamsamani 약한 $n$-군집이 반엄격화된 것으로서의 동치성을 갖는다는 것을 증명함으로써, 고차 범주론에서 반엄격화 가설을 뒷받침함.
• Tamsamani의 약한 $n$-군집과 cat $n$-군집을 연결된 $n$-형태의 모델로 비교함.
• 연결된 $n$-형태의 호모토피 범주가 약한 $n$-군집의 국소화 내에서 반엄격 Tamsamani $n$-군집의 전체 부분범주와 동치임을 확립함.

제안 방법

• 상단 단체 방향에서의 세갈 맵이 등급사상이 되는 $\mathcal{T}_n$ 내의 원소들로 구성된 반엄격 Tamsamani $n$-군집의 범주 $\mathcal{H}_n$를 정의함으로써, 그 방향에서의 조합을 엄격하게 강제함.
• $\mathcal{H}_n$이 카르테시안 모나드 구조 하에서 Tamsamani 약한 $(n-1)$-군집의 모노이드의 전체 부분범주와 동형임을 이용함.
• 경로로 연결된 분류 공간을 갖는 임의의 약한 $n$-군집과 $\mathcal{H}_n$ 내의 반엄격 군집 사이에 $n$-동치의 지그재그를 구성함. 이는 $n$-범주적 구조에 대한 귀납적 추론에 기반함.
• 귀납 가정을 적용하여, 네르브 구성에서의 수직 사상의 수직적 전성과, 忘각 함자 $\mathcal{U}_n$이 정규 에피모르피즘을 반영한다는 사실을 이용해 네르브 사상의 전성함을 보임.
• 약한 $n$-군집의 국소화와 연결된 $n$-형태의 호모토피 범주 간의 동치를 이용하여, $\mathcal{H}_n$이 본질적인 호모토피 유형을 포착한다는 것을 유도함.
• 네르브 $\overline{\mathcal{N}}f$의 구조와 그 수직적 전성함을 이용하여, 사상 $f$가 네르브 사상을 전성적으로 유도함을 보이며, 이는 $n$-동치를 확립하는 데 핵심적이다.

실험 결과

연구 질문

• RQ1 연결된 $n$-형태를 표현하는 모든 Tamsamani 약한 $n$-군집이 $n$-동치의 지그재그를 통해 반엄격화된 것으로 동치가 될 수 있는가?
• RQ2 $\mathcal{H}_n$의 반엄격 Tamsamani $n$-군집의 범주가 연결된 $n$-형태를 모델링하는 데 있어 전체 범주 $\mathcal{T}_n$과 어떻게 관련되어 있는가?
• RQ3 연결된 $n$-형태의 호모토피 범주가 약한 $n$-군집의 국소화 범주 내에서 반엄격 Tamsamani $n$-군집의 전체 부분범주와 동치인가?

주요 결과

• 경로로 연결된 분류 공간을 갖는 모든 Tamsamani 약한 $n$-군집은 Theorem 9.10에 따라 $\mathcal{H}_n$ 내의 반엄격 Tamsamani $n$-군집과 $n$-동치의 지그재그를 통해 동치임을 보였다.
• 연결된 $n$-형태의 호모토피 범주 $\mathcal{H}o(\mathrm{Top}^{(n)}_*)$는 $\mathcal{T}_n^*/\sim^n$ 내에서 $\mathcal{H}_n$에 의해 생성되는 전체 부분범주와 동치이며, 이는 Corollary 9.11에 의해 입증됨.
• $\mathcal{H}_n$은 카르테시안 모나드 구조 하에서 Tamsamani 약한 $(n-1)$-군집의 모노이드의 전체 부분범주와 동형이며, 이는 그 대수적 일관성을 강조한다.
• 반엄격 범주 $\mathcal{H}_n$에서는 상단 단체 방향의 세갈 맵이 등급사상이며, 이는 그 방향에서의 조합을 엄격하게 강제함과 동시에 다른 방향에서는 약한 조합을 允許함.
• 사상 $f$가 忘각 함자 $\mathcal{U}_n$ 아래에서 전사 사상으로 유도될 경우, 네르브 구성 $\overline{\mathcal{N}}f$는 수직적으로 전성적이며, 이는 $n$-동치를 확립하는 데 필수적이다.
• 귀납적 추론은 $\mathcal{U}_{n-1}$이 정규 에피모르피즘을 반영한다는 사실에 기반하며, 이는 네르브 수준의 전성함을 기초적인 범주적 구조로 이행할 수 있도록 한다.