[논문 리뷰] Bicategorical homotopy pullbacks

Antonio M. Cegarra, B. A. Heredia외 1명|arXiv (Cornell University)|2014. 04. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 29인용 수 23

한 줄 요약

이 논문은 Quillen의 정리 B를 이분류에 대해 확장하여, 이분류 간의 립스 및 올락스 함자에 의해 유도되는 분류 공간의 호모토피 섬유곱을 모델링하는 이분류 호모토피 당김 구조를 확립한다. 적절한 조건 하에서, 이분류 호모토피 당김의 분류 공간은 위상수학적 호모토피 섬유곱과 호모토피 동치임을 증명하며, 고차 범주론과 대수적 K이론의 고전적 결과를 일반화한다.

ABSTRACT

The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between Bénabou's bicategories and the homotopy types of their classifying spaces. Mainly, we state and prove an extension of Quillen's Theorem B by showing, under reasonable necessary conditions, a bicategory-theoretical interpretation of the homotopy-fibre product of the continuous maps induced on classifying spaces by a diagram of bicategories $\mathcal{A} o\mathcal{B}\leftarrow \mathcal{A}'$. Applications are given for the study of homotopy pullbacks of monoidal categories and of crossed modules.

연구 동기 및 목표

• 범주에서 고차 범주적 구조로의 적용 가능성을 넓히기 위해 Quillen의 정리 B를 이분류의 맥락으로 일반화하는 것.
• 립스 및 올락스 함자 간의 이분류 사이에 대해 이분류 호모토피 당김 $ F\downarrow F' $를 정의하여 올바른 호모토피적 구조를 포착하는 것.
• 이분류 당김의 분류 공간과 그에 유도된 분류 공간 맵 사이의 호모토피 섬유곱 간의 호모토피 동치를 확립하는 것.
• 이분류 방법을 통해 모나이드 범주와 교차 모듈러스의 호모토피 당김을 연구할 수 있는 프레임워크를 제공하는 것.
• 이분류 맥락에서 분류 공간 구성의 자연성과 호모토피 불변성을 증명하여 카테고리적 및 위상수학적 호모토피 구성 간의 통합을 이루는 것.

제안 방법

• 0-세포가 $ (a, f, a') $ 형태의 삼중조합이며, $ f:Fa \to F'a' $ 가 $ \mathcal{B} $ 내의 1-세포인 이분류 $ F\downarrow F' $ 를 구성하여, 1-세포는 1-세포와 2-세포 $ \beta $ 를 포함하는 삼중조합 $ (u, \beta, u') $ 로 구성되며, 이는 일관성 조건을 만족한다.
• 2-세포는 2-세포 쌍 $ (\alpha, \alpha') $ 로 정의되며, 이는 2-세포 $ \beta $ 와의 호환 조건을 만족하여 잘 정의된 이분류를 이루도록 보장한다.
• 분류 공간 $ \mathrm{B}\mathcal{B} $ 는 단순 범주(simplicial categories)의 네프와 기하적 실현을 이용하여 모델링되며, 이는 이중단순 네프 구성 $ \mathrm{N}\underline{\Delta}\mathcal{B} $ 를 활용한다.
• Bousfield-Kan 및 Thomason 의 호모토피 쐐기합 결과를 이용하여, $ |\Delta\mathcal{B}| $, 네프의 대각선, 및 $ \mathrm{B}\mathcal{B} $ 간의 호모토피 동치 사슬을 확립한다.
• Quillen의 정리 B 와 유사한 조건 하에서, 표준 사상 $ \mathrm{B}(F\downarrow F') \to \mathrm{B}\mathcal{A} \times^h_{\mathrm{B}\mathcal{B}} \mathrm{B}\mathcal{A}' $ 가 호모토피 동치임을 증명한다.
• 분류 공간 구성의 자연성과 호모토피 역함수를 사용하여, 함자 간의 립스 또는 올락스 변환은 그 분류 공간 맵 사이에 호모토피를 유도함을 보인다.

실험 결과

연구 질문

• RQ1 이분류 호모토피 당김 $ F\downarrow F' $ 의 분류 공간이 유도된 분류 공간 맵 사이의 위상수학적 호모토피 섬유곱과 호모토피 동치가 되는 조건은 무엇인가?
• RQ2 함자가 립스 또는 올락스일 경우, Quillen의 정리 B 는 어떻게 범주에서 이분류로 확장될 수 있는가?
• RQ3 고차 범주론에서 호모토피 당김을 모델링하는 데 적합한, 컴마 범주 $ F\downarrow F' $ 의 올바른 이분류 해석은 무엇인가?
• RQ4 함자 간의 변환은 어떻게 그 분류 공간 맵 사이의 호모토피를 유도하며, 이 구성은 자연적인가?
• RQ5 모나이드 범주와 교차 모듈러스는 이분류 호모토피 당김 구성의 특수한 경우로 얼마나 깊이 포함되는가?

주요 결과

• 립스 함자 $ F: \mathcal{A} \to \mathcal{B} $ 와 올락스 함자 $ F': \mathcal{A}' \to \mathcal{B} $ 를 포함하는 이분류 다이어그램에 대해 이분류 호모토피 당김 $ F\downarrow F' $ 가 정의되며, 컴마 범주 구성의 일반화이다.
• 유도된 섬유들 사이의 맵 $ \mathrm{B}(F\downarrow b_0) \to \mathrm{B}(F\downarrow b_1) $ 가 호모토피 동치일 경우, 표준 사상 $ \mathrm{B}(F\downarrow F') \to \mathrm{B}\mathcal{A} \times^h_{\mathrm{B}\mathcal{B}} \mathrm{B}\mathcal{A}' $ 는 호모토피 동치이며, Quillen의 정리 B 를 확장한다.
• 분류 공간 구성 $ \mathrm{B} $ 는 호모토피 쐐기합을 보존하며, 자연적 호모토피 동치 $ \kappa: |\Delta\mathcal{B}| \to \mathrm{B}\mathcal{B} $ 를 통해 호모토피 동치와 호환된다.
• 함자 $ F, F': \mathcal{B} \to \mathcal{B}' $ 간의 립스 또는 올락스 변환은 $ \mathrm{B}\alpha: \mathrm{B}F \Rightarrow \mathrm{B}F' $ 의 호모토피를 유도하여 분류 공간 함자의 자연성을 보장한다.
• 이 구성은 모든 맵, 특히 호모토피 동치까지도 립스 함자에 대해 자연스럽기 때문에, 이분류 다이어그램 전반에 걸쳐 일관성을 유지한다.
• 결과는 모나이드 범주와 교차 모듈러스에 적용 가능하며, 분류 공간을 통한 이들의 호모토피 당김을 연구할 수 있는 이분류 프레임워크를 제공한다.