[논문 리뷰] A short course on $\infty$-categories

Moritz Groth|arXiv (Cornell University)|2010. 07. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 21

한 줄 요약

이 논문은 Lurie의 quasi-category를 사용한 (∞,1)-범주 이론에 기반한 ∞-범주에 대한 비기술적 소개를 제공한다. 함자, 극한, 쌍극한과 같은 기본 개념을 다루며, 안정화와 모나이드 구조에 대한 보편 성질을 수립하고, 현존하는 ∞-범주에 대한 모나이드 개선된 안정화 과정으로 이어진다.

ABSTRACT

In this short survey we give a non-technical introduction to some main ideas of the theory of $\infty$-categories, hopefully facilitating the digestion of the foundational work of Joyal and Lurie. Besides the basic $\infty$-categorical notions leading to presentable $\infty$-categories, we mention the Joyal and Bergner model structures organizing two approaches to a theory of $(\infty,1)$-categories. We also discuss monoidal $\infty$-categories and algebra objects, as well as stable $\infty$-categories. These notions come together in Lurie's treatment of the smash product on spectra, yielding a convenient framework for the study of $\mathbb{A}_\infty$-ring spectra, $\mathbb{E}_\infty$-ring spectra, and Derived Algebraic Geometry.

연구 동기 및 목표

• 고차 범주론에 익숙하지 않은 연구자들에게 ∞-범주 이론에 대한 비기술적 입문을 제공하기 위해.
• 호모토피적 불변 수학의 프레임워크로서의 ∞-범주의 철학적 및 구조적 기초를 명확히 하기 위해.
• Lurie의 quasi-category 접근법을 통해 현존하는 ∞-범주, 모나이드 구조, 안정화와 같은 핵심 개념들을 통합하기 위해.
• 현존하는 ∞-범주 맥락에서 안정화와 모나이드 함자를 위한 보편 성질을 수립하기 위해.
• preadditive 및 additive ∞-범주를 통해 안정화 함자에 대한 개선된 모나이드 인수분해를 제시하기 위해.

제안 방법

• Lurie의 관례를 따르며, (∞,1)-범주의 주요 모델로 내부 칸 복합체인 quasi-category를 사용한다.
• Grothendieck 구성에 의해 모나이드 ∞-범주와 대수적 원소를 모델링하기 위해 coCartesian fibration을 적용한다.
• 현존하는 ∞-범주에서 보편적 구성요소를 정의하기 위해 왼쪽 수반 함자와 극한를 유지하는 함자를 사용한다.
• ∞-범주적 맥락에서 극한, 쌍극한, 초기/최종 대상 정의를 위해 조인과 슬라이스 구성요소를 활용한다.
• 모델 범주 이론(Joyal 및 Bergner 구조)을 적용하여 ∞-범주와 고전적 호모토피 대수학 간의 관계를 규명한다.
• 현존하는, 점이 있는, preadditive, additive, 그리고 안정된 ∞-범주 간의 ∞-범주 간의 수반 관계를 통해 안정화의 모나이드 개선을 수립한다.

실험 결과

연구 질문

• RQ1 고전적 범주론은 어떻게 ∞-범주로 확장될 수 있으며, 그 과정에서 호모토피적 불변성이 유지될 수 있는가?
• RQ2 현존하는 ∞-범주에 대한 안정화의 보편 성질은 무엇인가?
• RQ3 coCartesian fibration을 통해 ∞-범주에서 모나이드 및 대칭 모나이드 구조는 어떻게 자연스럽게 유도되는가?
• RQ4 대칭 모나이드 ∞-범주에서 대수적 원소의 역할은 무엇이며, 그것들은 어떻게 보편적인가?
• RQ5 안정화 과정은 preadditive 및 additive ∞-범주와 같은 중간 범주를 통해 어떻게 인수분해되는가?

주요 결과

• 현존하는 ∞-범주에 대한 안정화 함자는 point, preadditive, 그리고 additive ∞-범주를 거쳐 인수분해되는 모나이드 개선을 갖는다.
• E∞-공간의 ∞-범주, Mon_E∞(S), 는 하나의 생성자 Δ⁰에 대한 자유 preadditive 현존하는 ∞-범주이다.
• 모든 점이 있는 현존하는 ∞-범주 C에 대해, 함자 C → C_* 는 임의의 점이 있는 현존하는 ∞-범주 D로의 대칭 모나이드, 극한을 유지하는 함자 간의 동치를 유도한다.
• 유사하게, 함자 C → Sp(C) 는 D가 안정적일 경우 Fun^L,⊗(Sp(C), D) → Fun^L,⊗(C, D) 에 대한 동치를 유도한다.
• 군적인 E∞-공간의 ∞-범주, Grp_E∞(S), 는 추가적인, 현존하는 ∞-범주의 보편적 예시이다.
• 안정화 과정은 수반 관계의 조합으로 표현되며, Pr^L ⇄ Pr^L_Pt ⇄ Pr^L_Pre ⇄ Pr^L_Add ⇄ Pr^L_St 로 나타나며, 이 과정은 모나이드 개선을 갖는다.