[論文レビュー] Formality and Star Products

Alberto S. Cattaneo, Daniel J. Indelicato|Zurich Open Repository and Archive (University of Zurich)|Mar 8, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用数 8

ひとこと要約

本稿は、Kontsevichの形式性定理について詳細な解説を提供し、ℝᵈ 上の多微分作用素の微分付き階数Lie代数と多ベクトル場の間の quasi-isomorphism を確立する。グラフ複体と重み関数を用いて、任意のポアソン多様体上で普遍的な星積を誘導する明示的な L∞-quasi-isomorphism を構成し、Kontsevichの公式により、変形量子化の存在と分類が証明される。

ABSTRACT

These notes, based on the mini-course given at the PQR2003 Euroschool held in Brussels in 2003, aim to review Kontsevich's formality theorem together with his formula for the star product on a given Poisson manifold. A brief introduction to the employed mathematical tools and physical motivations is also given.

研究の動機と目的

• Kontsevichの形式性定理とその変形量子化における役割について包括的なレビューを提供すること。
• 形式性同型を特徴づける L∞-代数および微分付き階数Lie代数（DGLA）の数学的枠組みを説明すること。
• 許容可能なグラフと重み積分を用いて、Kontsevichのポアソン多様体上の星積の明示的公式を導出し、説明すること。
• Fedosov型の構成を介して、局所的形式性とグローバルな変形量子化の間の関係を確立すること。
• 変形量子化の背後にある物理的動機と、古典的極限 ℏ → 0 との関係を明確にすること。

提案手法

• 変形量子化の問題を、多ベクトル場のDGLAと多微分作用素のDGLAの間の形式性 quasi-isomorphism として再定式化するため、L∞-代数とDGLAの形式的枠組みを用いる。
• 関数と微分作用素でラベル付けられた許容可能なグラフの概念を導入し、配置空間積分により定義される重み積分 BΓ を定義する。
• ストークスの定理と消滅定理を適用して、Kontsevichの公式が well-defined な L∞-準同型を定義することを証明する。
• Weyl代数バンドル上にFedosov型接続を構成し、ポアソン多様体上で星積をグローバルに実現する。
• 形式的形式の ε に関する帰納法を用いて、曲率方程式 Dγ + ½[γ,γ]⋆ = −F を解き、変形接続の平坦性を保証する。
• 平坦接続の水平切断の代数が、C∞(M) としてのポアソン代数に同型であることを示し、グローバルな量子化を実現する。

実験結果

リサーチクエスチョン

• RQ1 DGLA 間の形式的 quasi-isomorphism を用いて、任意のポアソン多様体上で普遍的な星積を構成できるか？
• RQ2 Kontsevichの形式性定理が星積を誘導する明示的な L∞-準同型の形は何か？
• RQ3 グラフ複体と配置空間積分は、形式性同型の構成にどのように寄与するか？
• RQ4 局所的形式性同型は、ポアソン多様体上でグローバルな変形量子化に拡張可能か？
• RQ5 曲率とコホモロジー的条件は、平坦なFedosov型接続の存在にどのような役割を果たすか？

主な発見

• Kontsevichの形式性定理は、ℝᵈ 上の多ベクトル場のDGLAと多微分作用素のDGLAの間の普遍的な L∞-quasi-isomorphism を確立する。
• 明示的な星積は、Kontsevichの公式により与えられ、許容可能なグラフの和と、配置空間積分により定義される重み積分 BΓ を含む。
• この構成は、特定のコホモロジー群の消滅に依存しており、帰納法により曲率方程式 Dγ + ½[γ,γ]⋆ = −F の解の存在が保証される。
• Weyl代数バンドル上に平坦なFedosov型接続を構成でき、C∞(M) 上に well-defined な星積が得られる。
• 平坦接続の水平切断の代数は、C∞(M) をポアソン代数として同型に持ち、これによりグローバルな変形量子化が実現される。
• Dolgushevの後続の研究により、この方法はポアソン軌道に一般化可能であり、形式性定理の適用範囲が拡張される。