코시몰리컬 내림 차수와 단순함수 이론

초록

이 논문은 고정된 범주 D의 단순 객체들로 이루어진 범주 sD에서 단순함수 s: sD → D를 이용해 동형 구조를 D로 옮기는 방법을 연구한다. Bousfield‑Kan 동형 콜리밋과 Deligne의 혼합 호지 복합체를 예시로 들며, 단순함수가 국소화된 범주들 사이에 동등성을 유도함을 증명한다. 또한 sD에 브라운 코피베런트 객체 구조를 부여하고, 이를 통해 D의 국소화된 범주에 코섬 시퀀스를 정의해 안정적 경우 베르디에 삼각구조를 얻는다.

상세 분석

본 연구는 먼저 범주 D에 대한 단순 객체들의 범주 sD를 구성하고, 이들에 대한 “단순함수”(simple functor) s: sD → D를 정의한다. 단순함수는 전통적인 동형 콜리밋(homotopy colimit)의 범용화로, Bousfield‑Kan 동형 콜리밋이 Quillen 모델 범주에서 제공하는 사례와, Deligne가 제시한 혼합 호지 복합체의 단순함수(Deligne simple)라는 두 가지 비모델적 예시를 포괄한다. 논문은 s가 “동형적”인 의미에서 s가 보존하는 약한 등가 사상과, s가 반전 가능한 사상들을 어떻게 보존하는지를 정밀히 분석한다. 핵심 정리 중 하나는 s가 sD와 D의 각각의 위상동등화(weak equivalence)와 사상들의 로컬라이제이션을 통해 유도된 호몰로지 범주 사이에 동등함(equivalence)을 만든다는 것이다. 이를 증명하기 위해 저자는 먼저 sD에 브라운 코피베런트 객체(Brown category of cofibrant objects) 구조를 부여한다. 이 구조는 코피베런트 객체와 약한 등가 사상의 2‑사이클 조건을 만족하도록 설계되어, s가 코피베런트 사상들을 보존하고, 특히 사상들의 푸시아웃(pushout)과 풀백(pullback) 연산을 통해 삼각구조를 만들 수 있게 한다.

다음으로 논문은 이러한 구조를 이용해 D의 로컬라이즈드 범주 D