[論文レビュー] Lie algebra configuration pairing

Ben Walter|arXiv (Cornell University)|Oct 22, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 4

ひとこと要約

この論文は、非可換多項式からの係数抽出を用いて、結合的代数、preLie代数、グラフ代数の逐次商を介してLie余代数を構成することにより、Lie代数の配置ペアリングの代数的枠組みを導入する。グラフ表現がLie余代数における関係を単純化し、計算を効率化するとともに、自由Lie余代数が所定の原始的元を備えた反交換的余代数に等しいという結果の自明な証明を可能にする。

ABSTRACT

We give an algebraic construction of the topological graph-tree configuration pairing of Sinha and Walter beginning with the classical presentation of Lie coalgebras via coefficients of words in the associative Lie polynomial. Our work moves from associative algebras to preLie algebras to graph complexes, justifying the use of graph generators for Lie coalgebras by iteratively expanding the set of generators until the set of relations collapses to two simple local expressions. Our focus is on new computational methods allowed by this framework and the efficiency of the graph presentation in proofs and calculus involving free Lie algebras and coalgebras. This outlines a new way of understanding and calculating with Lie algebras arising from the graph presentation of Lie coalgebras.

研究の動機と目的

• Lie代数とグラフの間の配置ペアリングを、位相的入力を用いない代数的構成で提供すること。
• 結合的代数からpreLie代数へ、さらにグラフ代数へと段階的に生成子を拡張することで、Lie余代数におけるグラフ生成子の使用を正当化すること。
• グラフ表現を用いて、自由Lie代数および余代数における証明と微積分を簡素化すること。
• Lie括弧の結合的多項式における係数を抽出する新しい計算手法を提供すること。
• 自由Lie余代数が、正しい原始的元集合を備えた反交換的余代数に等しいことを確立すること。

提案手法

• 普遍包あらわしに類似した写像を用いて、結合的、preLie、グラフ余代数の商としてLie余代数を構成すること。
• 代数的配置ペアリングを、Lie括弧式の非可換多項式における語の係数として定義すること。
• 頂点ラベル付き根付きpreLie木を用いた組合せ的配置ペアリングを導入すること。
• グラフ代数からpreLieおよび結合的代数への商写像を用いて、構造的性質を移すこと。
• コイデアル理論および余代数ホモモーティズムの性質を用いて、核および生成されたコイデアルを分析すること。
• Lie代数とグラフ表現の双対性を活用し、新しい計算ツールを導出すること。

実験結果

リサーチクエスチョン

• RQ1 位相的入力を用いないで、Lie代数とグラフの間の配置ペアリングをどのように純粋に代数的に構成できるか？
• RQ2 preLie代数は、結合的代数とグラフ表現の間のLie余代数の橋渡しとして果たす役割は何か？
• RQ3 結合的またはpreLie表現と比較して、グラフ生成子はLie余代数の表現をどのように単純化するか？
• RQ4 グラフフレームワークは、Lie余代数における構造的結果の証明をより効率的に行えるか？
• RQ5 結合的多項式におけるLie括弧の係数とグラフペアリングの正確な関係は何か？

主な発見

• Lie余代数のグラフ表現により、関係の集合が2つの局所的表現へと単純化され、証明が著しく簡素化される。
• Lie代数とグラフの間の配置ペアリングは、結合的代数上の非可換多項式におけるLie括弧の係数に等しい。
• グラフフレームワークを用いることで、自由Lie余代数が正しい原始的元集合を備えた反交換的余代数に等しいという結果の自明な証明が得られる。
• 組合せ的配置ペアリングを介して、Lie括弧の結合的多項式における係数を計算する新しい手法が得られ、これは命題3.27に含まれる。
• グラフ普遍包あらわし代数から結合的普遍包あらわし代数への単射が確立され、グラフ表現の忠実性が確認される。
• 余代数ホモモーティズムの核および像におけるコイデアル構造が保存され、双対性を用いた構造的分析が可能になる。