단위 없는 가환 대수 위의 리 대수 불변량 연구

초록

이 논문은 단위가 없는 가환 연산 대수 A 위에 확장된 리 대수 𝔤⊗A에 대해, 자명한 모듈을 계수로 하는 두 번째 코호몰로지 H², 대칭 불변 이중형, 그리고 도함수 공간을 체계적으로 분석한다. 이를 통해 반세미단순 리 대수의 주기화, 닐포텐트 리 대수의 도함수 구조, 그리고 아핀 카크-모다이 대수의 프레젠테이션 등 기존에 별도 연구됐던 여러 문제를 하나의 통합된 틀 안에서 해결한다.

상세 분석

논문은 먼저 A가 단위가 없는 가환 연산 대수일 때, 𝔤⊗A가 자연스럽게 리 대수 구조를 갖는 사실을 확인하고, 이 구조가 기존의 텐서곱 리 대수와 어떻게 차별되는지를 명확히 한다. 핵심은 자명한 𝔤⊗A‑모듈을 계수로 하는 두 번째 코호몰로지 H²(𝔤⊗A, K)의 계산이다. 저자는 Hochschild‑Serre spectral sequence 를 적절히 변형하여, A의 이데얼 구조와 𝔤의 중심 및 2‑코사이클 사이의 관계를 정리한다. 그 결과 H²는 크게 세 부분으로 분해되는데, (1) 𝔤의 기존 2‑코사이클을 A‑선형으로 확장한 항, (2) A의 비단위성에서 유도되는 ‘외부’ 코사이클, (3) 𝔤와 A 사이의 교차 항으로 구성된다. 특히 A가 유한 차원이며 nilpotent 이면 두 번째 항이 사라지고, 첫 번째와 세 번째 항만 남아 𝔤의 고전적 코호몰로지와 A의 대수적 성질이 직접 연결된다.

다음으로 대칭 불변 이중형 S²(𝔤⊗A)^{𝔤⊗A} 를 조사한다. 저자는 대칭 이중형이 𝔤‑불변 대칭 이중형과 A‑대칭 이중형의 텐서곱으로 완전히 기술될 수 있음을 증명한다. 여기서 중요한 점은 A에 단위가 없을 경우, ‘트레이스’ 역할을 하는 선형 함수가 존재하지 않을 수 있어, 기존의 Kac‑Moody 이론에서 사용되는 표준 방법이 바로 적용되지 않는다는 것이다. 이를 보완하기 위해 저자는 A‑모듈의 ‘가상 단위’를 도입하고, 이를 통해 대칭 이중형의 차원을 정확히 계산한다.

마지막으로 도함수 공간 Der(𝔤⊗A) 를 분석한다. Hochschild‑Serre 분해를 이용해 Der(𝔤⊗A) ≅ (Der 𝔤)⊗A ⊕ 𝔤⊗Der A 로 분해함을 보이며, 특히 Der A 가 비자명할 때 새로운 비자명한 도함수들이 나타난다. 이 결과는 Benoist 가 제시한 ‘지정된 반세미단순 부분을 갖는 닐포텐트 리 대수의 도함수 대수’ 문제와 직접 연결된다. 저자는 A가 다항식 대수 K