[論文レビュー] On deformation theory and graph homology

Füsun Akman, Lucian M. Ionescu+1 more|ArXiv.org|Jul 4, 2005

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

ひとこと要約

本稿は、ホモトピー摂動理論にインspiredされた「ほぼ収縮」写像を用いて、結合代数の変形理論におけるモーラー＝カルタン方程式の正規解を提案する。この手法をグラフホモロジーに適用し、定数ポアソン構造の場合にモーヤルのスタープロダクト公式がマージ演算から自然に導かれることが示され、線形ポアソン構造への一般化についてホモロジー的微分を介して予想される。

ABSTRACT

Deformation theory of associative algebras and in particular of Poisson algebras is reviewed. The role of an almost contraction leading to a canonical solution of the corresponding Maurer-Cartan equation is noted. This role is reminiscent of the homotopical perturbation lemma, with the infinitesimal deformation cocycle as initiator. Applied to star-products, we show how Moyal's formula can be obtained using such an almost contraction and conjecture that the merger operation provides a canonical solution at least in the case of linear Poisson structures.

研究の動機と目的

• 結合代数の変形理論におけるモーラー＝カルタン方程式を解くための体系的かつ一貫した手法の開発。
• 微分付きリーレイ（DGLA）を介して、結合代数の変形理論とグラフホモロジーを結びつける。
• 定数ポアソン構造の場合に、マージ演算からモーヤルのスタープロダクト公式が正規的に導かれることが示される。
• 線形ポアソン構造に対しては、ホモロジー的微分を介して同様のマージ演算が正規解を提供すると予想される。
• グラフのDGLAにおける対称性および反対称構造が、このような解の構成に鍵となることの特定。

提案手法

• 本稿は、グラフの空間に微分付きリーレイ（DGLA）構造を導入し、結合代数の変形理論をモデル化する。
• ホモトピー摂動補題に類似した「ほぼ収縮」写像を導入し、モーラー＝カルタン方程式の正規解を構成する。
• モーラー＝カルタン方程式は、階数付きリーブラケットを用いてリーレイ代数の式に再定式化され、プレリーダイナミクスの明示的使用を回避する。
• 定数ポアソン構造の場合に、マージ演算が「ほぼ収縮」としての候補となり、モーヤルの公式が得られる。
• 線形ポアソン構造の場合、微分 $\sigma$ がホモロジー的作用素として提案され、$\sigma^2 = 0$ を満たし、$Z_n = \sigma D_n$ を介して正規解を定義すると予想される。
• 反対称写像 $S(\Gamma) = (-1)^m \Gamma^t$ が、グラフのDGLAにおける対称性を明らかにし、正規解の存在を支持する。

実験結果

リサーチクエスチョン

• RQ1 変形理論におけるモーラー＝カルタン方程式は、「ほぼ収縮」写像を用いて正規的に解けるか？
• RQ2 グラフホモロジーにおけるマージ演算は、定数ポアソン構造の場合にスタープロダクト変形問題の正規解を提供するか？
• RQ3 マージ演算は線形ポアソン構造へ一般化可能であり、正規スタープロダクトをもたらすか？
• RQ4 グラフのDGLAにおける反対称対称性は、正規解の構成に果たす役割は何か？
• RQ5 マージ演算における組合せ的係数は、一般の場合の解の構成にどのように影響するか？

主な発見

• モーラー＝カルタン方程式は「ほぼ収縮」写像を用いて解かれる。その結果、ホモトピー摂動補題に類する正規変形解が得られる。
• 定数ポアソン構造の場合に、マージ演算を「ほぼ収縮」として用いることで、モーヤルのスタープロダクト公式が正規的に導出される。
• グラフに定義された微分 $\sigma$ は $\sigma^2 = 0$ を満たし、線形ポアソン構造の場合にホモロジー的作用素としての役割を果たすことが確認された。
• 反対称写像 $S(\Gamma) = (-1)^m \Gamma^t$ はリーレイ代数の自己同型であることが示され、グラフのDGLAにおける内在的な対称性が明らかになった。
• 一般に、$Z_n = \sigma D_n$ という予想が、線形ポアソン構造の場合の正規スタープロダクトの構成法として提示された。
• モーラー＝カルタン方程式の解の証明は、基底要素の対称性および余微分 $\delta$ を用いた項のキャンセルに依存している。