[논문 리뷰] A survey of (\infty, 1)-categories

Julia E. Bergner|ArXiv.org|2006. 10. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 9

한 줄 요약

이 논문은 (∞,1)-범주에 대한 네 가지 등가 모델—단순 체계 범주, 세갈 범주, 완전 세갈 공간, 준범주—를 조사하며, 수반 함수를 통해 Quillen 등가성을 보여준다. 주요 기여는 네 가지 프레임워크를 연결하는 포괄적인 Quillen 등가성 네트워크를 수립함으로써, 역행성 높은 사상이 있는 호모토피 이론의 모델로 이들이 상호 교환 가능하다는 것을 확인하는 데 있다.

ABSTRACT

In this paper we give a summary of the comparisons between different definitions of so-called (\infty,1)-categories, which are considered to be models for \infty-categories whose n-morphisms are all invertible for n>1. They are also, from the viewpoint of homotopy theory, models for the homotopy theory of homotopy theories. The four different structures, all of which are equivalent, are simplicial categories, Segal categories, complete Segal spaces, and quasi-categories.

연구 동기 및 목표

• (∞,1)-범주의 네 가지 별개의 모델—단순 체계 범주, 세갈 범주, 완전 세갈 공간, 준범주—에 대한 종합적인 개요 제공.
• 각각의 모델 카테고리 간 Quillen 등가성을 통해 이들 모델의 등가성 확립.
• (∞,1)-범주가 호모토피 이론의 이론으로서의 역할을 명확히 하기.
• 이 모델들이 고전적 유도 범주보다 우월한 이점을 보이는 대수기하학, K-이론, 안정 호모토피 이론 분야에서의 응용 강조.
• 고차 범주론의 맥락에서 일관된 네트워크 함자, 강성화, 총 단순 집합 함자와 같은 기초 도구 제시.

제안 방법

• 모델 카테고리 이론을 활용하여 네 가지 (∞,1)-범주 모델 전반에 걸쳐 약한 동치, 필라션, 코필라션을 형식화.
• 수반 함자—예를 들어 일관된 네트워크, 강성화, 총 단순 집합 함자—를 활용하여 각 모델 카테고리 간 Quillen 등가성 수립.
• 단순 체계 범주에서 세갈 전범주로의 네트워크 함자 N과 그 왼쪽 수반 함자 F를 활용하여 단순 체계 범주와 세갈 전범주 간 Quillen 등가성 수립.
• 완전 세갈 공간에서 단순 집합으로의 함자 i*₁를 W*₀를 통해 정의하여 완전 세갈 공간과 준범주 간 Quillen 등가성 수립.
• 총 단순 집합 함자 t!과 그 오른쪽 수반 함자 t!을 도입하여 완전 세갈 공간과 준범주 간 제2의 Quillen 등가성 수립.
• 세갈 범주와 준범주 간 관계를 설정하기 위해 대각선 함자 d*와 그 오른쪽 수반 함자 d*를 적용하여 세갈 범주와 준범주 간 제2의 Quillen 등가성 수립.

실험 결과

연구 질문

• RQ1 (∞,1)-범주의 네 가지 모델—단순 체계 범주, 세갈 범주, 완전 세갈 공간, 준범주—는 호모토피적 등가성 측면에서 어떻게 관련되어 있는가?
• RQ2 이 네 가지 구조의 모델 카테고리 간 Quillen 등가성을 수립하는 함자는 무엇인가?
• RQ3 이러한 모델들이 등가로 간주되는 이유는 무엇이며, 이는 호모토피 이론의 이론에 어떤 함의를 갖는가?
• RQ4 이러한 모델들은 대수기하학과 K-이론에서 고전적 유도 범주보다 어떤 방식으로 향상되는가?
• RQ5 일관된 네트워크 함자와 강성화 함자는 어떻게 단순 체계 범주와 준범주 간을 매개하는가?

주요 결과

• 일관된 네트워크 함자 N: SC → QCat와 그 왼쪽 수반 함자 J는 단순 체계 범주와 준범주 간 Quillen 등가성을 형성한다.
• 세갈 전범주에서 세갈 범주로의 네트워크 함자 N: SeCat_f → SeCat_c와 그 왼쪽 수반 함자 F는 세갈 전범주와 세갈 범주 간 Quillen 등가성을 형성한다.
• 완전 세갈 공간과 준범주 간 두 가지 별개의 Quillen 등가성이 존재한다: 하나는 함자 i*₁와 그 왼쪽 수반 함자 p*₁를 통해, 다른 하나는 총 단순 집합 함자 t!과 그 오른쪽 수반 함자 t!을 통해.
• 세갈 범주와 준범주 간에도 두 가지 Quillen 등가성이 존재한다: 하나는 j*와 q*를 통해, 다른 하나는 d*와 d*를 통해.
• 네 가지 모델은 모두 Quillen 등가이며, 이는 (∞,1)-범주에 대한 모델로서의 구조적 등가성을 확인하는 등가성 네트워크를 형성한다.
• 이러한 등가성은 한 모델에 인코딩된 어떤 호모토피적 정보라도 다른 모든 모델로 이행 가능하다는 것을 시사하며, 고차 범주론에서 이들이 상호 교환 가능한 프레임워크로 사용될 수 있음을 뒷받침한다.