삼각범주와 행렬문제로 보는 안정동형 유형의 분류

본 논문은 두 부분으로 구성된다. 첫 번째 부분에서는 삼각범주 C 와 그 안의 두 전완전 부범주 A, B 를 이용해 새로운 전범주 A†B 를 정의한다. A†B 는 삼각식 A→B→C→SA 로 나타나는 모든 객체 C 의 집합이며, 여기서 두 사상 이상인 I (‘B와 SA 를 통과하는 사상’)와 J (바이모듈 범주 Bim(BC A) 내에서 ‘a와 a′ 를 통과하는 사상’)를 도입한다. 정리 1.1은 C(B, SA)=0이라는 가정 하에, F: Bim(BC A)/J → (A†B)/I 와 G: (A†B)/I → Bim(BC A)/J 가 서로 quasi‑inverse임을 증명한다. 이때 I²=0 이므로 (A†B)→(A†B)/I 는 epivalence가 되며, 이는 객체와 분해 가능한 객체 사이의 일대일 대응을 보장한다. 이어서, Corollary 1.2는 위의 구조를 부분 바이모듈 V⊂BC A 에 제한해 동일한 결과를 얻는다. 즉, 삼각범주의 특정 부분을 ‘행렬문제’ 즉, 바이모듈 범주의 모듈식으로 완전히 기술할 수 있다. 두 번째 부분에서는 이 일반 이론을 안정동형 범주 Hos 에 적용한다. Hos는 안정화된 사상 집합 lim Hot(SⁿX, SⁿY) 로 정의되며, 삼각구조는 코피브레이션 시퀀스 X→Y→Cf→SX 로 주어진다. 차원 제한이 있는 폴리헤드론들의 전범주 Sₙ(=CW_{n‑1}^n) 은 정확히 n개의 연속 차원에 셀을 갖는 객체들이다. 저자는 Sₙ을 두 부분 A_{n,m}=S^{2m+1}S^{n‑m‑1} 와 B_{n,m}=S^{n‑m‑1}S^{2m+1} 의 바이모듈 S_{n,m}=B_{n,m}S A_{n,m} 로 분해하고, 위의 정리 1.1을 적용해 Sₙ ≃ A_{n,m}†B_{n,m} 임을 보인다. 따라서 Sₙ의 분류 문제는 바이모듈 S_{n,m} 에 대한 행렬문제로 환원된다. torsion‑free 부분 Tₙ에 대해서는 추가 제약 S₀(=H_{n+m}=0) 을 두어 A⁰, B⁰, S⁰ 을 정의하고, Lemma 2.3을 통해 지도 f: A→B 가 동형 사상인 경우에만 핵심 바이모듈이 ‘정규 형태’(대각 행렬)로 정리될 수 있음을 보인다. 이를 바탕으로 저자는 다음과 같은 구체적인 분류 결과를 제시한다. 1. **Finite case (Whitehead–Chang 정리)**: n≤4인 경우, Sₙ(또는 Tₙ) 은 ‘유한 표현형’이며, 모든 객체는 유한 개의 원자(atom)와 그 suspensions의 직합으로 고유하게 분해된다. 2. **Tame case (Baues–Hennes 정리)**: n=5,6(또는 torsion‑free에서 n≤7) 일 때는 ‘완만(tame) 표현형’이 나타난다. 여기서는 무한히 많은 비동형 원자들이 존재하지만, 그들의 매개변수화가 1차원(또는 2차원) 연속체로 기술될 수 있다. 3. **Wild case**: n≥5(또는 torsion‑free에서 n≥8) 가 되면, 해당 바이모듈 범주는 일반적인 와일드 대수와 동형이 되므로, 분류 문제가 ‘와일드’가 된다. 즉, 임의의 유한 차원 대수의 모듈 분류 문제를 내포하고 있어 완전한 해가 존재하지 않는다. 또한, ‘원자’와 ‘suspended atom’ 개념을 도입해 안정동형 범주의 기본 빌딩 블록을 정의하고, 이들의 조합을 통해 전체 범주의 구조를 파악한다. 원자는 Sₙ에 속하면서 더 작은 차원의 Sₙ‑1에 속하지 않는 indecomposable 객체이며, 모든 폴리헤드론은 이러한 원자들의 bouquet(직합)으로 표현된다. 결론적으로, 논문은 삼각범주의 구조를 행렬문제로 전환함으로써, 안정동형 이론의 복잡한 분류 문제를 대수적 표현 이론의 언어로 명확히 구분하고, ‘유한·완만·와일드’라는 세 가지 표현 유형을 통해 문제의 복잡도를 체계적으로 파악한다. 이 방법론은 향후 다른 삼각범주(예: 유도된 범주, 모듈 범주 등)에도 적용 가능함을 시사한다.