[論文レビュー] 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

ひとこと要約

本稿は、post-Lie代数 𝔤 の普遍包あらゆる代数 𝒰(𝔤) における新しい結合的積を導入し、𝒰(𝔤̄) と 𝒰(𝔤) 上の新しいホップ代数構造との間でホップ代数同型を可能にする。この構成により、幾何的数値積分におけるバーサーの順序理論およびLie–Butcher級数、特に多様体上でのルンゲ＝クッタ＝マンテカス（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.

研究の動機と目的

• post-Lie代数のためのLie包あらゆる代数構造を確立し、普遍包あらゆる代数 𝒰(𝔤) に新たな結合的積を付加する。
• この新しい積が、𝒰(𝔤̄) と 𝒰(𝔤) から構成される修正されたホップ代数との間でホップ代数同型を生じることを示す。
• 自由post-Lie代数への適用により、多様体上の数値積分における基本的ホップ代数の理解を深める。
• pre-Lie代数の設定を用いて、ルンゲ＝クッタ法のバーサーの順序理論を再定式化し、簡潔な代数的導出を提供する。
• 古典的ルンゲ＝クッタ順序条件がpost-Lie代数の設定下でRKMK法に対しても同じ順序を保証することを証明する。

提案手法

• ベクトル空間 𝒱 に2つのLie括弧 [⋅,⋅]（𝔤 から）と ⟨⟨⋅,⋅⟩⟩ = x▹y − y▹x + [x,y]（𝔤̄ から）を備えたpost-Lie代数構造を定義する。
• 代数的構造を保ちながら、post-Lie積 ▹ を普遍包あらゆる代数 𝒰(𝔤) に新しい結合的積へ拡張する。
• 𝒰(𝔤̄) と新しいホップ代数 (𝒰(𝔾), ∗) の間でホップ代数同型を構成する（∗ は拡張された積）。
• ホップ代数の無限小的特徴と特徴を用いて指数写像とフロー近似を定義する。
• RKMK法への適用として、無限小的特徴の空間上にベクトル場 F(θ) = dexp⁻¹( exp(θ)▹f ) を定義する。
• 古典的ルンゲ＝クッタ順序条件がp次まで満たされている場合、RKMK法が指数フローのp次近似を達成することを検証する。

実験結果

リサーチクエスチョン

• RQ1 post-Lie代数の普遍包あらゆる代数にどのように新たな結合的積を導入し、𝒰(𝔤̄) と同型なホップ代数を構成できるか？
• RQ2 自由post-Lie代数は、幾何的数値積分における根付き木の基本的ホップ代数を理解する上で果たす役割は何か？
• RQ3 post-Lie代数構造は、pre-Lie設定下でバーサーの順序条件を統一的に代数的に導出可能か？
• RQ4 古典的ルンゲ＝クッタ順序条件がpost-Lie代数フレームワーク下でRKMK法に対し、同じ順序を保証する範囲はどの程度か？
• RQ5 接続のねじれと曲率、およびヤコビ恒等式の間の関係が、代数的にpost-Lie括弧構造と結びつけられるか？

主な発見

• 𝒰(𝔤) 上の新しい結合的積は、𝒰(𝔤̄) と修正されたホップ代数 (𝒰(𝔤), ∗) の間でホップ代数同型を誘導し、元の包あらゆる代数の代数的構造を保存する。
• この構成により、多様体上の数値積分の文脈において、平面根付き木の基本的ホップ代数の洗練された代数的解釈が得られる。
• pre-Lie設定下では、本フレームワークによりルンゲ＝クッタ法のバーサーの順序条件が簡潔かつ体系的に導出可能である。
• 古典的ルンゲ＝クッタ係数を用いて定義されるRKMK法は、係数がp次までの古典的順序条件を満たす場合、Ψ_RKMK(hf) − exp*(hf) = O(h^{p+1}) を満たす。
• F(θ) = dexp⁻¹(exp(θ)▹f) で定義される微分方程式 θ′(t) = F(θ(t)) は、無限小的特徴の空間におけるフローを記述し、これによりRKMKスキームがこの空間上の古典的ルンゲ＝クッタ法として解釈可能である。
• Bianchi恒等式および曲率・ねじれの平坦性条件が、post-Lie代数公理と整合的であることが示され、特に R=0 および ∇T=0 の場合、ねじれ括弧に対してヤコビ恒等式が成立する。