[論文レビュー] Derived Algebraic Geometry and Deformation Quantization

Bertrand Toën|arXiv (Cornell University)|Mar 27, 2014

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

ひとこと要約

本論文は、変形量子化を統一的かつ一般化するための導来代数幾何学的枠組みを導入し、シフトされたシンプレクティック構造およびポアソン構造を通じて可換な幾何的対象の非可換変形を構成する。任意次元の多様体上の $G$-バンドルのモジュライ空間の体系的な量子化を提供し、量子群、スキーン代数、ドナルドソン＝トーマス不変量の間の深い関係を、共通の変形論的メカニズムを通じて明らかにする。

ABSTRACT

This is a report on recent progress concerning the interactions between derived algebraic geometry and deformation quantization. We present the notion of derived algebraic stacks, of shifted symplectic and Poisson structures, as well as the construction of deformation quantization of shifted Poisson structures. As an application we propose a general construction of the quantization of the moduli space of $G$-bundles on an oriented space of arbitrary dimension.

研究の動機と目的

• 量子群、スキーン代数、ドナルドソン＝トーマス不変量といった異なる量子的対象を、一つの幾何的枠組みの下で統一すること。
• 古典的なポアソン多様体を超えて、導来代数幾何学における高次シフト構造へと変形量子化を拡張すること。
• 任意次元の向き付け可能多様体上の $G$-バンドルのモジュライ空間の変形量子化を構成すること。
• ドナルドソン＝トーマス理論における、消失サイクルの perverse ファイバー層といった既知の不変量が、導来量子化の実現としてどのように現れるかを解釈すること。
• 非可換変形理論における向き付けデータとモチビック構造の役割を探索すること。

提案手法

• 特異的かつ高次のカテゴリカル構造を扱うために、導来代数的スタックを基礎的な幾何的対象として採用する。
• $n$-シフトされたシンプレクティック構造およびポアソン構造を、古典的シンプレクティックおよびポアソン幾何学の高次カテゴリカル一般化として導入する。
• $E_n$-モノイド的 dg 圏の形式的枠組みを用いて、導来スタック上の層の量子化された圏をモデル化する。
• フォーマリティ予想を用いて、$n$-シフトされたポアソン構造の変形量子化を構成し、コンツェビッチの量子化を一般化する。
• 滑らかで向き付け可能な多様体 $X$ に対して、モジュライスタック $Bun_G(X)$ に理論を適用し、関数の臨界点からの局所データを用いる。
• 得られた量子化を行列因子化と可解層に結びつけ、特にドナルドソン＝トーマス理論の文脈で考察する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、導来代数幾何学における高次シフトされたポアソン構造へと変形量子化を体系的に拡張できるか。
• RQ2 導来的設定におけるフォーマリティを通じた、シフトされたシンプレクティック構造とその量子化との正確な関係は何か。
• RQ3 任意次元の多様体上の $G$-バンドルのモジュライ空間の量子化は、導来的手法を用いて一様に構成可能か。
• RQ4 ドナルドソン＝トーマス理論における既知の不変量、たとえば消失サイクルの perverse ファイバー層は、どのように導来変形量子化から生じるか。
• RQ5 向き付けデータは、量子化された層のグローバル存在およびそれらのモチビック解釈において果たす役割は何か。

主な発見

• 本論文は、導来代数的スタック上の $n$-シフトされたポアソン構造の変形量子化を構成し、古典的変形量子化を一般化する。
• 量子群、スキーン代数、ドナルドソン＝トーマス不変量がすべて、モジュライスタック上の層の圏の変形として得られる一様な枠組みを提供する。
• 向き付け可能多様体 $X$ 上の $G$-バンドルのモジュライ空間 $Bun_G(X)$ は、導来代数幾何学およびシフトされたポアソン構造を用いて、自然な量子化を備える。
• ドナルドソン＝トーマス理論における消失サイクルの層 $ u_f$ の構成は、モジュライスタックの導来量子化のベティ実現として解釈される。
• $n = -1$ および $n = -2$ の場合、それぞれモノイド的およびブレード付きモノイド的 dg 圏が得られ、ジョイスのカテゴリフィケーション不変量の研究と関連する。
• モチビック側面が示唆される：DT理論における可解層 $ar{ u}$ は、非可換モチーフのベティ実現であると予想され、$E_n$-モチーフと関連する。