[论文解读] Multiplicities of the discrete series

Paul-Émile Paradan|ArXiv.org|Nov 29, 2008

Advanced Algebra and Geometry参考文献 29被引用 12

一句话总结

本文通过‘约化与量子化可交换’原理，建立了对实半单李群的离散系列表示相对于任意紧致连通子群的重数的几何计算方法。证明了这些重数源于共轭余轨道上的辛约化，通过形式几何量子化实现，将先前结果推广至非极大紧致子群，并将轨道方法推广至非紧致情形。

ABSTRACT

The purpose of this paper is to show that the multiplicities of a discrete series representation relatively to a compact subgroup can be "computed" geometrically, in the way predicted by the "qantization commutes with reduction" principle of Guillemin-Sternberg.

研究动机与目标

• 为相对于任意紧致连通子群的离散系列表示重数提供一种几何计算方法。
• 将‘约化与量子化可交换’原理扩展至离散系列表示中非极大紧致子群的情形。
• 建立一个形式几何量子化框架，通过共轭余轨道上的辛约化计算重数。
• 利用几何量子化与矩映射约化，推广哈里什-钱德拉的全纯离散系列构造。
• 验证当哈里什-钱德拉参数与布拉特纳参数位于强椭圆元素的同一壁 chamber 内时，重数保持有限且可计算。

提出的方法

• 在具有矩映射的预量子化正规哈密顿 K-流形上使用形式几何量子化。
• 将‘约化与量子化可交换’原理应用于与离散系列表示相关的共轭余轨道 O_Λ。
• 利用基洛罗夫-科斯坦特-苏里奥的辛形式与共轭余轨道上的 G-不变复结构，定义几何量子化。
• 通过矩映射 Φ_K: O_Λ → 𝔤* 在整权处进行约化，以实现表示空间的约化。
• 应用横椭圆符号理论与等变指标理论，计算 R^{-∞}(H) 中的量子化指标。
• 依赖于通过群同态 φ: H → K 的表示限制形式，确保量子化具有 H-适定性，从而使定义成立。

实验结果

研究问题

• RQ1 能否通过辛约化与几何量子化，几何地计算相对于紧致子群的离散系列表示重数？
• RQ2 在离散系列表示的设定下，‘约化与量子化可交换’原理是否对非极大紧致子群成立？
• RQ3 当哈里什-钱德拉参数与布拉特纳参数位于强椭圆元素的同一壁 chamber 内时，重数如何表现？
• RQ4 形式几何量子化过程在推广至非正交（Spin）情形时，对这些重数的计算起到何种作用？
• RQ5 在何种条件下，离散系列表示对紧致子群 H 的限制是有限维的，并可通过辛几何计算？

主要发现

• 相对于紧致连通子群 H 的离散系列表示的重数，由共轭余轨道 O_Λ 在 H-权 ξ 处的辛约化的形式几何量子化给出。
• 该结果对任意满足重数有限的紧致连通子群 H 成立，推广了此前仅限于极大紧致子群的结果。
• 即使 H 在 K 中不是极大子群，计算仍与‘约化与量子化可交换’原理一致。
• 形式量子化指标 Q^{-∞}_K(M) 在同态 φ: H → K 下限制为 Q^{-∞}_H(M)，前提是 M 作为 H-流形是正规的。
• 限制映射 φ* 保持适定性，并与量子化可交换，从而确保几何计算的一致性。
• 关键技术结果为等式 Q^{-∞}_K(M)|_H = Q^{-∞}_H(M)，通过等变指标理论与流形积上的辛约化证明。