Some analytic aspects of automorphic forms on \(\mathrm{GL}(2)\) of minimal type (Q2301918)

Summary: Let \(\pi\) be a cuspidal automorphic representation of \(\mathrm{PGL}_2(\mathbb{A}_{\mathbb{Q}})\) of arithmetic conductor \(C\) and Archimedean parameter \(T\), and let \(\phi\) be an \(L^2\)-normalized automorphic form in the space of \(\pi \). The sup-norm problem asks for bounds on \(\| \phi \|_\infty\) in terms of \(C\) and \(T\). The quantum unique ergodicity (QUE) problem concerns the limiting behavior of the \(L^2\)-mass \(|\phi|^2 (g) \, d g\) of \(\phi \). Previous work on these problems in the conductor-aspect has focused on the case that \(\phi\) 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 \(\pi_p\) is supercuspidal (and satisfies some additional technical hypotheses), and consider automorphic forms \(\phi\) for which the local components \(\phi_p \in \pi_p\) are ``minimal'' vectors. Such vectors may be understood as non-archimedean analogues of lowest weight vectors in holomorphic discrete series representations of \(\mathrm{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 \(\pi_\infty\) is a holomorphic discrete series of lowest weight \(k\), we obtain the optimal bound \(C^{1/8 -\varepsilon} k^{1/4 - \varepsilon} \ll_{\varepsilon} |\phi|_\infty \ll_{\varepsilon} C^{1/8 + \varepsilon} k^{1/4+\varepsilon}\). 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 [\textit{P. D. Nelson} et al., J. Am. Math. Soc. 27, No. 1, 147--191 (2014; Zbl 1322.11051)] for newforms of powerful level.