그라디드 대수의 호흐시드 동차와 전역 차원: 무한 차원에서의 비소멸 현상

본 논문은 “Hochschild homology and global dimension”이라는 제목 아래, 특성 0인 체 k 위의 유한 차원 그라디드 대수 A에 대해 전역 차원과 Hochschild 동차 HHₙ(A)의 비소멸 사이의 관계를 탐구한다. 서론에서는 Happel이 제기한 질문(모든 고차 Hochschild 코호몰로지가 사라지면 전역 차원이 유한한가?)과 그에 대한 기존 결과들을 정리하고, Han이 제시한 “Hochschild homology version of Happel’s question” 즉, 고차 Hochschild 동차가 모두 사라지면 전역 차원이 유한해야 한다는 추측을 소개한다. 이후 저자는 이 추측이 일반적으로는 거짓임을 알려진 반례(예: 비자기적 4차원 대수)와 함께, 특정 클래스(코시, 로컬, 셀룰러)에서는 성립한다는 새로운 결과를 제시한다. 2장에서는 Hochschild 동차와 사이클 동차의 기본 정의와 표준 Bar 해상도, 그리고 Connes의 SBI 정확한 수열을 소개한다. 특히 특성 0일 때는 HC_iⁿ(A)→HH_iⁿ⁺¹(A) 사상이 전사이며, HC가 비제로이면 HH도 비제로임을 보인다. 그라디드 구조를 가정하면 내부 차등이 존재하고, 라디칼 J를 이용해 상대 사이클 동차 HC⁎(A,J)를 정의한다. Lemma 2.1은 HC⁎(A,J) 가 무한 차원을 갖는 경우와 HH가 무한 차원을 갖는 경우가 동치임을 증명한다. 3장에서는 그라디드 카르탄 행렬 C_A(x)=∑_{l=0}^s C_l x^l와 그 행렬식 det C_A(x)를 도입한다. 여기서 C_l의 (i,j) 원소는 e_j A_l e_i의 차원이다. det C_A(x)는 상수항 1을 갖는 정수계수 다항식이며, 그 로그의 미분 D_x(log det C_A(x))는 정수 계수를 가진 무한 멱급수임을 Lemma 3.1으로 증명한다. 이어서 Igusa의 두 핵심 공식(Theorem 3.2)을 인용한다. (a) χ(HC⁎(A,J))(x)=∑_{m≥1} log det C_A(x^m)·∑_{d|m} μ(d)/d, (b) log det C_A(x)=∑_{m≥1} χ(HC⁎(A,J))(x^m)·∑_{d|m} d μ(d)/m. 여기서 μ는 Möbius 함수이다. 이 관계를 통해 det C_A(x)=1 ⇔ χ(HC⁎(A,J))(x)=0임을 얻는다. 그 다음, det C_A(x)≠1이면 χ(HC⁎(A,J))(x) 가 ‘proper’ 멱급수, 즉 무한히 많은 비제로 항을 가진다(정리 3.4). 이를 보이기 위해 수론적 함수 θ(m)=∑_{d|m} d μ(d)=∏_{p|m}(1-p)를 정의하고, f(m)=∑_{d|m} a_d·d·θ(md)와 b_i 사이의 관계를 분석한다. Proposition 3.3은 χ가 다항식이면 f(N+i) 가 일정한 2^t 로 나누어지는 연속 구간이 존재함을 보이며, 이는 Lemma 3.1의 재귀 관계와 모순된다. 따라서 χ는 다항식이 될 수 없고, 무한히 많은 비제로 항을 가져야 한다. Corollary 3.5는 det C_A(x)≠1이면 상대 사이클 차원 chdim(A,J)=∞이며, Lemma 2.1을 통해 hhdim A=∞임을 결론짓는다. 즉, 카르탄 행렬식이 1이 아니면 Hochschild 동차가 고차에서 사라지지 않는다. 4장에서는 이 일반 결과를 구체적인 클래스에 적용한다. 먼저 Koszul 대수에 대해 논한다. Koszul 대수는 Ext^gr_A(S_i,S_j