[论文解读] Introduction to Representations of Real Semisimple Lie Groups

Matvei Libine|arXiv (Cornell University)|Dec 11, 2012

Advanced Algebra and Geometry参考文献 17被引用 4

一句话总结

本文为实半单李群的表示理论提供了易于理解的导论，重点以 $SU(1,1)$ 作为核心示例。文章发展了哈里什-钱德拉模理论，通过全纯离散系列和主系列构造单位表示，并利用分布极限与迹公式计算特征标，证明了特征标是具有显式公式的实解析分布，适用于 $SU(1,1)$。

ABSTRACT

These are lecture notes for a one semester introductory course I gave at Indiana University. The goal was to make this exposition as clear and elementary as possible. A particular emphasis is given on examples involving SU(1,1). These notes are in part based on lectures given by my graduate advisor Wilfried Schmid at Harvard University and PQR2003 Euroschool in Brussels as well as other sources.

研究动机与目标

• 为实半单李群的表示理论提供清晰、基础的导论，尤其聚焦于 $SU(1,1)$。
• 发展哈里什-钱德拉模理论，作为构造与分类不可约表示的工具。
• 利用分布极限与迹公式，计算 $SU(1,1)$ 的单位表示——特别是离散系列与主系列——的特征标。
• 证明不可约单位表示的特征标是实解析分布，并给出显式表达式，推广经典特征标公式。
• 将 $SU(1,1)$ 的表示理论与 $K$-型、$KAK$ 分解以及哈里什-钱德拉模的全局化等更广泛结构联系起来。

提出的方法

• 以 $SU(1,1)$ 为主要示例，阐明实半单李群表示的一般原理。
• 通过 $C^\infty$ 向量与 $K_{\mathbb{R}}$-有限向量构造表示，进而定义哈里什-钱德拉模。
• 应用伊wasawa 分解与 $KAK$ 分解，分析矩阵系数，并在正则半单元素上计算特征标。
• 利用几何级数与分布极限计算特征标：例如，$\lim_{n\to\infty} e^{i(2l+1-2n)\theta} = 0$ 在分布意义下成立。
• 通过迹公式推导特征标公式：$\operatorname{Tr}\pi_d(a_t) = \frac{e^{(d+1)t} - e^{-(d+1)t}}{e^t - e^{-t}}$，适用于有限维表示。
• 利用哈里什-钱德拉正则性定理，证明特征标是具有奇点的实解析分布，即使在无显式公式时亦成立。

实验结果

研究问题

• RQ1 如何使实半单李群的表示理论更易理解且基础化，特别是针对非紧致群？
• RQ2 当 $C^\infty$ 向量无法解析时，哈里什-钱德拉模在分类不可约表示中起什么作用？
• RQ3 单位表示的特征标——特别是 $SU(1,1)$ 的离散系列与主系列——在正则半单元素上的行为如何？
• RQ4 主系列表示的特征标能否表示为离散系列与有限维表示特征标的和？
• RQ5 矩阵系数的分布极限行为如何？它如何促成特征标的计算？

主要发现

• 在 $F_d$ 上，$SU(1,1)$ 的有限维表示 $\pi_d$ 的特征标为 $\operatorname{Tr}\pi_d(k_\theta) = \frac{e^{i(d+1)\theta} - e^{-i(d+1)\theta}}{e^{i\theta} - e^{-i\theta}}$，为几何级数的和。
• 对同一表示，有 $\operatorname{Tr}\pi_d(a_t) = \frac{e^{(d+1)t} - e^{-(d+1)t}}{e^t - e^{-t}}$，其中 $a_t = \exp(tH)$，表明在分裂环面上的解析性。
• 全纯离散系列 $\pi_\chi$ 在 $\mathcal{D}_l^-$ 上的特征标满足 $\Theta^{-}_{\pi_\chi}(k_\theta) = \frac{e^{i(2l+1)\theta}}{e^{i\theta} - e^{-i\theta}}$，通过分布极限推导得出。
• 当 $t > 0$ 时，有 $\Theta^{-}_{\pi_\chi}(a_t) = \frac{e^{(2l+1)t}}{|e^t - e^{-t}|}$，类似地，对反全纯系列有 $\Theta^{+}_{\pi_\chi}(-a_t) = (-1)^{2l}\frac{e^{(2l+1)t}}{|e^t - e^{-t}|}$。
• 主系列特征标为 $\Theta_{\pi_\chi}(a_t) = \frac{e^{(2l+1)t} + e^{-(2l+1)t}}{|e^t - e^{-t}|}$，且在 $k_\theta$ 上为零，确认了单位性与分解性质。
• 当 $l = -1/2, \varepsilon = 1/2$ 时，主系列特征标等于全纯与反全纯离散系列极限特征标的和，验证了分解 $\pi_\chi \simeq \mathcal{D}_{-1/2}^- \oplus \mathcal{D}_{-1/2}^+$ 的一致性。