[論文レビュー] 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 more|ArXiv.org|Apr 21, 2019

Algebraic structures and combinatorial models参考文献 14被引用数 6

ひとこと要約

本稿では、SuperLieパッケージを用いたコンピュータ支援手法を用い、特性2における非退化で閉じた2次形式を保存する双拡大の分類を実施している。$\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$ における $\frak{h}_\flat^{(1)}(0|n)$ の双拡大の構造に関する鋭い予想を証明すること。
• ランクや構造的不変量を分析することで、$\tilde{\frak{po}}_{\flat\flat}$、$\frak{po}_{\flat\flat}(m)$、$\tilde{\frak{b}}(2n|2n)$ などの新たな同型類を区別すること。

提案手法

• 特性2におけるリースーパー代数の構造と不変量を計算・分析するために、GrozmanのSuperLie Mathematicaパッケージを用いた。
• 導分のルート空間およびリーモデルに多重次数を適用し、$\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 実数上での多重次数技法は、モジュラー・リースーパー代数における双拡大の計算を顕著に高速化できるか？
• RQ4 $n > 5$ の場合における $\frak{h}_\flat^{(1)}(0|n)$ の双拡大の正確な構造は何か。また、$\frak{po}_{\flat\flat}$ などの既知の代数とどのように関係するか？
• RQ5 どの双拡大が同型で、どのものがそうでないか。$D$ や $D^2$、$\rk \text{ad}_p$ などの不変量（例：$D$ のランク）はどのようにそれらを区別するか？

主な発見

• $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})$ であるため、非同型な代数の1パラメータ族が存在することが示された。
• $\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分に短縮し、より大きなケースの分類が可能になった。