[论文解读] Some analytic aspects of automorphic forms on GL(2) of minimal type

Yueke Hu, Paul D. Nelson+1 more|arXiv (Cornell University)|Sep 29, 2017

Advanced Algebra and Geometry参考文献 25被引用 3

一句话总结

本文研究了 GL(2) 上非新形式的自守形式——具体而言，是在整除导子的素数处具有超临界局部分量且在这些位置具有最小向量的形式。该文建立了比新形式更优的上确界范数界，实现了在权方面的最优指数，并证明了这些形式可作为量子唯一遍历性周期的解析测试向量，从而将强 QUE 问题与该类形式的次凸性问题联系起来。

ABSTRACT

Let $π$ be a cuspidal automorphic representation of $PGL_2(\mathbb{A}_\mathbb{Q})$ of arithmetic conductor $C$ and archimedean parameter $T$, and let $ϕ$ be an $L^2$-normalized automorphic form in the space of $π$. The sup-norm problem asks for bounds on $\| ϕ\|_\infty$ in terms of $C$ and $T$. The quantum unique ergodicity (QUE) problem concerns the limiting behavior of the $L^2$-mass $|ϕ|^2 (g) \, d g$ of $ϕ$. All previous work on these problems in the conductor-aspect has focused on the case that $ϕ$ is a newform. In this work, we study these problems for a class of automorphic forms that are not newforms. Precisely, we assume that for each prime divisor $p$ of $C$, the local component $π_p$ is supercuspidal (and satisfies some additional technical hypotheses), and consider automorphic forms $ϕ$ for which the local components $ϕ_p \in π_p$ are "minimal" vectors. Such vectors may be understood as non-archimedean analogues of lowest weight vectors in holomorphic discrete series representations of $PGL_2(\mathbb{R})$. For automorphic forms as above, we prove a sup-norm bound that is sharper than what is known in the newform case. In particular, if $π_\infty$ is a holomorphic discrete series of lowest weight $k$, we obtain the optimal bound $C^{1/8 -ε} k^{1/4 - ε} \ll_ε |ϕ|_\infty \ll_ε C^{1/8 + ε} k^{1/4+ε}$. We prove also that these forms give analytic test vectors for the QUE period, thereby demonstrating the equivalence between the strong QUE and the subconvexity problems for this class of vectors. This finding contrasts the known failure of this equivalence for newforms of powerful level.

研究动机与目标

• 研究 GL(2) 上非新形式的自守形式的解析行为，重点关注在有限位置具有超临界分量和最小向量的形式。
• 为这类形式建立改进的 $ L^\natural $-范数界，特别是在导子和权方面。
• 证明这些最小向量可作为量子唯一遍历性周期的解析测试向量，从而将强 QUE 问题与次凸性问题联系起来。
• 与已知的在高阶导子新形式中此类等价性失效的情况进行对比。

提出的方法

• 作者分析自守形式 $ \phi = \otimes \phi_v $，其中 $ \phi_\infty $ 为最低权向量，且对每个导子为四次方的超临界 $ \pi_p $，有 $ \phi_p \in \pi_p $ 为最小向量。
• 通过傅里叶展开、放大法以及利用霍尔德不等式得到的 $ L^p $-估计，推导出 $ |\phi(g_{\mathbf{f}}n(x)a(y))| $ 的逐点界。
• 该方法涉及将自守形式分解为傅里叶系数，并估计其 $ L^8 $-范数与指数和，特别是在全纯情形下。
• 他们应用一椎对沃森公式的改进，将周期积分与 $ L $-函数及局部 Whittaker 积分联系起来，利用对 $ I_p $ 和 $ I_\infty $ 的显式界。
• 分析包括估计阿基米德因子 $ I_\infty = 1 $，并利用 Satake 参数与 Whittaker 泛函的界，证明 $ I_p \cdot \mathrm{Cond}(\pi_p \times \pi_p)^{1/2} \asymp 1 $。
• 证明利用了最小向量满足全纯离散系列中最低权向量的非阿基米德类比这一事实，从而实现了比新形式更优的估计。

实验结果

研究问题

• RQ1 能否为非新形式的 GL(2) 自守形式获得更优的上确界范数界？
• RQ2 最小向量——具有特殊局部性质的非新形式向量——是否可作为量子唯一遍历性周期的有效测试向量？
• RQ3 对于此类最小向量，强量子唯一遍历性问题与次凸性问题之间的等价性是否成立，而与新形式情形不同？
• RQ4 此类非新形式自守形式的上确界范数在导子与权方面的最优指数为何？

主要发现

• 本文建立了全纯离散系列最低权 $ k $ 的最优上确界范数界 $ C^{1/8 - \epsilon} k^{1/4 - \epsilon} \ll_\epsilon \|\phi\|_\infty \ll_\epsilon C^{1/8 + \epsilon} k^{1/4 + \epsilon} $，该界优于已知的新形式界。
• 在导子方面，界 $ \|\phi\|_\infty \ll_{\epsilon} C^{1/8 + \epsilon} k^{1/4 + \epsilon} $ 是精确的，且与全纯形式在权方面的最佳已知结果一致。
• 作者证明了最小向量是 QUE 周期的解析测试向量，即周期积分非退化且控制 $ L^2 $-质量分布。
• 这导致该类自守形式的强 QUE 问题与次凸性问题之间存在等价性，与高阶导子新形式中此类等价性失效的情况形成对比。
• 局部周期积分 $ I_p $ 满足 $ I_p \cdot \mathrm{Cond}(\pi_p \times \pi_p)^{1/2} \asymp 1 $，这对全局周期公式与主界至关重要。