Spectral average of central values of automorphic L-functions for holomorphic cusp forms on SO₀(m,2). I

From MaRDI portal
Publication:452377



Abstract: Given a maximal even-integral lattice cL of signature (m+,2−) with an odd mgeq3, we consider the holomorphic cusp forms F of weight l on the bounded symmetric domain of type IV of dimension m with respect to the discriminant subgroup of the orthogonal group O(cL) defined by cL. Under a non-negativity assumption on the central L-values, we prove an equidistribution result of Satake parameters in an ensemble constructed from the central values of standard L-functions and the square of the Whittaker-Bessel periods.


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 NEWLINE\[NEWLINE\sum_{F\in {\mathcal B}_l}L(F,\tfrac12)|\,a_F^f|^2NEWLINE\]NEWLINE 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).NEWLINENEWLINEThe 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.NEWLINENEWLINEThe 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.











This page was built for publication: Spectral average of central values of automorphic \(L\)-functions for holomorphic cusp forms on \(\mathrm{SO}_0(m,2)\). I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q452377)