Computing the Laplace eigenvalue and level of Maass cusp forms

Let f   be a primitive Maass cusp form for a congruence subgroup Γ0(D)⊂SL(2,Z)Γ0(D)⊂SL(2,Z) and λf(n)λf(n) its n  -th Fourier coefficient. In this paper it is shown that with knowledge of only finitely many λf(n)λf(n) one can often solve for the level D  , and in some cases, estimate the Laplace eigenvalue to arbitrarily high precision. This is done by analyzing the resonance and rapid decay of smoothly weighted sums of λf(n)e(αnβ)λf(n)e(αnβ) for X≤n≤2XX≤n≤2X and any choice of α∈Rα∈R, and β>0β>0. The methods include the Voronoi summation formula, asymptotic expansions of Bessel functions, weighted stationary phase, and computational software. These algorithms manifest the belief that the resonance and rapid decay nature uniquely characterizes the underlying cusp form. They also demonstrate that the Fourier coefficients of a cusp form contain all arithmetic information of the form.