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
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
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
    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
    0 references
    Automorphic L-functions of orthogonal groups
    0 references
    Poincaré series
    0 references
    Spectral expansions
    0 references

    Identifiers