[论文解读] Solutions of the Yang-Baxter equations on orthogonal groups : the case of oscillator groups

Mohamed Boucetta-Alberto Medina|arXiv (Cornell University)|Aug 14, 2010

Geometric Analysis and Curvature Flows参考文献 9被引用 6

一句话总结

本文对一般振子李群上的李双代数结构和经典杨-Baxter方程的解进行了分类，表明每个解在对偶李群上诱导出一个平坦的左不变洛伦兹度量。其主要贡献在于通过正交李群上的解构造出一大类具有完备平坦洛伦兹度量的可解李群。

ABSTRACT

A Lie group is called orthogonal if it carries a bi-invariant pseudo Riemannian metric. Oscillator Lie groups constitutes a subclass of the class of orthogonal Lie groups. In this paper, we determine the Lie bialgebra structures and the solutions of the classical Yang-Baxter equation on a generic class of oscillator Lie groups. On the other hand, we show that any solution of the classical Yang-Baxter equation on an orthogonal Lie group induces a metric in the dual Lie groups associated to this solution. This metric is geodesically complete if and only if the dual are unimodular. More generally, we show that any solution of the generalized Yang-Baxter equation on an orthogonal Lie group determines a left invariant locally symmetric pseudo-Riemannian metric on the corresponding dual Lie groups. Applying this result to oscillator Lie groups we get a large class of solvable Lie groups with flat left invariant Lorentzian metric.

研究动机与目标

• 对一类通用的振子李代数上的李双代数结构和经典杨-Baxter方程的解进行分类。
• 在正交李群上的经典杨-Baxter方程解与它们对偶群上平坦左不变伪黎曼度量之间建立几何对应关系。
• 证明当且仅当对偶李群单模时，此类解才诱导出测地完备的度量。
• 将结果推广至广义杨-Baxter方程，表明解在对偶群上诱导出局部对称的伪黎曼度量。
• 将这些结果应用于振子群，构造出一大类具有平坦左不变洛伦兹度量的可解李群。

提出的方法

• 利用具有基 $\{e_{-1}, e_0, e_i, \check{e}_i\}$ 和括号 $[e_{-1}, e_j] = \lambda_j \check{e}_j$, $[e_{-1}, \check{e}_j] = -\lambda_j e_j$, $[e_j, \check{e}_j] = e_0$ 的振子李代数 $\mathfrak{g}_\lambda$ 的结构，其中 $\lambda_i$ 严格递增，且满足 $\lambda_k \neq \lambda_i + \lambda_j$ 对所有 $i<j<k$ 成立。
• 在子空间 $S = \text{span}\{e_i, \check{e}_i\}$ 上定义一个辛形式 $\omega$，满足 $\omega(e_i, \check{e}_j) = \delta_{ij}$，且对所有 $u,v \in S$ 有 $[u,v] = \omega(u,v)e_0$。
• 通过 $\omega$-对偶映射 $r\#$ 和对称双线性形式 $\omega_{r_1,r_2}$ 构造经典杨-Baxter方程 $[r,r] = 0$ 的解 $r \in \wedge^2 \mathfrak{g}_\lambda$。
• 使用余边界李双代数构造：给定 $r$，通过 $\xi_r(u) = \text{ad}_u r$ 定义对偶李括号 $[\alpha, \beta]_r^* = \xi_r(u)$，确保雅可比恒等式成立当且仅当 $r$ 满足广义杨-Baxter方程。
• 应用定理 1.3：任何正交李群上经典杨-Baxter方程的解均在对偶群 $G^*$ 上诱导出平坦左不变伪黎曼度量，该度量测地完备当且仅当 $G^*$ 是单模的。
• 验证对偶李代数 $\mathfrak{g}_\lambda^*$ 同构于 $\mathbb{R}e_0^*$ 与一个 5 维海森伯理想 $\mathcal{I} = \text{span}\{e_0^*, e_1^*, \check{e}_1^*, e_2^*, \check{e}_2^*\}$ 的半直积，其作用由 $\text{ad}_{e_0^*}$ 的限制给出。

实验结果

研究问题

• RQ1 在一般振子李代数 $\mathfrak{g}_\lambda$ 上，李双代数结构和经典杨-Baxter方程的解是什么？
• RQ2 正交李群上经典杨-Baxter方程的解 $r$ 如何在对偶群上诱导出伪黎曼度量？
• RQ3 在何种条件下，对偶群上诱导出的度量是测地完备的？
• RQ4 正交李群上的广义杨-Baxter方程是否能在对偶群上产生局部对称的伪黎曼度量？
• RQ5 从振子群上的解可以构造出哪一类具有平坦左不变洛伦兹度量的可解李群？

主要发现

• 对于任意经典杨-Baxter方程在一般振子李群 $G_\lambda$ 上的解 $r$，其对偶李群 $G_\lambda^*$ 上均存在由该解诱导出的平坦左不变伪黎曼度量。
• 该诱导度量在 $G_\lambda^*$ 上测地完备当且仅当 $G_\lambda^*$ 是单模的。
• 对偶李代数 $\mathfrak{g}_\lambda^*$ 同构于 $\mathbb{R}e_0^*$ 与一个 5 维海森伯李代数 $\mathcal{I}$ 的半直积，其中作用由 $\text{ad}_{e_0^*}$ 限制到 $\mathcal{I}$ 给出。
• 由 $\mathfrak{g}_\lambda$ 上的伴随不变洛伦兹度量 $\mathbf{k}_\lambda$ 通过定理 1.3 诱导出 $G_\lambda^*$ 上的完备平坦左不变洛伦兹度量。
• 正交李群上的广义杨-Baxter方程在对应对偶李群上产生左不变的局部对称伪黎曼度量。
• 从振子群上的解构造出一大类具有平坦左不变洛伦兹度量的可解李群，包括 $\text{Im}(r)$ 退化的例子，但 $\mathfrak{g}_r^*$ 仍保持可解。