[论文解读] On split regular BiHom-Leibniz superalgebras

Shuangjian Guo, Shengxiang Wang|arXiv (Cornell University)|Mar 28, 2019

Advanced Topics in Algebra参考文献 15被引用 4

一句话总结

本文利用根连接技术建立了分裂正则BiHom-Leibniz李超代数的结构，证明其可分解为 $\mathfrak{L} = U + \sum_{\alpha} I_{\alpha}$，其中 $U$ 是极大交换子代数的一个子空间，且当根不等价时，理想 $I_\alpha$ 相互对易。对于最大长度代数，其单性由根连通性与素性特征刻画。

ABSTRACT

The goal of this paper is to study the structure of split regular BiHom-Leiniz superalgebras, which is a natural generalization of split regular Hom-Leiniz algebras and split regular BiHom-Lie superalgebras. By developing techniques of connections of roots for this kind of algebras, we show that such a split regular BiHom-Leiniz superalgebras $\mathfrak{L}$ is of the form $\mathfrak{L}=U+\sum_{\a}I_\a$ with $U$ a subspace of a maximal abelian subalgebra $H$ and any $I_{\a}$, a well described ideal of $\mathfrak{L}$, satisfying $[I_\a, I_\b]= 0$ if $[\a] eq [\b]$. In the case of $\mathfrak{L}$ being of maximal length, the simplicity of $\mathfrak{L}$ is also characterized in terms of connections of roots.

研究动机与目标

• 研究分裂正则BiHom-Leibniz超代数的结构，这是Hom-Leibniz代数与BiHom-Lie超代数的推广。
• 将此前用于分裂李代数与Hom代数的根连接技术扩展至这一类非结合超代数。
• 刻画此类超代数按根类索引的理想之和的分解结构。
• 确定此类代数在最大长度情形下为单代数的条件。
• 为理解这类广义BiHom代数的代数结构提供根理论框架。

提出的方法

• 利用两个扭同态 $\phi$ 和 $\psi$，为分裂正则BiHom-Leibniz超代数建立根空间分解。
• 引入根之间的 $\mathfrak{J}$-连接与 $\neg\mathfrak{J}$-连接概念，以分析理想生成与对易性。
• 应用根乘法性与最大长度假设，将非零根空间通过嵌套括号传播。
• 利用根空间在 $\phi$ 与 $\psi$ 下的不变性（通过 $\phi(\mathfrak{L}_\beta) = \mathfrak{L}_{\beta\phi^{-1}}$）将理想扩展至扭根轨道。
• 通过条件 $[I_\alpha, I_\beta] = 0$ 当 $[\alpha] \neq [\beta]$，强制分解为相互对易的分量。
• 应用文献[15]与[27]中的技术，证明由根空间生成的理想完全由其根连接决定。

实验结果

研究问题

• RQ1 如何利用根空间技术分解分裂正则BiHom-Leibniz超代数的结构？
• RQ2 在根类不同时，何种条件可确保与根类关联的理想 $I_\alpha$ 相互对易？
• RQ3 在何种条件下，最大长度的分裂正则BiHom-Leibniz超代数是单代数？
• RQ4 $\mathfrak{J}$-连接与 $\neg\mathfrak{J}$-连接如何决定理想结构与单性？
• RQ5 根乘法性在将非零根空间在整个代数中传播的过程中起何种作用？

主要发现

• 任意分裂正则BiHom-Leibniz超代数 $\mathfrak{L}$ 可分解为 $\mathfrak{L} = U + \sum_{\alpha} I_{\alpha}$，其中 $U \subseteq H$ 是极大交换子代数 $H$ 的一个子空间，且每个 $I_\alpha$ 均为结构清晰的理想。
• 当 $[\alpha] \neq [\beta]$ 时，理想 $I_\alpha$ 满足 $[I_\alpha, I_\beta] = 0$，表明不同根类之间具有对易结构。
• 对于最大长度代数，单性由条件 $\Lambda^{\mathfrak{J}}$ 与 $\Lambda^{\neg\mathfrak{J}}$ 对任意非零理想 $\mathfrak{J}$ 完全 $\neg\mathfrak{J}$-连通所刻画。
• 在最大长度与平凡中心的假设下，代数 $\mathfrak{L}$ 是单代数当且仅当其为素代数，且 $\Lambda^{\neg\mathfrak{J}}$ 中所有根均为 $\neg\mathfrak{J}$-连通。
• 证明依赖于如下事实：由根空间生成的任意非零理想必须包含所有可通过 $\neg\mathfrak{J}$-连接到达的根空间，从而覆盖整个代数。
• 该结构在 $\phi$ 与 $\psi$ 扭转下保持不变，满足 $\phi(\mathfrak{L}_\beta) = \mathfrak{L}_{\beta\phi^{-1}}$ 与 $\psi(\mathfrak{L}_\beta) = \mathfrak{L}_{\beta\psi^{-1}}$，从而实现理想在根轨道上的传播。