[论文解读] Lie-isoclinism of pairs of Leibniz algebras

Zahra Riyahi, J. M. Casas|arXiv (Cornell University)|Jul 25, 2018

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

一句话总结

本文引入了李代数对的李-同构（Lie-isoclinism）作为等价关系，推广了同构关系，表明与有限维李代数不同，在李布尼茨代数情形下，李-同构并不蕴含同构。关键贡献在于通过因子集构造识别出充分条件，使得李-同构的有限维李-茎李布尼茨代数彼此同构，从而解决了经典同构理论向非反对称代数的非平凡推广。

ABSTRACT

The aim of this paper is to consider the relation between Lie-isoclinism and isomorphism of two pairs of Leibniz algebras. We show that, unlike the absolute case for finite dimensional Lie algebras, these concepts are not identical, even if the pairs of Leibniz algebras are Lie-stem. Moreover, throughout the paper we provide some conditions under which Lie-isoclinism and isomorphism of Lie-stem Leibniz algebras are equal. In order to get this equality, the concept of factor set is studied as well.

研究动机与目标

• 通过李化函子（Liezation functor）将同构概念从李代数推广至李布尼茨代数对。
• 研究在有限维李布尼茨代数背景下，李-同构是否如在李代数中一样蕴含同构。
• 识别出李-同构的李-茎李布尼茨代数彼此同构的条件，尤其通过因子集的运用。
• 提供反例，表明在一般情况下李-同构与同构并不等价。

提出的方法

• 通过商代数与换位子代数之间的同构关系，引入李布尼茨代数对 $(\mathfrak{m}, \mathfrak{q})$ 的李-同构概念。
• 定义李换位子 $[\mathfrak{m}, \mathfrak{q}]_{\mathsf{Lie}}$ 与李中心 $Z_{\mathsf{Lie}}(\mathfrak{m}, \mathfrak{q})$，并将其视为 $\mathfrak{m}$ 中的双边理想。
• 利用李布尼茨代数非交换扩张中的因子集构造，对扩张进行分类，并将其与同构关系关联。
• 利用因子集 $f$ 与上同调数据，构造保持李-同构结构的同构映射 $\lambda$。
• 应用短正合列引理（Short Five Lemma）证明，在指定条件下，所构造的映射 $\lambda$ 是同构。
• 通过示例验证条件，包括一个二维李布尼茨代数满足 $[a_2,a_2] = \lambda a_1$，$\lambda \notin \mathbb{C}^2$，以及一个具有特定 $\varepsilon_{ij}$-对称性的四维代数。

实验结果

研究问题

• RQ1 李-同构是否在有限维李布尼茨代数中蕴含同构，如同在李代数中一样？
• RQ2 李代数中的绝对情形同构概念能否推广至李布尼茨代数对的情形？
• RQ3 在何种条件下，李-同构的李-茎李布尼茨代数成为同构？
• RQ4 因子集如何用于区分同构但非同构的李布尼茨代数对？
• RQ5 是否存在某种结构性条件（如 $[x_1,x_2] = \varepsilon_{12}[x_2,x_1]$）可确保由李-同构推出同构？

主要发现

• 有限维李布尼茨代数中，李-同构与同构并不等价，即使限制在李-茎对的情形下，反例已证明此点。
• 两个有限维李-茎李布尼茨代数之间存在李-同构，并不一般意味着它们同构。
• 李-同构的李-茎李布尼茨代数彼此同构的一个充分条件是：对所有 $x_1, x_2 \in \mathfrak{q}$，有 $[x_1, x_2] = \varepsilon_{12}[x_2, x_1]$，其中 $\varepsilon_{12} \in \mathbb{C}$。
• 因子集 $f$ 在分类非交换扩张以及构造李-同构对之间的同构映射中起核心作用。
• 所构造的同构映射 $\lambda$ 保持李-同构结构，其双射性通过短正合列引理得证。
• 示例验证表明，像 $\mathcal{A}_7$ 这类代数，以及满足 $\lambda \notin \mathbb{C}^2$ 的二维李布尼茨代数，均不满足对称性条件，因此不满足同构判别准则。