[论文解读] Spin_c quantization and the K-multiplicities of the discrete series

Paul-Émile Paradan|arXiv (Cornell University)|Mar 30, 2001

Advanced Operator Algebra Research参考文献 23被引用 4

一句话总结

本文证明了对于实半单李群的离散系列所参数化的余伴随轨道，'量子化与约化可交换'原理成立。它将离散系列表示的K-重数表示为余伴随轨道的辛约化上的Spin^c-指标，通过Spin^c结构与矩映射约化，将表示理论与几何量子化相联系。

ABSTRACT

In this paper we show that the `quantization commutes with reduction' principle of Guillemin-Sternberg holds for the coadjoint orbits that parametrize the discrete series of a real connected semi-simple Lie group.

研究动机与目标

• 建立实半单李群的离散系列所参数化的余伴随轨道的'量子化与约化可交换'原理的有效性。
• 通过Spin^c-量子化，将离散系列表示的K-重数与余伴随轨道的几何不变量联系起来。
• 将离散系列表示几何化为余伴随轨道上线丛的L^2-上同调。
• 将Guillemin-Sternberg猜想推广至非紧的哈密顿K-流形，特别是半单群的余伴随轨道。
• 通过矩映射约化与Spin^c结构，统一表示论的重数与辛几何和自旋几何。

提出的方法

• 在紧致哈密顿K-流形上使用Spin^c-量子化，定义余伴随轨道上Dolbeault-Dirac算子的指标。
• 应用Schmid的L^2-上同调框架，将离散系列表示实现为G·λ上Dolbeault-Dirac算子的核。
• 利用矩映射约化构造辛商空间M_μ = Φ^{-1}(μ)/K_μ，其中μ为正则的主导权。
• 通过换位椭圆算子的指标定理，将K-重数m_μ(λ)计算为约化空间M_μ上的Spin^c-指标。
• 依赖Cartan分解与根空间分解的结构，分析矩映射的行为及极大环面的作用。
• 通过估计‖e^X·[X,m]‖的范数，控制轨道的增长，并在约化过程中证明有界性。

实验结果

研究问题

• RQ1 对于参数化实半单李群离散系列的余伴随轨道，'量子化与约化可交换'原理是否成立？
• RQ2 离散系列表示的K-重数能否表示为余伴随轨道的辛约化上的Spin^c-指标？
• RQ3 G·λ上线丛的L^2-上同调如何与G的表示理论相关联？
• RQ4 Blattner公式中K-重数的几何意义是什么，其与矩映射约化的联系为何？
• RQ5 在约化过程中，极大环面在余伴随轨道上的作用在何种条件下导致有界轨道？

主要发现

• 参数为λ的离散系列表示的K-重数m_μ(λ)等于在μ处的辛约化M_μ = (G·λ)_μ上的Spin^c-指标。
• 离散系列表示H_λ被实现为余伴随轨道G·λ上Dolbeault-Dirac算子的L^2-上同调，且仅在度数dim(G/K)/2处上同调非零。
• 约化空间M_μ上的Spin^c-指标计算了K-型μ在离散系列表示H_λ中的重数。
• 证明依赖于‖e^X·[X,m]‖的范数以‖X‖和根系数据有界，确保约化过程中的收敛性。
• 该结果在非紧哈密顿K-流形的背景下确认了Guillemin-Sternberg猜想，特别是针对半单群的余伴随轨道。
• 该方法通过辛约化与Spin^c-量子化，为Blattner公式提供了几何解释，将表示论与微分几何联系起来。