Weighted spectral large sieve inequalities for Hecke congruence subgroups of \(\mathrm{SL}(2,\mathbb{Z}[i])\) (Q351242): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The theory of Kloosterman sums and sums of Kloosterman sums has been the subject of very intensive study in analytic number theory. The summation formula of \textit{R. W. Bruggeman} [Invent. Math. 45, 1--18 (1978; Zbl 0351.10019)] and \textit{N. V. Kuznetsov} [Mat. Sb., N. Ser. 111(153), 334--383 (1980; Zbl 0427.10016)] revealed a deep connection between Kloosterman sums and spectral theory of automorphic forms. Results of Bruggeman and Kuznetsov were generalized by \textit{R. W. Bruggeman} and \textit{Y. Motohashi} [Funct. Approximatio, Comment. Math. 31, 23--92 (2003; Zbl 1068.11057)] from the case of the modular group \(\mathrm{PSL}(2, \mathbb{Z})\) to the group \(\mathrm{PSL}(2, \mathbb{Z}[i])\). The first formula of Bruggeman and Motohashi shows that a class of sums involving Fourier coefficients of modular forms may be expressed in terms of sums of appropriately defined Kloosterman sums. The second formula is a kind of inverse, showing that a wide class of sums of Kloosterman sums may be represented in terms of the spectral data of the group \(\mathrm{PSL}(2, \mathbb{Z}[i])\). Those results were further generalized by \textit{H. Lokvenc-Guleska} in her PhD thesis [Sum formula for \(\mathrm{SL}_2\) over imaginary quadratic number fields, University of Utrecht (2004)] to Hecke congruence subgroups \(\Gamma\) of the group \(\mathrm{SL}(2, \mathfrak{O}_F)\) where \(\mathfrak{O}_F\) denotes the ring of integers of imaginary quadratic number field \(F=\mathbb{Q}(\sqrt{D})\). In the paper under review several applications of the Lokvenc-Guleska summation formulas in the case when \(F=\mathbb{Q}(i)\) are derived. They include new bounds for sums involving Fourier coefficients of modular forms and new bounds for weighted sums of generalized Kloosterman sums. The main feature of these bounds is that they depend upon the best available lower bound for the first non-zero eigenvalue of the Laplacian on the space \(L^2(\Gamma \setminus \mathrm{SL}(2, \mathbb{C}) / \mathrm{SU}(2))\), where \(\Gamma\) is a Hecke congruence subgroup of \(\mathrm{SL}(2, \mathbb{Z}[i])\). The main result of the paper is an upper bound for the sum of certain weighted generalized Kloosterman sums, whose precise statement is too complicated to be stated here. It may be considered as a generalization of the author's results from [``Kloosterman sums and a mean value for Dirichlet polynomials'', J. Number Theory 53, No. 1, 179--210 (1995; Zbl 0837.11050)] and has a number of applications. For example, the obtained upper bound for the sum of generalized Kloosterman sums yields a new upper bound for the mean value \[ J(D;N)=\frac{1}{D^2} \sum_{-D\leq k\leq D} \int_{-D}^D \left | \sum_{0 < | n| ^2 \leq N} \alpha_n \lambda^k(n) | n | ^{-2it} \right |^2 | \zeta(1/2 +it, \lambda ^k)|^4 \,dt, \] where the summation runs over all \(n\in\mathbb{Z}[i]\), the coefficients \(\alpha_n\) are arbitrary complex numbers, \(\lambda^k\) denotes Hecke ``Größencharacter'' given by \(\lambda^k(n)=(n/| n|)^{4k}\), for \(0\neq n \in \mathbb{Z}[i]\) and \(\zeta(s,\lambda^k)\) is the corresponding Hecke zeta function. This represents a generalization of a Riemann zeta-function result of the author (loc. cit.) and of \textit{J.-M. Deshouillers} and \textit{H. Iwaniec} [Mathematika 29, 202--212 (1982; Zbl 0506.10032)]. The proof of the main results makes extensive use of generalization of Bruggeman-Motohashi summation formulae for \(\mathrm{PSL}(2, \mathbb{Z}[i])\), bounds of Kim and Shahidi for the first non-zero eigenvalues of the Laplacian and an ``unweighted'' spectral large sieve inequality. The paper is written very carefully and contains many technical results. We refer an interested reader to consult the full text of the paper. | |||
Property / review text: The theory of Kloosterman sums and sums of Kloosterman sums has been the subject of very intensive study in analytic number theory. The summation formula of \textit{R. W. Bruggeman} [Invent. Math. 45, 1--18 (1978; Zbl 0351.10019)] and \textit{N. V. Kuznetsov} [Mat. Sb., N. Ser. 111(153), 334--383 (1980; Zbl 0427.10016)] revealed a deep connection between Kloosterman sums and spectral theory of automorphic forms. Results of Bruggeman and Kuznetsov were generalized by \textit{R. W. Bruggeman} and \textit{Y. Motohashi} [Funct. Approximatio, Comment. Math. 31, 23--92 (2003; Zbl 1068.11057)] from the case of the modular group \(\mathrm{PSL}(2, \mathbb{Z})\) to the group \(\mathrm{PSL}(2, \mathbb{Z}[i])\). The first formula of Bruggeman and Motohashi shows that a class of sums involving Fourier coefficients of modular forms may be expressed in terms of sums of appropriately defined Kloosterman sums. The second formula is a kind of inverse, showing that a wide class of sums of Kloosterman sums may be represented in terms of the spectral data of the group \(\mathrm{PSL}(2, \mathbb{Z}[i])\). Those results were further generalized by \textit{H. Lokvenc-Guleska} in her PhD thesis [Sum formula for \(\mathrm{SL}_2\) over imaginary quadratic number fields, University of Utrecht (2004)] to Hecke congruence subgroups \(\Gamma\) of the group \(\mathrm{SL}(2, \mathfrak{O}_F)\) where \(\mathfrak{O}_F\) denotes the ring of integers of imaginary quadratic number field \(F=\mathbb{Q}(\sqrt{D})\). In the paper under review several applications of the Lokvenc-Guleska summation formulas in the case when \(F=\mathbb{Q}(i)\) are derived. They include new bounds for sums involving Fourier coefficients of modular forms and new bounds for weighted sums of generalized Kloosterman sums. The main feature of these bounds is that they depend upon the best available lower bound for the first non-zero eigenvalue of the Laplacian on the space \(L^2(\Gamma \setminus \mathrm{SL}(2, \mathbb{C}) / \mathrm{SU}(2))\), where \(\Gamma\) is a Hecke congruence subgroup of \(\mathrm{SL}(2, \mathbb{Z}[i])\). The main result of the paper is an upper bound for the sum of certain weighted generalized Kloosterman sums, whose precise statement is too complicated to be stated here. It may be considered as a generalization of the author's results from [``Kloosterman sums and a mean value for Dirichlet polynomials'', J. Number Theory 53, No. 1, 179--210 (1995; Zbl 0837.11050)] and has a number of applications. For example, the obtained upper bound for the sum of generalized Kloosterman sums yields a new upper bound for the mean value \[ J(D;N)=\frac{1}{D^2} \sum_{-D\leq k\leq D} \int_{-D}^D \left | \sum_{0 < | n| ^2 \leq N} \alpha_n \lambda^k(n) | n | ^{-2it} \right |^2 | \zeta(1/2 +it, \lambda ^k)|^4 \,dt, \] where the summation runs over all \(n\in\mathbb{Z}[i]\), the coefficients \(\alpha_n\) are arbitrary complex numbers, \(\lambda^k\) denotes Hecke ``Größencharacter'' given by \(\lambda^k(n)=(n/| n|)^{4k}\), for \(0\neq n \in \mathbb{Z}[i]\) and \(\zeta(s,\lambda^k)\) is the corresponding Hecke zeta function. This represents a generalization of a Riemann zeta-function result of the author (loc. cit.) and of \textit{J.-M. Deshouillers} and \textit{H. Iwaniec} [Mathematika 29, 202--212 (1982; Zbl 0506.10032)]. The proof of the main results makes extensive use of generalization of Bruggeman-Motohashi summation formulae for \(\mathrm{PSL}(2, \mathbb{Z}[i])\), bounds of Kim and Shahidi for the first non-zero eigenvalues of the Laplacian and an ``unweighted'' spectral large sieve inequality. The paper is written very carefully and contains many technical results. We refer an interested reader to consult the full text of the paper. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Lejla Smajlovic / 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: 11N37 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11F70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11F72 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11L05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11L07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11M41 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11N13 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11N35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11R42 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11R44 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6186896 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
spectral theory | |||
Property / zbMATH Keywords: spectral theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
large sieve | |||
Property / zbMATH Keywords: large sieve / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
mean value | |||
Property / zbMATH Keywords: mean value / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hecke congruence group | |||
Property / zbMATH Keywords: Hecke congruence group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gaussian number field | |||
Property / zbMATH Keywords: Gaussian number field / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gaussian integers | |||
Property / zbMATH Keywords: Gaussian integers / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
automorphic form | |||
Property / zbMATH Keywords: automorphic form / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cusp form | |||
Property / zbMATH Keywords: cusp form / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
non-holomorphic modular form | |||
Property / zbMATH Keywords: non-holomorphic modular form / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Fourier coefficient | |||
Property / zbMATH Keywords: Fourier coefficient / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Kloosterman sum | |||
Property / zbMATH Keywords: Kloosterman sum / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
inverse Bessel transform | |||
Property / zbMATH Keywords: inverse Bessel transform / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
eigenvalue conjecture | |||
Property / zbMATH Keywords: eigenvalue conjecture / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hecke character | |||
Property / zbMATH Keywords: Hecke character / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3102889856 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1302.3127 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4067292 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fourier coefficients of cusp forms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Estimates of Kloosterman sums for groups of real rank one / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sum formula for Kloosterman sums and fourth moment of the Dedekind zeta-function over the Gaussian number field / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kloosterman sums and Fourier coefficients of cusp forms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Power mean values of the Riemann zeta‐function / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4368847 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3856819 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The large sieve inequality for algebraic number fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4350164 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Local <i>L</i>-Functions and Normalized Intertwining Operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cuspidality of symmetric powers with applications. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4161761 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3863948 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3967968 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the functional equations satisfied by Eisenstein series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Primes in arithmetic progressions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kloosterman sums and a mean value for Dirichlet polynomials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weighted spectral large sieve inequalities for Hecke congruence subgroups of \(\mathrm{SL}(2,\mathbb{Z}[i])\) / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:45, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Weighted spectral large sieve inequalities for Hecke congruence subgroups of \(\mathrm{SL}(2,\mathbb{Z}[i])\) |
scientific article |
Statements
Weighted spectral large sieve inequalities for Hecke congruence subgroups of \(\mathrm{SL}(2,\mathbb{Z}[i])\) (English)
0 references
11 July 2013
0 references
The theory of Kloosterman sums and sums of Kloosterman sums has been the subject of very intensive study in analytic number theory. The summation formula of \textit{R. W. Bruggeman} [Invent. Math. 45, 1--18 (1978; Zbl 0351.10019)] and \textit{N. V. Kuznetsov} [Mat. Sb., N. Ser. 111(153), 334--383 (1980; Zbl 0427.10016)] revealed a deep connection between Kloosterman sums and spectral theory of automorphic forms. Results of Bruggeman and Kuznetsov were generalized by \textit{R. W. Bruggeman} and \textit{Y. Motohashi} [Funct. Approximatio, Comment. Math. 31, 23--92 (2003; Zbl 1068.11057)] from the case of the modular group \(\mathrm{PSL}(2, \mathbb{Z})\) to the group \(\mathrm{PSL}(2, \mathbb{Z}[i])\). The first formula of Bruggeman and Motohashi shows that a class of sums involving Fourier coefficients of modular forms may be expressed in terms of sums of appropriately defined Kloosterman sums. The second formula is a kind of inverse, showing that a wide class of sums of Kloosterman sums may be represented in terms of the spectral data of the group \(\mathrm{PSL}(2, \mathbb{Z}[i])\). Those results were further generalized by \textit{H. Lokvenc-Guleska} in her PhD thesis [Sum formula for \(\mathrm{SL}_2\) over imaginary quadratic number fields, University of Utrecht (2004)] to Hecke congruence subgroups \(\Gamma\) of the group \(\mathrm{SL}(2, \mathfrak{O}_F)\) where \(\mathfrak{O}_F\) denotes the ring of integers of imaginary quadratic number field \(F=\mathbb{Q}(\sqrt{D})\). In the paper under review several applications of the Lokvenc-Guleska summation formulas in the case when \(F=\mathbb{Q}(i)\) are derived. They include new bounds for sums involving Fourier coefficients of modular forms and new bounds for weighted sums of generalized Kloosterman sums. The main feature of these bounds is that they depend upon the best available lower bound for the first non-zero eigenvalue of the Laplacian on the space \(L^2(\Gamma \setminus \mathrm{SL}(2, \mathbb{C}) / \mathrm{SU}(2))\), where \(\Gamma\) is a Hecke congruence subgroup of \(\mathrm{SL}(2, \mathbb{Z}[i])\). The main result of the paper is an upper bound for the sum of certain weighted generalized Kloosterman sums, whose precise statement is too complicated to be stated here. It may be considered as a generalization of the author's results from [``Kloosterman sums and a mean value for Dirichlet polynomials'', J. Number Theory 53, No. 1, 179--210 (1995; Zbl 0837.11050)] and has a number of applications. For example, the obtained upper bound for the sum of generalized Kloosterman sums yields a new upper bound for the mean value \[ J(D;N)=\frac{1}{D^2} \sum_{-D\leq k\leq D} \int_{-D}^D \left | \sum_{0 < | n| ^2 \leq N} \alpha_n \lambda^k(n) | n | ^{-2it} \right |^2 | \zeta(1/2 +it, \lambda ^k)|^4 \,dt, \] where the summation runs over all \(n\in\mathbb{Z}[i]\), the coefficients \(\alpha_n\) are arbitrary complex numbers, \(\lambda^k\) denotes Hecke ``Größencharacter'' given by \(\lambda^k(n)=(n/| n|)^{4k}\), for \(0\neq n \in \mathbb{Z}[i]\) and \(\zeta(s,\lambda^k)\) is the corresponding Hecke zeta function. This represents a generalization of a Riemann zeta-function result of the author (loc. cit.) and of \textit{J.-M. Deshouillers} and \textit{H. Iwaniec} [Mathematika 29, 202--212 (1982; Zbl 0506.10032)]. The proof of the main results makes extensive use of generalization of Bruggeman-Motohashi summation formulae for \(\mathrm{PSL}(2, \mathbb{Z}[i])\), bounds of Kim and Shahidi for the first non-zero eigenvalues of the Laplacian and an ``unweighted'' spectral large sieve inequality. The paper is written very carefully and contains many technical results. We refer an interested reader to consult the full text of the paper.
0 references
spectral theory
0 references
large sieve
0 references
mean value
0 references
Hecke congruence group
0 references
Gaussian number field
0 references
Gaussian integers
0 references
automorphic form
0 references
cusp form
0 references
non-holomorphic modular form
0 references
Fourier coefficient
0 references
Kloosterman sum
0 references
inverse Bessel transform
0 references
eigenvalue conjecture
0 references
Hecke character
0 references
0 references