[论文解读] The Tits construction and some simple Lie superalgebras in characteristic 3

Alberto Elduque|ArXiv.org|Mar 27, 2007

Algebraic structures and combinatorial models参考文献 16被引用 5

一句话总结

本文建立了特征3下 Tits 构造与某些单李超代数之间的联系，具体表明 Bouarroudj 与 Leites 引入的李超代数 Bj(1;N|7) 可通过使用单李代数 𝔭𝔰𝔩₃(k) 和由除幂代数导出的交换替代超代数 B 的 Tits 构造实现。关键结果是通过分次结构与普遍包络代数嵌入，证明了该方法构造出的李超代数与 Bj(1;N|7) 之间存在同构关系。

ABSTRACT

Some simple Lie superalgebras, specific of characteristic 3, defined by S. Bouarroudj and D. Leites, are shown to be related to the simple alternative and commutative superalgebras discovered by I.P. Shestakov.

研究动机与目标

• 将 Tits 构造与特征3下的特定单李超代数联系起来。
• 在 Bouarroudj 与 Leites 的李超代数 Bj(1;N|7) 与 Tits 构造框架之间建立结构联系。
• 证明 Bj(1;N|7) 可通过 𝔭𝔰𝔩₃(k) 和一个交换替代超代数 B 的 Tits 构造实现。
• 通过比较分次分量与普遍包络代数嵌入，证明通过 Tits 方法构造出的李超代数与 Bj(1;N|7) 同构。

提出的方法

• 使用 𝔭𝔰𝔩₃(k) 作为李代数，以及从除幂代数 𝒪(1;N) 和导子 D 导出的交换替代超代数 B，应用 Tits 构造。
• 构造李超代数 𝔤 = (𝔭𝔰𝔩₃(k) ⊗ B) ⊕ 𝔡_B,B，其分次结构继承自除幂代数。
• 显式计算分次：𝔤₋₂ = kD，𝔤₋₁ = 𝔭𝔰𝔩₃(k) ⊗ u，𝔤₀ = (𝔭𝔰𝔩₃(k) ⊗ 1) ⊕ k(t^(1)D)，更高分量为伴随模与平凡模的直和。
• 通过将普遍分次李代数 U(𝔤₋) 嵌入 𝒪(1) ⊗ Λ(7) 的特殊导子代数，证明 𝔤 与 Bj(1;N|7) 均可嵌入同一普遍对象。
• 通过比较负分量及零分量对负分量的作用，证明 𝔤₀ ≅ Bj(1;N|7)₀。
• 通过括积条件与维数计数，对分次分量进行归纳比较，确认对所有 i 有 𝔤_i = Bj(1;N|7)_i，从而得出同构关系。

实验结果

研究问题

• RQ1 Tits 构造能否扩展至在特征3下生成单李超代数 Bj(1;N|7)？
• RQ2 Bj(1;N|7) 的结构如何与使用 𝔭𝔰𝔩₃(k) 和交换替代超代数的 Tits 构造相关联？
• RQ3 除幂代数与导子在将 Bj(1;N|7) 实现为 Tits 构造中的作用是什么？
• RQ4 构造出的李超代数的分次分量如何与 Bj(1;N|7) 的分次分量匹配？
• RQ5 通过 Tits 方法构造出的李超代数是否与 Bj(1;N|7) 同构？

主要发现

• 通过使用 𝔭𝔰𝔩₃(k) 和超代数 B 的 Tits 方法构造出的李超代数与 Bj(1;N|7) 同构。
• 构造出的李超代数的负分量 𝔤₋ = 𝔤₋₂ ⊕ 𝔤₋₁ 与 Bj(1;N|7) 的负分量一致。
• 构造出的李超代数的零分量与 Bj(1;N|7) 的零分量同构，二者均通过伴随表示作用于 𝔭𝔰𝔩₃(k)，并带有 1 维中心扩张。
• 对所有满足 0 < i < 2·3^N - 2 的 i，分量 𝔤_i 作为 𝔭𝔰𝔩₃(k)-模与 Bj(1;N|7)_i 同构，为伴随模与平凡模的直和。
• 最高分量 𝔤_{2·3^N - 2} 与 𝔤_{2·3^N - 1} 分别同构于 Bj(1;N|7)_{2·3^N - 2} 与 Bj(1;N|7)_{2·3^N - 1}，前者为伴随模，后者为平凡模。
• 通过将两个李超代数嵌入普遍分次李代数 U(𝔤₋)，并确认维数与模结构的逐分量相等，确立了同构关系。