[论文解读] The Geometry of Momentum

Alan Weinstein|ArXiv.org|Aug 13, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 12

一句话总结

本文利用群胚提出了一套经典力学中动量映射的通用框架，引入了‘最优动量映射’作为传统动量映射的改进形式，即使在标准动量映射失效时也能捕捉守恒量。该框架统一了辛、泊松与群胚结构，推广了诺特定理，展示了对称性与守恒律如何通过相空间上群作用的等价类型编码。

ABSTRACT

Although the idea of the momentum map associated with a symplectic action of a group is already contained in work of Lie, the geometry of momentum maps was not studied extensively until the 1960's. Centering around the relation between symmetries and conserved quantities, the study of momentum maps was very much alive at the end of the 20th century and continues to this day, with the creation of new notions of symmetry. A uniform framework for all these momentum maps is still to be found; groupoids should play an important role in such a framework.

研究动机与目标

• 将经典动量映射框架推广至标准动量映射失效的系统，特别是非哈密顿或非正规作用的情形。
• 通过最优动量映射，提供一种普遍且不变的守恒量描述方式，关联于对称性。
• 通过单一一致的构造，统一不同几何结构（辛、泊松与群胚）下的动量映射。
• 恢复等价类型的结构及其在等变映射下的不变性，特别是在具有规范场或磁势的系统中。
• 证明最优动量映射是所有被 $G$-不变哈密顿流守恒的等变泊松映射中的普遍形式。

提出的方法

• 将最优动量映射 $\mathcal{J}: M \to M/\mathcal{G}$ 定义为 $G$-流形 $M$ 关于由 $G$-不变哈密顿向量场生成的伪群 $\mathcal{G}$ 的商空间。
• 将动量空间 $M/\mathcal{G}$ 构造为光滑泊松空间，其光滑函数为 $M$ 上的 $\mathcal{G}$-不变函数，构成泊松代数。
• 使用巴尔群胚 $\mathcal{B}G$ 来建模群 $G$ 在空间 $P$ 上的作用，其中对象为 $G$ 的子群，态射为双陪集，编码共轭与稳定子结构。
• 将 $\mathcal{B}G$ 在 $P$ 上的作用扩展至 $\mathcal{B}G \times T^*G$，以定义一个动量映射，其纤维为 $J^{-1}(\mu)$ 与等价类型的交集。
• 证明最优动量映射的纤维对应于 $J^{-1}(\mu) \cap \text{等价类型}$ 的连通分支，从而对标准动量映射进行了精炼。
• 建立普遍性：任何被 $G$-不变哈密顿流守恒的 $G$-等变泊松映射 $K: M \to P$ 均可唯一地通过 $\mathcal{J}$ 因子分解。

实验结果

研究问题

• RQ1 如何将动量映射推广至标准动量映射不存在的情形，如非正规或非哈密顿群作用？
• RQ2 等价类型及其不变量在超越标准动量映射编码守恒量中起什么作用？
• RQ3 能否构造一个普遍动量映射，以捕捉 $G$-作用下所有与对称性相关的守恒量，即使该作用非哈密顿？
• RQ4 群胚，特别是巴尔群胚 $\mathcal{B}G$，如何为统一不同几何结构下的动量映射提供自然框架？
• RQ5 在何种意义上，最优动量映射是所有被 $G$-不变哈密顿流守恒的等变泊松映射中的普遍形式？

主要发现

• 最优动量映射 $\mathcal{J}: M \to M/\mathcal{G}$ 被任何 $G$-不变哈密顿向量场的流普遍守恒。
• 动量空间 $M/\mathcal{G}$ 是一个光滑泊松空间，其光滑函数为 $M$ 上的 $\mathcal{G}$-不变函数，构成泊松代数。
• 对于正规哈密顿作用，$\mathcal{J}$ 的纤维是标准动量映射纤维 $J^{-1}(\mu)$ 与给定等价类型的交集的连通分支。
• 最优动量映射具有普遍性：对于任意被 $G$-不变哈密顿流守恒的 $G$-等变泊松映射 $K: M \to P$，存在唯一的等变泊松映射 $\phi: M/\mathcal{G} \to P$，使得 $K = \phi \circ \mathcal{J}$。
• 当作用为哈密顿作用且群为紧连通时，该构造可恢复为埃文斯–卢动量映射的特例。
• 使用巴尔群胚 $\mathcal{B}G$ 允许通过稳定子子群内在地定义动量映射，其态射编码共轭与正规化子结构，并为最优动量映射提供了自然的几何背景。