[論文レビュー] Symplectic operad geometry and graph homology

Swapneel Mahajan|ArXiv.org|Nov 29, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用数 3

ひとこと要約

この論文は、切り離しとマッティングの図式的計算を用いて、可逆的オペラッドの一般設定において、Kontsevichの定理（リー代数のホモロジーとグラフホモロジーの関係）を定式化する。mated species Q から Lie 代数 QA∞ とグラフ複体 (QG, ∂E) を構成し、それらのホモロジーが同型であることを証明することで、シンプレクティックオペラッド幾何学を通じて、可換、結合的、リー代数の3つの古典的ケースに対するKontsevichの元々の結果を統一的かつ一般化する。

ABSTRACT

A theorem of Kontsevich relates the homology of certain infinite dimensional Lie algebras to graph homology. We formulate this theorem using the language of reversible operads and mated species. All ideas are explained using a pictorial calculus of cuttings and matings. The Lie algebras are constructed as Hamiltonian functions on a symplectic operad manifold. And graph complexes are defined for any mated species. The general formulation gives us many examples including a graph homology for groups. We also speculate on the role of deformation theory for operads in this setting.

研究の動機と目的

• 可換、結合的、リー代数の3つの古典的ケースを超えて、Kontsevichの定理（リー代数ホモロジーとグラフホモロジーの関係）を一般化すること。
• 可逆的オペラッドの自然な設定において、種とマッチングされた種の言語を用いて、この関係を定式化すること。
• シンプレクティックオペラッド多様体上のハミルトニアン関数として Lie 代数 QA∞ を構成し、対応するグラフ複体 (QG, ∂E) を定義すること。
• QA∞ のホモロジーがグラフ複体 (QG, ∂E) のホモロジーと同型であることを証明し、Kontsevichの結果をより広いクラスのオペラッドへ拡張すること。

提案手法

• 可逆的オペラッドから種へのマッティング関手を導入し、可逆的オペラッド P を種 Q に写像する。これにより QA∞ と (QG, ∂E) の構成の基礎が得られる。
• 切り離しとマッティングの図式的計算を用いて、Lie 代数 QA∞ を Lie 代数 QAn の直限界として定義する。
• 積 µ に関して微分作用素である境界写像 ∂E を用いてグラフ複体 (QG, ∂E) を定義し、∂H と µ が可換でない失敗を測る補助括弧 [ , ] = ∂Hµ − µ∂H を導入する。
• 変形理論を適用し、G[[t]] の自明な変形のゲージ同値な変形を導入する。写像 D(n) = A−1 ◦ M(n) を用いて D = D0 + tD1 + t²D2 + ... を定義し、D0 は恒等写像である。
• この変形を用いて、∂H と括弧 [ , ] がホモロジー上で零写像を誘導することを示し、D1 と µ1 がチェーンホモトピーを提供することを示す。
• 変形における M(n) の双対性と図式の可換性に依拠して、∂1 = −∂H および [ , ] = ∂Eµ1 − µ1∂E を示し、∂H と [ , ] がホモロジー上で自明であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 Kontsevichの定理（リー代数ホモロジーとグラフホモロジーの関係）は、可換、結合的、リー代数の3つの古典的ケースを超えてどのように一般化できるか？
• RQ2 可逆的オペラッドとマッチングされた種は、リー代数とグラフ複体の構成を統一するために果たす役割は何か？
• RQ3 切り離しとマッティングの図式的計算は、Lie 代数 QA∞ とグラフ複体 (QG, ∂E) の構成をどのように促進するか？
• RQ4 変形理論は、∂H と括弧 [ , ] がホモロジー上で自明であることを示すための概念的枠組みをどのように提供するか？
• RQ5 マッチングされた種の構成を通じて、グラフ複体 (QG, ∂E) の構造は、群などの他の代数的対象へ拡張可能か？

主な発見

• Lie 代数 QA∞ は Lie 代数 QAn の直限界として構成され、そのホモロジーにはホップ代数構造が備わっている。
• グラフ複体 (QG, ∂E) は、積 µ に関して微分作用素である境界写像 ∂E を用いて定義され、代数的構造と整合性を保つ。
• 補助括弧 [ , ] = ∂Hµ − µ∂H は、∂H と µ が可換でない失敗を測り、ホモロジー上で零写像を誘導する。
• 写像 ∂H はホモロジー上で零写像を誘導し、D1 がチェーンホモトピーを提供する。これは変形理論とゲージ同値性を用いて示される。
• 変形写像 D(n) から導かれる積 µ1 は [ , ] = ∂Eµ1 − µ1∂E を満たし、括弧がホモロジー上で自明であることを証明する。
• G における余積 ∆ は ∂E に関して保存されるが ∂H に関しては保存されず、コブラケット θ = ∂H∆ − ∆∂H もホモロジー上で零写像を誘導する。