[論文レビュー] A symmetric version of Kontsevich graph complex and Leibniz homology

Emily Burgunder|ArXiv.org|Apr 13, 2008

Topological and Geometric Data Analysis参考文献 11被引用数 5

ひとこと要約

この論文は、シミレティック群の作用を備えたコンツェビッチのグラフ複体の対称版を導入し、シンプレクティックベクトル場のリー代数のリーブニッツホモロジーを計算する。この代数のリーブニッツホモロジーと、連結対称グラフ複体のホモロジーのテンソル代数との間に同型が存在し、この同型はジンビエル-結合的バイアルゲブラ構造を尊重することが示された。

ABSTRACT

Kontsevich has proven that the Lie homology of the Lie algebra of symplectic vector fields can be computed in terms of the homology of a graph complex. We prove that the Leibniz homology of this Lie algebra can be computed in terms of the homology of a variant of the graph complex endowed with an action of the symmetric groups. The resulting isomorphism is shown to be a Zinbiel-associative bialgebra isomorphism.

研究の動機と目的

• シンプレクティックベクトル場のリー代数 $\mathfrak{sp}(\mathrm{Com})$ のリーブニッツホモロジーを計算すること。
• シミレティック群作用を備えたコンツェビッチのグラフ複体の変種、すなわち対称グラフ複体を構成すること。
• $HL_*(\mathfrak{sp}(\mathrm{Com}))$ と連結対称グラフ複体のホモロジーのテンソル代数との間に同型を確立すること。
• この同型が両側のジンビエル-結合的バイアルゲブラ構造と両立することを示すこと。
• シミレティック群作用による商をとることで、コンツェビッチの元々のリー代数ホモロジーの結果を系として回復すること。

提案手法

• 各次元 $n$ でシミレティック群 $\Sigma_n$ の作用を持つ対称グラフ複体を定義し、その商が標準的なコンツェビッチのグラフ複体を与えること。
• シミレティック群作用を備えたチェーン複体としてのチョーク図を構成し、カスズルのテクニックを用いてグラフと関連づけること。
• シミレティックリー代数のコインvariant理論を適用して、$\mathfrak{sp}(\mathrm{Com})$ のリーブニッツ複体を解析すること。
• コンツェビッチのグラフ構成の対称版を用いて、チョーク図からラベル付きグラフへの写像を構成すること。
• 標準的なグラフホモロジー技法を用いて、二価頂点を含まないグラフへのホモロジー計算の簡略化を行うこと。
• 積と余積との両方の整合性を検証することで、得られた同型がジンビエル-結合的バイアルゲブラ構造を保存することを確認すること。

実験結果

リサーチクエスチョン

• RQ1 コンツェビッチのグラフ複体の対称版を用いて、$\mathfrak{sp}(\mathrm{Com})$ のリーブニッツホモロジーを計算できるか？
• RQ2 $HL_*(\mathfrak{sp}(\mathrm{Com}))$ に自然なジンビエル-結合的バイアルゲブラ構造が存在するか。その構造がグラフホモロジーのテンソル代数の構造と一致するか？
• RQ3 対称グラフ複体は、シミレティック群作用による商をとることで、元々のコンツェビッチのグラフ複体とどのように関係するか？
• RQ4 リーブニッツホモロジーと対称グラフホモロジーのテンソル代数との間の同型が、バイアルゲブラ構造を保存するか？
• RQ5 著者の続編計画が示唆するように、この枠組みは他のオペラッドへ一般化可能か？

主な発見

• $\mathfrak{sp}(\mathrm{Com})$ のリーブニッツホモロジーは、連結対称グラフ複体のホモロジーのテンソル代数と同型である：$HL_*(\mathfrak{sp}(\mathrm{Com})) \cong T(H_*(\text{連結対称グラフ複体}))$。
• この同型はジンビエル-結合的バイアルゲブラの同型であり、結合的積とジンビエル余積の両方を保存する。
• 標準的なコンツェビッチの定理（リー代数ホモロジー）は、対称グラフ複体をシミレティック群作用で商することで系として得られる。
• ジンビエル-結合的バイアルゲブラ $HL_*(\mathfrak{sp}(\mathrm{Com}))$ の原始的部品は、テンソル代数構成によって全ホモロジーを生成する。
• シミレティックリー代数のコインvariant理論がリーブニッツ複体に成功裏に適用され、ホモロジー計算がグラフ論的データに簡略化された。
• 証明は、ラベルとシミレティック群作用を含むコンツェビッチの元々のグラフ構成の対称的変種に依拠しており、リーブニッツ構造と両立することが保証されている。