[논문 리뷰] Quillen Theorems Bn for homotopy pullbacks of (infinity, k)-categories

Clark Barwick, D Kan|arXiv (Cornell University)|2012. 08. 08.

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

한 줄 요약

이 논문은 히포스와 레즈의 날카운 지도에서 유도된 분할성 구조인 분할성(fibrillations)을 사용하여 $(\infty,k)$-카테고리에서 호모토피 당김을 퀸의 정리 B로 확장한다. 성질 $B_n$이 성립할 경우, $n$-화살표 당김 카테고리 $f\mathbf{X} \downarrow_n g\mathbf{Y}$가 호모토피 당김임을 입증하며, 리드와 레즈 모델 구조를 통해 상대 카테고리와 $k$-상대 카테고리로의 일반화를 달성한다.

ABSTRACT

We extend the Quillen Theorem Bn for homotopy fibers of Dwyer, et al. to similar results for homotopy pullbacks and note that these results imply similar results for zigzags in the categories of relative categories and k-relative categories, not only with respect to their Reedy structures but also their Rezk structure, which turns them into models for the theories of (infinity, 1)- and (infinity, k)-categories, respectively.

연구 동기 및 목표

• 호모토피 당김을 $(\infty,k)$-카테고리로 퀸의 정리 B를 일반화하기.
• 함수 $f$가 성질 $B_n$을 만족할 경우, $n$-화살표 당김 카테고리 $f\mathbf{X} \downarrow_n g\mathbf{Y}$가 호모토피 당김을 모델링함을 입증하기.
• 리드와 레즈 모델 구조를 통해 상대 카테고리와 $k$-상대 카테고리로 이러한 결과를 확장하기.
• 엄격한 $3$-화살표 계산법이 성질 $C_3$를 유도함을 보여, 고차원 퀸 정리에 대한 충분조건을 제공하기.
• 히포스의 날카운 지도의 분할성 유사 구조인 분할성을 활용하여, 호모토피 당김 특성화를 증명하기 위한 프레임워크 개발하기.

제안 방법

• 히포스와 레즈의 날카운 지도를 재해석한 분할성(fibrillations)을 사용하며, 이는 오른쪽 적절한 모델 범주에서 피브레이션과 유사하게 행동한다.
• 분할성 전이 보조정리(보조정리 9.4)를 적용하여, $w_*$ 및 곱 생성과 같은 함자들 사이에서 분할성 성질을 전이한다.
• $k$-단순형 신경 함자 $\mathrm{s}^k\mathrm{N}$을 사용하여 $k$-상대 카테고리와 $k$-단순형 공간 간의 관계를 설정한다.
• 퀸의 분할성 보조정리(보조정리 9.7)를 적용하여, 특히 $\widehat{\mathbf{Cat}}$에서 과카테고리로부터 분할성을 구성한다.
• $\mathrm{s}^k\widehat{\mathbf{Cat}}$ 및 $\mathbf{Rel}^k\mathbf{Cat}$에서 레즈 구조를 적용하여 $(\infty,1)$- 및 $(\infty,k)$-카테고리를 모델링한다.
• 글로벌 동치 보조정리(보조정리 5.13)를 적용하여, $w_*$와 같은 호모토피 동치를 통해 호모토피 당김 성질을 전이한다.

실험 결과

연구 질문

• RQ1 지그재그 $f: \mathbf{X} \to \mathbf{Z} \leftarrow \mathbf{Y}: g$ 에서 $n$-화살표 당김 카테고리 $f\mathbf{X} \downarrow_n g\mathbf{Y}$ 가 호모토피 당김이 되는 조건은 무엇인가?
• RQ2 퀸의 정리 $B_n$은 개별 함자에서부터 $(\infty,k)$-카테고리에서의 지그재그 호모토피 당김으로 어떻게 일반화될 수 있는가?
• RQ3 분할성—날카운 지도에서 유도된 것—은 상대 카테고리와 $k$-상대 카테고리에서 호모토피 당김을 특성화하는 데 어떤 역할을 하는가?
• RQ4 엄격한 $3$-화살표 계산법은 성질 $C_3$를 위한 충분조건이 될 수 있는가? 이는 고차원 퀸 정리의 적용을 가능하게 한다.
• RQ5 상대 카테고리와 $k$-상대 카테고리에서 리드와 레즈 모델 구조는 어떻게 동일한 호모토피 당김 특성화를 지원하는가?

주요 결과

• 함수 $f$가 성질 $B_n$을 만족할 경우, $n$-화살표 당김 카테고리 $f\mathbf{X} \downarrow_n g\mathbf{Y}$ 는 호모토피 당김이며, 실제 호모토피 당김으로의 단사 사상이 존재하며, 당김이 호모토피 관리성일 경우 이 사상은 약한 동치이다.
• $k$-상대 카테고리($k > 1$)의 경우, 동일한 결과는 $B_n$ 또는 $C_n$ 조건 하에서 리드와 레즈 모델 구조 양쪽 모두에서 성립한다.
• 함수 $f$가 성질 $B_n$을 가질 경우, $\pi: f\mathbf{X} \downarrow_n \mathbf{Z} \to \mathbf{Z}$ 는 분할성이며, 이 구조는 $w_*$ 및 곱 함자들을 통해 전이된다.
• $k$-단순형 신경 함자 $\mathrm{s}^k\mathrm{N}$ 는 분할성 구조를 유지하므로, $\mathrm{s}^k\widehat{\mathbf{Cat}}$ 에서 $\mathbf{Rel}^k\mathbf{Cat}$ 로 결과를 전이할 수 있다.
• 엄격한 $3$-화살표 계산법은 성질 $C_3$를 유도하며, 이는 $B_3$-유형 정리 적용을 위한 구체적인 충분조건을 제공한다.
• $\mathbf{RelCat}$ 에서 $\mathrm{s}^k\widehat{\mathbf{Cat}}$ 로의 $w_*$ 함자는 호모토피 동치이며, 이는 글로벌 동치 보조정리를 통해 카테고리 간 호모토피 당김 결과를 전이할 수 있게 한다.