[論文レビュー] Morita equivalence and characteristic classes of star products

Henrique Bursztyn, Vasiliy Dolgushev+1 more|ArXiv.org|Sep 23, 2009

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

ひとこと要約

本稿は、Poisson多様体上のスター積のモラータ同値性とそのコンツェビッチ特徴クラスの間の明確な関係を確立し、モラータ同値性がチェーン類を介したピカード群の作用に対応することを示している。シンプレクティック多様体においては、フェドソフの特徴クラスとコンツェビッチの特徴クラスが等価であることを証明し、長年の予想を裏付け、2つの主要な変形量子化枠組みを統合した。

ABSTRACT

This paper deals with two aspects of the theory of characteristic classes of star products: first, on an arbitrary Poisson manifold, we describe Morita equivalent star products in terms of their Kontsevich classes; second, on symplectic manifolds, we describe the relationship between Kontsevich's and Fedosov's characteristic classes of star products.

研究の動機と目的

• コンツェビッチクラスを介してピカード群がスター積のモジュライ空間に作用する様子を記述すること。
• シンプレクティック多様体上でのフェドソフの特徴クラスとコンツェビッチの特徴クラスの関係を明確にすること。
• コンツェビッチのスター積のクラスがそのフェドソフクラスに一致するという予想の完全な証明を提供すること。
• モラータ同値なスター積とその形式的ポアソン構造との間に、群作用を介した標準的対応を確立すること。
• コンツェビッチの形式的同型準同型のグローバライゼーションを、モラータ同値性のデータを含む形に一般化すること。

提案手法

• グローバライズド・コンツェビッチ形式的同型準同型を用いて、スター積と形式的ポアソン構造を関連付ける。
• 微分幾何的リーダイアグラム代数（DGLA）における$L_\infty$-準同型とモーラー・カルタン要素の理論を適用し、変形を制御する。
• キャンベル＝ハウスドルフ級数を用いたねじれ手続きを構築し、形式的微分方程式における不要な成分を消去する。
• フェドソフの解体と修正されたフェドソフ構成を用いて、曲率と接続データを制御するスター積を定義する。
• ゴールドマン＝ミルソンの2-群体構造を用いて、変形複体内の高次のホモトピー情報を処理する。
• スター積から形式的ポアソン構造への写像が、$\mathrm{Diff}(M) \ltimes \mathrm{Pic}(M)$ の作用に関して不変であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ピカード群はスター積のモジュライ空間にどのように作用するのか。また、その作用はどのようにコンツェビッチクラスに反映されるか。
• RQ2 シンプレクティック多様体上でのフェドソフのスター積の特徴クラスとコンツェビッチの特徴クラスの正確な関係は何か。
• RQ3 コンツェビッチのスター積のクラスがそのフェドソフクラスに等しいという予想を厳密に証明できるか。
• RQ4 スター積のモラータ同値性は、形式的ポアソン構造とその不変量の観点からどのように現れるか。
• RQ5 ラインバンドルのチェーン類は、コンツェビッチの形式的同型を介して、モラータ同値なスター積を結ぶ役割を果たすか。

主な発見

• 2つのスター積がモラータ同値であるための必要十分条件は、それらのコンツェビッチクラスが $2\pi i c_1(L)$ の作用によって異なることである。ここで $c_1(L)$ はラインバンドル $L$ のチェーン類である。
• シンプレクティック多様体上でのスター積について、コンツェビッチのクラスがフェドソフのクラスに一致するという予想が、真実であることが証明された。
• 形式的ポアソン構造におけるピカード群の作用は、$B$-場タイプの変換を介して $H^2(M, \mathbb{C})[[\hbar]]$ の群として実現される。
• コンツェビッチの形式的同型準同型のグローバライゼーションが、フェドソフ接続の選択に依存しないことが示され、特徴クラスの割り当ての一貫性が保証された。
• スター積のモラータ同値性による同値関係は、形式的ポアソン構造のモジュライ空間における $\mathrm{Diff}(M) \ltimes \mathrm{Pic}(M)$ の作用によって完全に特徴づけられる。
• 証明は、$L_\infty$-準同型、モーラー・カルタン要素、キャンベル＝ハウスドルフ級数を含む完全なホモロジー代数の枠組みに依拠しており、変形複体内の障害を排除する。