삼각형 범주에서의 Popescu Gabriel 정리

초록

본 논문은 Neeman이 정의한 잘 생성된 대수적 삼각형 범주가 작은 미분 그레이드(dg) 범주의 파생 범주를 통해 완전하게 기술될 수 있음을 증명한다. 즉, 모든 이러한 삼각형 범주는 적절한 dg‑범주의 파생 범주의 로컬라이제이션으로 표현될 수 있다.

상세 분석

논문은 먼저 Grothendieck 아벨리안 범주의 Popescu‑Gabriel 정리를 삼각형 범주로 일반화하려는 동기를 제시한다. 여기서 핵심 개념은 ‘잘 생성된(well generated)’ 삼각형 범주와 ‘대수적(algebraic)’ 삼각형 범주이다. Neeman의 잘 생성된 이론에 따르면, 삼각형 범주는 일정한 카디널리티를 갖는 생성 집합을 통해 완전하게 기술될 수 있다. Keller는 대수적 삼각형 범주를 ‘dg‑범주’의 파생 범주와 동형인 경우로 정의했으며, 이는 모델 구조와 호모톱 이론을 활용해 복잡한 삼각형 구조를 다루는 강력한 도구를 제공한다.

저자는 먼저 작은 dg‑범주 A를 선택하고, 그 파생 범주 D(A)를 구성한다. D(A)는 완전하고 코플렉스한 삼각형 구조를 가지며, 컴팩트 객체들의 집합이 생성자를 이룬다. 이어서 ‘로컬라이제이션’이라는 과정을 통해 D(A)에서 특정 클래스 S의 객체들을 강제로 동등시켜 새로운 삼각형 범주 T = D(A)