[论文解读] A new class of examples of group-valued moment maps

Alimjon Eshmatov|ArXiv.org|Oct 20, 2007

Quantum chaos and dynamical systems参考文献 5被引用 5

一句话总结

本文通过证明在普遍化坍缩空间 $D\mathbf{Sp}(n)_{\rm impl}$ 中，某些分支具有微分同胚于四元数射影空间 $\mathbf{HP}^n$ 的光滑闭包，从而构造了一类新的拟哈密顿流形。利用拟辛坍缩和显式作用量映射构造，作者定义了一个光滑的 $\mathbf{Sp}(n) \times T$-等变作用量映射以及 $\mathbf{HP}^n$ 上的闭非退化二维微分形式，确立了其作为具有非有效群作用的无重数拟哈密顿空间的结构。

ABSTRACT

The purpose of this paper is to construct new examples of group-valued moment maps. As the main tool for construction of such examples we use quasi-symplectic implosion which was introduced in [HJS06]. More precisely we show that there are certain strata of $D{\bf Sp}(n)_{ m impl}$, the universal imploded space, where it is singular but whose closure is a smooth quasi-Hamiltonian ${\bf Sp}(n) imes T$ space.

研究动机与目标

• 为非阿贝尔李群构造超越经典 $\mathbf{SU}(n)$ 案例的群值作用量映射的新例子。
• 通过识别 $D\mathbf{Sp}(n)_{\rm impl}$ 中奇异分支的光滑闭包，拓展拟哈密顿流形的理论。
• 证明坍缩空间 $D\mathbf{Sp}(n)_{\rm impl}$ 中某一特定分支的闭包微分同胚于 $\mathbf{HP}^n$，并携带自然的拟哈密顿结构。
• 提供一类新的无重数拟哈密顿空间，其作用群为非有效的 $\mathbf{Sp}(n) \times T$。
• 通过坍缩技术，将拟哈密顿结构的构造从 $\mathbf{SU}(n)$ 推广至 $\mathbf{Sp}(n)$。

提出的方法

• 利用 [HJS06] 中的拟辛坍缩构造，本文分析了 $D\mathbf{Sp}(n)_{\rm impl}$ 的结构，重点关注具有奇点但闭包光滑的分支。
• 作者识别出 $D\mathbf{Sp}(n)_{\rm impl}$ 中一个特定分支 $X_{01}$，其闭包通过显式坐标参数化被证明微分同胚于 $\mathbf{HP}^n$。
• 通过涉及齐次坐标 $[Z_1, \dots, Z_{n+1}]$ 和对角矩阵 $B = \mathrm{diag}(\exp(\lambda\pi i), 1, \dots, 1)$ 的矩阵表达式，构造了一个光滑的 $\mathbf{Sp}(n) \times T$-等变作用量映射 $\Phi: \mathbf{HP}^n \to \mathbf{Sp}(n) \times T$。
• 通过从坍缩空间拉回，推导出 $\mathbf{HP}^n$ 上的闭非退化二维微分形式 $\omega$，其在去齐次化坐标下的显式局部表达式包含 $dx_{ij}$ 项和 $\lambda$ 的三角函数。
• 通过在临界点集（$Z_1 = 0$ 和 $[1,0,\dots,0]$）附近分析行为，利用 $t = \exp(\pi i \lambda)$ 的渐近展开，严格证明了二维微分形式与作用量映射的光滑性。
• 最终结构通过验证拟哈密顿 $\mathbf{Sp}(n) \times T$-流形的公理，包括作用量映射条件 $d\omega = -\Phi^*\chi$ 和 $\omega$ 的核条件，得以确认。

实验结果

研究问题

• RQ1 能否将通过坍缩分支构造光滑拟哈密顿流形的方法，从 $\mathbf{SU}(n)$ 扩展至 $\mathbf{Sp}(n)$？
• RQ2 是否 $D\mathbf{Sp}(n)_{\rm impl}$ 中奇异分支的闭包可赋予光滑拟哈密顿结构？
• RQ3 四元数射影空间 $\mathbf{HP}^n$ 是否可实现为具有非有效作用的 $\mathbf{Sp}(n) \times T$-拟哈密顿流形？
• RQ4 此类空间上的作用量映射与辛形式的显式形式为何？
• RQ5 能否通过基于坐标的分析，证明 $\mathbf{HP}^n$ 上的二维微分形式可光滑延拓至奇点集？

主要发现

• 在 $D\mathbf{Sp}(n)_{\rm impl}$ 中，分支 $X_{01}$ 的闭包是一个微分同胚于 $\mathbf{HP}^n$ 的光滑流形，通过坍缩方法解决了奇异分支。
• 通过涉及 $Z_p$ 坐标和对角矩阵 $B$ 的矩阵表达式，显式构造了一个光滑的 $\mathbf{Sp}(n) \times T$-等变作用量映射 $\Phi: \mathbf{HP}^n \to \mathbf{Sp}(n) \times T$。
• 二维微分形式 $\omega_0$ 在 $\mathbf{HP}^n$ 上的拉回形式为 $\mathcal{F}^*\omega_{01} = 2\pi dx_{11}dx_{12} - 2\sin(2\pi\lambda)(t + t^{-1})dx_{13}dx_{14} + 4\sin(\pi\lambda)\sum_{p=3}^{n+1}(dx_{p1}dx_{p2} - dx_{p3}dx_{p4})$，其在 $\mathbf{HP}^n$ 上处处光滑延拓。
• 该二维微分形式在 $\mathbf{HP}^n$ 上闭且非退化，满足拟哈密顿条件 $d\omega = -\Phi^*\chi$，从而确认了其流形结构。
• 作用量映射在所有位置（包括 $Z_1 = 0$ 和 $[1,0,\dots,0]$）均光滑，其光滑性通过在 $t = \exp(\pi i \lambda)$ 下的渐近分析得以证明。
• 最终得到的空间是一个无重数的拟哈密顿 $\mathbf{Sp}(n) \times T$-流形，其群作用非有效，为群值作用量映射理论提供了新一类例子。