[论文解读] 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 個不確定參數的代數之分類過程。
• 證明關於 $rak{h}_lat^{(1)}(0|n)$（$n > 5$）雙擴張結構的強化猜想。
• 透過分析秩與結構不變量，區分新的同構類，如 $ ilde{rak{po}}_{latlat}$、$rak{po}_{latlat}(m)$ 與 $ ilde{rak{b}}(2n|2n)$。

提出的方法

• 使用 Grozman 的 SuperLie Mathematica 套件，計算並分析特徵為 2 時的李超代數結構與不變量。
• 對導子與李代數的根空間應用多權重，將權重解釋為 $bR$ 上的結構，使計算速度提升達 100 倍。
• 使用雙擴張構造：$rak{g} = bK c times rak{a} times bK D^*$，其中 $c$ 為中心元素，$D$ 為滿足 $D^2 = 0$ 與 $B(Dx,y) + B(x,Dy) = 0$ 的導子。
• 施加非退化不變對稱雙線性形式（NIS）於 $rak{g}$ 上的條件，要求與 $rak{a}$ 上的形式 $B$ 及導子 $D$ 相容。
• 分析 NIS 的格拉姆矩陣，並使用條件 $B_{\frak{a}}^T D^{(2n-1)} = D^{(2n-1)} B_{\frak{a}}$ 以分類有效導子。
• 透過導子與伴隨映射的秩分析區分同構類，例如 $ k D^{(2n-2)} = 2n$ 在 $rak{po}$ 中成立，但在 $ ilde{rak{po}}$ 或 $rak{po}(m)$ 中不成立。

实验结果

研究问题

• RQ1 在特徵為 2 時，哪些是限制性李超代數 $rak{h}_B^{(1)}(a|b)$ 與 $rak{le}^{(1)}(a|a)$ 的雙擴張完整族，能保留非退化閉合 2-形式（係數為常數）？
• RQ2 雙擴張在特徵為 2 時的結構性質與 $p \neq 2$ 時有何不同，特別是外導子與 $D^2 = 0$ 的角色？
• RQ3 在 $\bbR$ 上使用多權重技術是否能顯著加速模李超代數中雙擴張的計算？
• RQ4 $rak{h}_\flat^{(1)}(0|n)$（$n > 5$）的雙擴張的精確結構為何？其與已知代數（如 $rak{po}_{latlat}$）有何關聯？
• RQ5 哪些雙擴張彼此同構，哪些不同？哪些不變量（如 $\rk D$、$D^2$ 或 $\rk \text{ad}_p$）可作為區分依據？

主要发现

• 對於 $4 \to a+b \to 6$ 及 $a=2,3$，本文計算出所有保留非退化閉合 2-形式（係數為常數）的 $rak{h}_B^{(1)}(a|b)$ 與 $rak{le}^{(1)}(a|a)$ 雙擴張。
• 雙擴張 $rak{po}(0|2n+1;m)$（$m \neq 0$）不與 $rak{po}(0|2n+1;0)$ 同構，但 $rak{po}(0|2n+1;m) \not\to \frak{po}(0|2n+1;\tilde{m})$（當 $m\tilde{m} \neq 0$ 時），顯示存在一參數族的非同構代數。
• $\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 分鐘，使更大規模案例的分類成為可能。