유한 EI 범주의 상속성 완전 분류와 사분면 구축 알고리즘

초록

본 논문은 모든 객체의 자기동형군 차수가 체 k에서 가역인 유한 EI 범주에 대해, 그 범주의 보통 사분면(ordinary quiver)을 직접 구성하는 알고리즘을 제시한다. 이를 바탕으로, 상속적(category‑hereditary) 범주대수(𝑘𝒞)를 갖는 모든 유한 EI 범주를 ‘자유 EI 범주’이며 동시에 모든 자기동형군 차수가 가역인 경우로 정확히 규정한다. 또한 이 결과를 이용해 유한 EI 범주의 표현 유형을 판단하는 몇 가지 응용을 제시한다.

상세 분석

EI 범주란 모든 사상 f에 대해 End(f) = Aut(dom f)∩Aut(cod f) 가 항등원만을 갖는 범주를 말한다. 논문은 특히 End(X) = Aut(X) 의 차수가 체 k의 특성과 서로소인 경우, 즉 차수가 k에서 가역(invertible)인 경우에 초점을 맞춘다. 이러한 전제 하에 저자는 ‘보통 사분면(ordinary quiver)’을 정의한다. 사분면의 정점은 범주의 동형류(iso‑classes)와 대응하고, 두 정점 사이의 화살표는 비동형 사상들의 동형류에 의해 결정된다. 기존에는 사분면을 직접 구하기 위해 복잡한 호몰로지 계산이 필요했으나, 저자는 End(X) 의 차수가 가역인 상황에서는 각 사상 f : X→Y 를 Aut(Y)–Aut(X) 이중 작용에 의해 정규화하고, 그 궤도 수를 직접 셈으로써 화살표 수를 산출하는 절차를 제시한다. 구체적으로는 (1) 각 객체 X에 대해 Aut(X) 의 대표 원소 집합을 선택하고, (2) 모든 비동형 사상 f에 대해 Aut(Y)·f·Aut(X) 의 궤도 대표를 구한 뒤, (3) 그 궤도당 하나의 화살표를 부여한다. 이 과정은 유한성 가정과 차수 가역성 덕분에 알고리즘적으로 구현 가능함을 증명한다.

다음으로 ‘자유 EI 범주(free EI category)’를 정의한다. 자유 EI 범주는 객체 사이의 사상들이 자유롭게 생성된 사상들의 합성으로만 이루어지고, 어떠한 관계식도 존재하지 않는 경우를 말한다. 형식적으로는 각 객체 X에 대해 Aut(X) 가 군으로 작용하고, 서로 다른 객체 사이의 사상 집합이 Aut‑셋(Aut(Y)–Aut(X) 이중 작용) 으로 구성된 자유 사상 집합으로 표현된다. 이러한 구조는 사분면이 바로 ‘그룹‑그라프’ 형태가 되며, 사분면의 경로 대수(path algebra)와 동일한 구조를 가진다.

핵심 정리는 “𝑘𝒞 가 상속적이면 𝒞 는 자유 EI 범주이며, 모든 Aut(X) 의 차수가 k에서 가역이다” 라는 전후 관계이다. 증명은 크게 두 단계로 나뉜다. 첫째, 상속성은 사분면의 경로 대수가 사슬(hereditary)임을 의미하고, 이는 사분면에 사이클이 없고, 각 화살표가 단순히 자유롭게 생성된다는 것을 강제한다. 둘째, 차수 가역성은 사분면의 관계식이 존재하지 않게 함으로써 자유성을 보장한다. 반대 방향에서는 자유 EI 범주와 차수 가역성만으로도 경로 대수가 상속적임을 직접 확인한다.

또한 저자는 이 분류를 이용해 표현 유형을 분석한다. 자유 EI 범주의 경우, 사분면이 트리형이면 유한 표현 유형, 그 외에는 무한(특히 와일드) 유형이 된다. 차수 가역성 조건이 없을 경우, 자기동형군이 체의 특성과 겹치면서 복잡한 관계식이 발생해 상속성이 깨지는 사례들을 구체적으로 제시한다.

전반적으로 논문은 EI 범주의 구조를 군 이론과 사분면 이론에 연결시키는 새로운 관점을 제공하며, 특히 차수 가역성이라는 자연스러운 산술 조건이 자유 구조와 상속성을 동시에 보장한다는 점을 명확히 한다.