[논문 리뷰] $\mathcal{S}$-categories, $\mathcal{S}$-groupoids, Segal categories and quasicategories

Timothy Porter|ArXiv.org|2004. 01. 21.

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

한 줄 요약

이 논문은 $γ$-categories, $γ$-groupoids, Segal categories, 그리고 quasicategories에 대한 종합적인 개요를 제공하며, 고전적 추상적 호모토피 이론과 현대적 단순체 방법을 통합한다. Dwyer-Kan 국소화, 호모토피 협응 네트워크, 그리고 Tamsamani의 약한 $n$-categories 간의 연결 고리를 설정하여, 단순체 강화와 일관성 조건을 통해 호모토피 이론 내 고차 범주적 구조를 이해할 수 있는 프레임워크를 제공한다.

ABSTRACT

The notes were prepared for a series of talks that I gave in Hagen in late June and early July 2003, and, with some changes, in the University of La Laguña, the Canary Islands, in September, 2003. They aim (i) to revisit some oldish material on abstract homotopy and simplicial ly enriched categories, that seems to be being used in today's resurgence of interest in the area and to try to view it in a new light, or perhaps from new directions; (ii) to introduce Segal categories and various other tools used by the Nice-Toulouse group of abstract homotopy theorists and link them into some of the older ideas; (iii) to introduce Joyal's quasicategories, and show how that theory links in with some old ideas of Boardman and Vogt, Dwyer and Kan, and Cordier and Porter; and finally to ask lots of questions of myself and of the reader.

연구 동기 및 목표

• 고전적 추상적 호모토피 이론을 현대적 단순체 및 강화 범주 도구, 특히 $γ$-categories와 quasicategories를 통해 재구성하는 것.
• Dwyer-Kan 국소화, Segal categories, 그리고 Joyal의 quasicategories 간의 핵심 호모토피 이론적 구조들 간의 관계를 통합하고 명확화하는 것.
• 호모토피 협응 네트워크와 고차 일관성 자료(예: 단순체 군에서 유도된 자료)가 고차원 대수적 구조를 어떻게 모델링하는지 조사하는 것.
• Tamsamani의 약한 $n$-categories가 고차 스택과 호모토피 유형의 기초로 쓰일 잠재력을 탐색하며, 특히 Grothendieck 프로그램의 맥락에서 고려하는 것.
• 모델 범주와 기하적 직관 간의 관계에서 특히 모델 범주와 기하적 직관 간의 개념적 간극과 열린 문제들을 식별하는 것.

제안 방법

• 호모토피 집합이 일관성 공리(axioms)를 만족하는 단순체 집합으로서의 호모토피 집합을 갖는 단순체 강화 범주($γ$-categories)를 기초 프레임워크로 사용한다.
• 약한 동치를 갖는 범주로부터 $γ$-groupoid를 생성하기 위해 Dwyer-Kan 하미락 국소화를 적용하여 호모토피 유형을 포착한다.
• 단순체 강화 네트워크 구축을 통해 $γ$-categories와 quasicategories 간의 관계를 설명하며, 고전적 네트워크 함자를 일반화한다.
• 다중 단순체 집합에 대한 Segal 조건을 통해 Segal categories를 $(∞,1)$-범주 모델로 사용한다.
• 다중 단순체 집합과 그들의 Poincaré 군oids 유사체를 이용해 Tamsamani의 약한 $n$-범주를 구성한다.
• Dold-Kan 대응과 단순체 해상화를 활용하여 체인 복합체와 크로스드 컴플렉스를 $γ$-categories로 모델링한다.

실험 결과

연구 질문

• RQ1 Dwyer-Kan $γ$-groupoid와 호모토피 협응 단순체 간의 정확한 관계는 무엇이며, 이들은 어떻게 고차 교환 법칙을 코딩하는가?
• RQ2 Tamsamani 구성은 비공간 입력(예: 단순체 군 또는 범주)으로 일반화될 수 있는가? 그리고 그 결과로 유도되는 Poincaré 약한 $n$-군oids는 무엇을 드러내는가?
• RQ3 만약 $\mathcal{B}$가 국소적으로 칸(Locally Kan)이면, $β^{ℕ}$의 Dwyer-Kan 하미락 국소화는 $\mathcal{S}(S(ℕ), Ner_{h.c.}(\mathcal{B}))$의 사상 공간과 얼마나 밀접한가?
• RQ4 일반적인 Segal 범주에 대해 호모토피 협응 네트워크를 정의할 수 있는가? 그리고 Segal 범주와 quasicategories 간의 정확한 관계는 무엇인가?
• RQ5 모델 범주나 $∞$-범주 도구의 과도한 사용을 피하면서, Segal 범주 기반을 이용해 기하학적으로 직관적인 2-스택을 위한 비기술적 프레임워크를 구성할 수 있는가?

주요 결과

• γ-범주의 호모토피 협응 네트워크는 quasicategory를 생성하며, 단순체 강화 범주와 Joyal의 $(∞,1)$-범주 간의 다리를 놓는다.
• 약한 동치를 갖는 범주의 Dwyer-Kan 하미락 국소화는 일관성 있는 고차 사상이 포함된 그의 호모토피 범주를 모델링하는 $γ$-groupoid를 생성한다.
• Segal categories는 $(∞,1)$-범주의 호모토피 범주에서 quasicategories와 동치이며, 핵심 비교 결과를 확립한다.
• Tamsamani의 약한 $n$-범주는 큰 이중군oid의 개념을 일반화하며, 일관성 있는 합성과 함께 고차 군oid를 위한 다중 단순체 모델로 볼 수 있다.
• Tamsamani의 약한 $n$-범주의 대각선과 Artin-Mazur 코대각선은 초크로스드 컴플렉스와 관련이 있을 수 있으며, 이는 비아벨 호모토피 이론과의 연결 고리를 시사한다.
• 논문은 고차 스택 이론에서 기술적 도구(예: 모델 범주)와 기하적 직관 간의 개념적 간극을 식별하며, 보다 단순하고 직관적인 프레임워크의 필요성을 주장한다.