삼각형 범주에서 코호몰로지 소멸과 대칭성

본 논문은 중심 그레이드 링 R이 삼각형 범주 T에 작용하는 상황을 전제로, 코호몰로지 소멸 현상을 체계적으로 탐구한다. 서론에서는 두 객체 X, Y에 대해 Hom_T(X,Σ^n Y)의 고차가 영인지 판단하기 위해 ‘유한 소멸 구간(갭)’이 충분한지를 묻는 자연스러운 질문을 제시한다. 기존에 완전 교차(intersection) 완전환(complete intersection) 환경에서 이러한 현상이 성립함을 언급하고, 이를 일반 삼각형 범주로 확장하고자 한다. 2절에서는 기본 개념을 정리한다. 중심 작용은 Z⁎(T)라는 그레이드 링을 통해 정의되며, 각 객체 X에 대해 동차 원소 r∈R에 대응하는 사상 X→Σ^{|r|}X를 코시볼 삼각형 X→Σ^{|r|}X→X//r→ΣX 로 확장한다. Hom⁎_T(X,Y)는 R‑양쪽에서 같은 방식으로 작용하고, 결국 그레이드‑교환 법칙 g·r = (−1)^{|g||r|} r·g 를 만족한다. ‘Eventually Noetherian’ 개념을 도입해, 어느 정도 차수 이후부터 Noetherian인 R‑모듈을 다루며, 이는 복소도 정의의 기반이 된다. 복소도 cx_T(X,Y)=dim R_ev Hom⁎_T(X,Y) 로 정의하고, 복소도가 0이면 고차 Hom이 결국 영임을 보인다. 3절에서는 핵심 정리들을 전개한다. Proposition 3.1은 복소도가 양수인 객체 X에 대해 적절한 동차 원소 r∈R를 선택하면 코시볼 객체 X//r의 복소도가 하나 감소함을 증명한다. 이를 반복해 r₁,…,r_c라는 ‘복소도 감소열’를 구성하고, 각 r_i의 차수 |r_i|를 기록한다. Theorem 3.2는 이러한 감소열을 이용해 “유한 소멸 구간”이 전체 소멸을 강제한다는 결과를 제시한다. 구체적으로, X와 Y가 Hom⁎_T(X,X)∈Noeth^fl R 를 만족하고, thick T(X) 가 좌·우 Auslander 부분범주이면, 어떤 정수 n에 대해  Hom_T(X,Σ^i Y)=0 for n ≤ i ≤ n+∑|r_i|−c 이면 모든 i∈ℤ에 대해 Hom_T(X,Σ^i Y)=0이 된다. 증명은 복소도 감소열을 따라 귀납적으로 진행되며, 코시볼 삼각형에서 유도된 장Exact 시퀀스를 이용해 Hom이 주기적으로 동일함을 보이고, Auslander 성질을 통해 결국 영임을 귀결한다. Theorem 3.3은 객체를 교환한 대칭 버전을 바로 얻는다. 4절에서는 이론을 Artin‑Gorenstein 대수 Λ에 적용한다. 먼저 유도된 범주 D^b(Λ)와 완전화 D^b_st(Λ)를 소개하고, 중심 작용이 안정된 유도된 범주로 전달됨을 언급한다. Λ가 Gorenstein이면 Ext와 Hom 사이의 자연 동형이 고차에서 동등해지므로, Hom⁎_D^b(Λ)(X,Y)와 Hom⁎_D^b_st(Λ)(X,Y) 를 동일하게 다룰 수 있다. 그 다음, 최대 Cohen‑Macaulay 모듈 범주 MCM(Λ)를 정의하고, 이 범주가 D^b(Λ)/D^b_perf(Λ)와 동등함을 인용한다. Proposition 3.4는 Λ의 Jacobson 라디칼 𝔯에 대해 Ext^*(M,Λ/𝔯) 혹은 Ext^*(Λ/𝔯,M)이 Noeth^fl R 에 속하면, thick MCM(Λ)(M) 가 좌·우 Auslander 부분범주가 됨을 증명한다. 따라서 M과 다른 MCM 객체 사이에 일정 구간에서 Ext가 소멸하면, 앞서 증명한 Theorem 3.2, 3.3을 적용해 모든 차원에서 Ext가 소멸함을 얻는다. 마지막으로 논문은 복소도와 코시볼 객체를 이용한 소멸 구간의 정량적 측정(∑|r_i|−c)과 Auslander 조건을 통한 전역 소멸 결과가, 기존 완전 교차 환경을 넘어 다양한 삼각형 범주와 대수적 구조에 적용 가능함을 강조한다. 특히, 복소도 감소 과정을 구체적인 동차 원소들의 차수 합으로 표현함으로써 실제 계산과 예제 적용에 유용한 도구를 제공한다. 전체적으로, 중심 링 작용 하에서 복소도 이론을 체계화하고, 이를 통해 코호몰로지 소멸과 대칭성을 일반화한 점이 본 연구의 핵심 공헌이다.