유도 범주는 수학, 특히 동형대수학과 호몰로지 대수학에서 사용되는 개념으로, 한 아벨 범주(abelian category)의 복합체(chain complexes)들 사이의 사상들을 “준동형사상(quasi‑isomorphisms)”에 의해 동일시하여 만든 범주이다.
정의
-
배경
- 아벨 범주 $ \mathcal{A} $ : 사상이 모두 가환군(또는 가환 모듈) 구조를 가지고, 모든 유한한 한계와 공한계를 갖는 범주.
- 복합체 범주 $ \mathbf{C}(\mathcal{A}) $ : 객체가 $\mathcal{A}$의 사슬 복합체(체인 컴플렉스)이며, 사상이 체인 사상(chain map)인 범주.
-
호몰로지 사상
- 복합체 $X^\bullet$와 $Y^\bullet$ 사이의 체인 사상 $f: X^\bullet \to Y^\bullet$가 준동형사상이라 함은 모든 정수 $n$에 대해 유도된 호몰로지 사상 $H^n(f): H^n(X^\bullet) \to H^n(Y^\bullet)$가 동형인 경우이다.
-
유도 범주 $ \mathbf{D}(\mathcal{A}) $
- 복합체 범주 $\mathbf{C}(\mathcal{A})$를 준동형사상을 역원으로 만들면서(즉, 로컬라이즈) 얻어지는 범주이다.
- 형식적으로는 $\mathbf{D}(\mathcal{A}) = \mathbf{C}(\mathcal{A})[S^{-1}]$ where $S$ is the class of all 준동형사상.
주요 특성
- 삼각구조: 유도 범주는 삼각 범주(triangulated category)의 구조를 자연스럽게 상속한다. 즉, 시프트(shift) 사상 $[1]$과 삼각 관계가 정의된다.
- 완비성: 대부분의 경우, 특히 $\mathcal{A}$가 충분히 많은 한계와 공한계를 가질 때 $\mathbf{D}(\mathcal{A})$는 완비(complete)와 완전(cocomplete)인 삼각 범주가 된다.
- 유도함수: 아벨 범주 사이의 왼쪽(또는 오른쪽) 유도함수 $L: \mathcal{A} \to \mathcal{B}$는 유도 범주 차원에서 전체 유도함수 $\mathbf{D}(L): \mathbf{D}(\mathcal{A}) \to \mathbf{D}(\mathcal{B})$를 정의한다.
역사·문맥
- 최초 개념은 알렉산더 그로텐디크(Alexander Grothendieck)와 장르베르 베르데리(Jacques Verdier)가 1960년대 후반에 제시한 유도 함자론(derived functor theory)에서 비롯되었다.
- 베르데리는 이를 체계화하면서 “유도 범주”를 도입하고, “삼각 범주”라는 구조를 정의하였다.
활용 사례
- 대수기하학: 코히모로지 이론, 스키믹(coherent) sheaf들의 유도 범주 $\mathbf{D}^{b}(\text{Coh}(X))$는 변형 이론과 미러 대칭성에서 핵심적이다.
- 대표성 이론: 모듈론에서 유도 범주는 프로젝트(또는 인젝터) 해석을 통한 유도함수(Ext, Tor)의 정의에 사용된다.
- 동형이론: 안정 동형(stable homotopy) 이론과 스펙트럼(spectrum) 이론에서도 유사한 로컬라이제이션 과정을 통해 “유도 범주”와 유사한 구조가 나타난다.
관련 용어
- 준동형사상 (quasi‑isomorphism)
- 삼각 범주 (triangulated category)
- 유도 함수 (derived functor)
- 조건부 유도 범주 (bounded derived category), 기호 $\mathbf{D}^{b}(\mathcal{A})$
참고문헌
- Verdier, J.-L. “Catégories dérivées, état 2.” Séminaire de Géométrie Algébrique du Bois Marie (1963‑1964).
- Gelfand, S. I., Manin, Y. I. Methods of Homological Algebra, Springer, 2nd ed., 2003.
- Hartshorne, R. Residues and Duality, Lecture Notes in Mathematics, vol. 20, Springer, 1966.
※ 본 항목은 수학 분야에서 널리 인정된 개념인 “derived category”(한국어 번역: 유도 범주)를 기반으로 작성되었으며, 현재까지 공신력 있는 학술 자료에서 확인된 내용에 한정한다.
