[论文解读] Generalized Lie bialgebras and Jacobi structures on Lie groups

David Iglesias, Juan Carlos Marrero|ArXiv.org|Feb 21, 2001

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

一句话总结

本文将广义李双代数引入为配备特殊雅可比结构的李群的无穷小不变量，扩展了经典的李双代数框架。它建立了广义李双代数与李群上雅可比结构之间的对应关系，推广了杨-巴克斯特方程方法以实现构造，并对紧致广义李双代数进行了完全分类，表明非平凡1-上循环仅在 su(2) 中出现。

ABSTRACT

We study generalized Lie bialgebroids over a single point, that is, generalized Lie bialgebras. Lie bialgebras are examples of generalized Lie bialgebras. Moreover, we prove that the last ones can be considered as the infinitesimal invariants of Lie groups endowed with a certain type of Jacobi structures. We also propose a method to obtain generalized Lie bialgebras. It is a generalization of the Yang-Baxter equation method. Finally, we describe the structure of a compact generalized Lie bialgebra.

研究动机与目标

• 建立广义李双代数与李群上雅可比结构之间的对应关系，推广已知的李双代数与泊松李群之间的联系。
• 将用于构造李双代数的杨-巴克斯特方程方法推广至广义情形，从而实现广义李双代数的新构造。
• 对具有非平凡1-上循环的紧致广义李双代数进行分类，特别是确定此类结构存在的条件及其底层李代数约束。
• 探讨李代数上代数雅可比结构与广义李双代数之间的关系，尤其关注接触结构与局部共形辛结构的情形。

提出的方法

• 将广义李双代数定义为对 $((\mathfrak{g}, \phi_0), (\mathfrak{g}^*, X_0))$，其中 $\mathfrak{g}$ 为李代数，$\phi_0 \in \mathfrak{g}^*$ 为1-上循环，$X_0 \in \mathfrak{g}$ 为对偶中的1-上循环，且满足相容性条件。
• 利用舒滕-奈亨尼斯括号，通过满足 $[\Lambda, \Lambda] = 2E \wedge \Lambda$ 和 $[E, \Lambda] = 0$ 的对 $(\Lambda, E)$ 定义李群上的雅可比结构。
• 通过广义杨-巴克斯特方程方法构造广义李双代数，扩展经典李双代数的构造方法。
• 将理论应用于李代数上的代数雅可比结构，特别关注接触结构与局部共形辛结构。
• 运用表示论与上同调技术分析紧致广义李双代数，尤其利用 $\mathrm{ad}$-不变内积。
• 证明任何具有非平凡代数接触结构的紧致李代数必同构于 $\mathfrak{su}(2)$，利用特征方向的极大性。

实验结果

研究问题

• RQ1 广义李双代数如何表征配备雅可比结构的李群的无穷小不变量？
• RQ2 广义杨-巴克斯特方程方法如何用于构造广义李双代数？其与经典构造方法有何关系？
• RQ3 哪些紧致李代数允许非平凡广义李双代数结构？1-上循环 $\phi_0$ 与 $X_0$ 的约束条件是什么？
• RQ4 李代数上代数雅可比结构与相应广义李双代数之间的精确关系是什么？
• RQ5 所有具有非平凡1-上循环的紧致广义李双代数是否可被完全分类？李代数结构在此分类中起何作用？

主要发现

• 广义李双代数是配备雅可比结构的李群的无穷小不变量，推广了李双代数与泊松李群之间的对应关系。
• 广义杨-巴克斯特方程方法允许从李代数上的代数雅可比结构系统地构造广义李双代数。
• 任何允许非平凡广义李双代数结构（$\phi_0 \neq 0$ 或 $X_0 \neq 0$）的紧致李代数必同构于 $\mathfrak{su}(2)$。
• 所有 $\mathfrak{su}(2)$ 上的代数接触结构均来自1-形式 $\eta = \mu_1 e^1 + \mu_2 e^2 + \mu_3 e^3$，其中 $\mu = (\mu_1, \mu_2, \mu_3) \neq 0$，相应的广义李双代数由 $r = \lambda^1 e_2 \wedge e_3 - \lambda^2 e_1 \wedge e_3 + \lambda^3 e_1 \wedge e_2$，$X_0 = - (\lambda^1 e_1 + \lambda^2 e_2 + \lambda^3 e_3)$ 确定，且 $\lambda^i = -\mu_i / (\mu_1^2 + \mu_2^2 + \mu_3^2)$。
• 对于维数为 $2k+1$ 的紧致李代数 $\mathfrak{h}$，若其允许非平凡代数接触结构，则必有 $k=1$ 且 $\mathfrak{h} \cong \mathfrak{su}(2)$，其特征方向生成一个极大阿贝尔子代数。
• 在广义李双代数设定中非平凡1-上循环的存在性意味着李代数必须是单代数且秩为1，从而将可能的紧致例子限制为 $\mathfrak{su}(2)$。