[论文解读] Leibniz algebras, Lie racks, and digroups

Michael Kinyon|ArXiv.org|Mar 30, 2004

Advanced Topics in Algebra参考文献 12被引用 56

一句话总结

本文提出李堆和李双群作为解决柯克里格问题的候选方案——将李的第三定理推广至莱布尼茨代数——通过证明分裂莱布尼茨代数作为线性李双群的切代数出现，且通过类似共轭的运算诱导出李堆结构。关键结果是针对分裂莱布尼茨代数，利用线性李双群及其关联的堆结构，建立了李的第三定理的类比。

ABSTRACT

The "coquecigrue" problem for Leibniz algebras is that of finding an appropriate generalization of Lie's third theorem, that is, of finding a generalization of the notion of group such that Leibniz algebras are the corresponding tangent algebra structures. The difficulty is determining exactly what properties this generalization should have. Here we show that \emph{Lie racks}, smooth left distributive structures, have Leibniz algebra structures on their tangent spaces at certain distinguished points. One way of producing racks is by conjugation in \emph{digroups}, a generalization of group which is essentially due to Loday. Using semigroup theory, we show that every digroup is a product of a group and a trivial digroup. We partially solve the coquecigrue problem by showing that to each Leibniz algebra that splits over its ideal generated by squares, there exists a special type of Lie digroup with tangent algebra isomorphic to the given Leibniz algebra. The general coquecigrue problem remains open, but Lie racks seem to be a promising direction.

研究动机与目标

• 解决开放的柯克里格问题：为莱布尼茨代数寻找一种类似于李群的群结构的一般化。
• 识别李代数中雅可比恒等式推导背后的本质代数结构，重点关注共轭而非群乘法。
• 证明李堆——具有左分配性的光滑流形——可实现为莱布尼茨代数的切代数。
• 证明分裂莱布尼茨代数可作为线性李双群的切代数出现，从而为柯克里格问题提供部分解决方案。
• 建立双群（作为具有两个相容运算的群的一般化）自然诱导出堆结构，因此在微分后可得到莱布尼茨代数。

提出的方法

• 引入李堆作为具有左分配性二元运算的光滑流形，证明其切空间携带莱布尼茨代数结构。
• 将线性李堆定义为李群与模的乘积，其堆运算由共轭导出。
• 引入双群作为具有两个二元运算（左和右群型）的集合，满足兼容性条件以确保存在共同的单位集。
• 利用半群理论证明每个双群都是群与平凡双群的乘积，从而实现结构分析。
• 在双群中定义类似共轭的运算 $ x \triangleright y = x \triangleright y \triangleleft x^{-1} $，证明其满足堆公理。
• 在 $ V \times H $ 上构造线性李双群，其中 $ H $ 是李群，$ V $ 是 $ H $-模，其运算为 $ (u,A) \triangleright (v,B) = (Av, ABA^{-1}) $。

实验结果

研究问题

• RQ1 柯克里格问题——将李的第三定理推广至莱布尼茨代数——是否可通过识别群概念的合适推广来解决？
• RQ2 李代数中雅可比恒等式推导背后的代数结构是什么？能否推广至莱布尼茨代数？
• RQ3 李堆是否为实现莱布尼茨代数（尤其是分裂情形）作为切代数提供了可行框架？
• RQ4 双群（作为具有两个相容运算的群的一般化）能否作为莱布尼茨代数的所需柯克里格对象？
• RQ5 是否存在一种李双群的构造，使其在单位元处的切代数同构于给定的分裂莱布尼茨代数？

主要发现

• 每个分裂莱布尼茨代数 $ \mathfrak{g} $ 都可赋予线性李双群结构，使得其在单位元处的切代数同构于 $ \mathfrak{g} $，从而为柯克里格问题提供了部分解决方案。
• 线性李双群通过类似共轭的运算 $ x \triangleright y = x \triangleright y \triangleleft x^{-1} $ 诱导出线性李堆，且每个线性李堆均可由此类结构实现。
• 李双群在单位元处的切空间携带莱布尼茨代数结构，推广了李群的李代数结构。
• 每个双群同构于一个群与一个平凡双群的乘积，该结论通过半群理论分解得以证明。
• 由李双群诱导的堆运算满足堆公理，其在单位元处的切空间为莱布尼茨代数。
• 在 $ V \times H $ 上构造的线性李双群，其运算为 $ (u,A) \triangleright (v,B) = (Av, ABA^{-1}) $，实现了标准的线性李堆结构，从而确认了线性李双群与线性李堆之间的对应关系。