소규모 n중 범주에 대한 톰슨 모델 구조

초록

저자들은 작은 n중 범주들의 범주에 코프리젠트하게 생성된 퀸들 모델 구조를 정의하고, 이 구조가 전통적인 심플렉셜 집합(SSet)의 표준 모델 구조와 퀸들 동등함을 증명한다. n중 신경(Nerve) 대각선이 심플렉셜 집합에서 약동형이면 해당 n중 함자도 약동형으로 정의한다. 또한 다중심플렉셜 집합을 위한 n중 Grothendieck 구축을 도입해 n중 신경의 동역학적 역함수를 제공한다. 결과적으로 심플렉셜 집합과 n중 범주 사이의 adjunction의 unit과 counit이 자연스러운 약동형임을 완전히 입증한다.

상세 분석

이 논문은 Thomason이 고전적인 범주 Cat에 대해 제시한 퀸들 모델 구조를 n중 범주 n‑Cat으로 일반화한다는 점에서 이론적 의미가 크다. 핵심은 “n‑fold nerve”라는 다중심플렉셜 집합을 구성하고, 그 대각선(diagonal) 복합을 통해 약동형을 판정한다는 아이디어다. 저자들은 먼저 n‑fold nerve Nⁿ : n‑Cat → SSet^{Δⁿᵒᵖ}를 정의하고, 대각선 functor diag : SSet^{Δⁿᵒᵖ} → SSet와 합성하여 diag ∘ Nⁿ 가 기존의 Cat‑nerve와 동등한 동기학을 가진다는 것을 보인다. 이 복합이 약동형을 보존한다면, n‑fold functor f : C → D가 “weak equivalence”가 되기 위한 충분조건이 된다.

다음 단계는 모델 구조를 구축하는 것이다. 저자들은 generating cofibrations과 generating trivial cofibrations을 각각
I = {∂Δ^k → Δ^k | 0 ≤ k ≤ n}와
J = {Λ^k_i → Δ^k | 0 ≤ i ≤ k ≤ n}
의 형태로 n‑fold nerve를 통해 n‑Cat에 끌어온다. 이때 “cofibrantly generated”임을 보이기 위해 작은 객체 논리를 활용하고, 모든 푸시아웃과 전이(transfer) 과정을 상세히 검증한다. 특히, 퀸들 전이 이론을 이용해 SSet의 모델 구조를 n‑Cat에 전이시키는 과정에서 “right proper”와 “simplicial” 성질을 유지함을 확인한다.

핵심 기술적 공헌은 “n‑fold Grothendieck construction”이다. 다중심플렉셜 집합 X ∈ SSet^{Δⁿᵒᵖ}에 대해, 저자들은 ∫ⁿ X라는 n‑fold category를 정의하고, 이것이 n‑fold nerve의 왼쪽 역함수(LHS adjoint)임을 증명한다. 이 구축은 각 차원에서의 “category of elements”를 반복적으로 적용함으로써 얻어지며, 복합적인 교차 구조를 보존한다. 중요한 결과는 ∫ⁿ와 Nⁿ가 서로 동형 사상(up to homotopy)이며, 특히 unit η : X → diag ∘ Nⁿ ∘ ∫ⁿ X와 counit ε : ∫ⁿ ∘ diag ∘ Nⁿ → Id가 모두 자연스러운 약동형이라는 점이다. 이는 “homotopy inverse” 관계를 완전히 확립함으로써, n‑fold nerve와 Grothendieck 구축 사이의 adjunction이 Quillen equivalence임을 보장한다.

마지막으로, 저자들은 이 모델 구조가 “left proper”와 “combinatorial”임을 확인하고, 기존의 Thomason 모델 구조와 정확히 일치하는 경우 n = 1을 재현한다. 또한, n‑fold nerve가 “simplicial enrichment”를 보존함을 보여, n‑Cat이 simplicial model category 로서 작동함을 입증한다. 전체적으로, 이 논문은 고차원 범주 이론과 동형론적 모델 구조 사이의 다리를 견고히 놓으며, 다중심플렉셜 집합을 통한 계산적 접근법을 제공한다.