[论文解读] Harmonic analysis on real reductive symmetric spaces

Patrick Delorme|ArXiv.org|Apr 22, 2003

Advanced Algebra and Geometry参考文献 28被引用 15

一句话总结

本文建立了实半单对称空间 $G/H$ 上 $L^2(G/H)$ 的谱分解，其中 $G$ 是半单李群，$H$ 是某个对合 $σ$ 的固定点子群的开子群。通过艾森斯坦积分、截断法及亚纯延拓，证明了普朗歇尔公式可通过到温和 $τ$-球函数的正交投影成立，从而得到关于不变微分算子共同特征函数的完整 $L^2$-展开。

ABSTRACT

Let $G$ be a reductive group in the Harish-Chandra class e.g. a connected semisimple Lie group with finite center, or the group of real points of a connected reductive algebraic group defined over $\R$. Let $σ$ be an involution of the Lie group $G$, $H$ an open subgroup of the subgroup of fixed points of $σ$. One decomposes the elements of $L^2(G/H)$ with the help of joint eigenfunctions under the algebra of left invariant differential operators under $G$ on $G/H$.

研究动机与目标

• 解决实半单对称空间 $G/H$ 上 $L^2(G/H)$ 的谱分解问题，其中 $G$ 是半单李群，$H$ 是对合 $\sigma$ 下固定点的开子群。
• 建立 $G$ 在 $L^2(G/H)$ 上的左正则表示的普朗歇尔公式，将其分解为不可约酉表示的希尔伯特积分。
• 通过将 $eH$ 处的狄拉克测度分解为 $H$-不变的分布向量，推导傅里叶逆变换公式。
• 将艾森斯坦积分的理论及其亚纯延拓推广至实半单对称空间，扩展群与黎曼情形下的结果。
• 证明在施瓦茨空间 ${\cal C}(G/H,\tau)$ 中的 $\tau$-球函数空间可进行规范的温和特征函数分解，从而实现完整的谱分解。

提出的方法

• 利用朗兰兹 $\sigma$-分解 $P = M_P A_P N_P$，其中 $P$ 是 $G$ 的 $\sigma\theta$-稳定抛物子群，且 $A_P$ 满足 $\sigma(a) = a^{-1}$。
• 应用截断技术定义截断艾森斯坦积分及其内积，以保证收敛性并实现谱分析。
• 运用 $C$-函数理论与常数项展开方法，分析艾森斯坦积分的行为及其亚纯延拓。
• 利用弗伦斯特-延森对偶性及大岛与松木的结果，将 $G/H$ 上的离散系列表示为诱导表示，并控制温和谱。
• 构造投影算子 $\mathcal{P}_\tau = \sum_{P \in \mathbb{F}} (W(\mathfrak{a}_P))^{-1} \mathcal{I}_P^0 \mathcal{F}_P^0$，其中 $\mathbb{F}$ 是 $\sigma$-关联类抛物子群的代表元集合。
• 应用伯恩斯坦关于普朗歇尔测度支集的工作及史克利希特克尔关于最小 $K$-型的结果，证明温和性与谱分解。

实验结果

研究问题

• RQ1 能否通过实半单对称空间上左 invariant 微分算子代数 $\mathbb{D}(G/H)$ 的共同特征函数实现 $L^2(G/H)$ 的谱分解？
• RQ2 在 $L^2(G/H)$ 上 $G$ 的普朗歇尔公式是否成立，其不可约酉表示的显式分解为何？涉及的普朗歇尔测度是什么？
• RQ3 傅里叶逆变换能否通过将 $eH$ 处的狄拉克测度分解为谱分解中的 $H$-不变分布向量来实现？
• RQ4 在非黎曼、非群的情形下，艾森斯坦积分及其截断行为如何？它们在 $L^2$-展开中起什么作用？
• RQ5 在 $\tau$-球函数的施瓦茨函数空间上，投影算子 $\mathcal{P}_\tau$ 是否等于恒等算子，从而意味着完整的谱分辨率？

主要发现

• 在施瓦茨函数空间 $\mathcal{C}(G/H,\tau)$ 上定义的投影算子 $\mathcal{P}_\tau$ 关于 $L^2$ 内积是正交投影。
• 定理 10 表明 $\mathcal{P}_\tau$ 在 $\mathcal{C}(G/H,\tau)$ 上是恒等算子，意味着该空间中的每个函数均可表示为归一化艾森斯坦积分的波包展开。
• $L^2(G/H)$ 的谱分解通过 $\mathbb{D}(G/H)$ 的共同特征函数完全实现，普朗歇尔公式将 $L^2$-范数表达为对温和表示的积分。
• $\tau$-球函数的平方可积空间 $\mathcal{A}_2(G/H,\tau)$ 是有限维的，通过弗伦斯特-延森对偶性与大岛-松木结果，确认了 $G/H$ 上的离散系列表示理论。
• 通过伯恩斯坦关于普朗歇尔测度支集的工作及史克利希特克尔关于最小 $K$-型的结果，确立了谱的温和性。
• 推导出广义舒尔正交关系，表明在普朗歇尔分解中几乎所有不可约表示 $\pi$，其 $H$-不变分布向量满足一个精确的渐近公式，涉及正函数 $d(x)$ 与常数 $C_\pi(v,v')$。