[논문 리뷰] Model $\infty$-categories I: some pleasant properties of the $\infty$-category of simplicial spaces

Aaron Mazel-Gee|arXiv (Cornell University)|2014. 12. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 43인용 수 8

한 줄 요약

이 논문은 단순 공간의 ∞-카테고리 위에 적절하고 코프리브런트하게 생성된 모델 구조를 도입하며, 단순 집합 위의 칸-퀴렌 모델 구조를 반영한다. 기하학적 실현이 이 설정에서 약한 동치와 호모토피 당김을 보존함을 입증하여, 생성 코프리브레이션에 대한 올림성질을 통한 약한 동치와 호모토피 당김의 ∞-카테고리 기준을 가능하게 한다.

ABSTRACT

Both simplicial sets and simplicial spaces are used pervasively in homotopy theory as presentations of spaces, where in both cases we extract the "underlying space" by taking geometric realization. We have a good handle on the category of simplicial sets in this capacity; this is due to the existence of a suitable model structure thereon, which is particularly convenient to work with since it enjoys the technical properties of being *proper* and of being *cofibrantly generated*. This paper is devoted to showing that, if one is willing to work $\infty$-categorically, then one can manipulate simplicial spaces exactly as one manipulates simplicial sets. Precisely, this takes the form of a proper, cofibrantly generated model structure on the *$\infty$-category* of simplicial spaces, the definition of which we also introduce here.

연구 동기 및 목표

• ∞-카테고리적 모델 이론을 사용하여 단순 공간의 ∞-카테고리 연구를 위한 프레임워크를 개발하는 것.
• 단순 공간의 ∞-카테고리 위에 적절하고 코프리브런트하게 생성된 칸-퀴렌 모델 구조를 정의하는 것.
• 기하학적 실현 이후에 약한 동치가 되는 지를 판단하기 위한 ∞-카테고리 기준을 제공하는 것.
• 기하학적 실현 하에 호모토피 당김이 보존되는 조건을 확립하는 것.
• ∞-카테고리 도구와 올림성질을 활용하여 단순 공간의 유용성을 호모토피 이론에서 확장하는 것.

제안 방법

• 약한 동치의 부분카테고리에서 국소화하는 데 사용할 수 있는 프레임워크로 모델 ∞-카테고리의 개념을 도입한다.
• 생성 코프리브레이션 $I_{KQ}$와 순환 코프리브레이션 $J_{KQ}$를 사용하여 단순 공간의 ∞-카테고리 위에 칸-퀴렌 모델 구조를 정의한다. 이들은 경계 포함과 홀로 포함에 대응한다.
• 코프리브런트하게 생성된 모델 ∞-카테고리 이론을 적용하여, 결과적으로 얻어진 모델 구조가 적절하고 코프리브런트하게 생성되었음을 증명한다.
• Ex∞ 함수자와 피브라시티 기준을 사용하여 ∞-카테고리 설정에서 피브레이션과 약한 동치를 분석한다.
• 모델 ∞-카테고리에서의 호모토피 (코)극한 이론을 적용하여 다이어그램와 그 기하학적 실현을 비교한다.
• ∞-카테고리적 올림성질을 사용하여 생성 코프리브레이션에 대한 오른쪽 올림성질을 통해 약한 동치와 호모토피 당김을 특성화한다.

실험 결과

연구 질문

• RQ1 단순 공간의 사상이 기하학적 실현 이후에 언제 약한 동치가 되는가?
• RQ2 단순 공간의 호모토피 당김이 언제 기하학적 실현 후에도 여전히 호모토피 당김으로 남는가?
• RQ3 단순 집합 위의 칸-퀴렌 모델 구조가 단순 공간의 ∞-카테고리로 자연스럽게 확장되어 유사한 성질을 가지는가?
• RQ4 ∞-카테고리적 올림성질을 사용하여 단순 공간의 ∞-카테고리에서 약한 동치와 피브레이션을 어떻게 탐지할 수 있는가?
• RQ5 Ex∞ 함수자는 단순 공간의 ∞-카테고리적 모델 구조에서 피브란트 대상과 약한 동치를 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 단순 공간의 ∞-카테고리에는 약한 동치가 기하학적 실현 이후에 약한 동치가 되는 사상들로 정확히 구성된 적절하고 코프리브런트하게 생성된 모델 구조가 존재한다.
• 단순 공간의 사상이 순환 피브레이션임과 동시에 생성 코프리브레이션의 집합 $I_{KQ}$에 대해 오른쪽 올림성질을 갖는 것과 동치이며, 이는 경계 포함 $\partial\Delta^n \to \Delta^n$에 대응한다.
• 모델 구조는 오른쪽 적절하므로, 피브레이션을 포함하는 임의의 당김은 호모토피 당김이며, 이러한 당김은 기하학적 실현 하에 보존된다.
• 기하학적 실현 함자 $|{-}|: \mathrm{sS} \to \mathrm{S}$ 는 이 모델 구조에 대해 왼쪽 퀼렌 함자이며, 호모토피 카테고리 위에서 동치를 유도한다.
• 모델 ∞-카테고리 이론을 통해 단순 공간의 다이어그램의 호모토피 (코)극한과 그 기하학적 실현을 체계적으로 비교할 수 있다.
• Ex∞ 함수자는 약한 동치를 보존하는 피브란트 치환 함자이며, 모델 ∞-카테고리에서 피브란트 대상을 특성화하는 데 사용된다.