[논문 리뷰] Higher Topos Theory

Jacob Lurie|ArXiv.org|2006. 08. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 28인용 수 1,021

한 줄 요약

이 논문은 현대 호모토피 이론과 고차 범주론의 기초 프레임워크로 고차 토포스 이론을 개발하며, ∞-범주(쿼이어-카테고리)를 도입하고 모델 범주 및 국소화를 통해 그 성질을 확립한다. 주요 기여는 고차 범주로 일반화된 그로텐디크의 토포스 이론을 체계적으로 정의한 것으로, 고차 범주론에서의 보편 성질을 갖는 고차 토포스 이론을 수립하는 것이다.

ABSTRACT

This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to the study of higher versions of Grothendieck topoi. A few applications to classical topology are included.

연구 동기 및 목표

• 일반적인 범주와 위상공간의 일반화로서 ∞-범주에 대한 종합적인 이론을 개발하기 위해.
• 그로텐디크의 토포스 이론에 대한 고차 범주론적 대응을 제공하여, 층 이론적 및 코homology 방법론을 고차 차원으로 확장하기 위해.
• 고차 토포스의 형식적 성질, 특히 표현 가능성, 국소화, 보편적 구성 요소를 확립하기 위해.
• 고전적 대수적 위상수학(예: 아이렌버그-맥클레인 공간에 의한 코homology)을 ∞-범주론적 시각을 통해 고차 범주적 구조와 통합하기 위해.

제안 방법

• 고차 범주론의 주요 프레임워크로 ∞-범주의 모델인 쿼이어-카테고리를 사용한다.
• 특히 왼쪽으로 적절한 컴팩트한 심플리셜 모델 범주를 활용하여 ∞-범주를 구성하고 분석한다.
• 특정 맵들이 약한 동치가 되도록 하는 Bousfield 국소화를 도입하여 새로운 모델 구조를 구성하고 보편적 구성 요소를 가능하게 한다.
• ∞-범주론적 맥락에서 양화의 원리에 따라 함의를 표현하고, 고전적 표현 가능성 이론을 일반화한다.
• 현존하는 ∞-범주 이론을 적용하여, 그것들이 작은 집합의 합집합에 의한 코일리미트를 통해 생성되며, 수반 함의 정리가 존재함을 보여준다.
• 국소화 기법을 사용하여 고차 토포스를 프레샤프 ∞-범주의 국소화로 정의하고 연구한다.

실험 결과

연구 질문

• RQ1 고전적 대수적 위상수학의 개념, 예를 들어 코homology나 분류 공간은 어떻게 고차 범주론적 맥락으로 일반화될 수 있는가?
• RQ2 그로텐디크 토포스의 올바른 고차 범주론적 대응은 무엇이며, 어떤 보편 성질을 가져야 하는가?
• RQ3 특히 국소화를 통해 ∞-범주를 어떻게 구성하고 다룰 수 있으며, 모델 범주론적 기법이 어떻게 기여하는가?
• RQ4 ∞-범주 간의 함의가 표현 가능해지기 위한 조건은 무엇이며, 이는 고전적 양화의 원리로 어떻게 일반화되는가?
• RQ5 Quillen 수반 함의와 유도된 함의는 ∞-범주론적 맥락에서 국소화 하에 어떻게 행동하는가?

주요 결과

• 공간의 ∞-범주는 한 점 위의 공간의 ∞-범주와 동치이며, 이는 고차 토포스 이론의 기초가 된다.
• 모든 현존하는 ∞-범주는 프레샤프 ∞-범주의 국소화이므로, 그로텐디크 토포스에 대한 고전적 결과를 일반화한다.
• 컴팩트한 심플리셜 모델 범주에서 일련의 사상에 대해 국소화를 적용하면, 유도된 함의가 약한 동치를 보존하는 것과 동치인 조건은 원래 함의가 국소화를 보존할 때 성립한다.
• 왼쪽으로 적절한 컴팩트한 심플리셜 모델 범주 간의 Quillen 수반 함의는 유도된 왼쪽 함의가 국소화 사상들을 동형으로 보낼 때에만, 국소화된 모델 구조에서의 Quillen 수반 함의를 유도한다.
• Quillen 수반 함의의 오른쪽 유도된 함의가 전사적이고 충실할 경우, 국소화된 모델 구조에서 유도된 수반 함의는 Quillen 동치가 되며, 이는 고전적 Quillen 동치 기준을 일반화한다.
• 이 이론은 고차 토포스가 정확히 프레샤프 ∞-범주의 국소화이면서 현존하는 ∞-범주인 것임을 보여주며, 그로텐디크 토포스의 고차 범주론적 일반화를 제공한다.