레비트 경로 대수의 스키워 대칭·대칭 구조가 풀릴 때의 그래프와 체

초록

본 논문은 표준 involution을 가진 레비트 경로 대수 (L_K(E))에서 스키워-대칭 원소들의 Lie 대수 (\mathbf K_{L_K(E)})와 대칭 원소들의 Jordan 대수 (\mathbf S_{L_K(E)})가 각각 Lie·Jordan 가해가능(soluble)하도록 만드는 그래프 (E)와 체 (K)를 완전히 규정한다. 핵심은 (L_K(E))를 행렬 대수와 Laurent 다항식 대수의 직접합으로 분해하고, 행렬 대수에 대한 Lie·Jordan 가해가능성 기준을 이용해 경우를 구분한 것이다.

상세 분석

논문은 먼저 일반적인 연관대수 (A)에 대해 involution (\star)가 주어졌을 때, 스키워-대칭 원소 집합 (K_A={x\mid x^\star=-x})와 대칭 원소 집합 (S_A={x\mid x^\star=x})가 각각 Lie 대수와 Jordan 대수를 형성한다는 기본 사실을 상기한다. 이후 핵심 기술은 행렬 대수 (M_n(A))에 involution을 전이시킨 경우, (K_{M_n(A)})가 언제 Lie 가해가능한지에 대한 완전한 판정이다.

Proposition 3.1에서 저자들은 다음을 증명한다.

1. 차원 (n\ge3)이면 (K_{M_n(A)})는 절대 Lie 가해가능하지 않다. 이는 특정 3×3 블록을 이용해 무한히 깊은 비가환 사슬을 구성함으로써 보인다.
2. 차원 2인 경우, 특성 (\operatorname{char}K=2)이면 (K_{M_2(A)})는 Lie 가해가능하지만, 비자명 involution을 가질 때는 가해가능 지수가 최대 3이고, 자명 involution(전치)일 때는 지수가 2이다.
3. (\operatorname{char}K\neq2)이면 자명 involution이면 (