쿼시 카테고리의 강체화와 목걸이 모델

본 논문은 쿼시 카테고리(K)를 강체화하여 simplicial category C(K) 로 변환하는 새로운 방법을 제시한다. 기존 Lurie의 강체화는 C가 sSet_J (Joyal 모델 구조)와 sCat 사이의 좌측 적응쌍의 좌측 사상으로 정의되었으며, C(K)는 Δⁿ 의 colimit을 이용해 구성된다. 그러나 colimit 계산이 복잡하고 매핑 공간의 구체적 형태가 불명확하다는 단점이 있다. 저자들은 이를 극복하기 위해 “목걸이(Necklace)”라는 특수한 simplicial set을 도입한다. 목걸이는 Δⁿ⁰ ∨ Δⁿ¹ ∨ … ∨ Δⁿᵏ 형태로, 각 Δⁿᵢ 의 마지막 꼭짓점이 다음 Δⁿᵢ₊₁ 의 첫 꼭짓점과 붙어 있다. 목걸이의 초기·최종 꼭짓점을 각각 α_T, ω_T 라고 표기한다. 목걸이와 일반 simplicial set S 사이의 사상들을 (Nec ↓ S)ₐ,ᵦ 라는 카테고리로 모은 뒤, 이 카테고리의 클래식 신경(N) 을 취해 Cₙₑc(S)(a,b) := N((Nec ↓ S)ₐ,ᵦ) 로 정의한다. 이렇게 하면 Cₙₑc(S) 가 객체 집합 S₀ 를 갖는 simplicial category 가 된다. 주요 정리(Theorem 1.2)는 모든 S 에 대해 Cₙₑc(S) 와 Lurie가 정의한 C(S) 사이에 자연스러운 weak equivalence(정확히는 DK‑equivalence)의 zig‑zag 가 존재한다는 것이다. 이는 두 모델이 동일한 호모토피 이론을 제공함을 의미한다. 정리 1.3에서는 C(S)(a,b) 의 구체적 구조를 설명한다. n‑단순체는 (T → S, flag T) 의 동치류이며, 여기서 T 는 목걸이, T → S 는 α_T ↦ a, ω_T ↦ b 를 만족하는 사상, flag T 은 T 의 정점들의 체인 T₀ ⊆ … ⊆ Tₙ 이다. 얼굴 사상은 체인에서 원소를 제거하고, 퇴화 사상은 원소를 복제한다. 이 설명을 통해 C(S) 의 매핑 공간이 실제로 1‑카테고리의 신경이라는 점이 명백해진다. 다음으로 저자들은 이 모델을 이용해 두 가지 기본적인 성질을 재증명한다. 첫 번째는 곱 보존성(Theorem 1.4 (a))이다. C(X×Y) → C(X)×C(Y) 가 DK‑equivalence 임을 보이기 위해, 목걸이의 곱 구조와 flag 의 직교성을 이용한다. 두 번째는 Joyal 동형성 보존성(Theorem 1.4 (b))이다. X → Y 가 Joyal equivalence 이면, 각 매핑 공간 C(X)(a,b) → C(Y)(a,b) 가 Kan equivalence 가 되고, 따라서 전체 C(X) → C(Y) 가 DK‑equivalence 가 된다. 논문은 또한 “ordered simplicial set”이라는 개념을 도입한다. 이는 0‑단순체 사이에 반대칭 관계가 없도록 순서를 부여한 simplicial set 으로, 목걸이의 이미지가 다시 목걸이가 되는 성질을 갖는다. 이와 함께 “simple inclusion”(목걸이 경로가 A 안에 있으면 전체가 A 안에 있어야 함)이라는 정의를 통해, 목걸이와 일반 simplicial set 사이의 사상 구조를 정밀히 제어한다. Lemma 3.4 등에서 simple inclusion 이 ∂Δᵏ → Δᵏ 와 같은 기본 사상에 대해 lifting property 를 가짐을 보인다. 부록에서는 (F U)·(