[論文レビュー] Poisson bracket, deformed bracket and gauge group actions in Kontsevich deformation quantization

Dominique Manchon|ArXiv.org|Mar 1, 2000

Advanced Topics in Algebra参考文献 1被引用数 8

ひとこと要約

この論文は、形式的同型 quasi-isomorphism の2階微分を分析することにより、コンツェビッチの変形量子化におけるポアソン括弧と変形されたスター積の間の明確な関係を確立する。ゲージ変換が、形式的微分同相写像の群への埋め込みを通じて、形式的同型スター積の空間上に非自明な作用を引き起こすことを示し、幾何学、ホモロジー代数、変形量子化の間の非自明な相互作用を明らかにする。

ABSTRACT

We express the difference between Poisson bracket and deformed bracket for Kontsevich deformation quantization on any Poisson manifold by means of second derivative of the formality quasi-isomorphism. The counterpart on star products of the action of formal diffeomorphisms on Poisson formal bivector fields is also investigated.

研究の動機と目的

• コンツェビッチ形式的枠組みにおいて、ポアソン括弧がどのようにスター積括弧へと変形されるかを、幾何学的・代数的メカニズムとして明確化すること。
• 形式的同型 quasi-isomorphism の2階微分と、その接写像と変形された括弧を結ぶ役割を分析すること。
• 形式的微分同相写像がポアソン双ベクトル場にどのように作用するかを調査し、その作用がスター積の空間へとどのように上昇するかを検討すること。
• 形式的微分同相写像の群へのゲージ群の非自明な埋め込みを構成すること。
• 誘導されたスター積上での作用が、底面の多様体上の微分同相写像による引き戻しによって生じないことを示し、形式的同型写像の非線形性を強調すること。

提案手法

• 論文は、多ベクトル場のdgリー代数と多微分作用素のdgリー代数の間の $L_∞$-quasi-isomorphism の理論を用いる。
• 点 $\hbar\gamma$ における形式的同型 quasi-isomorphism の2階微分を分析し、接写像 $\Phi$ と2階微分 $\Psi$ を含む重要な公式を通じて、ポアソン括弧と変形された括弧の差を関連付ける。
• 余自由なココミュタティブなグレーディングコールバックにおけるスーパー群的要素の概念を導入し、形式的微分同相写像の構造とその作用を記述する。
• 多ベクトルと多微分作用素の両設定におけるMaurer-Cartan要素のモジュライ空間上に、ベクトル場 $\mathcal{V}_Y^1$ と $\mathcal{V}_Y^2$ をそれぞれ構成する。
• 形式的同型写像 $\mathcal{U}$ がこれらのベクトル場の作用を保つことを証明し、$\mathcal{U} \circ \mathcal{V}_Y^1 = \mathcal{V}_Y^2 \circ \mathcal{U}$ を満たす。
• 形式的微分同相写像の群 $\mathcal{G}$ への、$M$ 上の形式的微分同相写像のゲージ群 $G_1$ の非自明な埋め込み $\iota: G_1 \to \mathcal{G}$ を構成し、$*_{g.\gamma} = \iota(g).{*}_\gamma$ を満たす。

実験結果

リサーチクエスチョン

• RQ1 形式的同型 quasi-isomorphism の2階微分は、どのようにポアソン括弧と変形スター積括弧を結びつけるか？
• RQ2 変形量子化の文脈において、形式的微分同相写像のポアソン双ベクトル場への作用は、正確にどのようなものか？
• RQ3 ポアソン構造上のゲージ群の作用は、形式的同型スター積の空間上に上昇可能か？ もしそうなら、どのように上昇するか？
• RQ4 形式的同型スター積の空間上での誘導された作用が非自明で、第2のゲージ群 $G_2$ に含まれないのはなぜか？
• RQ5 スター積の空間上での誘導されたベクトル場の代数的構造は何か？ また、元の多様体上のベクトル場とはどのように関係するか？

主な発見

• ポアソン括弧と変形された括弧の差は、形式的同型 quasi-isomorphism の2階微分によって表現される：$\Psi(H_f, H_g) = \frac{1}{\hbar}\left( \Phi(\{f,g\}) - \frac{\Phi(f)*\Phi(g) - \Phi(g)*\Phi(f)}{\hbar} \right)$。
• 接写像 $\Phi = \mathcal{U}'_{\hbar\gamma}$ は、任意のベクトル場 $Y$ に対して $[\mathcal{U}'_{\hbar\gamma}(Y), *_{\gamma}] = \hbar \mathcal{U}'_{\hbar\gamma}([Y, \gamma])$ を満たす。
• 形式的同型写像 $\mathcal{U}$ はベクトル場 $\mathcal{V}_Y^1$ と $\mathcal{V}_Y^2$ を保つ。すなわち $\mathcal{U} \circ \mathcal{V}_Y^1 = \mathcal{V}_Y^2 \circ \mathcal{U}$ を満たし、誘導された作用の整合性を保証する。
• 多様体 $M$ 上の形式的微分同相写像のゲージ群 $G_1$ は、形式的同型スター積の空間上の形式的微分同相写像の群 $\mathcal{G}$ に非自明に埋め込まれる。埋め込みは $\iota(g) = e^{\mathcal{V}_Y^2}$ で与えられる。
• 誘導された作用は $*_{g.\gamma} = \iota(g).{*}_\gamma$ を満たし、$g.\gamma$ に対応するスター積が、$*_{\gamma}$ を形式的微分同相写像 $\iota(g)$ で写した結果であることを示す。
• 埋め込み $\iota$ は非自明である。なぜなら、ベクトル場 $\mathcal{V}_Y^2$ は非線形的であり、$G_2$ に含まれないからである。ただし $G_1 \subset G_2$ である。