Spectral average of central values of automorphic \(L\)-functions for holomorphic cusp forms on \(\mathrm{SO}_0(m,2)\). I (Q452377): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(V\) be a quadratic space over \({\mathbb Q}\) whose quadratic form \(Q\) has signature \((m+,2-)\) with \(m\geq 3\). Take two isotropic vectors \(\varepsilon_1,\varepsilon_1'\) where \(Q(\varepsilon_1,\varepsilon_1')=1\). Let \(V_1\) be the subspace of \(V\) perpendicular to both \(\varepsilon_1\) and \(\varepsilon_1'\). Let \({\mathcal D}\) be a component of the open set \(\{X+iY\in V_1\otimes {\mathbb C} \mid\;Q(Y)<0\}\). Then \({\mathcal D}\) is a tube domain. The author considers holomorphic cusp forms on the tube domain. The paper under review is a first step in investigating the average \[ \sum_{F\in {\mathcal B}_l}L(F,\tfrac12)|\,a_F^f|^2 \] where \({\mathcal B}_l\) is the orthonormal basis of cusp forms of weight \(l\) and a fixed level on \({\mathcal D}\); \(L(F,\cdot)\) is the \(L\)-function of \(F\) defined by Murase-Sugano, \(a_F^f\) is a certain averaged Fourier coefficient of \(F\). (The average is taken because the strong approximation theorem does not hold in this setting; \(f\) is a function defined on a finite set). The standard method in estimating the above spectral average is to use an analogue of Peterson's formula to relate it to a geometric average. The author constructs a Poincaré series of weight \(l\), and proves (when the weight \(l\) is large enough) that the averaged Fourier coefficient of this Poincaré series equals the spectral average described above. A main difficulty is to show that the defined Poincaré series is cuspidal. The author proves a general result that when the weight \(l\) is large enough, any modular forms that are \(L^q\) integrable must be cuspidal, and then concludes the cuspidality from the integrability of Poincaré series. The paper also establishes the functional equation and analytic continuation of the Poincaré series. The construction of Poincaré series represents an important step towards the establishment of the analogue of Peterson's formula. The full derivation of the formula will appear in a future work of the author. | |||
Property / review text: Let \(V\) be a quadratic space over \({\mathbb Q}\) whose quadratic form \(Q\) has signature \((m+,2-)\) with \(m\geq 3\). Take two isotropic vectors \(\varepsilon_1,\varepsilon_1'\) where \(Q(\varepsilon_1,\varepsilon_1')=1\). Let \(V_1\) be the subspace of \(V\) perpendicular to both \(\varepsilon_1\) and \(\varepsilon_1'\). Let \({\mathcal D}\) be a component of the open set \(\{X+iY\in V_1\otimes {\mathbb C} \mid\;Q(Y)<0\}\). Then \({\mathcal D}\) is a tube domain. The author considers holomorphic cusp forms on the tube domain. The paper under review is a first step in investigating the average \[ \sum_{F\in {\mathcal B}_l}L(F,\tfrac12)|\,a_F^f|^2 \] where \({\mathcal B}_l\) is the orthonormal basis of cusp forms of weight \(l\) and a fixed level on \({\mathcal D}\); \(L(F,\cdot)\) is the \(L\)-function of \(F\) defined by Murase-Sugano, \(a_F^f\) is a certain averaged Fourier coefficient of \(F\). (The average is taken because the strong approximation theorem does not hold in this setting; \(f\) is a function defined on a finite set). The standard method in estimating the above spectral average is to use an analogue of Peterson's formula to relate it to a geometric average. The author constructs a Poincaré series of weight \(l\), and proves (when the weight \(l\) is large enough) that the averaged Fourier coefficient of this Poincaré series equals the spectral average described above. A main difficulty is to show that the defined Poincaré series is cuspidal. The author proves a general result that when the weight \(l\) is large enough, any modular forms that are \(L^q\) integrable must be cuspidal, and then concludes the cuspidality from the integrability of Poincaré series. The paper also establishes the functional equation and analytic continuation of the Poincaré series. The construction of Poincaré series represents an important step towards the establishment of the analogue of Peterson's formula. The full derivation of the formula will appear in a future work of the author. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Zhengyu Mao / 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: 11F67 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11F55 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6084771 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Automorphic L-functions of orthogonal groups | |||
Property / zbMATH Keywords: Automorphic L-functions of orthogonal groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Poincaré series | |||
Property / zbMATH Keywords: Poincaré series / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Spectral expansions | |||
Property / zbMATH Keywords: Spectral expansions / rank | |||
Normal rank |
Revision as of 10:43, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Spectral average of central values of automorphic \(L\)-functions for holomorphic cusp forms on \(\mathrm{SO}_0(m,2)\). I |
scientific article |
Statements
Spectral average of central values of automorphic \(L\)-functions for holomorphic cusp forms on \(\mathrm{SO}_0(m,2)\). I (English)
0 references
21 September 2012
0 references
Let \(V\) be a quadratic space over \({\mathbb Q}\) whose quadratic form \(Q\) has signature \((m+,2-)\) with \(m\geq 3\). Take two isotropic vectors \(\varepsilon_1,\varepsilon_1'\) where \(Q(\varepsilon_1,\varepsilon_1')=1\). Let \(V_1\) be the subspace of \(V\) perpendicular to both \(\varepsilon_1\) and \(\varepsilon_1'\). Let \({\mathcal D}\) be a component of the open set \(\{X+iY\in V_1\otimes {\mathbb C} \mid\;Q(Y)<0\}\). Then \({\mathcal D}\) is a tube domain. The author considers holomorphic cusp forms on the tube domain. The paper under review is a first step in investigating the average \[ \sum_{F\in {\mathcal B}_l}L(F,\tfrac12)|\,a_F^f|^2 \] where \({\mathcal B}_l\) is the orthonormal basis of cusp forms of weight \(l\) and a fixed level on \({\mathcal D}\); \(L(F,\cdot)\) is the \(L\)-function of \(F\) defined by Murase-Sugano, \(a_F^f\) is a certain averaged Fourier coefficient of \(F\). (The average is taken because the strong approximation theorem does not hold in this setting; \(f\) is a function defined on a finite set). The standard method in estimating the above spectral average is to use an analogue of Peterson's formula to relate it to a geometric average. The author constructs a Poincaré series of weight \(l\), and proves (when the weight \(l\) is large enough) that the averaged Fourier coefficient of this Poincaré series equals the spectral average described above. A main difficulty is to show that the defined Poincaré series is cuspidal. The author proves a general result that when the weight \(l\) is large enough, any modular forms that are \(L^q\) integrable must be cuspidal, and then concludes the cuspidality from the integrability of Poincaré series. The paper also establishes the functional equation and analytic continuation of the Poincaré series. The construction of Poincaré series represents an important step towards the establishment of the analogue of Peterson's formula. The full derivation of the formula will appear in a future work of the author.
0 references
Automorphic L-functions of orthogonal groups
0 references
Poincaré series
0 references
Spectral expansions
0 references