[论文解读] Formal dimension for semisimple symmetric spaces

Bernhard Kroetz|ArXiv.org|Apr 6, 2000

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

一句话总结

本文计算了半单对称空间 $ H\backslash G $ 的全纯离散系列中不可约 $ H $-球对称酉表示的正式维数 $ d(\theta) $，推广了哈里什-钱德拉的群情形公式。关键结果将 $ d(\theta) $ 表示为群的正式维数 $ d(\theta)^G $ 与一个 $ c $-函数 $ c(\theta + \rho) $ 的乘积，该结果通过超函数向量的平均定理与解析延拓推导得出。

ABSTRACT

In this paper we generalize Harish Chandra's formula for the formal dimension of a representation of the holomorphic discrete series of a hermitian Lie group $G$ to semisimple symmetric spaces $G/H$.

研究动机与目标

• 将哈里什-钱德拉在群情形下的正式维数概念推广至半单对称空间 $ H\backslash G $。
• 为相对全纯离散系列中的 $ H $-球对称酉最高权表示定义并计算正式维数 $ d(\theta) $。
• 建立 $ d(\theta) $ 的公式，以已知的 $ c $-函数与群的正式维数 $ d(\theta)^G $ 表示，适用于大参数 $ \theta $。
• 通过解析延拓技术将公式解析延拓至所有参数。
• 将结果应用于球对称全纯表示理论，特别是在最大奥尔沙茨基半群的背景下。

提出的方法

• 通过 $ H $-不变的超函数向量 $ \nu $ 与 $ HZ\backslash G $ 上的矩阵系数积分，为 $ H $-球对称最高权表示引入正式维数 $ d(\theta) $。
• 建立平均定理：当 $ \theta $ 较大时，$ \pi_\theta(h)v_\theta $ 在 $ H $ 上的积分收敛于 $ \nu $ 的倍数，其中涉及非紧因果对偶空间的 $ c $-函数 $ c(\theta + \rho) $。
• 通过将平均定理的结果代入 $ d(\theta) $ 的定义，推导出关键公式 $ d(\theta) = d(\theta)^G \cdot c(\theta + \rho) $。
• 利用 Ólafsson 和 Ørsted 的解析延拓技术，将公式从大参数范围外推至所有参数。
• 将 $ c(\theta) = c_0(\theta) c_\Omega(\theta) $ 分解，其中 $ c_0 $ 对应于黎曼对称子空间，$ c_\Omega $ 对应于有界对称域的实形式。
• 将公式应用于球对称特征标与球对称函数，证明其在离散格点上的零点性，利用解析延拓与全纯函数的恒等定理。

实验结果

研究问题

• RQ1 如何为半单对称空间 $ H\backslash G $ 的全纯离散系列中的 $ H $-球对称酉表示定义并计算正式维数 $ d(\theta) $？
• RQ2 在对称空间的背景下，正式维数 $ d(\theta) $ 与群的正式维数 $ d(\theta)^G $ 之间有何关系？
• RQ3 非紧因果对偶空间 $ H^c\backslash G^c $ 的 $ c $-函数如何进入 $ d(\theta) $ 的公式？
• RQ4 能否将 $ d(\theta) $ 的公式解析延拓至大参数范围之外？
• RQ5 该公式对最大奥尔沙茨基半群上的球对称特征标与球对称函数有何影响？

主要发现

• 对于 $ H $-球对称全洁离散系列表示，正式维数 $ d(\theta) $ 由 $ d(\theta) = d(\theta)^G \cdot c(\theta + \rho) $ 给出，其中 $ d(\theta)^G $ 为群的正式维数，$ c(\theta + \rho) $ 为非紧因果对偶空间的 $ c $-函数。
• 平均定理表明：$ \int_H \pi_\theta(h)v_\theta \, d\mu_H(h) = \frac{\|v_\theta\|^2}{|\langle \nu, v_\theta \rangle|} c(\theta + \rho) \nu $，对大 $ \theta $ 成立，积分在超函数向量的弗雷chet空间中解释。
• 公式 $ d(\theta) = d(\theta)^G c_0(\theta + \rho) c_\Omega(\theta + \rho) $ 将 $ c $-函数分解为来自黎曼对称子空间与有界对称域实形式的贡献。
• 利用 Ólafsson 和 Ørsted 的技术，确立了 $ d(\theta) $ 的解析延拓，将公式推广至所有参数。
• 球对称特征标 $ \Theta_\theta(s) $ 被证明为 $ S_{\rm max}^0 $ 上的 $ H $-双不变全纯函数，其在格点上的零点性结合恒等定理可推出其恒为零。
• 在 $ S_{\rm max}^0 \cap HAN $ 上的球对称函数 $ \varphi_\lambda $ 与 $ a_H(sh)^{\lambda - \rho} $ 的 $ H $-积分相关，且 $ f $ 在 $ i(\Gamma \cap W) $ 上的零点性蕴含 $ f = 0 $，从而确认了在具有离散零点集的管域上全纯函数的唯一性。