[論文レビュー] Deformation Theory (lecture notes)

M. Doubek, Martin Markl+1 more|ArXiv.org|May 25, 2007

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

ひとこと要約

この論文は、代数的構造の変形を分類する際にマウラー＝カルタン方程式が果たす役割に焦点を当て、変形理論の包括的な紹介を提供する。$L_\infty$-マウラー＝カルタン方程式の解のモジュライ空間のホモトピー不変性を確立し、コンツェビッチの形式性定理の概念的概要を提示する。この定理は、多項ベクトル場と多項微分作用素の間の $L_\infty$-準同型写像を介して、ポisson多様体の変形量子化の存在を示す。

ABSTRACT

First three sections of this overview paper cover classical topics of deformation theory of associative algebras and necessary background material. We then analyze algebraic structures of the Hochschild cohomology and describe the relation between deformations and solutions of the corresponding Maurer-Cartan equation. In Section 6 we generalize the Maurer-Cartan equation to strongly homotopy Lie algebras and prove the homotopy invariance of the moduli space of solutions of this equation. In the last section we indicate the main ideas of Kontsevich's proof of the existence of deformation quantization of Poisson manifolds.

研究の動機と目的

• 結合的代数、リー代数、およびそれらのコホモロジー的基礎に関する変形理論の自己完結的紹介を提供すること。
• dg-リー代数および $L_\infty$-代数の文脈において、変形とマウラー＝カルタン方程式の解との間の対応を確立すること。
• $L_\infty$-マウラー＝カルタン方程式の解のモジュライ空間のホモトピー不変性を説明すること。
• コンツェビッチによるポアソン多様体の変形量子化の証明を、形式性定理を用いて概説すること。
• ポアソン構造のモジュライ空間が多項ベクトル場のマウラー＝カルタン空間と、星積のモジュライ空間が多項微分作用素との間でどのように関連するかを示すこと。

提案手法

• 結合的代数の古典的変形理論とホッホシュイルドコホモロジーを用いて、無限小変形をコホモロジー類と関連付ける。
• dg-リー代数におけるマウラー＝カルタン方程式を適用し、形式的変形を分類し、解が変形データをパrameter化することを示す。
• マウラー＝カルタン方程式を $L_\infty$-代数に一般化し、高次括弧とホモトピー整合性条件を導入する。
• $L_\infty$-準同型写像を用いて、解のモジュライ空間のホモトピー不変性を証明し、同値な $L_\infty$-代数が同値な変形モジュライをもたらすことを示す。
• 2つの $L_\infty$-代数を構成する：$M$ 上の多項ベクトル場の次数付きリー代数 $\mathfrak{g}^\prime$ と、$C^\infty(M)$ 上の多項微分作用素のdg-リー代数 $\mathfrak{g}^{\prime\prime}$。
• 配置空間積分とコホモロジー的技法を用いて、多項ベクトル場から多項微分作用素への自然な写像 $f_1$ が $L_\infty$-準同型写像に拡張されることを示し、コンツェビッチの形式性定理を確立する。

実験結果

リサーチクエスチョン

• RQ1 マウラー＝カルタン方程式の解は、どのように結合的代数の変形を分類するか？
• RQ2 $L_\infty$-代数は、ホモトピー整合的変形理論へのマウラー＝カルタン形式の一般化において果たす役割は何か？
• RQ3 $L_\infty$-マウラー＝カルタン方程式の解のモジュライ空間は、なぜ $L_\infty$-準同型写像に関して不変か？
• RQ4 形式性定理は、変形量子化の文脈においてどのような意義を持つのか？
• RQ5 コンツェビッチの手法において、多項ベクトル場と多項微分作用素はどのように $L_\infty$-準同型写像を通じて関連するか？

主な発見

• 結合的代数の変形のモジュライ空間は、そのホッホシュイルドチェイン複体におけるマウラー＝カルタン方程式の解によって支配される。
• $L_\infty$-マウラー＝カルタン方程式の解のモジュライ空間のホモトピー不変性は、$L_\infty$-準同型写像を用いて確立された。
• 滑らかな多様体 $M$ 上の多項ベクトル場の次数付きリー代数は、マウラー＝カルタン方程式の解を通じてポアソン構造をパラメータ化する。
• $C^\infty(M)$ 上の多項微分作用素のdg-リー代数は、マウラー＝カルタン方程式の解を通じて星積をパラメータ化する。
• コンツェビッチの形式性定理は、多項ベクトル場の $L_\infty$-代数と多項微分作用素のdg-リー代数との間の $L_\infty$-準同型写像を確立する。
• 形式性写像の線形部 $f_1$ はコホモロジー同型写像であり、完全な $L_\infty$-構造はこれを準同型写像に拡張し、任意のポアソン多様体における変形量子化の存在を証明する。