Asymptotic vanishing of cohomology in triangulated categories

기술적 요약: 삼각 범주에서의 코호몰로지의 점근적 소멸 (Asymptotic Vanishing of Cohomology in Triangulated Categories)

문제 제기
본 논문은 삼각 범주의 맥락에서 코호몰로지의 점근적 소멸(asymptotic vanishing)의 거동을 다룬다. 호몰로지와 코호몰로지의 소멸은 대수학의 근본적인 주제이지만, 최근 문헌들은 종종 코호몰로지 전체에 대한 노테르(Noetherian) 조건을 전제로 특정 가환 환 위에서의 점근적 소멸에 초점을 맞추어 왔다. 여기서 핵심적인 질문은 "산발적(sporadic)" 소멸(즉, 어떤 큰 인덱스들에서는 코호뮬로지가 소멸하지만 다른 인덱스에서는 그렇지 않은 경우)이 발생할 수 있는지, 아니면 소멸이 더 구조화된 최종 패턴을 의미하는지 여부이다. 저자들은 코호몰로지가 자연스럽게 정의되는 일반적인 삼각 범주의 틀로 이러한 개념들을 정제하여, 특정 유한성 조건 하에서 점근적 소멸이 "잘 작동하는지(well-behaved)"를 판별하고자 한다.

방법론
저자들은 중심 작용(central action)을 갖는 그레이디드 가환(graded-commutative), 비음의 그레이딩을 가진 환 $H$가 주어진 삼각 범주 $(\mathcal{C}, \Sigma, \Delta)$를 포함하는 일반적인 틀을 구축한다. 핵심 가정은 쌍 $(A, B) \in \mathcal{C}$에 대하여, $H$-모듈 $\text{Hom}_{\ge n_0}^{\mathcal{C}}(A, B)$가 어떤 정수 $n_0$에 대해 노테르(Noetherian)라는 것이다.

방법론은 다음 단계들을 통해 진행된다:

1. 대수적 보조정리: 저자들은 그레이디드 가환 환과 모듈에 관한 보조정리들을 증명한다. 구체적으로, 그레이디드 가환 환이 노테르이면 그 짝수 부분(even part) 또한 노테르이며, 해당 환은 이 짝수 부분 위에서 유한 생성 모듈임을 확립한다. 나아가 [9]와 [15]의 결과 변형을 활용하여, 환의 0차 부분이 무한체를 포함하거나(또는 국소 환으로서 무한한 잔여체를 갖는 경우), 충분히 큰 차수에서 특정 차수의 동차 원소가 모듈에 단사(injective)로 작용함을 보인다.
2. 힐베르트-세르 정리(Hilbert-Serre Theorem) 적용: 코호몰로지가 환의 0차 부분에 대해 유한 길이(finite length)를 갖는 경우, 저자들은 코호몰로지 군들의 길이의 생성 함수에 고전적인 힐베르트-세르 정리를 적용한다. 이를 통해 급수의 유리성(rationality)과 소멸의 주기성을 분석할 수 있다.
3. 합성: 특정 원소들에 의한 곱셈의 단사성(보조정리 2.2로부터 도출)과 소멸 이데알(annihilator ideal)의 구조, 그리고 환의 짝수 부분의 성질을 결합함으로써, 소멸 패턴에 관한 주요 구조 정리(structural theorem)를 도출한다.

주요 기여 및 결과
주요 기여는 코호몰로지가 중심 환 $H$ 위에서 결국 노테르(eventually Noetherian)라는 가정하에 코호몰로지 $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B)$의 점근적 소멸을 규명하는 정리 2.4이다. 이 정리는 다음 중 하나가 충족될 때 성립한다:

1. $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B)$가 큰 $n$에 대해 $H_0$ 위에서 유한 길이를 가짐; 또는
2. $H_0$가 무한체를 포함하거나 무한한 잔여체를 갖는 국소 환임.

