분할함수와 파생범주에서의 불변성 및 일반 CCT 정리

초록

이 논문은 Gerstenhaber‑Schack의 불변성 정리를 확대하여, 대수 다이어그램 A와 그 분할 A′ 사이의 분할(functor d*)가 적절히 정의된 파생범주 Dₖ(A‑mod)와 Dₖ(A′‑mod) 사이에서 전사·전단(full and faithful)함을 보인다. 이를 위해 허용 가능한(allowable) 사상과 상대적 프로젝트베(relative projective) 모듈을 이용한 상대적 파생범주를 구축하고, Yoneda‑cohomology를 Ext와 동일시한다. 결과적으로 일반 Cohomology Comparison Theorem(CCT)의 새로운 형태가 얻어진다.

상세 분석

논문은 먼저 k-대수와 작은 범주 C 위의 대수 다이어그램 A:Cᵒᵖ→k‑alg을 정의하고, A‑mod을 왼쪽 A‑모듈들의 아벨 범주로 설정한다. 여기서 허용 가능한(allowable) 사상 η:M→N은 각 객체 i∈C에 대해 ηᵢ가 k‑모듈 분할을 갖는다는 조건을 만족한다. 이러한 사상은 상대적 프로젝트베 모듈을 정의하는 데 핵심이며, 모든 A‑모듈은 허용 가능한 상대적 프로젝트베 해석(resolution)을 가질 수 있음을 Gerstenhaber‑Schack의 GSB(Generalized Simplicial Bar) 해석을 인용해 보인다.

다음으로 저자는 “상대적 파생범주” Dₖ(A‑mod)를 구축한다. Kᵒᵐ(A‑mod)은 A‑모듈 복합체들의 동형 사상 범주이며, 여기서 상대적 준동형사상(relative quasi‑isomorphism)은 각 i∈C에 대한 복합체의 콘( cone )가 k‑모듈 수준에서 수축가능(contractible)인 경우로 정의한다. Proposition 3.2와 3.3을 통해 이러한 사상들의 클래스 Σ가 로컬라이징(localizing)임을 증명하고, 따라서 Σ를 역원으로 강제한 범주 Dₖ(A‑mod)=Kᵒᵐ(A‑mod)