아르틴 대수의 이상 토션 쌍과 차원 이론

초록

본 논문은 아르틴 대수의 모듈 범주에서 전통적인 토션 쌍을 일반화하여 이상 토션 쌍(ideal torsion pairs)을 도입한다. 이상은 사상들의 집합으로 정의되며, 이러한 이상을 이용해 토션 이데알과 프리 이데알을 구분한다. 논문은 특히 함수적으로 유한한 이상 토션 쌍을 중심으로, 대응하는 서브펑터와 객체에 의해 결정되는 이상 사이의 동등성을 보이고, 이를 통해 새로운 동차 차원인 **torsion dimension(TD)**을 정의한다. 마지막으로 TD와 기존의 Krull‑Gabriel 차원(KG) 사이의 관계를 조사하고, 상속 대수(hereditary Artin algebras)에서 두 차원이 일치함을 증명한다.

상세 분석

이 논문은 두 단계의 일반화를 수행한다. 첫 번째는 전통적인 토션 쌍 ((\mathcal T,\mathcal F))를 전부가 아닌 사상들의 이상 ((\mathcal I,\mathcal J))으로 옮겨 놓는 것이다. 여기서 (\mathcal I)와 (\mathcal J)는 각각 모든 (\varphi\in\mathcal I)와 (\psi\in\mathcal J)에 대해 (\psi\varphi=0)을 만족하고, 모든 모듈 (M)에 대해 (;0\to L\xrightarrow{\varphi}M\xrightarrow{\psi}N\to0) 형태의 정확한 열이 존재한다는 조건을 가진다. 이러한 구조는 기존 토션 쌍을 완전히 포함한다는 점에서 자연스러운 확장이다.

두 번째는 함수적으로 유한함을 정의한다. 기존에는 토션 클래스 (\mathcal T)가 (\operatorname{gen}M) 형태로 표현될 때 함수적으로 유한하다고 했지만, 여기서는 이상 (\mathcal I)가 공변·반변 유한(co‑ and contravariantly finite)일 때 함수적으로 유한하다고 정의한다. 핵심 정리(A, Theorem 2.8)는 다음과 같다: 이상 토션 쌍 ((\mathcal I,\mathcal J))이 함수적으로 유한하면 대응하는 서브펑터 (t)가 유한 표현(finitely presented)되고, 이는 (\mathcal J)도 함수적으로 유한함을 의미한다. 이는 이상과 펑터 사이의 1‑1 대응을 이용해 증명되며, 펑터 범주 ((\mathrm{mod},A,\mathrm{Ab}))에서의 유한 표현 이론을 적용할 수 있게 만든다.

다음으로는 객체에 의해 결정되는 이상(ideals determined by objects) 개념을 도입한다. Auslander의 “morphisms determined by objects”를 확장하여, 오른쪽 (C)-결정( right (C)-determined) 이상은 모든 사상이 (C)로 사후합성될 때 이미 이상에 속한다는 조건을 만족한다. 논문은 모든 오른쪽 (A)-결정 이상이 바로 토션 이데알임을 보이며(Prop 3.1), 함수적으로 유한한 토션 이데알은 정확히 어떤 객체 (C)에 대해 왼쪽 (C)-결정인 이상들의 집합과 일치한다(Theorem B, 3.5). 이는 기존의 “좌·우 결정” 개념을 통해 함수적 유한성을 새로운 시각으로 해석한다.

핵심 응용은 torsion dimension (TD) 의 정의와 Krull‑Gabriel 차원(KG)과의 비교이다. TD는 함수적으로 유한한 이상 토션 쌍들의 격자에 대한 m‑dimension(모듈 차원)으로 정의한다. 일반적으로 ( \mathrm{TD}(A)\le \mathrm{KG}(A) )이며, 가환 대수에서는 동등함을 보인다(Prop 6.1). 더 나아가, 급진적인 이상인 radical ideal (\operatorname{rad}A)와 그 전이수 (\operatorname{rad}\omega^\alpha A)를 이용해 차원 사이의 관계를 정량화한다. 특히, Conjecture C는 “( \mathrm{KG}(A)=\alpha+1 ) iff (\operatorname{rad}\omega^\alpha A\neq0) and (\operatorname{rad}\omega^{\alpha+1}A=0)”라는 형태로 제시되며, Krause와 Herzog의 결과를 일반화한다. 논문은 (\operatorname{rad}\omega^\alpha A\neq0)이면 ( \mathrm{TD}(A)\ge\alpha)임을 증명하고, Conjecture C가 성립한다면 ( \mathrm{KG}(A)=\mathrm{TD}(A)) 혹은 ( \mathrm{KG}(A)=\mathrm{TD}(A)+1)이라는 결론을 얻는다.

마지막으로 preprojective 모듈을 일반화한다. 급진적 차원 (\alpha)에 대해 (\operatorname{rad}\alpha A)가 포함된 최소 토션 이데알 (I(\operatorname{rad}\alpha A))를 정의하고, 모듈 (M)의 projective rank를 가장 작은 (\alpha)로 설정한다. 이때 (\alpha=0)이면 전통적인 projective 모듈, 유한 (\alpha)이면 preprojective 모듈에 해당한다(Prop 5.5). 또한, (\lambda)이 한계(또는 무한) 순서수일 때 (\operatorname{rad}_\lambda A\neq0)이면 (\lambda)보다 큰 projective rank를 갖는 모듈이 존재함을 보인다(Cor 5.7). 흥미롭게도, 무한 rank 구간에 속하는 모듈들은 무한히 많은 비동형 indecomposable을 가지며 길이가 제한되지 않는다(Cor 5.10).

결론적으로, 논문은 이상 토션 쌍이라는 새로운 구조를 통해 기존 토션 이론을 확장하고, 이를 이용해 차원 이론과 preprojective 모듈 이론을 통합적으로 재구성한다. 특히 상속 대수에 대해 TD와 KG가 일치한다는 결과(Theorem D)와, 다양한 예시를 통한 Conjecture C의 검증은 향후 연구에 중요한 방향을 제시한다.