Computing a database of rigorous Maass forms

From MaRDI portal





In this short note, the author describes how he ``rigorously computes \(35416\) Maass cuspforms on \(\Gamma_0(N)\) across squarefree \(N\) from 1 to 105. Here a Maass cusp form \(f_j\) is said rigorously computed if there is an explicit interval \(I_{j,\lambda}\) for the eigenvalue and explicit intervals \(I_{j, n}\) for the coefficients such that there is exactly one true Maass form\N\[ \Nf_j(z)=\sum_{n \neq 0} a_j(n) \sqrt{y} {K_{ir}}_j (2 \pi |n|y) e^{2 \pi i n x}\N\] \Nwith \(\lambda_j=\frac{1}{4} + r^2_j \in I_{j,\lambda}\) and \(a_j(n) \in I_{j,n}\) for all \(n\).\N\NAll these forms are included The \(L\)-functions and modular forms database (LMFDB) and in this note, the author gives the details how to ``read them. The author uses rigorous trace formula, quasimode construction and rigorous Hejhal algorithm for computations. Of course these forms may lead to help important computations, for instance, class numbers. Hence it is a good and useful contribution to the literature\N\NFor the entire collection see [Zbl 08203827].











This page was built for publication: Computing a database of rigorous Maass forms

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