[论文解读] The Bounded Spherical Functions on the Cartan motion group

Sigurđur Helgason|arXiv (Cornell University)|Mar 26, 2015

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

一句话总结

本文确定了Cartan运动群 $G_0 = K \ltimes \mathfrak{p}$ 上的有界球函数，证明对于复数 $G$，球函数 $\psi_\lambda$ 有界当且仅当 $\lambda$ 为实数，即 $\lambda \in \mathfrak{a}^*$。该结果通过群的球函数上的调和分析，将对称空间的有界性准则推广至切空间模型。

ABSTRACT

The Bounded Spherical Functions are determined for a Cartan Motion Group

研究动机与目标

• 确定Cartan运动群 $G_0 = K \ltimes \mathfrak{p}$ 上的有界球函数，该群是齐次对称空间 $G/K$ 的切空间模型。
• 将此前仅适用于非紧型对称空间的球函数有界性准则，推广至Cartan运动群。
• 解决关于 $\lambda \in \mathfrak{a}^*_c$ 的开放问题，即哪些 $\lambda$ 使得球函数 $\psi_\lambda$ 有界，尤其在复数情形下。
• 建立有界性恰好发生在 $\lambda$ 为实数时的结论，采用表示论与渐近分析技术。

提出的方法

• 在 $\mathfrak{p} \simeq G_0/K$ 上定义球函数 $\psi_\lambda(Y) = \int_K e^{i\lambda(\mathrm{Ad}(k)Y)} \, dk$，其中 $\lambda \in \mathfrak{a}^*_c$。
• 利用 $\psi_\lambda$ 的 $W$-不变性，将分析简化为 $\lambda = \xi + i\eta$ 的形式，假设 $-A_{\eta} \in \overline{\mathfrak{a}^+}$ 且 $\xi \geq s\xi$ 对所有 $s \in V$ 成立。
• 应用Harish-Chandra的渐近展开技术，将 $\psi_\lambda$ 分解为关于Weyl群陪集 $V/U$ 和 $W \setminus V$ 的和，分析指数增长与多项式增长。
• 利用关键引理：若 $\limsup_{t \to \infty} \left| \sum e^{ik_r t} p_r(t) \right| < \infty$，则每个 $p_r$ 为常数，以排除首项消失的可能性。
• 证明当 $\eta \neq 0$ 时，$\psi_\lambda$ 的渐近展开中首项非零且呈指数增长，从而推出无界性。
• 借助Weyl群与根系的结构，证明在 $U$ 中单位元对应的多项式系数非零，从而保证增长性。

实验结果

研究问题

• RQ1 对于哪些 $\lambda \in \mathfrak{a}^*_c$，Cartan运动群 $G_0$ 上的球函数 $\psi_\lambda$ 是有界的？
• RQ2 非紧型对称空间上球函数的有界性准则是否可推广至Cartan运动群？
• RQ3 在确定 $\psi_\lambda$ 的增长性时，$\lambda$ 的虚部起何作用？
• RQ4 当无法获得完整的Harish-Chandra展开时，能否通过调和分析技术分析 $\psi_\lambda$ 的渐近行为？
• RQ5 即使在复数情形下，$\psi_\lambda$ 的有界性是否等价于 $\lambda$ 为实数？

主要发现

• 在Cartan运动群 $G_0$ 上，球函数 $\psi_\lambda$ 有界当且仅当 $\lambda$ 为实数，即 $\lambda \in \mathfrak{a}^*$。
• 当 $\lambda = \xi + i\eta$ 且 $\eta \neq 0$ 时，函数 $\psi_\lambda$ 无界，其渐近展开中呈现指数增长。
• $\psi_\lambda$ 的渐近展开中首项非零，且与 $\pi'(tH_0)$ 成比例，当 $\lambda$ 为复数时，该多项式非零。
• $\psi_\lambda$ 的 $W$-不变性使得分析可约化至标准Weyl壁，且 $\lambda$ 的稳定子子群 $U$ 的结构确保单位元对应的多项式系数非零。
• 尽管缺乏完整的对称空间工具，但通过使用Harish-Chandra的 $L^2$-极限吸收原理与渐近展开技术，仍能完成证明。
• 结果确认，$\psi_\lambda$ 的有界性准则与非紧型对称空间情形类似，但 $C(\rho)$ 被替换为原点，即 $\lambda \in \mathfrak{a}^*$。