[论文解读] Faithful representations of Lie algebras and Homogeneous Spaces

Petros A. Terzis|arXiv (Cornell University)|Apr 30, 2013

Nonlinear Waves and Solitons参考文献 30被引用 4

一句话总结

本文提出了一种纯代数的算法方法，通过作用于理想之通用覆盖代数的对偶空间，计算维度≤4的实李代数的忠实表示。利用结构常数，该方法通过矩阵指数运算计算左不变向量场（Killing场）、右不变向量场、左不变1-形式以及群复合函数，从而在无需求解微分方程的情况下，完整表征齐性流形。

ABSTRACT

The faithful representations of real Lie algebras g with dimensions $n\leq 4$ acting on the dual space of the universal covering algebra of an ideal s of g, are calculated. With the help of left and right translations of the Lie group, we define the homogeneous manifolds of dimension n and we calculate the Killing fields (generators of left translations), the invariant fields (generators of right translations) and the left invariant 1-forms.

研究动机与目标

• 系统计算作用于理想之通用覆盖代数对偶空间的维度≤4的实李代数的忠实表示。
• 为与这些李代数相关的齐性流形推导左不变向量场（Killing场）和右不变向量场，以及左不变1-形式。
• 基于结构常数，通过矩阵指数运算计算群复合函数，避免求解偏微分方程。
• 提供一种可实施于计算机代数系统中的算法化、纯代数框架，用于显式计算李群上的几何结构。
• 提供一种自包含的、构造性方法，仅通过结构常数和代数运算，表征低维李群的齐性空间。

提出的方法

• 通过作用于李代数中理想之通用覆盖代数的对偶空间，构建李代数的忠实表示。
• 利用李代数的结构常数定义表示矩阵，再通过指数化生成有限群元素。
• 对群复合函数在单位元附近应用泰勒展开，推导左移和右移生成元。
• 通过复合函数的微分，将Killing场作为左移生成元，将不变向量场作为右移生成元。
• 利用左移映射的雅可比矩阵的逆矩阵计算左不变1-形式。
• 采用拉格朗日–西尔维斯特插值法计算矩阵指数，从而显式计算群复合函数。

实验结果

研究问题

• RQ1 如何仅利用结构常数，算法化地计算维度≤4的实李代数的忠实表示？
• RQ2 在不求解偏微分方程的前提下，如何显式使用代数方法推导齐性流形上的Killing场和不变向量场？
• RQ3 如何从李代数的结构常数代数计算李群的群复合函数？
• RQ4 理想之通用覆盖代数的对偶空间与李代数的忠实表示之间存在何种关系？
• RQ5 能否仅通过代数运算和矩阵指数运算，系统地推导出齐性流形的左不变1-形式和不变基？

主要发现

• 该方法成功通过作用于理想之通用覆盖代数的对偶空间，计算了所有维度≤4的实李代数的忠实表示。
• Killing场和不变向量场通过复合函数的微分代数推导得出，无需求解PDE。
• 左不变1-形式作为左不变向量场的对偶基，通过左移映射的雅可比矩阵计算得出。
• 基于拉格朗日–西尔维斯特插值法的矩阵指数运算，显式计算了李群的复合函数。
• 对于代数 $A_{4,10}$，计算了矩阵指数 $\exp(\theta^\mu \Omega_\mu)$，其特征值为 $\lambda_1=0$（重数2），$\lambda_{2,3}=\pm i\theta^4$（重数1），$\lambda_{4,5}=\pm 2i\theta^4$（重数1），并得到插值多项式显式系数 $c_k$。
• 最终群元素通过重新定义的坐标 $\theta^1, \theta^2, \theta^3$ 用原始群参数 $\alpha^1, \alpha^2, \alpha^3, \alpha^4$ 表示，从而实现对齐性流形的显式参数化。