[论文解读] Unitary spherical highest weight representations

Bernhard Kroetz, Karl‐Hermann Neeb|ArXiv.org|Jun 9, 2000

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

一句话总结

本文通过结合代数与解析方法，对单连通酉李群的酉球面最高权表示进行分类，证明当对所有 $\alpha \in \Delta_n^+$ 有 $\langle \lambda + \rho, \alpha \rangle < 0$ 时，$G/H$ 的相对全纯离散系列中的 $H$-球面最高权表示具有正规性。关键结果表明，此类表示总是正规的，即同构于其广义 Verma 模块，该结论基于 Parthasarathy 不等式与根系分析。

ABSTRACT

In this paper we give a classification of the $H$-spherical unitary highest weight representations of a hermitian Lie group $G$.

研究动机与目标

• 对单连通酉李群 $G$ 的所有 $H$-球面酉最高权表示进行分类。
• 确定此类表示何时为正规的，即同构于其广义 Verma 模块。
• 建立基于相对全洁离散系列条件 $\langle \lambda + \rho, \alpha \rangle < 0$（对所有 $\alpha \in \Delta_n^+$）的 $H$-球面性判别准则。
• 通过引入约化层级并应用 Parthasarathy 不等式，弥合奇异情形下代数 $H\cap K$-球面性与完整 $H$-球面性之间的差距。

提出的方法

• 利用锥实现将 $\mathcal{H}_\lambda$ 表示为 $L^2(\overline{\Omega}, R_\lambda)$，其中 $H$-作用通过 $\tau_\lambda$ 显式呈现。
• 将 $K$-有限向量刻画为 $e^{-\operatorname{tr}} \operatorname{Pol}(V, F(\lambda))\big|_{\overline{\Omega}}$，并将其与广义 Verma 模块联系起来。
• 应用 Parthasarathy 不等式，通过验证对所有 $\mu \neq \lambda$ 有 $\|\lambda + \widehat{\rho}\|^2 - \|\mu + \widehat{\rho}\|^2 < 0$，来确认 $L(\lambda)$ 的不可约性与正规性。
• 利用根系分解：$\widehat{\rho}_k = \rho_k + \rho_k^0$，其中 $\rho_k^0$ 来自 $\mathfrak{a}^\perp$ 中的非紧根，以分析范数差。
• 通过 $\widehat{\Delta}^+$ 与 $\Delta^+$ 的相容性，建立 $\widehat{\rho}_n = \rho_n$，并借此简化范数比较。
• 证明 $DS(G/H)$ 蕴含 $DS(G)$，且 $DS(G/H)$ 强制 $\lambda$ 的正规性，通过证明范数差中的所有项均为非正或负。

实验结果

研究问题

• RQ1 在何种条件下，$H$-球面酉最高权表示 $\pi_\lambda$ 是正规的，即 $L(\lambda) \cong N(\lambda)$？
• RQ2 在奇异情形下，$L(\lambda)$ 的 $H$-球面性何时可由 $F(\lambda)$ 的 $H \cap K$-球面性推出？
• RQ3 相对全洁离散系列条件 $\langle \lambda + \rho, \alpha \rangle < 0$（对所有 $\alpha \in \Delta_n^+$）与 $\lambda$ 的正规性有何关联？
• RQ4 约化层级 $\operatorname{le}(\lambda)$ 在确定奇异 $\lambda$ 的 $H$-球面性中起何作用？
• RQ5 Parthasarathy 不等式是否可用于在 $DS(G/H)$ 条件下证明正规性？

主要发现

• 对于满足对所有 $\alpha \in \Delta_n^+$ 有 $\langle \lambda + \rho, \alpha \rangle < 0$ 的 $H$-球面最高权 $\lambda \in \mathfrak{a}^*$，表示 $\pi_\lambda$ 是正规的，即 $L(\lambda) \cong N(\lambda)$。
• 对所有 $\alpha \in \Delta_n^+$ 有 $\langle \lambda + \rho, \alpha \rangle < 0$ 的条件蕴含 $DS(G/H)$，后者又蕴含 $DS(G)$，并确保正规性。
• 对所有 $\mu \neq \lambda$（在 $N(\lambda)$ 的 $K_C$-最高权中），范数差 $\|\lambda + \widehat{\rho}\|^2 - \|\mu + \widehat{\rho}\|^2$ 严格为负，从而确认不可约性与正规性。
• 由于 $\mathfrak{z}(\mathfrak{k}) \subseteq \mathfrak{a}$ 及根系的相容性，恒等式 $\widehat{\rho}_n = \rho_n$ 成立。
• 对关于 $\widehat{\Delta}_k^+$ 的极大 $\mu$，项 $\langle \widehat{\rho}_k - \rho_k, \mu \rangle$ 为非正，这支持了范数差的负性。
• 当且仅当 $\operatorname{le}(\lambda)$ 为奇数时，$L(\lambda)$ 的 $H$-球面性等价于 $F(\lambda)$ 的 $H \cap K$-球面性，此结论由定理 II.8 建立。