[論文レビュー] Post-Lie Algebras, Factorization Theorems and Isospectral-Flows

Kurusch Ebrahimi‐Fard, Igor Mencattini|arXiv (Cornell University)|Nov 7, 2017

Advanced Topics in Algebra参考文献 17被引用数 4

ひとこと要約

本稿は、post-Lie代数および普遍包あらゆる代数の枠組みにおいて、完成化された普遍包あらゆる代数における群的要素の分解定理を確立する、新しいpost-Lie Magnus展開を導入する。修正古典的Yang–Baxter方程式の解を用いることで、ホップ代数の同型を介して、等スペクトル流れの明示的指数関数的解が得られ、これはリー理論における古典的分解およびMagnus展開技法の一般化である。

ABSTRACT

In these notes we review and further explore the Lie enveloping algebra of a post-Lie algebra. From a Hopf algebra point of view, one of the central results, which will be recalled in detail, is the existence of a second Hopf algebra structure. By comparing group-like elements in suitable completions of these two Hopf algebras, we derive a particular map which we dub post-Lie Magnus expansion. These results are then considered in the case of Semenov-Tian-Shansky's double Lie algebra, where a post-Lie algebra is defined in terms of solutions of modified classical Yang-Baxter equation. In this context, we prove a factorization theorem for group-like elements. An explicit exponential solution of the corresponding Lie bracket flow is presented, which is based on the aforementioned post-Lie Magnus expansion.

研究の動機と目的

• 完成化された普遍包あらゆる代数における群的要素の新しい分解定理を、post-Lie代数構造を用いて確立すること。
• r行列から生じる二重リー代数の文脈において、古典的Magnus展開をpost-Lie設定に一般化すること。
• post-Lie Magnus展開を用いて、等スペクトル流れ方程式の明示的指数関数的解を導出すること。
• リー理論、ホップ代数、微分幾何的積分の結果を統合・拡張するために、post-Lie代数の普遍包あらゆる代数に第二のホップ代数構造を導入すること。

提案手法

• 著者らは、修正古典的Yang–Baxter方程式の解 $ R_+ $ を用いて、リー代数にpost-Lie代数構造を定義し、$[x,y]_{R_+} := [R_+x,y] - [R_+y,x] - [x,y]$ により、同じベクトル空間上に第二のリー括弧を誘導する。
• 彼らは普遍包あらゆる代数 $ \mathcal{U}(\mathfrak{g}_{R}) $ に第二のホップ代数構造を構成し、ホップ代数同型 $ \hat{F}: \hat{\mathcal{U}}(\mathfrak{g}_{R}) \to \hat{\mathcal{U}}_*(\mathfrak{g}) $ を得る。この同型は、ねじれたコプロダクトおよび積構造を介して群的要素を写像する。
• post-Lie Magnus展開 $ \chi(x) $ は、$ \mathfrak{g}_{R} $ 内の唯一の要素として定義され、$ \exp^*(\chi(x)) = \exp(x) $ を満たす。$ R_- $-変形括弧を用いた $ \chi_2(x) $ および $ \chi_3(x) $ の明示的再帰公式が与えられる。
• 等スペクトル流れ $ \dot{x}(t) = [x, R_-(x)] $ は、指数写像を用いて解かれる：$ x(t) = \exp(-R_-(\chi(x_0 t))) x_0 \exp(R_-(\chi(x_0 t))) $。これはpost-Lie作用がリー代数に与える影響から導出される。
• 主な技術的道具は、標準的およびpost-Lieコプロダクトを結びつける同型 $ \hat{F} $ であり、これにより完成化された普遍包あらゆる代数内での分解 $ \exp^*(x) = \exp(x_+) \exp(-x_-) $ が可能になる。
• この構成は、普遍包あらゆる代数の完成化および代数準同型 $ R_+, R_- $ の完成化領域への拡張に依存しており、級数展開の収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、post-Lie代数構造を用いて、普遍包あらゆる代数における群的要素の古典的分解を一般化できるか？
• RQ2 修正古典的Yang–Baxter方程式は、post-Lie代数を定義し、同じベクトル空間上に第二のリー括弧を誘導する上で果たす役割は何か？
• RQ3 Magnus展開はpost-Lie設定に拡張可能か？また、$ R_+ $ および $ R_- $ を用いた明示的形は何か？
• RQ4 post-Lie Magnus展開は、リー代数における等スペクトル流れとどのように関係するか？
• RQ5 群的要素の分解を実現する、正確なホップ代数同型は何か？

主な発見

• 本稿は、分解定理を確立する：任意の群的要素 $ \exp^*(x) \in \mathcal{G}(\hat{\mathcal{U}}_*(\mathfrak{g})) $ は、$ \exp^*(x) = \exp(x_+) \exp(-x_-) $ と分解可能であり、ここで $ x_+ = R_+(x) $、$ x_- = R_-(x) $ であり、$ R_+, R_- $ は二重リー代数構造からの射影である。
• post-Lie Magnus展開 $ \chi(x) $ は、$ \exp^*(\chi(x)) = \exp(x) $ を満たすように定義され、第二階項は $ \chi_2(x) = -\frac{1}{2}[R_-(x), x] $ であり、第三階項は $ R_- $ を用いたネストされた括弧を含む。
• 等スペクトル流れ $ \dot{x}(t) = [x, R_-(x)] $ の明示的解は、$ x(t) = \exp(-R_-(\chi(x_0 t))) x_0 \exp(R_-(\chi(x_0 t))) $ として得られ、これはリー群における共役作用であり、流れが等スペクトル的であることを示している。
• ホップ代数同型 $ \hat{F} $ は、$ \hat{\mathcal{U}}(\mathfrak{g}_{R}) $ と $ \hat{\mathcal{U}}_*(\mathfrak{g}) $ の間で、$ \hat{F} = \hat{m}_{\mathfrak{g}} \circ (\text{id} \hat{\otimes} \hat{S}_{\mathfrak{g}}) \circ (R_+ \hat{\otimes} R_-) \circ \hat{\Delta}_{\mathfrak{g}_R} $ の公式により構成され、第二のホップ構造の存在を証明する。
• 完成化された普遍包あらゆる代数 $ \mathcal{G}(\hat{\mathcal{U}}(\mathfrak{g})) $ 内の群的要素は、$ \exp(x) = \exp(\chi_+(x)) \exp(-\chi_-(x)) $ と分解可能であり、ここで $ \chi_\pm $ は $ \chi(x) $ を $ R_\pm $ で写像した像である。これは、二重リー代数における古典的分解を一般化する。
• 本稿は $ \chi_n(x) $ の再帰的公式を提供し、post-Lie Magnus展開が標準的指数写像に対する非可換補正を捉え、高階項が繰り返し $ R_- $-変形括弧を含むことを示している。