[论文解读] On the Lie enveloping algebra of a post-Lie algebra

Kurusch Ebrahimi‐Fard, Alexander Selvikvåg Lundervold+1 more|arXiv (Cornell University)|Oct 23, 2014

Advanced Topics in Algebra参考文献 29被引用 42

一句话总结

本文提出了一种在后李代数 𝔤 的普遍包络代数 𝒰(𝔤) 上的新结合积，使得 𝒰(𝔤̄) 与 𝒰(𝔤) 上的新霍普夫代数结构之间存在霍普夫代数同构。该构造为几何数值积分中的巴彻阶理论及李–巴彻级数（特别是流形上的龙格-库塔-芒特-卡斯方法，即 RKMK 方法）提供了更精细的代数框架。

ABSTRACT

We consider pairs of Lie algebras $g$ and $\bar{g}$, defined over a common vector space, where the Lie brackets of $g$ and $\bar{g}$ are related via a post-Lie algebra structure. The latter can be extended to the Lie enveloping algebra $U(g)$. This permits us to define another associative product on $U(g)$, which gives rise to a Hopf algebra isomorphism between $U(\bar{g})$ and a new Hopf algebra assembled from $U(g)$ with the new product. For the free post-Lie algebra these constructions provide a refined understanding of a fundamental Hopf algebra appearing in the theory of numerical integration methods for differential equations on manifolds. In the pre-Lie setting, the algebraic point of view developed here also provides a concise way to develop Butcher's order theory for Runge--Kutta methods.

研究动机与目标

• 为后李代数建立一个李包络代数结构，通过在普遍包络代数 𝒰(𝔤) 上引入一个新的结合积，实现其扩展。
• 证明该新积可诱导出 𝒰(𝔤̄) 与由 𝒰(𝔤) 构造的修正霍普夫代数之间的霍普夫代数同构。
• 将该框架应用于自由后李代数，以更深入理解流形上数值积分中的基本霍普夫代数。
• 在预李代数设定下重新表述巴彻的阶理论，为龙格-库塔方法提供简洁的代数推导。
• 证明经典龙格-库塔阶条件在后李代数设定下，可保证 RKMK 方法在相同阶次下保持精度。

提出的方法

• 在向量空间 𝒱 上定义一个后李代数结构，其中包含两个李括号：来自 𝔤 的 [⋅,⋅] 和来自 𝔤̄ 的 ⟨⟨⋅,⋅⟩⟩ = x▹y − y▹x + [x,y]。
• 通过新结合积将后李积 ▹ 扩展至普遍包络代数 𝒰(𝔤)，同时保持代数结构不变。
• 在 𝒰(𝔤̄) 与新霍普夫代数 (𝒰(𝔾), ∗) 之间构造一个霍普夫代数同构，其中 ∗ 为扩展后的积。
• 利用霍普夫代数的无穷小特征标与特征标，定义指数映射与流逼近。
• 通过在无穷小特征标空间上定义向量场 F(θ) = dexp⁻¹( exp(θ)▹f )，将该框架应用于 RKMK 方法。
• 验证：若经典龙格-库塔阶条件在阶数 p 以内成立，则 RKMK 方法对指数流的逼近精度可达 p 阶。

实验结果

研究问题

• RQ1 如何在后李代数的普遍包络代数上赋予一个新结合积，使其与 𝒰(𝔤̄) 同构于一个霍普夫代数？
• RQ2 自由后李代数在理解几何数值积分中根植于树的霍普夫代数基本结构中起什么作用？
• RQ3 后李代数结构如何实现对预李代数设定下巴彻阶条件的统一代数推导？
• RQ4 经典龙格-库塔阶条件在多大程度上能保证 RKMK 方法在后李代数框架下保持相同阶次？
• RQ5 仿射联络中的挠率、曲率与雅可比恒等式之间是否存在代数关联，可与后李括号结构相联系？

主要发现

• 在 𝒰(𝔤) 上的新结合积诱导出 𝒰(𝔤̄) 与修正霍普夫代数 (𝒰(𝔤), ∗) 之间的霍普夫代数同构，保持了原始包络代数的代数结构。
• 该构造为流形上数值积分中平面根植树的基本霍普夫代数提供了更精细的代数解释。
• 在预李代数设定下，该框架为龙跳-库塔方法的巴彻阶条件提供了简洁而系统的代数推导。
• 若系数满足经典阶条件至 p 阶，则通过经典龙跳-库塔系数定义的 RKMK 方法满足 Ψ_RKMK(hf) − exp*(hf) = O(h^{p+1})。
• 在无穷小特征标空间中，由 θ′(t) = F(θ(t)) 定义的微分方程，其中 F(θ) = dexp⁻¹(exp(θ)▹f)，控制流的演化，使得 RKMK 格式可被解释为该空间上的经典龙跳-库塔方法。
• 贝亚希恒等式及曲率与挠率的平坦性条件与后李代数公理一致，尤其当 R=0 且 ∇T=0 时，挠率括号满足雅可比恒等式。