[论文解读] The Derived Marsden-Weinstein Quotient is Symplectic

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

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

一句话总结

本文证明了在导出几何框架下，对于具有0-辛形式的导出概形以及由半单群作用的哈密顿作用，其导出Marsden-Weinstein商仍为0-辛的导出Artin堆栈，即使在moment map的纤维集为奇异的情形下亦成立。证明通过将经典Marsden-Weinstein论证推广至导出几何，利用导出纤维积与负循环同调，表明约化后的辛形式在导出设定下是闭且良定义的。

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.

研究动机与目标

• 将辛约化推广至奇异商的情形，通过导出几何方法处理moment map纤维集非正则值的情况。
• 证明沿任意余伴随轨道的导出商继承0-辛形式，即使在群作用不光滑或自由的情况下亦成立。
• 为BRST量子化提供导出几何基础，并支持‘量子化与约化可交换’这一猜想在奇异情形下的成立。
• 通过导出Artin堆栈与dg增强范畴，将经典辛约化推广至导出设定。

提出的方法

• 将导出商构造为同伦纤维积 $ X \times_{\frak{g}^*} \bb{O} $，其中 $ \bb{O} $ 为一余伴随轨道。
• 利用导出纤维积来解析纤维集 $ \mathbf{J}^{-1}(\mu) $ 中的奇点，确保商为光滑的导出Artin堆栈。
• 通过负循环同调将辛形式 $ \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 在导出设定下，当moment map的纤维集为奇异或非正则时，辛约化是否仍保持辛性？
• RQ2 在不假设群作用光滑或自由的前提下，沿余伴随轨道的导出商是否可继承0-辛形式？
• RQ3 对于任意半单群作用在0-辛导出概形上，导出Marsden-Weinstein商是否自然为0-辛的导出Artin堆栈？
• RQ4 导出几何如何化解奇异情形下辛约化的障碍？负循环同调在此过程中扮演何种角色？
• RQ5 经典Marsden-Weinstein证明能否通过同伦代数与dg范畴推广至导出设定？

主要发现

• 导出商 $ \mathcal{X}_{\text{red}} = (X \times_{\frak{g}^*} \bb{O})/G $ 是光滑的导出Artin堆栈。
• 约化辛形式 $ \omega_{\text{red}} $ 满足 $ j^*\omega_X = \pi^*\omega_{\text{red}} $，其中 $ \pi $ 为商映射。
• 形式 $ \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} $ 约化至零纤维集。
• 该论证通过以导出纤维积替代光滑商，并利用同调代数验证闭性，推广了经典Marsden-Weinstein证明。