동형대수학을 위한 카르탄‑에일렌베르크 접근법

초록

이 논문은 강등과 약등 두 종류의 사상으로 구분된 범주를 기본 구조로 삼아, 강등에 대한 확장 성질을 통해 코프리벗 객체를 정의한다. 강·약등이 만족하는 조건 하에 약등에 대한 지역화와 강등에 대한 코프리벗 객체들의 지역화가 동등함을 보이며, 이를 비가법적 상황에서도 파생함수 이론을 확장하는 틀로 활용한다. 주요 사례로는 퀼 모델 범주와 삼중대(트리플) 구조를 가진 함수 범주가 제시되고, 특히 cdg 대수의 필터된 최소 모델 존재와 비가법적 함수에 대한 비순환 모델 정리가 도출된다.

상세 분석

논문은 먼저 ‘강등(strong equivalence)’과 ‘약등(weak equivalence)’이라는 두 종류의 사상을 지정한 범주 C를 설정한다. 강등은 전통적인 호모토피 관계와 유사하지만, 반드시 호모토피가 존재한다는 전제 없이 정의될 수 있다. 약등은 보다 넓은 동형대수학적 동등성을 포괄한다. 저자는 강등에 대해 ‘확장 성질(extension property)’을 요구한다. 이는 전통적인 사영 모듈이 만족하는 사영 사상에 대한 리프팅(lifting) 성질과 대조되며, 여기서는 코프리벗 객체(cofibrant objects)를 정의하는 핵심 조건이 된다. 구체적으로, 객체 X가 코프리벗이라 함은 모든 강등 p: Y→Z와 사상 f: X→Z에 대해, 강등 p를 통과하는 사상 g: X→Y가 존재하여 p∘g = f가 되는 상황을 말한다.

다음으로 ‘카르탄‑에일렌베르크 범주(Cartan‑Eilenberg category)’를 정의한다. 이는 (C, S, W)라는 삼중구조가 다음 두 조건을 만족할 때 성립한다. 첫째, 약등 W에 대한 지역화 C