[論文レビュー] Fedosov quantization in algebraic context

Roman Bezrukavnikov, D. Kaledin|ArXiv.org|Sep 17, 2003

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

ひとこと要約

この論文は、代数幾何学的設定における滑らかなシンプレクティック多様体に対して、Fedosovの変形量子化を拡張し、特定のコhomology群の消失といった弱いコhomological条件の下でその手続きが有効であることを示している。これにより、すべての可能な量子化の分類が可能になる。主な貢献は、形式幾何学と非アーベルコhomologyを用いた、完全に代数的なFedosov法の定式化であり、標数0の状況で有効で、アフィン多様体および射影的多様体に適用可能である。

ABSTRACT

We consider the problem of quantization of smooth symplectic varieties in the algebro-geometric setting. We show that, under appropriate cohomological assumptions, the Fedosov quantization procedure goes through with minimal changes. The assumptions are satisfied, for example, for affine and for projective varieties. We also give a classification of all possible quantizations.

研究の動機と目的

• 滑らかなシンプレクティック多様体について、Fedosovの変形量子化を代数幾何学的設定に拡張すること。
• $C^\infty$-多様体から代数的多様体へのFedosov手続きの直接的一般化が可能なコhomological条件を同定すること。
• 非アーベルコhomologyを用いて、すべての同型類の量子化の分類を提供すること。
• 統一的な枠組みを通じて、シンプレクティック変形と非可換変形の関係を明確にすること。
• 量子化の空間が $H^2_F(X)[[h]]$ に同型であり、$H^2_{\text{DR}}(X)[[h]]$ に標準的埋め込みを持つことを確立すること。

提案手法

• 形式的座標系のバンドルとジェットバンドルを用いて、代数的表現におけるFedosov構成に必要な幾何的データを形式化する。
• 形式的Weyl代数およびその自己同型群を用いて、関数の非可換変形をモデル化する。
• 非アーベルコhomologyを用いて変形を分類し、特に非可換周期写像を通じて実行する。
• 曲率を制御し、量子化をパrameter化するための微分作用素のリー代数の中心拡大を導入する。
• ハリシュ・チャンドラ torsor と局所化技術を用いて、変形過程における等長的および幾何的構造を扱う。
• 特定のコhomology群（例：$H^1$ と $H^2$）の消失に依存し、同型を除いて量子化の存在と一意性を保証する。

実験結果

リサーチクエスチョン

• RQ1 Fedosovの量子化手続きが、滑らかな代数的シンプレクティック多様体へ拡張可能なコhomological条件は何か？
• RQ2 代数的設定において、すべての同型類の量子化の空間をどのように分類できるか？
• RQ3 シンプレクティック変形とシンプレクティック多様体の非可換変形の間の正確な関係は何か？
• RQ4 非可換周期写像は、代数的文脈における量子化の分類不変量として解釈可能か？
• RQ5 Rozansky-Wittenの特性類は、非可換変形の文脈でどのような幾何的意味を持つのか？

主な発見

• 関連するコhomology群が消失する限り、Fedosovの量子化手続きは、標数0の体上の滑らかなシンプレクティック多様体へそのまま一般化可能である。
• すべての同型類の量子化は、$H^2_F(X)[[h]]$ に標準的双対性を持つ。これは、Frobeniusコhomology群の形式的完備化である。
• 量子化の空間は $H^2_{\text{DR}}(X)[[h]]$ に標準的埋め込みされ、陰関数定理による非標準的同型を許容する横断的性質を持つ。
• 射影的多様体では、BogomolovとNest-Tsyganの既知の結果と整合的であり、特にBogomolov-Beauvilleの二次形式に関して成立する。
• 量子化空間の一次部分は、Rozansky-Witten特性類によって記述され、その二次結合による完全な分類の可能性を示唆する。
• この手法は標数正の状況には直接拡張できないが、著者らはその一般化が可能であると示唆している。