[论文解读] Large values of cusp forms on GL(n)

Farrell Brumley, Nicolas Templier|arXiv (Cornell University)|Nov 16, 2014

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

一句话总结

本文研究了分裂半单李群上雅克布-惠塔克函数的过渡行为，表明对于 $\mathrm{GL}_n(\mathbb{Z})$ 且 $n \geq 6$ 的情形，尖点形式的局部上确界范数界无法全局成立。通过振荡积分的渐近分析以及皮尔斯函数作为艾里函数的高秩类比，作者证明了惠塔克函数在靠近尖点的收缩过渡区域内表现出极大值，这意味着在非紧致的算术局部对称空间中，尖点形式的上确界范数可能超过局部界。

ABSTRACT

We establish the transition behavior of Jacquet-Whittaker functions on split semi-simple Lie groups. As a consequence, we show that for certain finite volume Riemannian manifolds, the local bound for normalized Laplace eigenfunctions does not hold globally.

研究动机与目标

• 理解 $\mathrm{GL}_n(\mathbb{R})$ 的非紧致局部对称空间上赫克–莫尔斯尖点形式的上确界范数的全局行为。
• 分析高秩情形下惠塔克函数的过渡区域，特别是尖点附近振荡行为与衰减行为交汇的区域。
• 确定局部 $L^2$-归一化上确界范数界 $\|f\|_\infty \ll \lambda^{(d-1)/4}\|f\|_2$ 是否能在有限体积的局部对称空间上全局成立。
• 在惠塔克函数的渐近展开中识别出艾里函数的高秩类比，表明皮尔斯函数在 $\mathrm{GL}_3$ 中起核心作用。

提出的方法

• 利用伊wasawa分解的积分表示，通过高秩雅克布-惠塔克函数建模尖点形式。
• 应用驻相法和振荡积分方法，分析惠塔克函数在过渡区域中的渐近行为。
• 利用拉格朗日子奇异性理论和托达同谱流形，描述惠塔克积分中相位函数的临界集。
• 将皮尔斯函数识别为 $\mathrm{GL}_3$ 中惠塔克函数在尖点附近的渐近行为的通用模型。
• 对形如 $\phi_a(x_1,x_2,u)$ 的相位函数的振荡积分进行详细的渐近展开，追踪振幅和振荡项。
• 通过非退化临界点方法和主导渐近展开中非零振幅项，建立一致界。

实验结果

研究问题

• RQ1 当 $\Gamma = \mathrm{SL}_n(\mathbb{Z})$ 且 $n \geq 6$ 时，$\Gamma\backslash S$ 上尖点形式的局部上确界范数界 $\|f\|_\infty \ll \lambda^{(d-1)/4}\|f\|_2$ 是否能全局成立？
• RQ2 对于高秩群如 $\mathrm{GL}_n$，雅克布-惠塔克函数在靠近尖点的过渡区域中的渐近行为如何？
• RQ3 皮尔斯函数是否为 $\mathrm{GL}_3$ 中惠塔克函数在尖点附近的局部行为的通用模型，类似于 $\mathrm{GL}_2$ 中的艾里函数？
• RQ4 惠塔克函数渐近展开中振荡分量的振幅在临界点附近的行为如何？它们是否保持非零？
• RQ5 高秩惠塔克函数的过渡区域宽度是否可量化？其与 $\mathrm{GL}_2$ 中经典 $t^{1/3}$ 宽度相比如何？

主要发现

• 对于 $\mathrm{GL}_n(\mathbb{Z})$ 且 $n \geq 6$ 的情形，由于惠塔克函数在尖点区域表现出极大值，局部上确界范数界无法全局成立。
• 在 $\mathrm{GL}_3$ 中，惠塔克函数在尖点附近的渐近行为由皮尔斯函数控制，该函数建模了两个具有不同振幅的振荡波的叠加。
• $\mathrm{GL}_3$ 惠塔克函数的过渡区域宽度为 $O(t^{1/4})$，显著窄于 $\mathrm{GL}_2$ 中的 $O(t^{1/3})$ 宽度。
• 在收缩邻域 $V(t)$ 中，$|W_{t\nu_0}(ta)|$ 的主导渐近展开有下界 $C t^{3/4}$，其中 $C>0$ 为绝对常数，表明极大值确实被达到。
• 渐近展开中两个振荡分量的振幅在尖点处非零且不相等，确保叠加不会抵消。
• 尖点处的临界相位值为 $\mathsf{s}^{\pm}(a_{\rm cusp}) = \frac{\pm 2}{\sqrt{3}} + \log\left(\frac{2}{3} \mp \frac{1}{\sqrt{3}}\right)$，其差值为 $\frac{4}{\sqrt{3}} - 2\log(2 + \sqrt{3})$，证实了非平凡的振荡行为。