삼각형 범주와 유도 범주의 입문

초록

본 강의노트는 가법 범주의 기본 개념부터 시작해 삼각형 범주의 정의와 주요 성질을 체계적으로 소개한다. 이어서 호몰로지 이론에서 유도 범주를 구성하는 과정과 그 활용을 설명하고, 마지막 장에서는 틸팅 이론의 기본 아이디어와 간단한 예시를 제시한다. 각 장마다 핵심 개념을 확인할 수 있는 연습문제가 포함되어 있다.

상세 분석

이 강의노트는 현대 대수학·기하학에서 핵심적인 도구인 삼각형 범주와 유도 범주를 빠르게 습득하도록 설계되었다. 첫 장에서는 가법 범주의 정의를 복습하면서, 사상들의 직접합, 영객체, 그리고 가법 구조가 보존되는 함자의 개념을 명확히 한다. 이어지는 섹션에서는 복소체(Complex)와 사슬 사상(chain map)의 개념을 도입하고, 호몰로지 사슬 복합체의 동형사상과 사슬 동형사상 사이의 차이를 강조한다. 이러한 기초 위에 호모토피 범주(K‑homotopy category)를 정의하고, 사슬 복합체 사이의 호모토피 사상들을 동등시함으로써 삼각형 구조를 만들기 위한 준비를 마친다.

삼각형 범주의 핵심은 이동함자(shift functor)와 정확삼각(exact triangle)이다. 저자는 이동함자를 복소체의 차수를 한 칸 올리는 방식으로 정의하고, cone 사상을 통해 정확삼각을 구성한다. 이때 cone은 사슬 복합체의 표준적인 구성요소이며, 정확삼각의 회전성(rotation)과 삼각형 공리(TR1~TR4)를 구체적인 예시와 함께 검증한다. 특히, TR4(Octahedral axiom)의 직관적 이해를 돕기 위해 사슬 복합체의 사슬 사상 합성에 대한 도식적 설명을 제공한다.

다음 장에서는 유도 범주(Derived category)를 도입한다. 여기서는 사슬 복합체의 quasi‑isomorphism을 역원으로 삼아 호모토피 범주를 국소화(localization)함으로써 유도 범주를 얻는다. 저자는 이 과정에서 모델 범주론의 기본 아이디어를 간략히 언급하고, 유도 범주의 핵심 성질인 완전성(completeness)과 삼각형 구조 보존을 증명한다. 또한, 유도 함자(Derived functor)의 정의와 전통적인 오른쪽/왼쪽 유도 함자(Right/Left derived functor)의 구성을 구체적인 예(예: 텐서곱의 유도, Hom의 유도)와 함께 설명한다.

마지막 장에서는 틸팅 이론(tilting theory)의 기본 개념을 소개한다. 틸팅 객체(tilting object)의 정의와 그에 대응하는 틸팅 모듈을 통해 유도 범주 사이의 등가(equivalence)를 구축하는 방법을 제시한다. 특히, 1‑tilting과 2‑tilting의 차이를 구분하고, 대표적인 예로 유한 차원 대수의 모듈 범주와 그 유도 범주 사이의 틸팅 변환을 서술한다. 각 장 말미에 배치된 연습문제는 독자가 직접 삼각형 공리 검증, cone 구성, 유도 함자 계산 등을 수행하도록 유도한다. 전체적으로 이 노트는 삼각형 범주와 유도 범주의 핵심 구조를 직관과 형식 양면에서 균형 있게 제시함으로써, 독자가 이후 고급 주제(예: t‑structure, perverse sheaves, dg‑category)로 자연스럽게 진입할 수 있는 발판을 제공한다.