삼각형 범주 차원의 새로운 하한: 코시울 객체와 표현 차원

1. 서론에서는 Rouquier가 정의한 삼각형 범주의 차원 개념을 소개하고, 이 차원이 최근 대수와 기하학에서 어떻게 활용되고 있는지를 설명한다. 특히 외부 대수의 표현 차원과, 매끄러운 대수적 다양체의 유한 차원성 사이의 연결 고리를 강조한다. 2. 논문의 핵심 기술적 배경인 ‘eventually noetherian’ 모듈 이론을 Section 2에서 정리한다. 여기서는 그레이드‑교환환 R과 그 위의 그레이드 모듈 M에 대해, 충분히 높은 차수 이후에 Noetherian 성질을 갖는 경우를 정의하고, 그에 대한 기본적인 성질(예: Lemma 2.2, Proposition 2.4, Lemma 2.5 등)을 증명한다. 특히, 필터‑정칙 원소가 존재함을 보이는 Lemma 2.5는 이후 코시울 객체를 다룰 때 핵심적인 역할을 한다. 3. Section 3에서는 코시울 객체의 정의와 기본 성질을 제시한다. 주어진 r∈R₊에 대해 X//r를 정의하고, 이를 통해 Hom_T^*(X//r, Y)와 Hom_T^*(X, Y//r)의 정확한 장정 사슬을 얻는다(식 3.2). Lemma 3.1은 다중 코시울 연산 후에도 충분히 높은 거듭제곱 r^s가 Hom 모듈을 소거함을 보인다. 이어서 Ghost Lemma(Lemma 3.2)을 소개하고, 이를 이용해 ‘thick c T(G)’에 포함되지 않는 객체를 구성한다. 4. Theorem 3.3은 코시울 객체와 Ghost Lemma을 결합해, 차원 c보다 작은 경우에 존재하는 r₁,…,r_c를 찾아 X//r와 Y//r가 각각 thick c T(X), thick c T(Y)에 속하지 않음을 보인다. 이는 차원 하한을 얻기 위한 핵심 단계이다. 5. Section 4에서는 메인 결과인 Theorem 4.2(=Theorem 1.1)를 증명한다. 여기서는 앞서 정의한 ‘eventually noetherian’ 조건을 만족하는 객체 X를 선택하고, End_T^*(X)의 차원을 계산한다. 차원 dim T는 최소한 dim End_T^*(X)−1 이상임을 보이며, 이는 오직 X의 자기 End‑알gebra의 그레이드 구조에만 의존한다는 점에서 흥미롭다. 6. Section 5에서는 위의 일반 이론을 구체적인 대수적 상황에 적용한다. - (5.1)에서는 Artin 대수 A에 대해, 안정 파생 범주 D^b_st(A)의 차원을 Hochschild 공동동류 HH^*(A)와 연결한다. Corollary 5.12는 Ext_A^*(A/𝔯, A/𝔯)가 HH^*(A)-모듈로 Noetherian일 때, rep.dim A ≥ dim HH^*(A)+1임을 보여준다. 이는 기존에 알려진 예시들을 일반화하고, 표현 차원의 새로운 하한을 제공한다. - (5.2)에서는 완전 교차점(local complete intersection) 환 R에 대해, 매듭 이론과 코시울 복합체를 이용해 차원을 계산한다. 여기서 차원은 R의 코흐 차원과 일치함을 보이며, 이는 완전 교차점 환의 구조적 특성을 반영한다. 7. 부록 및 참고문헌에서는 사용된 주요 도구(예: Avramov‑Iyengar의 ‘eventually noetherian’ 이론, Rouquier의 차원 이론, Ghost Lemma 등)와 관련된 선행 연구들을 정리한다. 전체적으로 이 논문은 삼각형 범주의 차원을 평가하는 새로운 방법론을 제시하고, 이를 통해 Artin 대수와 완전 교차점 환의 표현 차원에 대한 실질적인 하한을 제공한다. 코시울 객체와 Ghost Lemma의 조합은 차원 하한을 얻는 데 매우 강력한 도구임을 입증한다. 또한, ‘eventually noetherian’ 모듈 이론을 체계화함으로써 그레이드‑교환환 위에서의 차원·복잡도·Krull 차원 사이의 관계를 명확히 하였으며, 이는 향후 삼각형 범주와 대수적 구조를 연결하는 연구에 중요한 기반이 될 것이다.