Spectral average of central values of automorphic \(L\)-functions for holomorphic cusp forms on \(\mathrm{SO}_0(m,2)\). I (Q452377): Difference between revisions

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.