부분 모델 범주와 완전 세갈 공간

초록

이 논문은 약화된 모델 범주 공리를 만족하는 ‘부분 모델 범주’를 정의하고, 이러한 범주에 대해 Rezk의 완전 세갈 공간 결과를 일반화한다. 또한 모든 완전 세갈 공간이 부분 모델 범주의 심플리컬 신경과 Reedy 동등함을 갖는다는 역결과를 증명한다.

상세 분석

논문은 먼저 ‘부분 모델 범주(partial model category)’라는 새로운 개념을 도입한다. 기존 모델 범주의 핵심 공리 중에서 약한 동등성(weak equivalence)만을 다루는 두 가지 조건, 즉 ‘two‑out‑of‑six’ 성질과 ‘3‑arrow calculus’를 요구한다. two‑out‑of‑six은 세 연속 사상 r, s, t에 대해 sr와 ts가 약한 동등이면 r, s, t, tsr 모두가 약한 동등임을 의미하며, 이는 two‑out‑of‑three와 동형 사상 포함을 자동으로 보장한다. 3‑arrow calculus는 두 개의 부분 범주 U, V ⊂ W(약한 동등성의 집합)를 선택해, U는 푸시아웃에 대해 닫혀 있고 V는 풀백에 대해 닫혀 있으며, 모든 w∈W가 functorial하게 w = v ∘ u (u∈U, v∈V) 로 분해될 수 있음을 요구한다. 이러한 구조는 모델 범주의 코프리베이션(trivial cofibration)과 페이브리케이션(trivial fibration)의 역할을 부분적으로 대체한다.

다음으로 저자는 Charles Rezk가 증명한 “simplicial model category의 simplicial nerve를 Reedy fibrant replacement 하면 완전 세갈 공간이 된다”는 정리를 부분 모델 범주에 그대로 적용한다. 핵심 아이디어는 Rezk의 원 증명에서 사용된 ‘세갈 조건(Segal condition)’을 푸시아웃·풀백 폐쇄성과 3‑arrow calculus만으로도 충분히 검증할 수 있다는 점이다. 구체적으로, k≥2에 대해 A_k 라는 카테고리를 정의하고, 이들의 pullback 사각형이 homotopy pullback임을 Quilen의 정리 B³(동형 풀백에 관한 결과)를 이용해 보인다. 여기서 A_k와 B_k 사이의 포함 i: A’_k → B_k 가 동형동등임을 보이기 위해, U와 V의 분해와 푸시아웃·풀백 폐쇄성을 활용한 명시적 zig‑zag을 구성한다. 이 과정에서 ‘partial model’ 구조만으로도 필요한 동형 풀백 사각형을 얻을 수 있음을 확인한다. 완전성(completeness) 부분은 부분 모델 범주가 이미 saturated(동형 사상 ⇔ 약한 동등성)임을 이용해 Rezk의 기존 논증을 그대로 적용한다.

역방향 결과는 “모든 완전 세갈 공간은 어떤 부분 모델 범주의 심플리컬 신경과 Reedy 동등하다”는 명제이다. 이를 위해 저자는 ‘relative Yoneda embedding’ y: (C,W) → S^{C^{op},W^{op}} 를 정의하고, 그 이미지 E_y 가 다시 부분 모델 범주임을 보인다. 중요한 점은 E_y 가 ‘homotopically full’ 하면서도 ‘diagram of simplicial sets’ 범주 안에 포함된다는 것이다. 이때 y는 DK‑equivalence(즉, simplicial localization이 동형동등)임을 증명함으로써, 원래의 완전 세갈 공간 X와 N(E_y) 사이에 Reedy (또는 Rezk) 동등성을 구축한다. 마지막으로, RelCat와 sS 사이의 adjunction(K, N)와 Reedy‑fibrant replacement, 그리고 Rezk‑equivalence 사이의 관계를 이용해 전체 사슬을 완성한다.

이 논문은 모델 범주의 약화된 형태만으로도 고차 동형 이론을 충분히 전개할 수 있음을 보여준다. 두 가지 핵심 조건(two‑out‑of‑six, 3‑arrow calculus)이 충분히 강력하여, 기존의 복잡한 코프리베이션·페이브리케이션 구조를 대체한다. 따라서 모델 범주 이론을 보다 넓은 상대 범주(relative category) 환경에 적용할 수 있는 새로운 틀을 제공한다.