Basically, as I know, we know almost nothing about Maass forms. For example, Cohen constructed first (maybe not) example of a Maass cusp form by using one of Ramanujan's $q$-series, as a non-definite theta series. (This is from his Inventiones paper, *$q$-identities for Maass waveforms*.) Also, [this][1] article from Buzzard gives some explicit examples, both "algebraic" (corresponds to even 2-dimensional Galois representations) and "non-algebraic" (something that mysterious?) Algebraic ones has an eigenvalue $1/4$, while non-algebraic ones have (conjecturally) transcendental eigenvalues (such as $$ \frac{1}{4} + \frac{\pi^{2}}{4\log^{2}(\sqrt{2} - 1)} $$ Also, [this][2] paper provides an algorithm to compute eigenvalues effectively, and the first eigenvalue for $\mathrm{SL}_{2}(\mathbb{Z})$ is $\lambda = \frac{1}{4} + r^{2}$, where $r = 9.5337...$. I think the eigenvalues should be some special numbers, which can be transcendental, but maybe a little *algebraic*. More precisely, I hope that these numbers are related to *periods*. Periods are defined in Zagier-Kontsevich's article ([this][3]) as numbers that can be obtained by integral of rational functions over a domain defined by inequalities of rational coefficient polynomials. For example, any algebraic numbers, $\pi, \log 2, \zeta(3)$ are periods. Especially, $$ \log(\alpha) = \int_{1}^{\alpha} \frac{1}{x} dx $$ is a period for any $\alpha\in \overline{\mathbb{Q}}$. Periods form a proper subring of $\mathbb{C}$ that contains $\overline{\mathbb{Q}}$, denoted by $\mathcal{P}$, and $\mathcal{K} = \mathrm{Frac}(\mathcal{P})$ is a field between $\overline{\mathbb{Q}}$ and $\mathbb{C}$. So here is my conjecture: > If $\lambda$ is an eigenvalue of a Maass waveform (cusp form) on $\Gamma_{0}(N)$, then $\lambda \in \mathcal{K}$. Obviously, there's no reason that this conjecture is true. The reason I belive this is because the eigenvalues shouldn't be just random transcendental numbers. To *prove* this conjecture, the first thing we have to figure out is the exact value of the smallest eigenvalue for $\mathrm{SL}_{2}(\mathbb{Z})$, which is approximately 91.14. Thanks in advance. p.s. According to [this][4] question, if we assume some conjectures about motivic stuff, then $\mathcal{P}$ is not a field. [1]: http://wwwf.imperial.ac.uk/~buzzard/maths/research/notes/explicit_maass_forms.pdf [2]: http://math.stanford.edu/~akshay/research/bsv.pdf [3]: https://www.maths.ed.ac.uk/~v1ranick/papers/kontzagi.pdf [4]: https://mathoverflow.net/questions/20497/is-it-known-that-the-ring-of-periods-is-not-a-field