함수 범주에서의 고전적 틸팅 이론 확장

초록

**
본 논문은 스켈레톤이 작은 전가산 범주 C 에 대한 함수 범주 Mod(C) 에 고전적 틸팅 개념을 일반화한다. 틸팅 서브카테고리 T 의 정의와 그에 따른 Brenner‑Butler 정리, 파생동형사상, 그리고 무한 quiver와 Koszul‑함수 범주에 대한 적용을 제시한다.

**

상세 분석

**
논문은 먼저 전가산 소규모 범주 C 와 그에 대한 모듈 범주 Mod(C) (즉, C의 반변함수들을 아벨 군으로 보내는 함자)를 소개하고, 이 범주가 충분히 많은 한계와 공한계를 가지며 (Ab5) 완전·공완전함을 강조한다. 특히 C 가 의사핵(pseudokernel)을 가질 때 mod(C) (유한히 제시된 함자들의 전류) 가 아벨 범주가 됨을 이용해, 전통적인 모듈 이론에서의 ‘유한 제시’와 ‘프로젝티브 커버’ 개념을 함수 범주에 그대로 옮긴다.

다음으로 저자는 ‘틸팅 카테고리’ T 를 정의한다. T는 Mod(C) 의 전가산 서브카테고리이며, (i) pd T ≤ 1, (ii) Ext¹_C(T_i,T_j)=0, (iii) 모든 C∈C에 대해 대표함자 C(–,C) 가 0→C(–,C)→T₁→T₂→0 형식의 T‑해석을 갖는다는 세 조건을 만족한다. 이는 고전적인 알제브라 Λ‑모듈 에서의 틸팅 모듈 정의와 정확히 일치한다.

핵심 정리는 Brenner‑Butler 정리의 함수 범주 버전이다. 저자는 Bongartz의 증명을 일반화하여, T가 위 조건을 만족하면 φ(M)=Hom_C(T,M) 는 좌측 적당한 어뎁터 –⊗_T 를 가지며, 이 어뎁터는 파생함수 Torⁿ_T 와 Extⁿ_C 사이의 전형적인 관계를 보존한다. 특히 Ext¹_C(M,–) 와 φ 가 임의의 합과 교환함을 보이며, 이는 파생동형사상에 대한 ‘tilting equivalence’를 구축한다.

또한 저자는 C가 Krull‑Schmidt, Hom‑finite, 그리고 dualizing(즉, D : (C^op,mod R)↔(C,mod R) 가 대칭)일 때, mod(C) 와 mod(C^op) 가 충분히 많은 사영·주입 객체를 갖고, 틸팅에 의해 전역 차원(global dimension)과 그루톤 그룹(Grothendieck group)이 보존된다는 결과를 얻는다.

마지막으로 무한 quiver(관계가 없는 경우)와 Koszul‑함수 범주에 대한 적용을 제시한다. 무한 Dynkin quiver에 대해 T를 구성하면, 그에 대응하는 틸팅 카테고리는 Auslander‑Reiten 구성요소를 완전히 기술하고, Koszul 대칭성을 이용해 정규화된 Auslander‑Reiten 컴포넌트의 구조를 계산한다. 이는 기존의 유한 차원 알제브라에 대한 틸팅 이론을 훨씬 넓은 범위의 함수 범주로 확장한 의미를 가진다.

**