함수적 접근으로 만든 프뢰베니우스 범주와 엠안정 범주

초록

이 논문은 정확한 카테고리 (\Ascr)와 (\Bscr) 사이의 정확한 함자 (M)에 대해, 적절한 좌·우 adjunction 가정 하에 (\Ascr)의 객체 중 (MY) 형태의 직접 인수들을 모아 프뢰베니우스 범주를 구성한다. 이를 통해 (\Ascr)만을 이용한 (M)-안정 범주를 정의하고, 삼각형 카테고리 버전도 제시한다. 마지막으로 Keller‑Vossieck 정리를 이용해 두 정의가 일치함을 보인다.

상세 분석

논문은 먼저 (\Ascr)와 (\Bscr)를 정확한 카테고리로 설정하고, (\Ascr)가 카루비안(즉, 모든 아이디empotent가 분리되는)임을 가정한다. 핵심은 정확한 함자 (M:\Bscr\to\Ascr)가 좌·우 adjoint를 동시에 갖는 경우, 즉 ((L\dashv M\dashv R))라는 삼중 adjunction 구조가 존재한다는 전제이다. 이러한 구조 하에서 (M)가 보존하는 정확한 시퀀스와, (L)·(R)가 제공하는 사상들의 핵심 이미지가 (\Ascr) 안에서 충분히 풍부하게 존재함을 보인다.

다음 단계에서는 ( \mathcal{F}:={,X\in\Ascr\mid X\text{는 }MY\text{의 직접 인수 for some }Y\in\Bscr,}) 를 정의한다. 여기서 직접 인수(direct factor)란 어떤 사상이 (p:X\to MY)와 (i:MY\to X)가 존재해 (i\circ p=\operatorname{id}_X)인 경우를 말한다. 저자는 (\mathcal{F})가 정확한 서브카테고리이며, 특히 모든 프로젝트베 객체와 인젝티브 베 객체가 (\mathcal{F})에 포함된다는 것을 증명한다.

핵심 정리는 (\mathcal{F})가 프뢰베니우스 범주라는 점이다. 프뢰베니우스 범주의 정의에 따라, (\mathcal{F})는 충분한 프로젝트베와 인젝티브 베 객체를 가지고, 두 종류가 일치한다. 여기서 프로젝트베 객체는 (M)가 보존하는 자유 객체이며, 인젝티브 베 객체는 (M)가 반사하는 코프리즘 객체로 해석된다. 따라서 (\mathcal{F})는 자연스럽게 안정적인 삼각형 구조를 갖는 호몰로지 카테고리 (\underline{\mathcal{F}}:=\mathcal{F}/\mathcal{P}) (여기서 (\mathcal{P})는 프로젝트베 객체들의 이상) 로 사상된다.

이러한 사상은 기존의 (M)-stable category 개념과 일치한다. 저자는 (\Ascr) 자체를 사용해 (\underline{\Ascr}_M:=\Ascr/\langle\operatorname{add}(MY)\rangle) 라는 몫 카테고리를 정의하고, 이것이 바로 (\underline{\mathcal{F}})와 동형임을 보인다. 즉, (M)에 의해 생성된 직접 인수들의 이상을 몫으로 취함으로써, 별도의 복잡한 구조 없이도 (M)-안정 범주를 얻을 수 있다.

삼각형 카테고리 버전에서는 (\Ascr,\Bscr)를 삼각형 카테고리라 가정하고, (M:\Bscr\to\Ascr)가 삼각형 함자임을 전제한다. 여기서도 좌·우 adjoint가 존재하면, 동일한 방식으로 (\mathcal{F}_{\Delta}:=\operatorname{add}{MY\mid Y\in\Bscr}) 를 정의하고, 이는 삼각형 프뢰베니우스 구조를 갖는다. 결과적으로 (\underline{\Ascr}M^{\Delta}:=\Ascr/\langle\mathcal{F}{\Delta}\rangle) 가 안정적인 삼각형 카테고리가 된다.

마지막으로 Keller‑Vossieck 정리를 인용해, 위에서 정의한 두 종류의 (M)-stable category—정확한 카테고리 기반과 삼각형 카테고리 기반—가 동등함을 증명한다. 이 정리는 프뢰베니우스 구조가 삼각형 구조와 정확히 일치한다는 깊은 의미를 내포한다.

전체적으로 논문은 (M)이라는 정확한(또는 삼각형) 함자를 통해 기존 카테고리 이론에 새로운 안정화 절차를 제공하며, 특히 카루비안 조건과 adjunction 가정이 핵심적인 역할을 한다는 점을 명확히 보여준다.