5차원 복소 영가 연산대수의 호흐시드 동류군 분석

초록

본 논문은 차원 5인 복소 영가 연산대수(𝔄) 중 𝔄⁴=0·𝔄³≠0을 만족하는 경우를 대상으로, 동형 불변량 χ(𝔄)=(5,2,1,0,0)와 χ(𝔄)=(5,3,1,0,0)으로 구분되는 두 종류의 대수를 전부 조사한다. 각 대수에 대해 0차와 1차 호흐시드 동류군 H⁰(𝔄,𝔄), H¹(𝔄,𝔄)를 명시적인 행렬 형태로 계산하고, H⁰는 중심 Z(𝔄)와 동일함을, H¹는 도함수 공간 Der(𝔄)에서 내부 도함수 Inn(𝔄)를 나눈 몫임을 확인한다. 결과는 대수의 구조 상수와 동형 구분에 따라 중심 차원과 도함수 차원이 어떻게 달라지는지를 보여준다.

상세 분석

논문은 먼저 복소 영가 연산대수의 기본 정의와 하강 중심 사슬 A¹⊇A²⊇A³⊇…을 소개하고, 영가성 조건 A⁴=0·A³≠0을 만족하는 5차원 대수는 동형 불변량 χ(𝔄)=(5,2,1,0,0) 혹은 χ(𝔄)=(5,3,1,0,0) 중 하나로 구분된다는 Karimjanov의 정리를 인용한다. 이를 바탕으로 저자들은 각각 20여 개에 달하는 구체적인 대수 구조(λ₁λ₆, μ₁μ₂₂)를 제시하고, 각 대수의 비제로 곱셈을 기초 행렬 형태로 기록한다.

호흐시드 0차 동류군 H⁰(𝔄,𝔄)는 정의에 따라 Ker δ⁰={x∈𝔄 | ax=xa ∀a∈𝔄}와 동일하므로, 실제 계산은 각 대수의 중심 Z(𝔄)를 구하는 문제로 전락한다. 저자들은 구조 상수를 대입해 e_i·x와 x·e_i를 비교함으로써, λ₁은 전체 5차원 공간이 중심이고, λ₂~λ₅는 부분 집합 {e₂,e₃,e₅} 혹은 {e₁,e₂,e₃} 등으로 축소됨을 보인다. μ 계열에서도 유사하게 중심 차원이 1, 3, 혹은 전체 5차원으로 다양하게 나타난다. 이러한 결과는 대수의 비가환성 정도와 직접 연관된다.

1차 동류군 H¹(𝔄,𝔄)=Der(𝔄)/Inn(𝔄)의 계산은 두 단계로 이루어진다. 첫 단계는 도함수 조건 ρ(ab)=ρ(a)b+aρ(b) 를 행렬 원소 ρ_{ij}에 대한 선형 방정식(2) 형태로 전개하는 것이다. 저자들은 이를 일반적인 n차원 경우에 대해 서술하고, 5차원 대수에 적용해 각 λ_i, μ_j에 대해 해 공간 Z¹(𝔄,𝔄)의 기저를 명시적인 행렬으로 제시한다. 예를 들어 λ₁의 경우 ρ₁₁을 자유 변수로 두고, 나머지 원소들을 ρ₁₁에 대한 선형식으로 표현한 6차원 해공간을 얻는다. λ₅와 λ₆(α 파라미터)에서도 비슷한 형태가 나오며, 파라미터 α에 따라 차원이 변한다는 점을 강조한다.

두 번째 단계는 내부 도함수 공간 Inn(𝔄)={ad_a | ad_a(x)=ax−xa}를 구하는 것으로, 이는 0차 동류군과 동일한 행렬 형태를 갖는다. 저자들은 각 대수에 대해 ad_a의 행렬을 직접 계산하고, Der(𝔄)와의 교집합을 통해 차원을 감소시킨다. 최종적으로 H¹의 차원은 λ₁에서 0(모든 도함수가 내부), λ₂λ₄에서 23, λ₅λ₆에서 12 등으로 다양하게 나타난다. μ 계열에서도 α 파라미터에 따라 차원이 달라지며, 특히 μ₁₁, μ₁₄ 등은 도함수 차원이 1인 반면 μ₁₆은 전체 5차원으로 큰 자유도를 가진다.

이러한 계산을 통해 저자들은 호흐시드 동류군이 영가 연산대수의 동형 구분에 강력한 불변량임을 입증한다. 특히 H⁰는 중심 구조를, H¹는 비가환성에 따른 변형 가능성을 직접적으로 반영한다는 점에서, 두 동류군을 동시에 고려하면 동일 차원의 대수라도 동형 여부를 판별할 수 있다. 또한 파라미터 α가 등장하는 경우, 연속적인 동형 변형군이 존재함을 보여주어, 연속적인 모듈러 스페이스의 존재 가능성을 시사한다.

전반적으로 논문은 구체적인 행렬 계산을 통해 저차원 영가 연산대수의 호흐시드 동류군을 완전하게 기술하고, 이를 대수 분류와 변형 이론에 적용하는 방법론을 제시한다.