[论文解读] Multiplicity free quasi-Hamiltonian manifolds

Friedrich Knop|arXiv (Cornell University)|Dec 12, 2016

Geometric and Algebraic Topology参考文献 22被引用 12

一句话总结

本文通过两个不变量——一个位于单体内的凸多面体子集（编码了矩映射的像）和一个晶格（编码主稳定子群）——对单连通紧致李群及其扭曲环群作用下的凸多重性自由拟哈密顿流形进行了分类。关键结果是通过球对偶对实现完全分类，恢复了已知例子并构造了新例子，包括四元数格拉斯曼流形和具有满射矩映射的紧致流形。

ABSTRACT

A (quasi-)Hamiltonian manifold is called multiplicity free if all of its symplectic reductions are 0-dimensional. In this paper, we classify multiplicity free Hamiltonian actions for (twisted) loop groups or, equivalently, multiplicity free (twisted) quasi-Hamiltonian manifolds for simply connected compact Lie groups. As a result we recover old and find new examples of these structures.

研究动机与目标

• 对单连通紧致李群作用下的凸多重性自由拟哈密顿流形在球对称性条件下的分类。
• 将德耳扎nt型分类从哈密顿几何推广至拟哈密顿几何，特别是针对扭曲环群作用。
• 基于球对偶对系统方法，构造新的拟哈密顿流形例子。
• 通过局部模型与矩映射像，提供这些流形的几何与表示论特征刻画。
• 通过其拟哈密顿结构解释对称与非对称空间的不变量理论性质。

提出的方法

• 分类使用两个不变量：一个凸多面体 $\mathcal{P}_M \subseteq \mathcal{A}$（群值矩映射的像）和一个晶格 $\Lambda_M$（编码主稳定子群）。
• 球对称性条件确保在每一点 $x \in \mathcal{P}_M$，切锥 $C_x\mathcal{P}$ 与光滑仿射球对称 $L\mathbb{C}$-簇的锥一致，其中 $L$ 是 $\exp(x)$ 的扭曲中心化子。
• 该方法通过证明此类流形由球对偶对 $(\mathcal{P}, \Lambda)$ 唯一确定，将德耳扎nt猜想推广至拟哈密顿设定。
• 利用形如 $K \times^L X$ 的局部模型，其中 $X$ 是光滑仿射球对称 $L\mathbb{C}$-簇，从矩映射像与稳定子晶格的数据出发，构造全局流形。
• 该方法利用扭曲拟哈密顿流形与扭曲环群哈密顿作用之间的对应关系，其中矩映射在扭曲共轭下是等变的。
• 该构造恢复了已知例子（如群的双重、旋转球面、四元数射影空间），并将其扩展至新情形，如 $\operatorname{Gr}_k(\mathbb{H}^{n+1})$ 上的 $Sp(2n)$-作用。

实验结果

研究问题

• RQ1 对单连通紧致李群作用下的凸多重性自由拟哈密顿流形是否存在完全分类？
• RQ2 如何系统地构造超越特例构造的拟哈密顿流形新例子？
• RQ3 在拟哈密顿几何背景下，球对称性条件的几何与表示论意义是什么？
• RQ4 是否存在具有满射矩映射的紧致拟哈密顿流形？若存在，适用于哪些群？
• RQ5 为何对同一群作用的对称空间的乘积（非对称空间）能赋予多重性自由的拟哈密顿结构？

主要发现

• 本文通过球对偶对 $(\mathcal{P}, \Lambda)$ 建立了凸多重性自由拟哈密顿流形的完全分类，其中 $\mathcal{P}$ 是单体内的凸多面体，$\Lambda$ 是满足球对称条件的晶格。
• 该分类恢复了所有已知例子：群的双重、旋转4-球面、旋转$2n$-球面以及四元数射影空间。
• 本文构造了新例子，包括四元数格拉斯曼流形 $\operatorname{Gr}_k(\mathbb{H}^{n+1})$，其自然地携带 $Sp(2n)$-不变的拟哈密顿结构。
• 证明了 $SU(n)$ 与 $Sp(2n)$ 上存在具有满射矩映射的紧致拟哈密顿流形，这一现象在哈密顿设定下是不可能的。
• 同一群作用下两个对称空间的对角作用乘积（非对称空间）具有多重性自由的拟哈密顿结构，从而解释了其不变量理论性质。
• 此类流形的局部结构以 $K \times^L X$ 为模型，其中 $X$ 是光滑仿射球对称 $L\mathbb{C}$-簇，$L$ 是每一点 $x \in \mathcal{P}$ 处 $\exp(x)$ 的扭曲中心化子。