[논문 리뷰] Computer-aided study of double extensions of restricted Lie superalgebras preserving the non-degenerate closed 2-forms in characteristic 2

Sofiane Bouarroudj, Dimitry Leites외 1명|ArXiv.org|2019. 04. 21.

Algebraic structures and combinatorial models참고 문헌 14인용 수 6

한 줄 요약

이 논문은 특성 2에서 비퇴화된 닫힌 2형식을 보존하는 이중 확장을 분류하기 위해 SuperLie 패키지를 활용한 컴퓨터 보조 방법을 사용한다. $\frak{h}_\flat^{(1)}(0|n)$ ($n > 5$)의 경우 특정 패턴을 따르며, $a+b \to 6$ 및 $a=2,3$에 대해 명시적인 가족을 계산하여 $\bbR$ 위에서의 다중부등급과 루트 공간 분석을 통해 새로운 동형류와 구조적 차이를 드러낸다. 주요 기여는 모듈라 리 초대수이론에서 이러한 이중 확장의 체계적이고 계산적으로 가속화된 분류이다.

ABSTRACT

A Lie (super)algebra with a non-degenerate invariant symmetric bilinear form $B$ is called a nis-(super)algebra. The double extension $\mathfrak{g}$ of a nis-(super)algebra $\mathfrak{a}$ is the result of simultaneous adding to $\mathfrak{a}$ a central element and a derivation so that $\mathfrak{g}$ is a nis-algebra. Loop algebras with values in simple complex Lie algebras are most known among the Lie (super)algebras suitable to be doubly extended. In characteristic 2 the notion of double extension acquires specific features. Restricted Lie (super)algebras are among the most interesting modular Lie superalgebras. In characteristic 2, using Grozman's Mathematica-based package SuperLie, we list double extensions of restricted Lie superalgebras preserving the non-degenerate closed 2-forms with constant coefficients. The results are proved for the number of indeterminates ranging from 4 to 7 - sufficient to conjecture the pattern for larger numbers. Considering multigradings allowed us to accelerate computations up to 100 times.

연구 동기 및 목표

• 상수 계수를 가진 비퇴화되고 닫힌 2형식을 보존하는 특성 2에서의 제약 리 초대수의 이중 확장을 분류하는 것.
• 표준적 구성 방식이 다름을 보이는 $p=2$의 경우에 특히 초점을 맞춘 모듈라 리 초대수에 대한 이중 확장 이론의 확장.
• 특히 SuperLie와 다중부등급을 포함한 계산 도구를 활용하여 최대 7개의 미지수를 가진 대수의 분류 과정을 가속화하고 체계화하는 것.
• $n > 5$인 $rak{h}_lat^{(1)}(0|n)$의 이중 확장의 구조에 대한 정밀화된 추측을 증명하는 것.
• 랭크와 구조적 불변량을 분석하여 $ ilde{rak{po}}_{latlat}$, $rak{po}_{latlat}(m)$, $ ilde{rak{b}}(2n|2n)$와 같은 새로운 동형류를 식별하는 것.

제안 방법

• Grozman의 SuperLie Mathematica 패키지를 활용해 특성 2에서의 리 초대수의 구조와 불변량을 계산하고 분석하였다.
• 도수와 리 대수의 루트 공간에 다중부등급을 적용하여 $\bbR$ 위에서의 부등급을 해석함으로써 계산 속도를 최대 100배 가속화하였다.
• 이중 확장 구성법을 사용: $\frak{g} = \bbK c \rtimes \frak{a} \rtimes \bbK D^*$, 여기서 $c$는 중심이며 $D$는 $D^2 = 0$ 및 $B(Dx,y) + B(x,Dy) = 0$를 만족하는 도수이다.
• 대수 $\frak{g}$에 대한 비퇴화된 불변 대칭 이차형식(NIS) 조건을 도입하였으며, 이는 $\frak{a}$의 형식 $B$와 도수 $D$와의 호환성 필요성을 수반한다.
• NIS의 그람 행렬을 분석하고, $B_{\frak{a}}^T D^{(2n-1)} = D^{(2n-1)} B_{\frak{a}}$ 조건을 사용하여 유효한 도수를 분류하였다.
• 도수와 수반 사상의 랭크 분석을 통해 동형류를 식별하였으며, 예를 들어 $\frak{po}$에서는 $\rk D^{(2n-2)} = 2n$이지만 $\tilde{\frak{po}}$나 $\frak{po}(m)$에서는 그렇지 않다.

실험 결과

연구 질문

• RQ1 상수 계수를 가진 비퇴화되고 닫힌 2형식을 보존하는 특성 2에서의 제약 리 초대수 $\frak{h}_B^{(1)}(a|b)$ 및 $\frak{le}^{(1)}(a|a)$의 이중 확장의 완전한 가족은 무엇인가?
• RQ2 특성 2에서의 이중 확장의 구조적 성질은 $p \neq 2$와 어떻게 다를까? 특히 외부 도수와 $D^2 = 0$의 역할 측면에서.
• RQ3 특성 2에서의 모듈라 리 초대수에서 이중 확장의 계산을 다중부등급 기법(특히 $\bbR$ 기반)으로 상당히 가속화할 수 있는가?
• RQ4 $n > 5$인 $\frak{h}_\flat^{(1)}(0|n)$의 이중 확장의 정확한 구조는 무엇이며, $\frak{po}_{\flat\flat}$와 같은 알려진 대수와의 관계는 어떠한가?
• RQ5 어느 이중 확장들이 서로 동형이며, 어느 것은 아닐까? 랭크($D$, $D^2$, 또는 $\rk \text{ad}_p$)와 같은 불변량은 어떻게 이를 식별하는가?

주요 결과

• $4 \to a+b \to 6$ 및 $a=2,3$의 경우, 비퇴화되고 닫힌 2형식을 보존하는 $\frak{h}_B^{(1)}(a|b)$ 및 $\frak{le}^{(1)}(a|a)$의 모든 이중 확장을 계산하였다.
• $m \neq 0$인 $\frak{po}(0|2n+1;m)$은 $\frak{po}(0|2n+1;0)$와 동형이 아니지만, $m\tilde{m} \neq 0$이면 $\frak{po}(0|2n+1;m) \not\to \frak{po}(0|2n+1;\tilde{m})$이므로, 이는 비동형인 대수의 일파라미터 가족임을 보여준다.
• $\tilde{\frak{po}}_{\flat\flat}(2a|2b)$는 $\frak{po}_{\flat\flat}(2a|2b)$와 동형이 아니며, $\frak{po}$에서는 $\rk D^{(2n-2)} = 2n$이지만 $\tilde{\frak{po}}$에서는 그렇지 않으며, $n > 1$일 때 $\rk D_0^{(0)} = 2^{2n-1} \neq 2n$이다.
• $\tilde{\frak{b}}(2n|2n)$는 $\frak{b}(2n|2n)$와 동형이 아니며, $\tilde{\frak{b}}(2n|2n)$에서는 $\rk \text{ad}_{p_i} = 2^{4n-1} - 1$이 홀수이지만, $\frak{b}(2n|2n)$에는 홀수 랭크를 가진 원소가 존재하지 않는다.
• 도수 $D^{(2n-1)}$는 $q(a) = mc$ ($m \neq 0$)인 매개변수 가족을 유도하며, 서로 다른 $m$에 대해 비동형이다.
• $\bbR$ 기반 다중부등급의 사용으로 6개의 미지수를 가진 대수의 계산 시간을 8시간에서 5분으로 단축시켜 더 큰 경우의 분류를 가능케 하였다.