[论文解读] Lie algebra extensions related with linear bundles of Lie brackets

A.B. Yanovski|ArXiv.org|Aug 20, 2001

Advanced Topics in Algebra参考文献 8被引用 3

一句话总结

本文提出了一种自然的李代数扩张构造——具体而言是莱布尼茨扩张——通过李括号的线性丛，表明这些扩张源自通过分次结构和张量形变定义的相容李括号。关键贡献在于，提出了一种系统化方法，通过参数化括号在 ${\cal G}^n$ 上生成通用的可解与半单扩张，该括号推广了流体动力学模型中已知的泊松-李结构。

ABSTRACT

We consider some special type extensions of an arbitrary Lie algebra ${\cal G}$, arising in the theory of Lie-Poisson structures over $({\cal G}^*)^n$, where ${\cal G}^*$ is the dual of ${\cal G}$. We show that some classes of these extensions can be constructed in a natural way using some linear bundles of Lie algebras.

研究动机与目标

• 理解源自 $({\cal G}^*)^n$ 上李-泊松结构的 ${{\cal G}}^n$ 上李代数扩张的结构。
• 识别张量定义的括号 $[{\bf x},{\bf y}]_W$ 产生有效李代数结构的条件。
• 通过分次李代数分解与形变技术，构造一类新的通用扩张——莱布尼茨扩张。
• 表明这些扩张自然源自李代数的线性丛，特别是通过相容括号形变。
• 阐明通过“寻找半单部分”操作，可解与半单扩张之间的对应关系。

提出的方法

• 通过满足对称性与雅可比型条件的张量 $W^{ij}_s$ 在 ${\cal G}^n$ 上定义李括号：$W^{ij}_s = W^{ji}_s$ 且 $\sum_k (W^s_{ik}W^p_{kj} - W^q_{ik}W^p_{kj}) = 0$。
• 通过 $n+1$ 个矩阵 $W^{(k)}$ 重新解释括号，其分量为 $(W^{(k)})_i^j = W^{kj}_i$，表明雅可比条件等价于这些矩阵的相互可交换性。
• 使用同时块对角化将问题约化为不可约分量，重点研究 $s > 0$ 时的幂零矩阵及其广义特征值。
• 通过 $\mathbb{Z}_n$-分次李代数 $\cal H = \bigoplus_{i=0}^{n-1} \cal H^{(i)}$ 构造新类扩张，定义括号 $[x,y]^\lambda$，结合标准与平移分量。
• 引入由 $g$ 生成的交换代数 $\cal B$，满足 $g^n = 0$，并通过嵌入 $h(x) = \sum x_i \otimes g^i$ 将新括号实现为 ${\cal H} \otimes_{\bf K} \cal B$ 上李括号的拉回。
• 将莱布尼茨扩张括号定义为 $[x,y]^\lambda = [x,y]^0 + \lambda [x,y]^a$，其中 $[x,y]^a$ 捕获满足 $s+l \geq n$ 的项，并证明该括号对所有 $\lambda$ 定义李括号。

实验结果

研究问题

• RQ1 能否通过李代数的线性丛系统地构造 ${\cal G}^n$ 上的通用李代数扩张？
• RQ2 可解与半单李代数扩张通过何种规范的“半单部分”操作相互关联？
• RQ3 张量 $W^{ij}_s$ 的何种条件可确保诱导括号 $[{\bf x},{\bf y}]_W$ 满足雅可比恒等式？
• RQ4 莱布尼茨扩张括号能否自然地从分次李代数结构与幂零代数形变中导出？
• RQ5 每个通用李代数扩张是否都能在李代数线性丛框架内实现为形变？

主要发现

• 张量 $W^{ij}_s = \delta^{i+j}_s$ 在 ${\cal G}^n$ 上定义李括号，诱导出分次结构，使得 $[\cal F_n^{(i)}, \cal F_n^{(j)}]_L \subset \cal F_n^{(i+j)}$ 对于 $i+j \leq n-1$ 成立，否则为零。
• 括号 $[x,y]^\lambda = \sum_{s+l=i} [x_s,y_l] + \lambda \sum_{s+l \geq n} [x_s,y_l]$ 对所有 $\lambda \in \bf K$ 定义李代数结构，推广了已知的相容泊松括号。
• 当 $\lambda = 0$ 时对应标准分次李括号，而 $\lambda = 1$ 给出莱布尼茨扩张，两者均相容，并在 ${\cal G}_L^n$ 上给出新的李代数结构。
• 通过限制到指标 $1 \leq i,j,k \leq n-1$，可解莱布尼茨扩张作为完整扩张的“半单部分”被恢复，其中 $\bar{W}_k^{ij} = \delta^{i+j}_k$。
• 通过代数 $\cal B$（满足 $g^n = 0$）与嵌入 $h(x) = \sum x_i \otimes g^i$ 的构造，为 $\lambda$-形变括号提供自然实现，即作为张量积李代数上括号的拉回。
• 该方法表明，莱布尼茨扩张是唯一正则的通用扩张类，对每个 $n$ 均出现，并自然嵌入李代数线性丛理论之中。