[论文解读] On the algebraic variety of Hom-Lie algebras

Elisabeth Remm, Michel Goze|arXiv (Cornell University)|Jun 8, 2017

Advanced Topics in Algebra参考文献 2被引用 6

一句话总结

本文证明了在特征为零的代数闭域上，$ n $-维 Hom-Lie 代数的集合构成仿射空间 $ \mathbb{K}^{n^2(n-1)/2} $ 中的一个代数子簇，证明了当 $ n=3 $ 时，所有斜对称代数均为 Hom-Lie 代数，且当 $ n=4 $ 时，Hom-Lie 代数构成一个超曲面。此外，本文确定唯一与 Hom-Lie 代数相关的二元二次操作律是李操作律，表明 Hom-Lie 代数不会推广其他二次操作律，仅限于李代数。

ABSTRACT

The set HLie(n) of the n-dimensional Hom-Lie algebras over an algebraically closed field of characteristic zero is provided with a structure of algebraic subvariety of the affine plane of dimension n^2(n-1)/2}. For n=3, these two sets coincide, for n=4 it is an hypersurface in K^{24}. For n>4, we describe the scheme of polynomial equations which define HLie(n). We determine also what are the classes of Hom-Lie algebras which are P-algebras where P is a binary quadratic operads.

研究动机与目标

• 将 $ n $-维 Hom-Lie 代数的集合确立为斜对称代数空间中的代数子簇。
• 对 $ n=3 $ 和 $ n=4 $ 的 Hom-Lie 代数进行分类，证明所有三维斜对称代数均为 Hom-Lie 代数，且 $ \mathcal{H}Lie_4 $ 是 $ \mathbb{K}^{24} $ 中的超曲面。
• 确定哪些二元二次操作律 $ \mathcal{P} $ 使得 $ \mathcal{P} $-代数为 Hom-Lie 代数。
• 分析编码 Hom-Jacobi 恒等式的矩阵 $ M_\mu $ 的核，以识别 Hom-Lie 代数背后的操作律结构。

提出的方法

• 通过结构常数 $ C_{i,j}^k $ 表示 $ n $-维 Hom-Lie 代数，将其嵌入 $ \mathbb{K}^{n^2(n-1)/2} $ 中作为斜对称代数。
• 使用循环和 $ \circlearrowleft_{x,y,z} \mu(\mu(x,y),\alpha(z)) = 0 $ 定义 Hom-Jacobi 恒等式，该恒等式编码于矩阵 $ M_\mu $ 中，其核决定了有效的 Hom-Lie 结构。
• 利用对称群 $ \sum_n $ 的作用，识别 $ M_\mu $ 核中的 $ \sum_n $-不变关系，从而导出操作律结构。
• 分析 $ n=3 $ 和 $ n=4 $ 时 $ M_\mu $ 的核，推导出定义 $ \mathcal{H}Lie_n $ 为代数簇的多项式方程。
• 研究 $ \ker M_\mu $ 中自同态 $ f $ 的作用，特别是 $ f = \text{Id} $ 的情形，以识别 Hom-Jacobi 恒等式何时退化为经典 Jacobi 恒等式。
• 研究斜对称乘积下 $ \mathcal{F}(E)(3) $ 和 $ \mathcal{P}(3) $ 的结构，确定唯一从与 Hom-Lie 代数相容的二元二次操作律中出现的是李操作律。

实验结果

研究问题

• RQ1 在哪些维度 $ n $ 下，$ n $-维 Hom-Lie 代数的簇是斜对称代数空间的真子簇？
• RQ2 对于 $ n=3 $ 和 $ n=4 $，$ \mathcal{H}Lie_n $ 的几何结构如何？其与 $ n \geq 5 $ 的情形有何不同？
• RQ3 哪些二元二次操作律 $ \mathcal{P} $ 满足 $ \mathcal{P} $-代数为 Hom-Lie 代数？
• RQ4 Hom-Jacobi 恒等式能否通过操作律结构进行解释？若是，哪些操作律与之相容？
• RQ5 为何 $ M_\mu $ 的核仅在二元二次操作律中产生李操作律，而无其他？

主要发现

• 当 $ n=3 $ 时，所有三维斜对称代数均为 Hom-Lie 代数，即 $ \mathcal{H}Lie_3 = \mathcal{SA}lg_3 $。
• 当 $ n=4 $ 时，集合 $ \mathcal{H}Lie_4 $ 在 $ \mathbb{K}^{24} $ 中构成一个超曲面，由来自 Hom-Jacobi 恒等式的四个独立多项式方程定义。
• 当 $ n \geq 5 $ 时，簇 $ \mathcal{H}Lie_n $ 由编码 Hom-Jacobi 恒等式的多项式方程组定义，尽管论文中未明确列出完整方程组。
• 唯一使得 $ \mathcal{P} $-代数为 Hom-Lie 代数的二元二次操作律 $ \mathcal{P} $ 是李操作律 $ \mathcal{L}ie $，对应于 $ f = \text{Id} $ 的情形。
• $ M_\mu $ 的核中仅包含李操作律作为 $ \sum_3 $-不变结构；其他可能的自同态 $ f $ 会导致平凡或非不变关系，从而排除其他二元二次操作律。
• 对 $ \ker M_\mu $ 中 $ v_f $ 的分析表明，仅当 $ a_1 = b_2 = c_3 = d_4 = 1 $ 且 $ f = \text{Id} $ 时，才会产生非平凡的 $ \sum_3 $-不变系统，从而确认李操作律是唯一可能的候选。