[論文レビュー] On the Lie envelopping algebra of a pre-Lie algebra

Jean-Michel Oudom, Daniel Guin|ArXiv.org|Apr 26, 2004

Advanced Topics in Algebra被引用数 10

ひとこと要約

この論文は、前リー代数 $ L $ の対称代数 $ S(L) $ に畳み込み型の積 $ * $ を導入した場合、$ L $ が誘導するリー代数 $ L_{\text{Lie}} $ の普遍包あくり代数と、標準的な同型をもつことを確立する。この構成により、根付き木に働く前リー構造を通じて、コンネス＝クライマーおよびグロスマン＝ラーソンのホップ代数を含む、組合せ論的ホップ代数の統一的枠組みが得られ、同じ積を用いることで、対称ブラケット代数が前リー代数と同値であることが示される。

ABSTRACT

We construct an associative product on the symmetric module S(L) of any pre-Lie algebra L. Then we proove that in the case of rooted trees our construction is dual to that of Connes and Kreimer. We also show that symmetric brace algebras and pre-Lie algebras are the same. Finally, using brace algebras instead of pre-Lie algebras, we give a similar interpretation of Foissy's Hopf algebra of planar rooted trees.

研究の動機と目的

• 前リー代数から普遍包あくり代数への一般化された代数的構成を確立すること。
• コンネスとクライマーが構成した根付き木のホップ代数が、根付き木の前リー代数の包あくり代数の双対として現れることを示すこと。
• 対称ブラケット代数が $ * $-積構成を通じて前リー代数と同値であることを示すこと。
• ブルーダー、フアッシー、グロスマン＝ラーソンのホップ代数を含む、さまざまな組合せ論的ホップ代数を、前リー代数とブラケット代数に基づく一様な枠組みに統合すること。

提案手法

• 前リー積 $ \circ $ と対称代数構造を用いて、前リー代数 $ L $ の対称代数 $ S(L) $ に双線形積 $ * $ を定義する。
• デコンカタネーションコプロダクト $ \Delta $ を用いて、$ (S(L), *, \Delta) $ がリー代数 $ L_{\text{Lie}} $ の普遍包あくり代数と同型であることを証明する。
• $ X $-色付き根付き木の前リー代数の対称代数に、$ * $-積を明示的に構成する。
• $ * $ と $ \circ $ の積を用いて、ブラケット作用を $ * $-積に一致させることで、対称ブラケット代数が前リー代数と同値であることを示す。
• ブラケット代数 $ V $ のテンソル代数 $ T(V) $ にこの構成を適用し、それがホップ代数構造を有することを示す。
• フアッシーの平面上の根付き木のホップ代数が、適切なブラケット代数 $ V $ に対する $ T(V) $ 上のホップ代数として実現されることを示し、本研究の一般的枠組みに組み込む。

実験結果

リサーチクエスチョン

• RQ1 リー代数 $ L_{\text{Lie}} $ の普遍包あくり代数は、前リー代数 $ L $ の対称代数からどのように明示的に構成できるか？
• RQ2 コンネス＝クライマーとグロスマン＝ラーソンの根付き木のホップ代数の間の正確な代数的関係は何か？ そして、それらはどのように前リー構造から生じるか？
• RQ3 対称ブラケット代数は、$ * $-積を用いた普遍的構成を通じて前リー代数として特徴付けられるか？
• RQ4 ブルーダー、コンネス＝クライマー、フアッシーが導入した根付き木のホップ代数は、対称代数およびテンソル代数の一般的構成とどのように関係するか？
• RQ5 変形理論、オペラッド、組合せ論におけるホップ代数構造の出現を、前リー代数とブラケット代数を通じて統一的に説明する枠組みは存在するか？

主な発見

• 前リー代数 $ L $ の対称代数 $ S(L) $ に、前リー積 $ \circ $ を用いて定義された $ * $-積を導入した場合、それはリー代数 $ L_{\text{Lie}} $ の普遍包あくり代数と同型である。
• $ S(L) $ 上の $ * $-積の構成は、変形理論に既知のものよりも一般化された、普遍包あくり代数の明示的実現を提供する。
• $ X $-色付き根付き木の前リー代数に対して、$ S(L) $ 上の $ * $-積は、コンネス＝クライマーのホップ代数の双対に一致し、コンネス＝クライマーとグロスマン＝ラーソンのホップ代数の双対性についての新しい証明を提供する。
• ブラケット作用を $ S(L) $ 上の $ * $-積に一致させることで、対称ブラケット代数が前リー代数と同値であることが示され、二つの代数的構造が統合される。
• フアッシーの平面上の根付き木のホップ代数は、ブラケット代数 $ V $ のテンソル代数 $ T(V) $ 上のホップ代数として実現され、本研究の一般的枠組みに組み込まれる。
• 本論文は、根付き木のホップ代数（コンネス＝クライマー、グロスマン＝ラーソン、フアッシー）が、すべて、対称代数およびテンソル代数の構成を通じて、前リー代数とブラケット代数に基づく同一の代数的メカニズムから生じることを確立する。