두 번째 화이트헤드 보조정리의 역정리

초록

본 논문은 특성 0의 체 위에서 모든 유한 차원 모듈에 대해 두 번째 리해코호몰로지군이 사라지는 유한 차원 리 대수를 연구한다. 이러한 조건을 만족하면 대수는 본질적으로 반단순이며, 정확히는 Levi 분해에서 반단순 부분이 전체를 차지하고, 가환 부분이 사라짐을 보인다.

상세 분석

화이트헤드 보조정리(첫 번째와 두 번째)는 반단순 리 대수와 그 모듈에 대한 기본적인 코호몰로지 소거 결과를 제공한다. 첫 번째 보조정리는 𝔤‑모듈 V에 대해 H¹(𝔤,V)=0을, 두 번째 보조정리는 H²(𝔤,V)=0을 보장한다. 이 논문은 두 번째 보조정리의 “역”을 탐구한다. 즉, 모든 유한 차원 𝔤‑모듈 M에 대해 H²(𝔤,M)=0이라는 가정이 𝔤가 반단순임을 강제하는지를 묻는다. 저자는 먼저 𝔤의 Levi 분해 𝔤=𝔰⋉𝔯(𝔰는 반단순, 𝔯은 가용) 를 이용한다. 가용 부분 𝔯이 비자명하면, 𝔯을 𝔰‑모듈로 간주했을 때 𝔯 자체가 비자명한 𝔤‑모듈이 되며, 이 경우 H²(𝔤,𝔯)≠0인 예가 존재한다는 것을 전통적인 코호몰로지 계산을 통해 보여준다. 따라서 H²(𝔤,M)=0이 모든 M에 대해 성립하려면 𝔯=0이어야 함을 얻는다.

그 다음 저자는 𝔰가 반단순이지만 완전하지 않을 가능성을 배제한다. 만약 𝔰에 비자명한 중앙 요소가 존재한다면, 그 중앙 𝔷를 𝔰‑모듈로 삼아 H²(𝔰,𝔷)≠0임을 보일 수 있다. 이는 중심이 비자명하면 두 번째 코호몰로지가 사라지지 않음을 의미한다. 따라서 𝔰는 중심이 없는 완전 반단순 리 대수, 즉 고전적인 의미의 반단순이어야 한다.

핵심 기술적 도구는 장-베르트라(Whitehead) 정리와 Hochschild‑Serre 장정리를 결합한 것이다. 저자는 𝔤의 가용 부분에 대한 장정리 장을 전개하여 장-베르트라 보조정리의 가정이 전체 대수에 어떻게 전파되는지를 정밀히 분석한다. 또한, 가용 부분이 𝔰‑모듈로서 완전히 가분(semisimple)일 경우에도 H²가 비자명해지는 구체적인 예시를 제시한다.

결과적으로 “모든 유한 차원 모듈에 대해 H²가 0이다”는 가정은 𝔤가 반단순이며, 가용 부분이 없고, 중심도 없는 구조와 동등함을 증명한다. 이는 기존의 화이트헤드 보조정리와는 대조적으로, 코호몰로지 소거 조건이 대수 자체의 구조를 강하게 제한한다는 중요한 역방향 명제를 제공한다.