[논문 리뷰] A Quillen theorem Bn for homotopy pullbacks

Clark Barwick, D Kan|arXiv (Cornell University)|2011. 01. 25.

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

한 줄 요약

이 논문은 Quillen의 정리 B를 호모토피 당김으로 확장하기 위해 새로운 구성 $(f\boldsymbol{X}\nabla_n g\boldsymbol{Z})$ 를 도입한다. 이 구성은 $f$ 가 성질 $B_n$ 를 만족할 경우, 특히 $\boldsymbol{Y}$ 가 성질 $C_n$ 를 가질 경우, 진동자형 $\boldsymbol{X} \to \boldsymbol{Y} \from \boldsymbol{Z}$ 에 대한 호모토피 당김으로 기능한다. 핵심 결과는 일반 당김 $\boldsymbol{X} \times_{\boldsymbol{Y}} \boldsymbol{Z}$ 가 $(f\boldsymbol{X}\nabla_n g\boldsymbol{Z})$ 에로의 표준 단사 사상이 약한 동치일 경우에 호모토피 당김임을 보여준다.

ABSTRACT

We prove an extension of the Quillen Theorem Bn for homotopy fibres to a similar result for homotopy pullbacks and use this to obtain sufficient conditions on a pullback diagram of categories to guarantee that it be a homotopy pullback.

연구 동기 및 목표

• 카테고리 간의 진동자형 다이어그램 맥락에서 호모토피 섬유에서 호모토피 당김으로 Quillen의 정리 B를 일반화하기.
• 진동자형 $\boldsymbol{X} \to \boldsymbol{Y} \from \boldsymbol{Z}$ 의 일반 당김이 호모토피 당김이 되는 데 필요한 충분 조건을 설정하기.
• Quillen의 Grothendieck 구성에 대한 기본 보조정리에 기반하여 호모토피 당김 결과에 대한 비귀납적 증명을 제공하기.
• 완전한 세갈 공간에서 세갈 조건을 단순화하여 검증할 수 있도록 적용하기, 특히 두 개의 여섯 개 성질과 삼중 화살표 계산법을 갖춘 상대 카테고리에서 적용하기.
• 이러한 상대 카테고리에서 약한 동치의 카테고리가 성질 $C_3$ 를 갖는다는 것을 보여주어, 주요 정리를 $n=3$ 에 대해 적용할 수 있도록 하기.

제안 방법

• 진동자형 $f: \boldsymbol{X} \to \boldsymbol{Y} \from \boldsymbol{Z}: g$ 에 대해 호모토피 당김의 후보로 새로운 구성 $(f\boldsymbol{X}\nabla_n g\boldsymbol{Z})$ 를 도입하기.
• 함수 $(f\boldsymbol{X}\nabla_n -): \boldsymbol{Y} \to \mathbf{Cat}$ 에 대한 Grothendieck 구성으로 호모토피 당김 카테고리를 정의하기.
• Quillen의 핵심 보조정리 활용: 만약 함자 $F: \boldsymbol{D} \to \mathbf{Cat}$ 가 $\boldsymbol{D}$ 의 모든 사상들을 약한 동치로 보낸다면(성질 $Q$), 그에 대한 사영 $\pi: \operatorname{Gr}F \to \boldsymbol{D}$ 의 섬유가 호모토피 섬유임을 보장한다.
• 이 보조정리를 $(f\boldsymbol{X}\nabla_n g-)$ 의 Grothendieck 구성에 적용하여, $(f\boldsymbol{X}\nabla_n gZ)$ 가 $Z$ 에서의 호모토피 섬리임을 보여주기.
• $\pi: (f\boldsymbol{X}\nabla_n \boldsymbol{Y}) \to \boldsymbol{Y}$ 와 $g: \boldsymbol{Z} \to \boldsymbol{Y}$ 를 포함하는 당김 정사각형을 구성하고, 섬유의 동형성과 호모토피 섬유 성질을 이용하여 이것이 호모토피 당김임을 보여주기.
• 일반 당김 $\boldsymbol{X} \times_{\boldsymbol{Y}} \boldsymbol{Z} \to (f\boldsymbol{X}\nabla_n g\boldsymbol{Z})$ 에 대한 표준 단사 사상 $k$ 가 약한 동치일 경우에만 당김이 호모토피 당김임을 보장하기.

실험 결과

연구 질문

• RQ1 진동자형 $\boldsymbol{X} \to \boldsymbol{Y} \from \boldsymbol{Z}$ 에 대해 일반 당김 $\boldsymbol{X} \times_{\boldsymbol{Y}} \boldsymbol{Z}$ 가 언제 호모토피 당김이 되는가?
• RQ2 카테고리 값을 갖는 함자 맥락에서 호모토피 섬유에서 호모토피 당김으로 Quillen의 정리 B를 어떻게 확장할 수 있는가?
• RQ3 성질 $B_n$ (또는 $C_n$) 이 $(f\boldsymbol{X}\nabla_n g\boldsymbol{Z})$ 가 호모토피 당김이 되도록 보장하는 데 어떤 역할을 하는가?
• RQ4 완전한 세갈 공간에서 세갈 조건을 이 확장된 정리로 더 단순하게 검증할 수 있는가, 특히 단순 체계가 없는 상대 카테고리에서 적용 가능한가?
• RQ5 함수 $(f\boldsymbol{X}\nabla_n g-)$ 의 Grothendieck 구성이 호모토피 당김 성질을 증명하는 데 어떻게 기여하는가?

주요 결과

• 함수 $f$ 가 성질 $B_n$ 을 갖는 한, 구성 $(f\boldsymbol{X}\nabla_n g\boldsymbol{Z})$ 는 진동자형 $f: \boldsymbol{X} \to \boldsymbol{Y} \from \boldsymbol{Z}: g$ 의 호모토피 당김이다.
• 만약 $\boldsymbol{Y}$ 가 성질 $C_n$ 을 갖는다면, $f$ 는 자동으로 성질 $B_n$ 을 갖게 되므로, 더 약한 조건인 $\boldsymbol{Y}$ 가 $C_n$ 을 갖는 경우에도 호모토피 당김 조건이 성립한다.
• 일반 당김 $\boldsymbol{X} \times_{\boldsymbol{Y}} \boldsymbol{Z}$ 는 표준 단사 사상 $k: \boldsymbol{X} \times_{\boldsymbol{Y}} \boldsymbol{Z} \to (f\boldsymbol{X}\nabla_n g\boldsymbol{Z})$ 가 약한 동치일 경우에만 호모토피 당김이다.
• 증명은 Quillen의 기본 보조정리에 기반한다: 만약 함자 $F: \boldsymbol{D} \to \mathbf{Cat}$ 가 성질 $Q$ (모든 사상들을 약한 동치로 보냄) 를 갖는다면, 사영 $\pi: \operatorname{Gr}F \to \boldsymbol{D}$ 의 섬유는 호모토피 섬유이다.
• 이 결과는 정리 $B_n$ 의 호모토피 섬유 형태에 대한 비귀납적 증명을 제공하며, 이는 자연스럽게 호모토피 당김 경우로 확장된다.
• 이 정리는 완전한 세갈 공간에서 세갈 조건의 검증을 단순화하며, 저자들의 후속 연구에서 보여지듯이, 성질 $C_3$ 를 갖는 카테고리에서의 약한 동치 확인으로 환원된다.