삼각형 범주에서 객체에 의해 결정되는 사상

초록

이 논문은 객체에 의해 결정되는 사상의 개념을 삼각형 범주에 적용하고, 특히 세르(Sérre) 듀얼리티를 갖는 경우에 강력한 분류 결과를 얻는다. 또한 이 개념을 이용해 Freyd의 생성 가설을 새로운 형태로 재해석한다.

상세 분석

논문은 먼저 Auslander가 제시한 “객체에 의해 오른쪽으로 결정되는 사상”이라는 정의를 재정리한다. 여기서 핵심은 어떤 고정된 객체 C에 대해 Hom(C,–)가 만든 이미지가 사상의 인자성을 완전히 기술한다는 점이다. Lemma 2.2는 오른쪽 최소(minimal)이며 C‑결정된 두 사상이 이미지가 동일하면 동형임을 보이며, 이는 사상 분류의 기본 틀을 제공한다. 이어서 Auslander‑Reiten 공식 D Hom(C,–) ≅ Ext¹(–,DT C) 를 활용해 모듈 범주에서의 구체적인 구성법을 제시하고, 특히 오른쪽 거의 분할(ar almost split) 사상이 C‑결정된다는 사실을 예시 2.3으로 보여준다.

다음으로 저자는 “dualising variety”라는 개념을 도입한다. 이는 k‑선형, Hom‑유한, 아이디엠포턴트 완비인 소규모 범주 C가 D Hom(–,C)와 D Hom(C,–)가 모두 유한히 제시된(functorially finitely presented) 경우를 말한다. Lemma 3.3은 이러한 조건이 약한 핵과 약한 공핵을 갖는 것과 동치임을 증명한다. 이때 coinduction functor와 Yoneda 사상을 이용해 임의의 사상 α에 대해 적절한 객체 C가 존재함을 보이며, Proposition 3.7·3.9을 통해 모든 사상이 어떤 객체에 의해 오른쪽으로 결정될 수 있음을 확립한다.

삼각형 범주로 넘어가면, Serre functor S가 존재하면 D Hom(–,C)≅Hom(–,SC) 가 되므로 앞서의 dualising variety 조건을 만족한다. Proposition 4.1은 “모든 사상이 객체에 의해 결정된다” ⇔ “오른쪽 Serre functor 존재” 를 증명하고, Theorem 4.2에서는 세 가지 조건—Serre functor 존재, dualising variety, 오른쪽 결정 사상 존재—가 서로 동치임을 보여준다. 특히, Serre functor가 존재하면 각 사상 α는 S⁻¹C 로 결정된다는 구체적인 설명이 포함된다.

마지막으로 Section 5에서는 Auslander의 정의를 클래스 D 로 일반화하고, 이를 통해 더 넓은 범주에서도 결정 사상의 개념을 확장한다. 전체적으로 논문은 기존 모듈 이론의 강력한 도구들을 삼각형 범주와 Serre 듀얼리티 상황에 성공적으로 이식함으로써, 사상 분류와 Freyd의 생성 가설에 새로운 관점을 제공한다.