[论文解读] Branching problems of unitary representations

Toshiyuki Kobayashi|arXiv (Cornell University)|Apr 22, 2003

Advanced Algebra and Geometry参考文献 3被引用 7

一句话总结

本文引入并发展了酉李群的可允许限制理论，其中到子群的限制分解为离散直和且各不可约表示的重数有限。关键贡献是一个基于表示渐近支撑与子群锥相交的判别准则（定理B），确保离散可分解性；该框架使显式分支律成为可能，并在 $L^p$-调和分析与模形式空间的拓扑中得到应用。

ABSTRACT

The irreducible decomposition of a unitary representation often contains continuous spectrum when restricted to a non-compact subgroup. The author singles out a nice class of branching problems where each irreducible summand occurs discretely with finite multiplicity (admissible restrictions). Basic theory and new perspectives of admissible restrictions are presented from both analytic and algebraic view points. We also discuss some applications of admissible restrictions to modular varieties and $L^p$-harmonic analysis.

研究动机与目标

• 建立单位酉表示分支问题的框架，使得其在不可约表示上的分解为离散直和且重数有限，避免连续谱的存在。
• 解决表示论中的基本难题：单位酉表示在非紧子群上的限制通常包含无限重数或连续谱。
• 利用几何与分析工具（特别是渐近支撑与子群锥之间的相互作用）提供可允许限制的判别准则。
• 将该理论应用于非对称齐次空间上的 $L^p$-调和分析，以及模形式空间的拓扑不变量研究。
• 通过离散可分解限制证明关于全纯离散系列与模形式符号消失的新结果。

提出的方法

• 引入 $G'$-可允许限制的概念：单位酉表示 $\pi$ 关于 $G$ 的限制在 $G'$ 上具有离散分解，且每个不可约表示 $\tau$ 的重数有限。
• 建立定理 B：若 $\operatorname{Cone}(G') \cap \operatorname{AS}_K(\pi) = \{0\}$，则 $\pi|_{G'}$ 是 $G'$-可允许的，其证明基于特征的微局部分析与超函数奇点理论。
• 将该判别准则应用于约化对称对 $(G, G')$，尤其在全纯离散系列与对称空间的背景下。
• 利用离散可分解限制理论推导显式分支律，并分析非对称空间上的 $L^p$-调和分析。
• 通过 Matsushima-Murakami 对偶性将表示论结果与拓扑联系起来，研究局部对称空间的 de Rham 上同调。
• 证明定理 M：若 $\operatorname{AS}_K(\pi) \cap \operatorname{Cone}(G') = \{0\}$ 且 $\pi \neq \mathbf{1}$，则 $\pi$-分量在上同调中消去模形式符号 $\iota_*[Y]$，其证明依赖于 $\pi|_{G'}$ 的 $G'$-可允许性。

实验结果

研究问题

• RQ1 在何种条件下，单位酉表示在非紧子群上的限制会离散分解且重数有限？
• RQ2 如何利用表示的渐近支撑与子群锥之间的相互作用来判定限制的可允许性？
• RQ3 离散可分解性对非对称齐次空间上的 $L^p$-调和分析有何影响？
• RQ4 可允许限制理论如何导致局部对称空间上同调中模形式符号的消失定理？
• RQ5 在哪些情况下，全纯离散系列表示存在于非紧对称空间上？其存在性如何通过表示论准则刻画？

主要发现

• 定理 B 提供了 $G'$-可允许性的精确判别准则：$\pi|_{G'}$ 是 $G'$-可允许的当且仅当 $\operatorname{Cone}(G') \cap \operatorname{AS}_K(\pi) = \{0\}$，将 Harish-Chandra 的可允许性理论推广至非紧子群。
• 当单位酉表示 $\pi$ 的渐近支撑与子群 $G'$ 的锥相交平凡时，$\pi$ 在 $G'$ 上的限制是 $G'$-可允许的，从而实现对分支律的代数与分析控制。
• 定理 K 表明：全纯离散系列存在于 $G/H$ 上当且仅当 $G/K$ 是 Hermitian 对称空间，且 $H/(H \cap K)$ 是全实子流形，推广了 Harish-Chandra 的结果。
• 定理 L 证明了一条排他性法则：表示 $\pi$ 不可能同时在限制到 $G'$ 时为离散可分解，又为 $G/G'$ 上的离散系列，从而解决了调和分析中的一种对偶性。
• 定理 M 给出了模形式符号的消失准则：若 $\operatorname{AS}_K(\pi) \cap \operatorname{Cone}(G') = \{0\}$ 且 $\pi \neq \mathbf{1}$，则 $\pi$-分量在上同调中消去模形式符号 $\iota_*[Y]$。
• 该理论使此前难以处理的情形（如全纯离散系列限制到非紧子群）的显式分支律成为可能，并在自守形式与对称空间中具有应用。