[论文解读] Convexity properties for generalized moment maps I

Yasufumi Nitta|ArXiv.org|Oct 21, 2007

Geometry and complex manifolds参考文献 8被引用 4

一句话总结

本文在紧致、连通的 $H$-扭曲广义复流形上的哈密顿环作用中，建立了广义矩映射的凸性与连通性性质。在林与托尔曼框架的基础上，证明了广义矩映射的像是其不动点分支处矩映射值的凸包，通过 Bott-Morse 函数分析，将经典辛几何中的凸性定理推广至广义复几何。

ABSTRACT

We study generalized moment maps for a Hamiltonian action on a connected compact $H$-twisted generalized complex manifold introduced by Lin and Tolman and prove the convexity and connectedness properties of the generalized moment maps for a Hamiltonian torus action.

研究动机与目标

• 将阿蒂yah与古列米-史特恩伯格的经典凸性与连通性定理由辛几何推广至广义复几何。
• 在紧致、连通的 $H$-扭曲广义复流形上，建立哈密顿环作用下广义矩映射的凸性与连通性。
• 将广义矩映射像的表征方式——即作为不动点值的凸包——推广至广义复几何设定。

提出的方法

• 采用林与托尔曼定义的 $H$-扭曲广义复流形上哈密顿作用的广义矩映射概念。
• 将广义矩映射 $\mu: M \to \mathfrak{t}^*$ 及其分量函数 $\mu_i$ 分析为具有偶数指标与余指标的 Bott-Morse 函数。
• 利用横截性论证，证明 $\mu^\xi$ 的临界流形与水平集横截相交，从而确保拓扑控制。
• 应用 Bott-Morse 函数理论，证明 $\mu$ 的水平集是连通的，且像集是凸的。
• 利用李代数元素的有理独立性，证明 $\mu^\xi$ 的最大值在不动点分支处取得。
• 通过对偶性与凸包论证，证明 $\mu$ 的像是 $\mu(C_i)$ 的点 $a_1, \dots, a_N$ 的凸包。

实验结果

研究问题

• RQ1 在紧致 $H$-扭曲广义复流形上的哈密顿环作用中，广义矩映射是否满足类似于辛几何情形的凸性与连通性性质？
• RQ2 广义矩映射的像能否表征为不动点分支处矩映射值的凸包？
• RQ3 Bott-Morse 函数技术在广义复几何背景下如何应用于广义矩映射？
• RQ4 李代数元素的有理独立性在表征广义矩映射像时起什么作用？
• RQ5 在广义复几何设定下，包括对轨道流形的情形，凸性与连通性定理在多大程度上仍然成立？

主要发现

• 广义矩映射 $\mu$ 的水平集是连通的，推广了辛几何中的连通性结果。
• 广义矩映射 $\mu$ 的像是凸的，将阿蒂yah-古列米-史特恩伯格凸性定理推广至广义复几何。
• 环作用的不动点集分解为有限个连通的、偶数维子流形 $C_1, \dots, C_N$，在这些子流形上 $\mu$ 为常值。
• 像集 $\mu(M)$ 是点 $a_1, \dots, a_N$ 的凸包，其中 $a_i = \mu(C_i)$，从而精确表征了矩映射的像。
• 对于任意不在 $\{a_1, \dots, a_N\}$ 的凸包内的点 $a \in \mathfrak{t}^*$，存在向量 $\xi \in \mathfrak{t}$，使得 $\sup \mu^\xi(p) < a(\xi)$，从而证明 $a \notin \mu(M)$。
• 结果可推广至 $H$-扭曲广义复轨道流形，此时不动点分支为连通子轨道流形。