지역적으로 유한한 삼각범주와 그 구조 이론

본 논문은 “지역적으로 유한한(locally finite) 삼각범주”라는 특수한 클래스를 체계적으로 탐구한다. 먼저 서론에서 지역적 유한성의 정의와 연구 동기를 제시한다. 삼각범주 \(T\)가 지역적으로 유한하다는 것은 \(T\)와 그 반대 범주 \(T^{op}\)가 모두 지역적으로 노에테리언이라는 뜻이며, 이는 모든 대표함수 \(\operatorname{Hom}_T(-,X)\)가 유한 길이의 \(T\)-모듈, 즉 가군의 직접합으로 분해될 수 있음을 의미한다. 이 정의는 Gabriel의 고전적인 결과와 Xiao–Zhu의 삼각범주 버전을 일반화한 것이다. 제2장에서는 지역적으로 노에테리언과 지역적으로 유한한 삼각범주의 기본적인 동등조건을 제시한다. 정리 2.1은 다음과 같은 세 가지 조건을 동등하게 만든다: (1) 모든 코호몰로지 함자가 대표함수들의 직접합으로 분해, (2) 각 객체가 지역적 엔도모르피즘 환을 갖는 비분해 객체들의 유한 직합으로 분해되고, 비동형 사슬이 일정 길이 이후 사라짐, (3) 아이디엠포턴트가 분리되고 아벨리화 \(A(T)\) 의 모든 객체가 노에테리언. 증명은 다중 객체를 갖는 고리 이론과 fp‑injective 모듈의 성질을 활용한다. 예제 2.2에서는 무한 사슬을 갖는 quiver \(\Gamma:1\to2\to3\to\cdots\) 의 유한 차원 표현 범주 \(A\) 를 고려하고, 그 유계 파생 범주 \(D^b(A)\)가 지역적으로 노에테리언이지만 반대 범주는 그렇지 않음을 보여준다. 이는 지역적 유한성의 비대칭성을 강조한다. 다음으로 지역적으로 유한성의 정의를 제시한다(정의 2.3). 여기서는 \(T\)와 \(T^{op}\)가 모두 지역적으로 노에테리언이면 \(T\)가 지역적으로 유한하다고 한다. 이와 동등하게, 각 대표함수가 유한 길이 \(T\)-모듈이라는 조건이 제시된다. Proposition 2.3은 Auslander가 제시한 세 가지 조건(객체의 유한 직합 분해, Hom‑비제로 객체의 유한성, End‑모듈의 유한 길이)과 동등함을 증명한다. 다양한 예시가 제시된다: (1) 아이디엠포턴트가 분리되고 모핑스페이스가 유한 차원인 \(k\)-선형 삼각범주, (2) 유한 차원 대수의 파생 범주가 Dynkin 유형일 때만 지역적으로 유한, (3) 유전적 아벨리안 범주의 파생 범주, (4) 고르텐스틴 링의 최대 코헨‑맥얼레이 범주, (5) Dynkin quiver의 궤도 카테고리(클러스터 카테고리), (6) \(\mathbb{Z}/4\mathbb{Z}\) 위의 사영 모듈 범주 등. 제2절에서는 두꺼운 부분범주와 직교 부분범주(\(S^\perp\), \({}^\perp S\))에 대한 기본 성질을 정리한다(Lemma 2.4). 특히 두꺼운 부분범주의 포함 사상이 좌·우 사상을 가질 때, \({}^\perp(S^\perp)=S\)가 성립한다. 정리 2.5는 지역적으로 노에테리언인 삼각범주에서 모든 두꺼운 부분범주의 포함이 오른쪽 사상을 갖는다는 중요한 결과를 증명한다. 증명은 \(U/X\)라는 카테고리를 이용해 colimit을 계산하고, 아벨리화 \(A(T)\) 의 노에테리언성을 활용한다. 이어서 Corollary 2.6은 \({}^\perp(U^\perp)=U\)임을 보이며, 예제 2.7은 일반적으로 이 등식이 깨질 수 있음을 보여준다(정수 링의 파생 범주에서 torsion 부분이 전부를 차지). Corollary 2.8은 두꺼운 부분범주와 그 몫 범주가 모두 지역적으로 노에테리언임을 정리한다. 제3장에서는 지역적으로 노에테리언 삼각범주에 대한 Auslander–Reiten 이론을 전개한다. 라디칼 사슬 \(\operatorname{Rad}_T^n(-,X)\)가 유한 단계에서 사라짐을 이용해 AR‑시퀀스와 AR‑삼각형의 존재를 보이고, AR‑쿼버가 유한한 컴포넌트와 화살표만을 갖는다는 점을 강조한다. 제4장에서는 두꺼운 부분범주의 격자 구조를 연구한다. 지역적 유한성 하에서 격자는 완전 격자이며, 포함 사상이 좌·우 사상을 가지므로 격자 내에서 보조 연산(보조 사상, 정규화 등)이 잘 정의된다. 특히 유한 생성 삼각범주에서는 격자가 유한함을 증명한다. 제5장에서는 “단순 연결(simple connected)” 삼각범주를 정의하고, 이 경우 격자가 비교교차 분할(non‑crossing partitions) 격자와 동형임을 보인다. 이는 AR‑쿼버가 Dynkin 유형이며, 그 정점들의 비교교차 분할과 일대일 대응함을 이용한다. 결과적으로 클러스터 카테고리와 같은 중요한 예시에서 격자 구조를 명시적으로 기술할 수 있다. 제6장에서는 두꺼운 부분범주와 비교교차 분할 사이의 관계를 심화한다. 비교교차 분할은 Coxeter 그룹의 반사군과 연관된 격자이며, 삼각범주의 서브카테고리와 정확히 일치한다는 점을 보인다. 부록 A에서는 Auslander–Reiten 이론의 기본 개념을 정리하고, 본문에서 사용된 주요 정의와 정리를 보충한다. 전체적으로 논문은 지역적으로 유한한 삼각범주의 구조를 Auslander–Reiten 이론과 두꺼운 부분범주의 격자 이론을 통해 깊이 있게 분석한다. 주요 기여는 (1) 지역적 유한성의 여러 동등조건을 명확히 제시, (2) 두꺼운 부분범주의 포함이 좌·우 사상을 갖는 일반적 정리, (3) 단순 연결 경우 격자와 비교교차 분할의 동형성, (4) 다양한 예시를 통해 이론의 적용 범위를 넓힌 점이다. 이러한 결과는 파생 범주, 클러스터 카테고리, 최대 코헨‑맥얼레이 범주 등 현대 대수학·표현론에서 중요한 구조들을 통합적으로 이해하는 데 기여한다.