HMF · Hilbert Modular Forms and Diophantine Applications

The ideas of Frey, Serre, Ribet and Wiles connect Diophantine equations to Galois representations arising from automorphic forms. The most spectacular success in this direction is Wiles' amazing proof of Fermat's Last Theorem. The proof relates hypothetical solutions of the Fermat equation with elliptic modular forms which are the most basic (and best understood) of automorphic forms. It has become clear however, thanks to the work of Darmon and of Jarvis and Meekin, that the resolution of many other Diophantine problems lies through an explicit understanding of the more difficult Hilbert modular and automorphic forms. This project has the following aims: 1. Develop and improve algorithms for Hilbert modular forms and for automorphic forms on unitary groups. 2. To solve several cases of the generalized Fermat equation after making explicit the strategies of Darmon and of Jarvis and Meekin and computing/studying the relevant Hilbert modular forms. 3. To make precise and explicit certain instances of the Langlands programme.