[论文解读] Subconvexity for sup-norms of automorphic forms on PGL(n)

Valentin Blomer, Péter Maga|arXiv (Cornell University)|May 26, 2014

Analytic Number Theory Research参考文献 18被引用 9

一句话总结

本文在任意秩 $n \geq 2$ 的 $\rm PGL(n)$ 设置下，通过放大法、迹公式和高阶 $\rm GL(n)$ 中的丢番图逼近，首次建立了对 $L^2$-归一化的 Hecke Maaß cusp 形式在 $\rm PGL(n)$ 上的上范数的次凸界，证明了 $$ \operatorname{Norm}{F|_{\rm ext{compact}}}_{\rm ext{sup}} \ll_{\Omega} N^{\varepsilon} \lambda_F^{n(n-1)/8 - \delta} $$ 对某个 $\delta = \delta_n > 0$ 成立，该结果在无穷远处的 Ramanujan 猜想下解决了任意秩 $n \geq 2$ 的上范数次凸性问题。

ABSTRACT

We prove the subconvexity conjecture for sup-norms of automorphic forms for congruence subgroups of SL(n, Z) that satisfy the Ramanujan conjecture at infinity.

研究动机与目标

• 在 $\Gamma_0(N)\backslash\rm PGL(n,\mathbb{R})/PO_n$ 上建立 $L^2$-归一化的 Hecke Maaß cusp 形式的 $L^\infty$-范数的次凸界。
• 在无穷远处的 Ramanujan 猜想下，证明上范数的增长严格慢于凸性界 $\lambda_F^{n(n-1)/8}$。
• 将秩一情形（如 $\rm SL_2$）的次凸性结果推广至任意高秩 $\rm PGL(n)$，填补该理论中的重大空白。
• 提供一个仅依赖于 $n$ 的定量次凸性指数 $n(n-1)/8 - \delta_n$，其中 $\delta_n > 0$，且在局部对称空间的紧子集上成立。
• 发展一种新方法，结合放大法、迹公式与丢番图逼近，以控制无界秩情形下的上范数。

提出的方法

• 使用放大法通过在 Hecke 算子上的加权和来局部化上范数，利用谱分解与迹公式技术。
• 应用 Kuznetsov 公式将谱和与 Kloosterman 和联系起来，从而控制迹公式的谱侧。
• 通过使用 $Q_k^*$-好素数与嵌套集合 $\tilde{\mathcal{P}}^*_{k+1}$ 的递归丢番图逼近论证，控制同余方程解的数量。
• 构造一个满足模 $m \ll \mathcal{L}^{c_8 D_1^k}$ 同余条件的素数集 $\mathcal{P}$，利用 Linnik 型估计保证其大小足够。
• 使用中国剩余定理与二次互反律，将 $\mathcal{P}$ 上的条件编码为模光滑数 $m$ 的同余方程组。
• 通过参数 $L_0$ 控制误差项，其中 $L_0 = \left( \frac{10\log N}{|\textbf{c}(\mu)|^\eta} \right)^{(D_1 D_2)^{i+1} D_1^{k+1}}$，且 $\eta > 0$ 被选为足够小以优化指数。

实验结果

研究问题

• RQ1 能否在 $n \geq 3$ 的高秩 $\rm PGL(n)$ 中建立自守形式上范数的次凸界？
• RQ2 在 $\Gamma_0(N)\backslash\rm PGL(n,\mathbb{R})/PO_n$ 上，$L^2$-归一化的 Hecke Maaß cusp 形式的上范数是否严格慢于凸性界 $\lambda_F^{n(n-1)/8}$？
• RQ3 无穷远处的 Ramanujan 猜想在高秩情形下对上范数次凸性有何作用？
• RQ4 能否将丢番图逼近技术扩展至控制 $\rm GL(n)$ 中同余方程解的数量，即使 $n$ 增大？
• RQ5 是否存在一个对所有 $n \geq 2$ 成立的统一次凸性指数 $n(n-1)/8 - \delta_n$，其中 $\delta_n > 0$？

主要发现

• 本文首次在任意 $n \geq 2$ 的情形下，建立了 $\Gamma_0(N)\backslash\rm PGL(n,\mathbb{R})/PO_n$ 上 $L^2$-归一化的 Hecke Maaß cusp 形式 $L^\infty$-范数的次凸界。
• 在无穷远处的 Ramanujan 猜想下，对某个仅依赖于 $n$ 的 $\delta_n > 0$，有 $\|F|_{\Omega}\|_{\infty} \ll_{\Omega} N^{\varepsilon} \lambda_F^{n(n-1)/8 - \delta_n}$ 成立。
• 指数 $n(n-1)/8 - \delta_n$ 严格小于凸性界 $n(n-1)/8$，从而在该高秩设定下证实了次凸性猜想。
• 该方法依赖于一种新颖的放大方案，结合递归的丢番图逼近论证，以控制 $\rm GL(n)$ 中同余方程解的数量。
• $\mathcal{P}$ 好素数集的大小被证明为 $\gg \mathcal{L}^{\frac{1}{2} D_1^{k+1}}$，确保放大论证所需的足够密度。
• 通过在 $L_0$ 的定义中选择足够小的 $\eta > 0$，使得误差项衰减快于主项，从而完成定理 1 的证明。