[论文解读] PostLie algebra structures on the Lie algebra sl(2,C)

Yu Pan, Qing Liu+2 more|arXiv (Cornell University)|Nov 26, 2011

Advanced Topics in Algebra参考文献 5被引用 5

一句话总结

本文提供了复李代数 $\mathrm{sl}(2,\mathbb{C})$ 上的PostLie代数结构的完整分类，直至同构，将问题简化为在正交群共轭作用下对称矩阵的矩阵方程解的分类。关键结果是列出了五个不同的同构类，其结构常数明确给出，分类依赖于复对称矩阵的典范形式及李代数自同构。

ABSTRACT

The PostLie algebra is an enriched structure of the Lie algebra that has recently arisen from operadic study. It is closely related to pre-Lie algebra, Rota-Baxter algebra, dendriform trialgebra, modified classical Yang-Baxter equations and integrable systems. We give a complete classification of PostLie algebra structures on the Lie algebra sl(2,C) up to isomorphism. We first reduce the classification problem to solving an equation of 3 x 3 matrices. To solve the latter problem, we make use of the classification of complex symmetric matrices up to the congruent action of orthogonal groups.

研究动机与目标

• 对复李代数 $\mathrm{sl}(2,\mathbb{C})$ 上所有同构类的PostLie代数结构进行分类。
• 将分类问题简化为求解涉及 $3\times3$ 复矩阵的矩阵方程。
• 利用 $\mathrm{SO}(3,\mathbb{C})$ 对复对称矩阵的共轭作用下的分类结果来求解该矩阵方程。
• 提供同构类的显式代表元，其结构常数明确写出。
• 建立PostLie代数同构类与矩阵方程解的共轭类之间的一一对应关系。

提出的方法

• 通过满足四个公理（反对称性、雅可比恒等式及两个PostLie关系）的二元运算 $\circ$ 定义 $\mathrm{sl}(2,\mathbb{C})$ 上的PostLie代数结构。
• 利用结果：任意半单李代数上的PostLie结构必可表示为 $x\circ y = [f(x), y]$，其中 $f$ 是 $\mathfrak{g}$ 上的线性算子。
• 在基 $\{e_1, e_2, e_3\}$ 下将算子 $f$ 表示为 $3\times3$ 矩阵 $A$，从而导出表征有效PostLie结构的矩阵方程（11）。
• 将同构类的分类问题转化为在 $\mathrm{SO}(3,\mathbb{C})$ 作用下，该矩阵方程解 $A$ 的共轭类的分类问题。
• 应用复对称矩阵在共轭作用下的典范形式分类，对满秩解进行分类。
• 对非满秩解，通过分析对称化形式如 $A + A^\prime$ 和 $A^\prime A$，利用相同的典范形式技术扩展分类。

实验结果

研究问题

• RQ1 复李代数 $\mathrm{sl}(2,\mathbb{C})$ 上的PostLie代数结构的所有同构类是什么？
• RQ2 如何将 $\mathrm{sl}(2,\mathbb{C})$ 上PostLie结构的分类问题简化为一个矩阵理论问题？
• RQ3 对称矩阵及其在 $\mathrm{SO}(3,\mathbb{C})$ 作用下的共轭类在分类PostLie代数中起什么作用？
• RQ4 $\mathrm{sl}(2,\mathbb{C})$ 的自同构如何作用于PostLie结构？它们如何用于定义同构？
• RQ5 能否通过计算所有可能的结构常数，使该分类变得显式？

主要发现

• 在 $\mathrm{sl}(2,\mathbb{C})$ 上恰好存在五个同构类的PostLie代数结构，如定理2中明确列出。
• 平凡的PostLie结构（对所有 $i,j$ 满足 $e_i \circ e_j = 0$）是五个类中的一个。
• 第二类对应于 $e_i \circ e_j = [-e_i, e_j]$，其来源于常数算子 $f = -\mathrm{id}$。
• 第三类源于具有复特征值的非对称算子 $f$，产生涉及系数 $\frac{1\pm\sqrt{-1}}{2}$ 的非平凡PostLie积。
• 第四类具有非零的 $f$-算子，其元素为复数，且在 $e_3$ 上作用为零，从而形成独特的结构。
• 第五类包含一个关于 $k \in \mathbb{C}$ 参数化的单参数解族，满足 $e_1 \circ e_i = [k e_1, e_i]$，并对 $e_2$ 和 $e_3$ 有特定的非平凡作用。