[论文解读] A $b$-symplectic slice theorem

Róisín Braddell, Anna Kiesenhofer+1 more|arXiv (Cornell University)|Nov 29, 2018

Homotopy and Cohomology in Algebraic Topology被引用 6

一句话总结

本文建立了李群作用在 $b$-辛流形上的 $b$-辛切片定理，将经典辛切片定理推广至具有边界型奇点的奇异辛结构。通过使用扭曲的 $b$-余切丛与辛切片，构造了轨道周围的等变法化形式，证明局部几何结构由带有模周期的 $b$-辛丛及其线性化法向数据的商空间所模型化。

ABSTRACT

In this article, motivated by the study of symplectic structures on manifolds with boundary and the systematic study of $b$-symplectic manifolds started in [12], we prove a slice theorem for Lie group actions on $b$-symplectic manifolds.

研究动机与目标

• 将经典辛切片定理推广至 $b$-辛设定，其中辛结构在超曲面上具有受控奇点。
• 为 $b$-辛流形上的正规李群作用提供一个半局部等变法化形式，类似于 Marle-Guillemin-Sternberg 法化形式。
• 将模周期与扭曲的 $b$-余切提升纳入法化形式，反映 $b$-辛结构的内在几何。
• 将哈密顿作用的线性化推广至奇异设定，尤其适用于 $b$-辛流形上的可积系统与测地线流。
• 建立研究 $b$-辛几何中辛叶对称性与稳定性的框架，特别是在非平凡稳定子群存在的情况下。

提出的方法

• 通过将标准辛形式替换为在光滑超曲面外非退化的 $b$-辛形式，将经典切片定理框架适配至 $b$-辛流形。
• 将辛法向空间 $V_z$ 定义为轨道切空间的 $\tau$-正交补集的商，保持 $b$-辛结构。
• 构造模型空间 $Y^H_z = H \times_{H_z} (\mathfrak{m}^* \times V_z)$，其配备结合了模周期与法向空间上辛结构的扭曲 $b$-辛形式。
• 在商丛上使用 $b$-辛形式 $\tilde{\omega}_0 = \omega_c + \omega_H$，其中 $\omega_c$ 是 $T^*S^1$ 上具有模周期 $c$ 的标准 $b$-辛形式，$\omega_H$ 是 $T^*H$ 上的典范辛形式。
• 证明在流形 $M$ 中点 $z$ 附近存在一个 $H$-不变邻域 $\mathcal{U}$，其等变 $b$-辛同胚于 $Y^H_z$ 中零截面的邻域，确保法化形式为等变且 $b$-辛。
• 将构造应用于 $G = S^1 \times H$、$T^*G$ 与映射环面的示例，展示模型如何通过商结构与扭曲形式捕捉各向同性与模数据。

实验结果

研究问题

• RQ1 如何将经典辛切片定理推广至在超曲面上具有奇点的 $b$-辛流形？
• RQ2 正规李群作用在 $b$-辛流形上的等变法化形式是什么？它如何编码各向同性与模数据？
• RQ3 $b$-辛结构如何影响哈密顿群作用的线性化，特别是在非平凡稳定子群存在的情况下？
• RQ4 能否使用群作用的扭曲 $b$-余切提升来构造具有对称性的 $b$-辛流形的局部模型？
• RQ5 模周期与商结构在非自由作用情况下如何影响 $b$-辛法化形式？

主要发现

• 该 $b$-辛切片定理在 $b$-辛流形中轨道的邻域与模型丛 $Y^H_z = H \times_{H_z} (\mathfrak{m}^* \times V_z)$ 中零截面的邻域之间建立了等变 $b$-辛同胚。
• 该模型空间携带一个 $b$-辛形式 $\tilde{\omega}_0 = \omega_c + \omega_H$，其中 $\omega_c$ 是 $T^*S^1$ 上具有模周期 $c$ 的标准 $b$-辛形式，$\omega_H$ 是 $T^*H$ 上的典范辛形式。
• 对于稳定子群为 $\mathbb{Z}_2 \times \mathrm{SO}(2)$ 的点 $z$，$b$-辛模型为 $E = T^*S^1 \times (\mathrm{SO}(3) \times_{\mathrm{SO}(2)} V)/\mathbb{Z}_2$，且 $\tilde{\omega}_0 = \omega_1 + 2\omega_{S^2} + \omega_V$。
• 在自由作用情况下，模型为 $E = T^*S^1 \times Y_z^{\mathrm{SO}(3)}$，且 $\tilde{\omega}_0 = \omega_2 + \omega_{\text{MGS}}$，其中 $\omega_{\text{MGS}}$ 为 Marle-Guillemin-Sternberg 形式。
• 该定理适用于紧李群 $G$ 上的 $T^*G$ 上的 $b$-辛结构，其 $b$-辛形式为 $\omega = \pi^*m_1 \wedge \frac{d(\lambda(v_1))}{\lambda(v_1)} + \sum_{i=2}^n \pi^*m_i \wedge d(\lambda(v_i))$。
• 该构造产生 $G$ 的有限覆盖 $S^1 \times H$，且 $b$-辛模型为 $\tilde{E} = (T^*S^1 \times T^*H)/\mathbb{Z}_k$，其中 $\tilde{\omega}_0 = \omega_c + \omega_H$。