실현 가능한 호몰로지 콜리밋의 완전한 해석

초록

이 논문은 모든 모델 범주에서 Bousfield‑Kan 방식으로 정의된 호몰로지 콜리밋이 실제로는 절대적인 좌파 유도함수임을 증명한다. 이를 위해 상대 범주의 2‑카테고리 구조를 이용해 “실현 가능한 호몰로지 콜리밋”이라는 개념을 도입하고, 정확한 합동을 갖는 경우에 한해 이러한 콜리밋이 Bousfield‑Kan 및 Voevodsky의 공식과 동일한 형태, 즉 ‘기하학적 실현’과 ‘단순 교체’의 합성으로 표현될 수 있음을 보인다. 또한 이 결과를 Grothendieck 파생자와 연결시켜, 실현 가능한 콜리밋이 Grothendieck 파생자의 좌파 파생자와 동등함을 확인한다.

상세 분석

본 논문은 호몰로지 콜리밋을 두 가지 전통적인 관점—구체적인 구성과 보편적 유도함수—사이의 격차를 메우는 데 초점을 맞춘다. 먼저 상대 범주 (C,W)를 정의하고, 이를 객체와 약한 동등성(weak equivalences)으로 이루어진 2‑카테고리 RelCat에 배치한다. 여기서 1‑사상은 약동등성을 보존하는 함수, 2‑사상은 점wise 약동등성에 의해 국소화된 자연 변환으로 정의한다. 이 구조를 통해 “실현 가능한 호몰로지 콜리밋”(realizable homotopy colimit)이라는 새로운 개념을 도입한다. 실현 가능성은 두 단계로 기술된다: (1) 단순화된 교체(simplicial replacement) ∐_I 를 적용한 뒤, (2) Δ‑작용을 통해 얻은 ‘기하학적 실현’ s:Δ∘C→C (단순함수)와의 합성으로 콜리밋을 구현한다.

핵심 정리는 다음과 같다. 모델 범주 (M,W) 에 대해 Bousfield‑Kan 호몰로지 콜리밋 hocolim_{BK} 은 정확히 이러한 실현 가능한 콜리밋이며, 이는 절대적인 좌파 유도함수(colim)와 동등함을 보인다. 증명은 먼저 Voevodsky가 제시한 Δ‑폐쇄 클래스에 대한 호몰로지 콜리밋이 실현 가능함을 Illusie의 decalage와 bisimplicial 구조를 이용해 직접 구성함으로써 확보한다. 이어서 ‘단순함수’ s 가 존재하면 모든 작은 범주 I에 대해 hocolim_I ≃ s ∘ ∐_I 라는 자연 동형이 존재함을 보인다. 이는 ‘동형 좌측 코피버스’(homotopy right cofinal) 변환에 대해 불변성을 의미한다.

또한, 실현 가능한 콜리밋이 Grothendieck 파생자(derivator)의 좌파 파생자와 일치함을 증명한다. 구체적으로, (C,W) 가 합동을 닫고 단순함수를 갖는 경우, 파생자 D 는 ‘weak right derivator’가 되며, 이는 모든 호몰로지 좌측 Kan 확장이 점wise로 계산될 수 있음을 의미한다. 모델 범주에 적용하면, Bousfield‑Kan 공식이 단순히 Q‑코프리벗 교체와 신경망(Nerve) N(i/I) 의 텐서곱으로 표현되는 ‘수정된’ 형태로 나타난다.

결과적으로, 논문은 호몰로지 콜리밋의 구체적 구성과 보편적 파생자 이론을 완전히 연결시켜, 실현 가능한 콜리밋이 정확히 Bousfield‑Kan 및 Voevodsky 방식과 동등함을 보이고, 이를 통해 모델 범주와 Grothendieck 파생자 양쪽에서 호몰로지 콜리밋을 다루는 통합된 프레임워크를 제공한다.