[论文解读] Uniqueness of the Momentum map

Chiara Esposito, Ryszard Nest|arXiv (Cornell University)|Aug 7, 2012

Mathematics and Applications参考文献 6被引用 4

一句话总结

本文研究了泊松几何中吕氏广义动量映射的唯一性与可积性，聚焦于无穷小动量映射——即从李双代数到泊松流形上德拉姆复形的格伦斯坦哈伯代数同态。文章建立了该无穷小映射可积分化为全局动量映射的条件，在海森堡情形下，当一个类似曲率的常数消失时，证明了唯一性（模去 $<\mathbb{R}>$-作用），并通过上同调方程刻画了无穷小形变。

ABSTRACT

We give a detailed discussion about existence and uniqueness of Lu's momentum map. More precisely, we introduce the infinitesimal momentum map, and we study its properties. This allows us to describe the theory of reconstruction of the momentum map from the infinitesimal one. We provide the conditions for the uniqueness of the momentum map.

研究动机与目标

• 澄清泊松几何中吕氏广义动量映射的存在性与唯一性。
• 将无穷小动量映射定义并分析为从李双代数到泊松流形德拉姆复形的格伦斯坦哈伯代数同态。
• 确定无穷小动量映射可积分化为全局动量映射的条件。
• 通过上同调方程刻画动量映射的无穷小形变空间。

提出的方法

• 将无穷小动量映射引入为李代数作用的提升，形成满足两个关键方程的格伦斯坦哈伯代数同态：$\alpha_{[\xi,\eta]} = [\alpha_\xi, \alpha_\eta]_\pi$ 与 $d\alpha_\xi + \frac{1}{2}\alpha \wedge \alpha \circ \delta(\xi) = 0$。
• 使用类似Maurer-Cartan的方程分析模规范等价的解，尤其在 $M$ 为凯勒流形时，将解与满足 $[c,c] = 0$ 的上同调类联系起来。
• 建立可积性条件：当 $M$ 与 $G$ 单连通且 $G$ 紧致时，分布 $\mathcal{D} = \{\alpha_\xi - \theta_\xi\}$ 必须是对合的，并且在叶 $\mathcal{F}$ 上满足 $\pi(\alpha_\xi, \alpha_\eta) - \pi_{G^*}(\theta_\xi, \theta_\eta)|_{\mathcal{F}} = 0$。
• 分析具体情形：交换对偶群与海森堡群，表明除非一个类似曲率的常数 $c$ 消失，否则可积性不成立。
• 通过方程组推导动量映射的无穷小形变空间：$X_\xi H(\eta) - X_\eta H(\xi) = H([\xi,\eta])$ 与 $\{H(\xi), \cdot\} = -X_{\mathrm{ad}^*_{H}\xi}$。
• 证明当 $G$ 为紧致半单时，形变源于与群作用交换的哈密顿向量场，暗示了规范理论结构。

实验结果

研究问题

• RQ1 在何种条件下，无穷小动量映射可在泊松流形上积分化为全局动量映射？
• RQ2 类似曲率的常数 $c = \pi(\alpha_\xi, \alpha_\eta)$ 在决定海森堡群对偶的动量映射可积性中起什么作用？
• RQ3 动量映射的无穷小形变在代数与几何上如何表征？
• RQ4 动量映射空间的上同调结构是什么？它与规范变换有何关联？
• RQ5 在 $C^\infty$ 拓扑下，动量映射空间何时具有平坦流形结构？

主要发现

• 无穷小动量映射作为格伦斯坦哈伯代数同态存在的充要条件是满足两个方程：$\alpha_{[\xi,\eta]} = [\alpha_\xi, \alpha_\eta]_\pi$ 与 $d\alpha_\xi + \frac{1}{2}\alpha \wedge \alpha \circ \delta(\xi) = 0$。
• 当 $M$ 为凯勒流形时，第二个方程的规范等价类集合与满足 $[c,c] = 0$ 的上同调类 $c \in H^1(M, \mathfrak{g}^*)$ 之间存在双射。
• 对于海森堡群对偶，动量映射存在的充要条件是曲率常数 $c = \pi(\alpha_\xi, \alpha_\eta)$ 消失；当 $c = 0$ 时，动量映射空间是 $\mathbb{R}$ 上的主齐性空间。
• 动量映射的无穷小形变空间由两个方程控制：$X_\xi H(\eta) - X_\eta H(\xi) = H([\xi,\eta])$ 与 $\{H(\xi), \cdot\} = -X_{\mathrm{ad}^*_{H}\xi}$，这两个方程在 $C^\infty$ 拓扑下定义了平坦流形结构。
• 当 $G$ 为紧致半单时，所有无穷小形变均来自满足 $X_\xi \Phi = H(\xi)$ 的哈密顿函数 $\Phi$，且相应的向量场与群作用交换。
• 形变空间微分同构于满足其哈密顿向量场与作用交换的 $G$-不变函数 $\Phi$ 的空间，暗示了形变的规范理论解释。