그 결과, 반드시 다음 두 가지 결과 중 하나가 발생해야 한다:

• 전체적 최종 소멸 (Total Eventual Vanishing): 모든 $n \gg 0$에 대하여 $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B) = 0$이다.
• 주기적 비소멸 (Periodic Non-Vanishing): 정수 $d > 0$와 $m_0$가 존재하여, $n \ge m_0$이고 $n \equiv j \pmod d$를 만족하는 적어도 하나의 $j$ ($0 \le j < d$)에 대하여 $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B) \neq 0$이다.

결정적으로, 이 결과는 "산발적" 소멸을 배제한다. 즉, 코호몰로지가 결국 소멸하지 않는다면, 그것은 반드시 주기적인 방식으로 무한히 자주 0이 아니어야 한다.

응용
본 논문은 정리 2.4의 유용성을 세 가지 특정 환 클래스에 적용하여 입증한다:

1. 가환 국소 완전 교차 환 (Commutative Local Complete Intersections): 가환 국소 완전 교차 환 $A$ 위의 유한 생성 모듈 $M, N$에 대하여, 저자들은 $\text{Ext}^n_A(M, N) = 0$이 모든 $n > \dim A$에 대해 성립하거나, 혹은 $n \ge m_0$인 모든 짝수 또는 모든 홀수 $n$에 대해 $\text{Ext}$ 군이 0이 아니라는 것을 보여준다. 이는 기존 결과(예: [29])를 일반화한 것이다.
2. 유한 차원 대수 (Finite-Dimensional Algebras): Hochschild 코호몰로지 환 $HH^*(A)$가 중심적으로 작용하는 대수에 이 결과를 적용한다. 여기에는 다음이 포함된다:
   • 양자 완전 교차 (Quantum Complete Intersections): 대수 $A_{c,q}^a$에 대하여, 저자들은 $\text{Ext}^n_A(M, N) = 0$이 모든 $n > 0$에 대해 성립하거나, 혹은 모든 짝수 또는 모든 홀수 $n \ge m_0$에 대해 비소멸이 발생함을 증명한다.
   • 외대수 (Exterior Algebras): 양자 완전 교차의 특수한 사례로서, 동일한 주기적 소멸 거동이 확립된다.
3. 모듈러 군 대수 (Modular Group Algebras): 유한 군 $G$와 $|G|$를 나누는 소수 특성 $p$를 갖는 체 $k$에 대하여, 코호몰로지 환 $H^*(G, k)$가 중심적으로 작용한다. 저자들은 유한 생성 모듈 $M, N$에 대하여, $\text{Ext}^n_{kG}(M, N) = 0$이 모든 $n > 0$에 대해 성립하거나, 혹은 $d$를 법으로 하는 주기적으로 비소멸이 발생함을 보여준다. 여기서 주기 $d$는 작용하는 환의 생성원들의 차수의 최소공배수로 식별된다. 대칭 군 $S_8$에 대한 명시적인 예시가 제공되며, 여기서 주기는 420으로 계산되었다.

의의
본 논문은 다양한 최근의 점근적 소멸 결과들을 하나의 일반적인 삼각 범주 틀 안에서 통합함으로써 그 의의를 주장한다. 필요한 노테르 조건과 중심 환의 작용을 정제함으로써, 저자들은 점근적 소멸의 "잘 작동하는" 성질(구체적으로 산발적 소멸의 불가능성)이 중심 환 위에서 코호몰로지 모듈이 갖는 노테르 성질의 구조적 결과임을 입증한다. 이 연구는 각 환 유형에 대한 개별적인 증명을 요구하지 않고도 가환 기하학, 비가환 대수, 표현론에 적용될 수 있는 견고한 이론적 도구를 제공한다. 결과적으로, 코호몰로지가 결국 소멸하지 않는다면, 그 비소멸은 작용하는 환의 생성원들의 차수에 의해 결정되는 엄격한 주기성에 의해 지배됨을 확인해 준다.