[논문 리뷰] Towards a Thomason model structure on the category of strict n-categories

Dimitri Ara, Georges Maltsiniotis|arXiv (Cornell University)|2013. 05. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 36인용 수 4

한 줄 요약

이 논문은 일반 범주에 대한 Thomason의 고전적 모델 구조를 일반화하여 엄격한 n-범주 위에 Thomason 유형의 모델 구조를 구성하기 위한 추상적 프레임워크를 개발한다. Grothendieck과 Cisinski의 아이디어를 바탕으로, 고전적 결과를 함의하고 2-범주적 Thomason 정리에 대한 올바른 증명을 제공하는 추상적 Thomason 정리를 수립하며, n ≥ 3에 대해 충분한 조건을 분리한다.

ABSTRACT

The purpose of this article is to present ideas towards obtaining a model category structure on the category of small strict n-categories, generalizing the one obtained by Thomason on ordinary categories. Following ideas of Grothendieck and Cisinski, we obtain an "abstract Thomason theorem", which easily implies the classical Thomason theorem. We deduce a 2-categorical Thomason theorem, an incorrect proof of which has been published by K. Worytkiewicz, K. Hess, P. Parent and A. Tonks. For n > 2, we isolate sufficient conditions to obtain an n-categorical Thomason theorem. These conditions will be investigated in further work.

연구 동기 및 목표

• . 이 논문은 일반 범주에 대한 Thomason의 모델 구조를 엄격한 n-범주로 확장하고자 한다.
• . Worytkiewicz 등이 이전에 발표한 2-범주적 Thomason 정리의 잘못된 증명을 해결하고자 한다.
• . Grothendieck와 Cisinski의 아이디어를 통해 n-Cat 위의 모델 구조에 대한 일반적인 추상적 프레임워크를 수립하고자 한다.
• . n > 2일 때 엄격한 n-범주 위에 Thomason 유형의 모델 구조가 존재하기 위한 충분조건을 분리하고자 한다.
• . 향후 n-Cat 위의 다양한 네르브 함자와 모델 구조 간의 호환성에 대한 조사에 기초를 마련하고자 한다.

제안 방법

• . 저자들은 Grothendieck의 호모토피 대수학에 대한 아이디어를 영감으로 삼아 W-코프라티브성 이론을 개발한다.
• . 그들은 사면과 쌍사면을 갖춘 범주 개념을 도입하여 범주론의 개념을 n-범주적 맥락으로 일반화한다.
• . 논문은 스트리트 n-네르브를 통해 단순형 집합에서 n-범주로의 모델 구조 전이 정리를 적용한다.
• . 추상적 Thomason 정리를 통합 원리로 사용하여, 고전적 Thomason 결과를 특수한 경우로 포함한다.
• . 2-범주적 정리의 증명은 2-사면의 재접합 가능한 위상 변형의 안정성 결과에 의존한다.
• . 저자들은 제안된 2-Cat 위의 모델 구조에서 코프라티브 객체를 분석하여 향후 연구를 위한 기초적 성질을 확립한다.

실험 결과

연구 질문

• RQ1 . n ≥ 2일 때 엄격한 n-범주에서 Thomason 유형의 모델 구조를 구성할 수 있는가?
• RQ2 . 추상적 Thomason 정리 프레임워크는 고전적 결과와 2-범주적 결과를 모두 함의하는 통합 원리인가?
• RQ3 . 2-사면과 그 변형에 대해 어떤 조건이 2-Cat 위의 모델 구조 존재성을 보장하는가?
• RQ4 . n > 2일 때 엄격한 n-범주 위에 그러한 모델 구조가 존재하기 위한 충분조건은 무엇인가?
• RQ5 . 스트리트 n-네르브, 단순형 n-네르브, 세포적 n-네르브 등 서로 다른 네르브 함자들은 모델 구조에서 동치인 약한 동치를 유도하는 방식에서 어떻게 관련되어 있는가?

주요 결과

• . 추상적 Thomason 정리는 Cat 위에서 고전적 Thomason 정리를 함의하는 일반 원리로 확립된다.
• . Worytkiewicz 등이 이전에 발표한 바에서 오류가 있었던 2-범주적 Thomason 정리에 대한 올바른 증명이 도출된다.
• . 2-사면의 재접합 가능한 위상 변형에 대한 안정성 조건이 밝혀지며, 이는 2-범주적 모델 구조를 구성하는 데 필수적이다.
• . n > 2에 대해, 엄격한 n-범주 위에 Thomason 유형의 모델 구조를 구성할 수 있는 충분조건이 분리된다.
• . 제안된 2-Cat 위의 모델 구조에서 코프라티브 객체가 특성화되며, 향후 분석을 위한 핵심 기술적 단계가 마련된다.
• . 이 프레임워크는 스트리트 n-네르브, 단순형 n-네르브, 세포적 n-네르브가 모두 Ho(n-Cat)에서 동치인 약한 동치 개념을 유도한다는 것을 증명하기 위한 기반을 마련한다.