[论文解读] Weyl groups of Hamiltonian manifolds, I

Friedrich Knop|ArXiv.org|Dec 20, 1997

Advanced Algebra and Geometry参考文献 18被引用 20

一句话总结

本文引入了一个与紧致哈密顿 $K$-流形 $M$ 相关的有限反射群 $W_M$，表明与所有 $K$-不变函数关于泊松括号对易的函数代数——记为 $\mathrm{Col}(M)$——恰好是通过映射 $\widehat{\mu}: M \to Y$ 从商空间 $Y$ 上光滑函数拉回到 $M$ 的结果。空间 $Y$ 由指标映射像 $\mu(M)$ 和群 $W_M$ 构造而成，其中 $W_M$ 通过泰勒级数的对称性约束控制 $Y$ 的可微结构，从而解决了辛对偶性中的一个微妙问题，并以一种改进的、几何化形式推广了吉耶明-史特恩伯格猜想。

ABSTRACT

We consider a connected compact Lie group K acting on a symplectic manifold M such that a moment map m exists. A pull-back function via m Poisson commutes with all K-invariants. Guillemin-Sternberg raised the problem to find a converse. In this paper, we solve this problem by determining the Poisson commutant of the algebra of K-invariants. It is completely controlled by the image of m and a certain subquotient W_M of the Weyl group of K. The group W_M is also a reflection group and forms a symplectic analogue of the little Weyl group of a symmetric space. The proof rests ultimately on techniques from algebraic geometry. In fact, a major part of the paper is of independent interest: it establishes connectivity and reducedness properties of the fibers of the (complex algebraic) moment map of a complex cotangent bundle.

研究动机与目标

• 确定紧致哈密顿 $K$-流形 $M$ 上与所有 $K$-不变函数泊松对易的光滑函数代数 $\mathrm{Col}(M)$。
• 构造一个拓扑与可微的商空间 $Y$，使得 $\mathrm{Col}(M)$ 恰好由通过映射 $\widehat{\mu}: M \to Y$ 拉回的 $Y$ 上光滑函数构成。
• 证明 $Y$ 上的可微结构由一个有限反射群 $W_M$ 控制，该群是 $K$ 的外尔群的子商群，其控制 $Y$ 上函数的泰勒级数对称性。
• 建立 $\nu: Y \to \mu(M) \subset \mathfrak{k}^*$ 是同胚映射，并证明 $\mathrm{Col}(M)$ 是 $\mu^* C^0(\mathfrak{k}^*)$ 与 $C^\infty(M)$ 的交集，从而确认了吉耶明-史特恩伯格猜想的一个改进版本。

提出的方法

• 引入“凸哈密顿流形”的概念以局部化问题，利用纤维的连通性与凸性，确保局部性质足以解决问题。
• 应用辛切片定理，将问题约化为实代数哈密顿 $K$-流形 $\overline{M}$ 上某点邻域内的问题，从而实现代数分析。
• 利用图热龙与比尔斯通-米尔曼的强力结果，将 $Y$ 上可微函数与其泰勒级数关联，将问题转化为幂级数上的代数条件。
• 将实代数流形 $\overline{M}$ 复化，得到一个复 $G$-概形 $X$，其中 $G$ 是 $K$ 的复化，分析余切丛 $T^*_X$ 以研究 $G$-不变函数。
• 证明 $\overline{M}$ 的复化是 $T^*_X$，并利用关于 $T^*_X$ 上与 $G$-不变函数泊松对易的正则函数的已知结果，刻画 $\mathrm{Col}(M)$。
• 通过吉耶明-史特恩伯格横截面定理建立哈密顿流形的局部结构定理，表明各向同性轨道邻域由三元组 $(H, S, u_0)$ 决定，其中 $H = K_x$，$S$ 为辛切片，$u_0 = \mu(x)$。

实验结果

研究问题

• RQ1 紧致哈密顿 $K$-流形 $M$ 上 $K$-不变函数的泊松中心化子 $\mathrm{Col}(M)$ 的精确结构是什么？
• RQ2 如何用几何与群论数据刻画辛商空间 $Y$ 上的可微结构？
• RQ3 指标映射 $\mu: M \to \mathfrak{k}^*$ 在多大程度上能通过商空间 $Y$ 因子化，且映射 $\nu: Y \to \mu(M)$ 的性质是什么？
• RQ4 反射群 $W_M$ 如何控制 $Y$ 上函数的可微性，特别是其泰勒级数的对称性？
• RQ5 吉耶明-史特恩伯格猜想关于 $\mu^*$ 的满射性是否可被改进，以解释 $\mu^*$ 无法满射到 $C^\infty(M)$ 的事实，如莱勒曼的反例所示？

主要发现

• 在 $M$ 上与所有 $K$-不变函数泊松对易的函数代数 $\mathrm{Col}(M)$ 同构于通过映射 $\widehat{\mu}: M \to Y$ 从空间 $Y$ 上光滑函数拉回到 $M$ 的结果，建立了辛对偶 $M \leftarrow Y \to M/K$。
• 空间 $Y$ 构造为 $\mu(M)$ 关于有限反射群 $W_M$ 作用的商空间，其中 $W_M$ 是 $K$ 的外尔群的子商群，编码了 $Y$ 上函数泰勒级数的对称性约束。
• $\nu: Y \to \mu(M) \subset \mathfrak{k}^*$ 是同胚映射，确认 $Y$ 的拓扑由 $\mu(M)$ 决定，但 $Y$ 上的可微结构是非平凡的，由 $W_M$ 控制。
• 在莱勒曼的反例中，$Y$ 是半锥面 $x^2 + y^2 + z^2 = t^2, t \geq 0$，且 $W_M = \{1\}$，但 $t$ 并非通过 $\nu$ 拉回的光滑函数，尽管它是连续函数 $\sqrt{x^2 + y^2 + z^2}$ 的拉回，体现了可微结构的微妙性。
• 当 $W_M = \{\pm 1\}$ 时，$Y$ 上的函数光滑当且仅当其在原点的泰勒级数在 $t \mapsto -t$ 下不变，这意味着此类函数仅为 $x, y, z$ 的光滑函数。
• 本文证明了 $\mathrm{Col}(M) = \mu^* C^0(\mathfrak{k}^*) \cap C^\infty(M)$，确认 $\nu$ 是同胚映射，且 $Y$ 上的可微结构完全由 $W_M$ 控制，从而解决了吉耶明-史特恩伯格猜想的改进版本。