Additive twists of Fourier coefficients of symmetric-square lifts (Q415264): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Finite sums of the Fourier coefficients of a holomorphic cusp form \(f\) twisted by additive characters of \(\mathbb R\) are known to exhibit a ``square-root'' cancellation in terms of the length of the sum: for any real \(\alpha\) and \(N \geq 1\) one has, \[ \underset{n \leq N} \sum \lambda_f(n) e(\alpha n) \ll_f N^{1/2} \log 2N . \tag{1} \] Here the implied constant depends only on \(f\) and not on \(\alpha\) and \(e(z):= \exp (2 \pi i z)\). In this paper, the authors study sums of the form \[ \underset{n \leq N}\sum \lambda_j(n^2) e(\alpha n), \] where \(\lambda_j(m)\) is the \(m\)-th Hecke eigenvalue of a Maass form \(\phi\) for the full modular group with Laplacian eigenvalue \(1/4 + t_j^2\). If \(F\) denotes the symmetric-square lift of \(\phi\) to a \(\mathrm{GL}_3\) Maass form, then a closely related sum to consider is \[ S_F(N) := \underset{n \leq N}\sum A_F(1,n) e(\alpha n), \] where \(A_F(1,n) = \underset{ml^2=n} \sum \lambda_j(m^2)\) and \[ L_F(s) = \sum_{n=1}^\infty A_F(1,n) n^{-s} \] is the \(L\) function attached to \(F\). It was proved by \textit{S. D. Miller} [Am. J. Math. 128, No. 3, 699--729 (2006; Zbl 1142.11033)] that \(S_F(N) \ll_F N^{3/4 + \varepsilon}\), with the implied constant independent of \(\alpha\), but depending on \(F\). This paper brings out explicitly this dependence. More precisely they prove the following. {Theorem. } Suppose \(F\) is the symmetric square lift of a \(\mathrm{SL}_2(\mathbb Z)\) Hecke-Maass form with \(A_F(1,1)=1\). Then assuming the Ramanujan conjecture at the finite places for \(F\), we have with \(D=1/4\), \[ S_F(N) \ll N^{3/4 + \varepsilon} \lambda_F(\Delta)^{D + \varepsilon}, \tag{1} \] where \(\lambda_F(\Delta)\) is the Laplace eigenvalue of \(F\). The implies constant depends on \(\varepsilon\) only. Unconditionally, one has (1) with \(D=1/3\). | |||
Property / review text: Finite sums of the Fourier coefficients of a holomorphic cusp form \(f\) twisted by additive characters of \(\mathbb R\) are known to exhibit a ``square-root'' cancellation in terms of the length of the sum: for any real \(\alpha\) and \(N \geq 1\) one has, \[ \underset{n \leq N} \sum \lambda_f(n) e(\alpha n) \ll_f N^{1/2} \log 2N . \tag{1} \] Here the implied constant depends only on \(f\) and not on \(\alpha\) and \(e(z):= \exp (2 \pi i z)\). In this paper, the authors study sums of the form \[ \underset{n \leq N}\sum \lambda_j(n^2) e(\alpha n), \] where \(\lambda_j(m)\) is the \(m\)-th Hecke eigenvalue of a Maass form \(\phi\) for the full modular group with Laplacian eigenvalue \(1/4 + t_j^2\). If \(F\) denotes the symmetric-square lift of \(\phi\) to a \(\mathrm{GL}_3\) Maass form, then a closely related sum to consider is \[ S_F(N) := \underset{n \leq N}\sum A_F(1,n) e(\alpha n), \] where \(A_F(1,n) = \underset{ml^2=n} \sum \lambda_j(m^2)\) and \[ L_F(s) = \sum_{n=1}^\infty A_F(1,n) n^{-s} \] is the \(L\) function attached to \(F\). It was proved by \textit{S. D. Miller} [Am. J. Math. 128, No. 3, 699--729 (2006; Zbl 1142.11033)] that \(S_F(N) \ll_F N^{3/4 + \varepsilon}\), with the implied constant independent of \(\alpha\), but depending on \(F\). This paper brings out explicitly this dependence. More precisely they prove the following. {Theorem. } Suppose \(F\) is the symmetric square lift of a \(\mathrm{SL}_2(\mathbb Z)\) Hecke-Maass form with \(A_F(1,1)=1\). Then assuming the Ramanujan conjecture at the finite places for \(F\), we have with \(D=1/4\), \[ S_F(N) \ll N^{3/4 + \varepsilon} \lambda_F(\Delta)^{D + \varepsilon}, \tag{1} \] where \(\lambda_F(\Delta)\) is the Laplace eigenvalue of \(F\). The implies constant depends on \(\varepsilon\) only. Unconditionally, one has (1) with \(D=1/3\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Soumya Das / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11F30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11F46 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6033753 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
additive twist | |||
Property / zbMATH Keywords: additive twist / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
symmetric-square lift | |||
Property / zbMATH Keywords: symmetric-square lift / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Maass form | |||
Property / zbMATH Keywords: Maass form / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Fourier coefficient | |||
Property / zbMATH Keywords: Fourier coefficient / rank | |||
Normal rank |
Revision as of 20:28, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Additive twists of Fourier coefficients of symmetric-square lifts |
scientific article |
Statements
Additive twists of Fourier coefficients of symmetric-square lifts (English)
0 references
11 May 2012
0 references
Finite sums of the Fourier coefficients of a holomorphic cusp form \(f\) twisted by additive characters of \(\mathbb R\) are known to exhibit a ``square-root'' cancellation in terms of the length of the sum: for any real \(\alpha\) and \(N \geq 1\) one has, \[ \underset{n \leq N} \sum \lambda_f(n) e(\alpha n) \ll_f N^{1/2} \log 2N . \tag{1} \] Here the implied constant depends only on \(f\) and not on \(\alpha\) and \(e(z):= \exp (2 \pi i z)\). In this paper, the authors study sums of the form \[ \underset{n \leq N}\sum \lambda_j(n^2) e(\alpha n), \] where \(\lambda_j(m)\) is the \(m\)-th Hecke eigenvalue of a Maass form \(\phi\) for the full modular group with Laplacian eigenvalue \(1/4 + t_j^2\). If \(F\) denotes the symmetric-square lift of \(\phi\) to a \(\mathrm{GL}_3\) Maass form, then a closely related sum to consider is \[ S_F(N) := \underset{n \leq N}\sum A_F(1,n) e(\alpha n), \] where \(A_F(1,n) = \underset{ml^2=n} \sum \lambda_j(m^2)\) and \[ L_F(s) = \sum_{n=1}^\infty A_F(1,n) n^{-s} \] is the \(L\) function attached to \(F\). It was proved by \textit{S. D. Miller} [Am. J. Math. 128, No. 3, 699--729 (2006; Zbl 1142.11033)] that \(S_F(N) \ll_F N^{3/4 + \varepsilon}\), with the implied constant independent of \(\alpha\), but depending on \(F\). This paper brings out explicitly this dependence. More precisely they prove the following. {Theorem. } Suppose \(F\) is the symmetric square lift of a \(\mathrm{SL}_2(\mathbb Z)\) Hecke-Maass form with \(A_F(1,1)=1\). Then assuming the Ramanujan conjecture at the finite places for \(F\), we have with \(D=1/4\), \[ S_F(N) \ll N^{3/4 + \varepsilon} \lambda_F(\Delta)^{D + \varepsilon}, \tag{1} \] where \(\lambda_F(\Delta)\) is the Laplace eigenvalue of \(F\). The implies constant depends on \(\varepsilon\) only. Unconditionally, one has (1) with \(D=1/3\).
0 references
additive twist
0 references
symmetric-square lift
0 references
Maass form
0 references
Fourier coefficient
0 references