Explicit Methods for non-holomorphic Hilbert Modular Forms

The theory of modular forms and L-functions is an important part of modern number theory. For instance, it is one of the fundamental building blocks used in the celebrated proof of Fermat's last theorem by Wiles and Wiles - Taylor. Classical modular forms are holomorphic functions defined on the complex upper half-plane transforming in a certain way with respect to congruence subgroups of the modular group.

One particularly interesting generalisation is to functions that are no longer holomorphic. Instead, one considers eigenfunctions of the so-called Laplace-Beltrami operator. This leads to the theory of Maass waveforms, and, especially, Maass cusp forms, which can be interpreted in terms of quantum mechanical particles moving on a hyperbolic surface. The study of these non-holomorphic modular forms is therefore intricately linked to the spectral theory of the surface they are defined on.

In this project we extend this even further and study non-holomorphic Hilbert modular forms, also called Hilbert - Maass cusp forms. These are functions defined on higher-dimensional spaces (the 'Hilbert modular varieties') which in some cases are like surfaces but, generally, they are quite complex and difficult to understand geometrically. As a result, apart from some special cases, there are no explicit examples of general Hilbert - Maass cusp forms. One of the primary goal of this project is to develop algorithms to find explicit numerical examples. These will help us to obtain a better understanding of both individual Hilbert - Maass cusp forms as well as the tools required to study them (notably, spectral theory). One of the most striking applications of non-holomorphic Hilbert modular forms is towards the resolution of Hilbert's 11-th problem about quadratic forms in many variables. This, in turn, has far-reaching applications, for instance in quantum computing, where the so-called strong approximation properties of certain quadratic forms can be used to design universal...