전위 사영으로 생성된 세레 듀얼리티를 가진 유전 카테고리와 스레드 퀴버의 관계

본 논문은 k가 대수적으로 폐쇄된 체일 때, k‑선형, Ext‑유한, 유전적이며 세레 듀얼리티를 갖는 아벨 범주 A 중 전위 사영(preprojective) 객체들에 의해 생성되는 경우를 연구한다. Reiten‑Van den Bergh의 기존 분류는 이러한 범주를 두 부분으로 나누었으며, 전위 사영으로 생성되는 부분은 아직 알려진 아벨 범주와 직접적인 동형관계가 없었다. 저자들은 이 문제를 해결하기 위해 먼저 ‘hereditary section’이라는 개념을 도입한다. 이는 D⁽ᵇ⁾A 안의 완전 서브카테고리 Q가 존재하여, Q가 split‑t‑구조의 heart가 되고, 그 heart가 다시 A와 파생 동형임을 의미한다. 섹션 3에서는 ind D⁽ᵇ⁾A의 두 객체 X, Y 사이에 정의되는 light‑cone distance d·(X,Y)와 round‑trip distance d(X,Y)를 소개한다. d·는 X에서 τ⁻ⁿY 로 가는 경로의 최소 n을, d는 양쪽 방향의 합을 나타낸다. 이 거리들은 Auslander‑Reiten 구조와 깊게 연결되며, d·≥0인 경우는 경로가 존재함을, d가 유한하면 두 객체가 같은 컴포넌트에 있음을 보장한다. 섹션 4에서는 split‑t‑구조와 hereditary section의 정확한 정의를 제시한다. Proposition 4.14에 따르면, Q가 hereditary section이 되기 위한 필요충분조건은 (1) 모든 X, Y∈ind Q에 대해 d·(X,Y)≥0, (2) X∈ind Q이고 d(X,Y)<∞이면 Y∈ZQ (즉, Y가 Q의 τ‑이동으로 얻어지는 객체)이다. 이러한 조건을 만족하면 Q는 semi‑hereditary dualizing k‑variety가 되고, ZQ가 D⁽ᵇ⁾A를 생성하면 D⁽ᵇ⁾A≅D⁽ᵇ⁾repₖQ가 된다. 하지만 이때 추가적인 가정인 조건 (*)가 필요했다. (*)는 ind ZQ 안에 가산 부분집합 T가 존재해 모든 X∈ind ZQ에 대해 d(T,X)<∞가 되도록 요구한다. 초기 단계에서는 이 가정을 두고 Theorem 5.10을 통해 Q가 semi‑hereditary dualizing k‑variety임을 증명한다. 섹션 6에서는 (*)를 없애기 위한 작업이 전개된다. 먼저 Q의 객체들을 ‘thread object’와 ‘non‑thread object’로 구분한다. 전위 사영 객체들은 거의 분할 사상을 가지며, 그 상·하 사상이 모두 indecomposable이면 thread object, 그렇지 않으면 non‑thread object가 된다. Proposition 6.19에 의해 non‑thread object는 가산 개수이며, 이를 모두 포함하는 T를 선택하면 (*)의 대부분을 만족한다. 그럼에도 불구하고 일부 객체는 T와 거리 d가 무한해 ‘ray’ 혹은 ‘coray’ 객체가 된다. ray는 어떤 non‑thread object A와 d·(A,X)<∞인 경우, coray은 d·(X,A)<∞인 경우이다. 이러한 ray들은 서로 동치 관계 ∼ 로 묶이며, 각 동치류마다 ‘mark’라는 새로운 객체를 추가한다. 이 마크는 ray의 반대쪽 끝에 위치하는 non‑thread object로 생각할 수 있다. 섹션 7에서는 이러한 마크들을 포함한 확대된 서브카테고리 Q′를 구성한다. Q′는 기존 Q와 모든 ray의 마크를 포함하며, 이제 ind ZQ′는 전체 D⁽ᵇ⁾A를 생성한다. 따라서 Q′는 조건 (*)를 만족하고, 앞서 증명된 절차에 따라 semi‑hereditary dualizing k‑variety가 된다. 결과적으로 D⁽ᵇ⁾A≅D⁽ᵇ⁾repₖQ′이며, Q′는 강하게 국소 유한한 스레드 퀴버이다. 마지막으로 Theorem 1.1을 정리한다. 즉, 전위 사영 객체들에 의해 생성된 모든 k‑선형, Ext‑유한, 유전적이며 세레 듀얼리티를 갖는 아벨 범주는 강하게 국소 유한한 스레드 퀴버 Q의 표현 범주와 파생 동형이다. 이 결과는 Noetherian 가정 없이도 파생 동형 분류가 가능함을 보여주며, 스레드 퀴버와 dualizing k‑variety 사이의 구조적 연결고리를 명확히 한다.