삼각범주에서 강체 객체를 통한 지역화와 모듈 범주의 새로운 연결고리

초록

강체 객체 T를 갖는 Hom‑유한 삼각범주 C를 T에 대한 동형 사상들의 핵 X_T 로 나눈 몫 C/X_T는 전미적(preabelian)이며, 그 정규 사상들은 좌·우 분수법(calculus of fractions)을 만족한다. 이 정규 사상들의 가브리엘‑지스만 지역화는 아벨ian 범주가 되며, 이는 End_C(T)ᵒᵖ‑모듈 범주와 동형이다.

상세 분석

본 논문은 삼각범주 C와 그 안의 강체 객체 T(즉 Ext¹(T,T)=0)를 출발점으로, Hom_C(T,–)의 핵에 해당하는 객체들의 전이 X_T 를 정의한다. 먼저 C/X_T 가 전미적(preabelian)임을 증명한다. 이는 모든 사상이 핵과 코핵을 갖는다는 의미이며, 삼각구조와 와카마츠 보조정리를 이용해 사상의 단사·전사 조건을 삼각 관계와 연결시킨다. 이후 정규 사상(단사이면서 전사인 사상)들의 집합 R 에 대해, R 이 좌·우 분수법을 만족함을 보인다. 핵심은 R 이 C/X_T 의 적분성(integrality)과 충분한 사영·주입 객체 존재에 의해 R‑지역화가 가브리엘‑지스만 방식으로 정의될 수 있다는 점이다. R‑지역화 (C/X_T)_R 은 자동으로 아벨ian이 되며, 여기서 프로젝트 객체는 T의 가산 폐쇄(add T)에서 유도된 객체들임을 확인한다. 마지막으로, (C/X_T)_R 과 End_C(T)ᵒᵖ‑모듈 범주 사이에 완전한 동형을 구축한다. 이는 기존에 Hom_C(T,–)가 뒤집는 사상들의 클래스 S 로 직접 지역화를 시도했을 때 분수법이 성립하지 않던 문제를, 먼저 C/X_T 로 몫을 취함으로써 해결한다는 새로운 전략을 제시한다. 또한, 클러스터‑틸팅 경우와의 비교, Nakajima의 결과와의 연관성, 그리고 Rump의 적분·반정규 사상 이론을 활용한 전반적인 구조 해석을 제공한다. 결과적으로, 강체 객체를 통한 삼각범주의 정규 사상 지역화가 모듈 범주와 정확히 일치함을 보이며, 이는 삼각범주와 아벨ian 모듈 이론 사이의 다리 역할을 한다.