Second order average estimates on local data of cusp forms (Q2502306): Difference between revisions

Let \(F\) be a number field and \(\mathbb{A}\) its ring of adèles. Let \(\pi=\otimes_v\pi_v\) be a cuspidal automorphic representation of \(GL_n(\mathbb{A})\). At each finite place \(v=\mathfrak{p}\) of \(F\) there is associated with \(\pi_{\mathfrak{p}}\) a semisimple conjugacy class \(A_\pi({\mathfrak{p}})\) in \(\text{GL}_n(\mathbb{C})\), the matrix of local parameters \(A_\pi({\mathfrak{p}})=\text{diag}(\alpha_\pi(\mathfrak{p},1),\ldots,\alpha_\pi(\mathfrak{p},n))\). Let \[ L(s,\pi,|\max|^2):=\prod_{\mathfrak{p}}\sum_{r\geq 0}\max_i|\alpha_\pi(\mathfrak{p},i)|^{2r}N\mathfrak{p}^{-rs}. \] The author proves: Theorem. For an integer \(j\geq 2\) denote by \(\wedge^j\) the exterior \(j\)-power representation of \(GL_n(\mathbb{C})\). Assume that for every \(2\leq j\leq \lfloor n/2 \rfloor\) there exists a strong \(\wedge^j\)-isobaric lift. Then \(L(s,\pi,|\max|^2)\) satisfies the convexity bound at \(s=1\).