[论文解读] Moufang symmetry I. Generalized Lie and Maurer-Cartan equations

Eugen Paal|arXiv (Cornell University)|Feb 25, 2008

Mathematics and Applications参考文献 4被引用 9

一句话总结

本文通过利用一阶偏微分方程刻画连续Moufang环的结合性最小偏离，引入了广义的李代数与Maurer-Cartan方程。其核心贡献在于通过满足新型对易关系的左不变与右不变向量场，对切Malcev代数实现双表示，从而推广了李群的经典Maurer-Cartan方程。

ABSTRACT

The continuous Moufang loops are characterized as the algebraic systems where the associativity law is perturbed minimally. The minimal perturbation of associativity is characterized by the first- order partial differential equations, which in a natural way generalize the Lie and Maurer-Cartan equations from the theory of Lie groups.

研究动机与目标

• 将连续Moufang环表征为代数系统中结合性的最小扰动。
• 将经典李与Maurer-Cartan方程从李群推广至非结合Moufang环。
• 通过泰勒展开与对称性约束，推导控制局部解析Moufang环结构的微分方程。
• 通过满足广义对易关系的左与右不变向量场，建立切Malcev代数的双表示。
• 证明Moufang环的三阶结合子具有完全反对称性，从而导出广义Akivis恒等式。

提出的方法

• 通过在单位元附近使用泰勒展开参数化局部解析Moufang环的乘法运算，引入辅助函数 $ u^i_j, v^i_j, u^i_{jk}, v^i_{jk} $。
• 从二阶项定义结构常数 $ c^i_{jk} = a^i_{jk} - a^i_{kj} $，以捕捉非结合性。
• 通过对Moufang恒等式求导并施加结合性偏离的最小性条件，推导一阶微分约束。
• 引入广义Maurer-Cartan方程（6.2a,b），作为一阶函数 $ u^i_j $ 与 $ v^i_j $ 的微分方程，涉及导数与结构常数。
• 将广义Maurer-Cartan方程用左不变与右不变向量场 $ L_x, R_x $ 表示，从而实现切Malcev代数的双表示。
• 推导三阶最小性条件，并证明三阶结合子具有完全反对称性，从而导出Akivis恒等式 $ J(x,y,z) = 6(x,y,z) $。

实验结果

研究问题

• RQ1 如何通过一阶偏微分方程表征连续Moufang环中结合性的最小偏离？
• RQ2 在非结合Moufang环的背景下，经典Maurer-Cartan方程的何种推广形式出现？
• RQ3 Moufang环上的左不变与右不变向量场如何满足广义对易关系？
• RQ4 切Malcev代数在编码Moufang环的非结合结构中起何种作用？
• RQ5 三阶结合子的完全反对称性如何导致切代数中广义Akivis恒等式的出现？

主要发现

• 广义Maurer-Cartan方程（6.2a,b）提供了经典Maurer-Cartan方程的最小扰动，通过结构函数的混合导数引入非结合性。
• 左不变与右不变向量场 $ L_x $ 与 $ R_x $ 满足双表示关系 $ [L_x, L_y] = L_{[x,y]} - 2[L_x, R_y] $ 等，这些关系推广了李代数的对易关系。
• 局部解析Moufang环的三阶结合子关于其下标具有完全反对称性，即 $ l^i_{jkl} = -l^i_{klj} = -l^i_{lkj} $ 等。
• 切Malcev代数的Akivis恒等式为 $ J(x,y,z) = 6(x,y,z) $，其中 $ J $ 为雅可比子，$ (x,y,z) $ 为结合子。
• 结构常数 $ c^i_{jk} $ 定义了一个Malcev代数，即一种非李代数，满足Malcev恒等式但不一定满足雅可比恒等式。
• 在结合性极限（即李群）下，广义Maurer-Cartan方程退化为标准Maurer-Cartan方程，且 $ [L_x, R_y] = 0 $，从而恢复经典情形。