[論文レビュー] Lectures on shifted Poisson geometry

Pavel Safronov|arXiv (Cornell University)|Sep 22, 2017

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

ひとこと要約

本稿では、高次シンプレクティック幾何とAKSZ構成を用いて、曲線上のバンドルやカヤラウ3次元多様体上の完全複体のモジュライスタックなどの導来モジュライスタックに、シフトされたシンプレクティック構造およびポアソン構造を導入する、古典的ポアソン構造の導来一般化としてのシフトされたポアソン幾何を提案する。主な貢献は、導来代数幾何を用いて高次ポアソン構造を変形量子化と、ドナルドソン＝トーマス不変量などの古典的不変量と結びつける体系的な枠組みを確立することである。

ABSTRACT

These are expanded notes from lectures given at the États de la Recherche workshop on "Derived algebraic geometry and interactions". These notes serve as an introduction to the emerging theory of Poisson structures on derived stacks.

研究の動機と目的

• 導来スタック上のシフトされたポアソン構造の基礎的理論を構築し、古典的ポアソン幾何を導来設定に一般化すること。
• 高次シンプレクティック幾何と変形量子化を結びつけること、特に量子観測量の $ \mathbb{E}_n $-代数と古典的位相空間の $ \mathbb{P}_n $-代数との対応を通じて行うこと。
• ドナルドソン＝トーマス不変量やモジュライ空間上のポアソン構造といった古典的幾何的不変量が、導来モジュライスタック上のシフトされたシンプレクティック構造の「影」として現れることを示すこと。
• マッピングスタックおよびラグランジュ対応を用いたAKSZ形式的構成を応用し、モジュライ空間上でのシフトされたポアソン構造の体系的構成を提供すること。
• フェイジン＝オデスキー構造やスキーャニン構造といった既知の古典的ポアソン構造が、導来切断上の0シフトポアソン構造の例として回復されることを示すこと。

提案手法

• AKSZ構成を用いて、$ n $-シフトされたシンプレクティックスタック $ \mathcal{X} $ を対象とするマッピングスタック $ \mathrm{Map}(X, \mathcal{X}) $ に $ (n-1) $-シフトされたシンプレクティック構造を生成する。
• 導来臨界局所構成を適用し、$ \mathrm{Perf}(X) $ 上の $ (-1) $-シフトされたシンプレクティック構造と、安定層のモジュライ上の対称的障害理論との関係を特定する。
• シフトされたシンプレクティック構造とシフトされたポアソン構造の対応を用い、古典的切断上の双ベクトル場を導来スタック上の0シフトポアソン構造へと持ち上げる。
• マッピングスタック $ \mathrm{Map}^{fr}(\mathbb{P}^1, \mathrm{B}G) $ を用いて1シフトラグランジュ対応を構成し、そのファイバーに0シフトシンプレクティック構造を導き、結果として古典的モジュライ空間上のポアソン構造を導出する。
• $ \mathrm{Map}(S^1_{\mathrm{B}}, -) $ を2シフトラグランジュ対応に適用し、$ [H^{\mathrm{reg}}/H] $ 上に1シフトポアソン構造を得る。これにより、基本的な三角関数的動的 $ r $-行列が回復される。
• 無限圏的言語と導来代数幾何を用いて、シフトされたシンプレクティック構造およびポアソン構造の構成における降下性とホモトピー的構造を扱う。

実験結果

リサーチクエスチョン

• RQ1 古典的モジュライ空間上のポアソン構造は、どのように導来モジュライスタック上の高次シンプレクティック構造から体系的に導出可能か？
• RQ2 シフトされたシンプレクティック構造は、ドナルドソン＝トーマス不変量のカテゴリフィケーションにおいて果たす役割は何か？
• RQ3 AKSZ構成は、ターゲットスタックが $ n $-シフトされたシンプレクティック構造を持つ場合、どのようにマッピングスタックに $ (n-1) $-シフトされたシンプレクティック構造を生成するか？
• RQ4 フェイジン＝オデスキー構造やスキーャニン構造といった既知の古典的ポアソン構造は、導来幾何を用いて0シフトポアソン構造として回復可能か？
• RQ5 $ n $次元のトポロジカル場理論における量子観測量の $ \mathbb{E}_n $-代数と、古典的位相空間の $ \mathbb{P}_n $-代数との間の関係は、変形量子化によってどのように特定されるか？

主な発見

• カヤラウ3次元多様体 $ X $ 上の完全複体の導来モジュライスタック $ \mathrm{Perf}(X) $ は、$ (-1) $-シフトされたシンプレクティック構造を持つ。その古典的切断はドナルドソン＝トーマス理論で用いられる対称的障害理論を導く。
• $ \mathrm{Bun}_B(E) $ は、曲線 $ E $ 上の $ B $-バンドルのモジュライスタックであり、AKSZ構成を経由して0シフトポアソン構造を有する。これはフェイジン＝オデスキーのポアソン構造として知られている。
• $ G = \mathrm{PGL}_2 $ の場合、線束 $ \mathcal{L} $ の次数が $ -4 $ であるファイバー $ \mathrm{Bun}_B(E; \mathcal{L}) $ は $ [\mathbb{A}^4 / \mathbb{G}_m] $ に同型であり、その開部分スタック $ \mathbb{P}^3 $ はスキーャニンのポアソン構造を有する。
• $ \mathrm{Map}^{fr,\lambda}(\mathbb{P}^1, G/B) $ である、$ G/B $ へのフレーム付きマッピングスタックは、1シフトラグランジュ部分スタックのファイバー積に同型であり、したがって0シフトシンプレクティック構造を持つ。これは $ \mathbb{R}^3 $ 上の $ G $-モノポールのモジュライを実現する。
• $ \mathrm{Map}(S^1_{\mathrm{B}}, -) $ を2シフトラグランジュ対応に適用すると、$ [H^{\mathrm{reg}}/H] $ 上に1シフトポアソン構造が得られ、これにより基本的な三角関数的動的 $ r $-行列が得られる。
• この構成により、$ n $次元トポロジカル場理論における量子観測量の $ \mathbb{E}_n $-代数が、$ (n-1) $-シフトされたシンプレクティックスタック上の関数の $ \mathbb{P}_n $-代数の変形量子化として得られることを示した。