[論文レビュー] The Derived Marsden-Weinstein Quotient is Symplectic

Jeremy Pecharich|arXiv (Cornell University)|May 29, 2012

Advanced Algebra and Geometry参考文献 8被引用数 6

ひとこと要約

この論文は、0-シンプレクティック形式と再帰的群によるハミルトニアン作用を持つ導来スキームの導来マーズデン＝ウインスタイン商が、そのモーメント写像のレベル集合が特異的であっても、自身が0-シンプレクティックな導来アーティンスタックであることを確立する。証明は古典的マーズデン＝ウインスタインの議論を導来幾何学に適応し、導来ファイバー積とネガティブサイクルホモロジーを用いる。これにより、縮約されたシンプレクティック形式が導来設定において閉形式であり、適切に定義されることを示す。

ABSTRACT

Let $(X,ω_X)$ be a derived scheme with a 0-symplectic form and suppose there is a Hamiltonian $G$-action with a moment map for $G$ a reductive group. We prove, under no further assumptions, that symplectic reduction along any coadjoint orbit in the category of derived Artin stacks has a 0-symplectic form.

研究の動機と目的

• モーメント写像のレベル集合が正則値でない場合の特異的商へのシンプレクティック還元の拡張。
• 滑らかさや自由性の仮定をせずとも、任意の共軛軌道に沿った導来商が0-シンプレクティック形式を引き継ぐことの確立。
• BRST量子化の導来幾何的基礎と、『量子化は還元と可換である』という予想が特異的状況においても成り立つことの基礎を提供。
• 古典的シンプレクティック還元を導来設定に一般化し、導来アーティンスタックとdg-enhanced圏を用いる。

提案手法

• 導来商をホモトピーファイバー積 $ X \times_{\frak{g}^*} \bb{O} $ として構成し、ここで $ \bb{O} $ は共軛軌道を表す。
• 導来ファイバー積を用いて、レベル集合 $ \mathbf{J}^{-1}(\mu) $ の特異性を解消し、商が滑らかな導来アーティンスタックであることを保証する。
• ネガティブサイクルホモロジーを用いてシンプレクティック形式 $ \omega_X $ を導来設定に持ち上げ、$ \pi^*\omega_{\text{red}} = j^*\omega_X $ を示す。
• ネガティブサイクルホモロジーにおける持ち上げを通じて、$ \pi^*\omega_{\text{red}} $ が $ B\bb{G}_a $-不変であることを示し、$ \omega_{\text{red}} $ が閉形式であることを証明する。
• 標準的な議論を用い、$ X \times \bb{O} $ にシンプレクティック形式 $ \omega_X - \omega_\bb{O} $ を導入することで、一般の共軛軌道の場合をゼロレベル集合に還元する。
• 形式の $ G $-不変性と商写像を用い、シンプレクティック構造を導来商 $ \mathcal{X}_{\text{red}} $ に降下させる。

実験結果

リサーチクエスチョン

• RQ1 モーメント写像のレベル集合が特異的または正則値でない場合、導来設定においてもシンプレクティック還元はシンプレクティックのままであるか？
• RQ2 滑らかさや自由性の仮定をせずとも、共軛軌道に沿った導来商が0-シンプレクティック形式を引き継げるか？
• RQ3 任意の再帰的群作用に対して、0-シンプレクティックな導来スキーム上の導来マーズデン＝ウインスタイン商が自然に0-シンプレクティックな導来アーティンスタックであるか？
• RQ4 導来幾何学は特異的状況におけるシンプレクティック還元の障害をどのように解消するか？この文脈においてネガティブサイクルホモロジーの役割は何か？
• RQ5 ホモトピー代数とdgカテゴリ－を用いて、マーズデンとウインスタインの古典的証明を導来設定に一般化できるか？

主な発見

• 導来商 $ \mathcal{X}_{\text{red}} = (X \times_{\frak{g}^*} \bb{O})/G $ は滑らかな導来アーティンスタックである。
• 縮約されたシンプレクティック形式 $ \omega_{\text{red}} $ は、$ \pi $ を商写像として $ j^*\omega_X = \pi^*\omega_{\text{red}} $ を満たす。
• 形式 $ \omega_{\text{red}} $ は導来的意味で閉形式である。すなわち、$ HC^{-}_2(\mathcal{X}_{\text{red}}) $ に持ち上がることで、そのシンプレクティック性が保証される。
• 証明は、$ \pi^*\omega_{\text{red}} $ の $ B\bb{G}_a $-不変性に依存しており、これはネガティブサイクルホモロジーを通じて $ \omega_X $ から持ち上げられる。
• 結果は、正則値に限らず、任意の共軛軌道 $ \bb{O} \subset \frak{g}^* $ に対して成り立つ。これは $ X \times \bb{O} $ を用いたゼロレベル集合への還元によって達成される。
• 証明は、滑らかな商の代わりに導来ファイバー積を用い、ホモロジー代数を用いて閉形式性を検証することで、古典的マーズデン＝ウインスタインの証明を一般化する。