[论文解读] On sup-norms of cusp forms of powerful level

Abhishek Saha|arXiv (Cornell University)|Apr 11, 2014

Analytic Number Theory Research参考文献 21被引用 7

一句话总结

该论文首次为任意导子 $ N $ 的 Hecke–Maass cusp forms 建立了非平凡的 $ L^\infty $-范数界，突破了平方自由限制。通过分析宽度为1的尖点附近的cusp forms，并使用一种新颖的放大方法结合 Atkin–Lehner 算子，证明了对所有 $ N $ 有 $ \|f\|_{\infty} \ll_{T,\epsilon} N^{-1/12 + \epsilon} $，当 $ N $ 不被小平方数整除时，该界可改进为 $ \ll N^{-1/8 + \epsilon} $。

ABSTRACT

Let f be an L^2-normalized Hecke--Maass cuspidal newform of level N and Laplace eigenvalue λ. It is shown that |f|_\infty <0. The exponent is further improved in the case when N is not divisible by "small squares". Our work extends and generalizes previously known results in the special case of N squarefree.

研究动机与目标

• 在不假设 $ N $ 为平方自由的前提下，建立 $ \Gamma_0(N)\backslash\mathbb{H} $ 上 $ L^2 $-归一化的 Hecke–Maass cusp forms 在导子方面的非平凡 $ L^\infty $-范数界。
• 通过 Atkin–Lehner 算子克服以往研究中严重依赖平方自由假设的长期局限性。
• 将已知于平方自由导子的上确界范数界推广至任意导子 $ N $ 的一般情形，包括素数的幂次与复合导子。
• 基于尖点宽度为1的cusp forms的行为，发展一种新方法，此类尖点在 $ N $ 非平方自由时始终存在。
• 提供一个可推广至其他自守形式的框架，并有望实现与特征值相关的混合范数界。

提出的方法

• 通过研究宽度为1的尖点附近的cusp forms，提出一种新方法，此类尖点即使在 $ N $ 非平方自由时也存在，而标准的 Atkin–Lehner 方法则要求 $ N $ 为平方自由。
• 利用 Atkin–Lehner 算子将任意尖点共轭至宽度为1的尖点，从而实现一种‘间隙原理’，可将点提升至高虚部并保持良好的丢番图控制。
• 为合适的 $ M $ 定义新群 $ \Gamma_0(N;M) $，并考虑cusp form $ f $ 沿某双曲等距 $ \sigma $ 的拉回 $ g = f|\sigma $，该拉回是更小的同余子群上的 Maass cusp form。
• 使用精心选择的系数序列 $ x_l $（其支撑在满足 $ \Lambda < p < 2\Lambda $ 的 $ p \equiv 1 \pmod{M} $ 的素数上）应用放大器方法，以放大某点 $ z' $ 处的 $ |g(z')| $ 值。
• 利用谱分解及对 Hecke 特征值与贝塞尔函数的估计，控制放大过程中的误差项，最终导出包含 $ \Lambda $、$ N $、$ N_0 $ 和 $ y' $ 的不等式。
• 通过优化 $ \Lambda $ 的选择（设为 $ N^{1/3} $）以平衡误差项，从而推导出最终的上确界范数界。

实验结果

研究问题

• RQ1 当 $ N $ 非平方自由时，能否为 $ \Gamma_0(N)\backslash\mathbb{H} $ 上的 Hecke–Maass cusp forms 建立非平凡的 $ L^\infty $-范数界，从而突破平方自由限制？
• RQ2 宽度为1的尖点具有哪些结构性质，可被用于将上确界范数界推广至非平方自由情形？
• RQ3 当 $ N $ 含有小平方因子时，上确界范数界中最佳可能指数受何影响？
• RQ4 能否将放大器方法适配至非平方自由导子情形，利用 Atkin–Lehner 共轭将尖点映射至宽度为1的尖点？
• RQ5 当 $ N $ 不被任何满足 $ 1 < M < N^{1/6} $ 的平方 $ M^2 $ 整除时，cusp forms 在 $ N $-方面上确界范数的最佳指数为何？

主要发现

• 该论文首次为任意导子 $ N $ 的 Hecke–Maass cusp forms 建立了非平凡的 $ L^\infty $-范数界，证明了对任意 $ \epsilon > 0 $ 有 $ \|f\|_{\infty} \ll_{T,\epsilon} N^{-1/12 + \epsilon} $，且该界对所有 $ N $ 成立，不仅限于平方自由情形。
• 当 $ N $ 不被任何满足 $ 1 < M < N^{1/6} $ 的平方 $ M^2 $ 整除时，该界改进为 $ \|f\|_{\infty} \ll_{T,\epsilon} N^{\epsilon} \max(N^{-1/6}, N^{-1/4} N_0^{1/4}) $，其中 $ N_0 $ 为 $ N $ 的最大平方因子。
• 在改进情形下，该界始终满足 $ \ll N^{-1/8 + \epsilon} $，优于平方自由情形下先前已知的最佳界 $ N^{-1/12 + \epsilon} $。
• 该结果推广了此前针对平方自由 $ N $ 的结果，包括 Harcos–Templier 的 $ N^{-1/6 + \epsilon} $ 界，并将其扩展至非平方自由导子情形。
• 该方法依赖于对 Atkin–Lehner 算子的新应用，以将尖点映射至宽度为1的尖点，从而实现间隙原理与修改后的放大器方法，避免了平方自由假设。
• 该论文的技术有望推广至全模形式与混合范数界，尽管此类推广留待未来工作。