풍부한 범주의 동형 이론

초록

주어진 단일 모노이달 모델 범주 위에 작은 풍부한 범주들의 Quillen 모델 구조 존재 조건을 제시하고, 두 객체를 가진 코피브런트 풍부 범주의 “구간 코피브런시 정리”를 핵심으로 삼아 기존의 simplicial, topological, dg, spectral 범주 모델들을 통합적으로 설명한다.

상세 요약

이 논문은 풍부한 범주(enriched categories)를 다루는 동형 이론을 일반적인 모노이달 모델 범주 𝓥 위에 체계화한다. 핵심은 “구간 코피브런시 정리(Interval Cofibrancy Theorem)”로, 두 객체만을 갖는 𝓥‑풍부 범주가 코피브런트이면 그 내부 동형 사상들이 𝓥‑모델 구조의 구간 객체와 동등하게 행동한다는 사실을 밝힌다. 이 정리는 모델 구조를 구축할 때 필요한 두 가지 기술적 조건을 제공한다. 첫째, 𝓥가 코피브런트 생성이며 단일성(unit)과 푸시아웃 곱(pushout‑product) 공리를 만족해야 한다. 둘째, 모노이달 모델 범주가 모노이드 공리(mon​oid axiom)를 만족하고, 모든 객체가 fibrant 또는 cofibrant 인 경우에 한해 Dwyer‑Kahn 등가성(Dwyer‑Kan equivalences)이 적절히 정의된다. 논문은 이러한 전제 하에 작은 𝓥‑풍부 범주 전체에 대해 ‘객체‑동형(weak equivalence)’을 Dwyer‑Kahn 등가성으로, ‘코피브런트’와 ‘피브런트’를 각각 𝓥‑모델 구조의 코피브런트·피브런트 사상으로 정의한다. 구간 코피브런시 정리를 이용하면 두 객체를 가진 풍부 범주의 코피브런트 교체가 가능한데, 이는 복잡한 다중 객체 경우에도 단계별 ‘gluing’ 과정을 통해 모델 구조를 전이시킬 수 있게 한다. 특히, 이 정리는 기존에 개별적으로 다루어졌던 simplicial categories(보통 sSet 위), topological categories(Top 위), dg‑categories(Chain complexes 위), spectral categories(스펙트럼 위)의 모델 구조를 하나의 일반적 프레임워크 안에 끌어들인다. 논문은 또한 구간 객체 I ∈ 𝓥가 cofibrant이며, I‑tensor이 동형 사상을 보존한다는 추가 가정을 통해 ‘homotopy invariant’한 mapping spaces를 구성하고, 이를 통해 ‘homotopy limit/colimit’ 이론을 풍부 범주 수준으로 확장한다. 결과적으로, 이 작업은 풍부 범주들의 호몰로지 이론을 보다 일반적인 모노이달 환경에 적용할 수 있는 토대를 마련한다는 점에서 큰 의미를 가진다.