COMPAUTGALREP · Computations of Automorphic Galois Representations
FP7 — People (Marie Curie Actions)
- Duration
- 2010-07-01 → 2012-06-30
- EU contribution
- €164,541
- Participants
- 1
- Scheme
- MC-IEF
Lines connect the coordinator with its partners.
Results in brief
Computations of automorphic Galois representations
For over 350 years, Fermat's last theorem was the most exciting unresolved problem in Mathematics. The problem was finally resolved by Andrew Wiles in 1994. The Serre conjectures represent a vast extension of the ideas that went into the proof of Fermat's last theorem. They have played a central role in the development of number theory and were recently proved by Khare and Wintenberger. In essence, the Serre conjectures concern Galois representations of modular forms. A prerequisite to further theoretical progress in these directions is the development of tools for the explicit computation of Galois representations of modular forms. These tools will enable researchers to conduct experiments and formulate conjectures that will determine the direction of future research. This Marie Curie project has succeeded in developing some of these computational tools. This project resulted in two enhanced methods for the practical computation of Galois representations of modular forms: the first relies on floating-point approximations of torsion points of elliptic curves, and the second on p-adic approximations. These methods were developed by the researcher in collaboration with Peter Bruin (Zurich) and Maarten Derickx (Leiden). The project also resulted in a better understanding of the relation between the torsion subgroup of an elliptic curve and its Mordell-Weil rank through the discovery of the concept of 'false complex multiplication', in joint work with Peter Bruin (Zurich), Andrej Dujella (Zagreb) and Filip Najman (Zagreb). The project also resulted in the proof for the first time that several Groups of GL_2(F_q) type are in fact Galois groups, thus giving a positive answer to the famous Inverse Galois Problem for these groups. The fellow's website is: http://homepages.warwick.ac.uk/~maseap/Johan/index.html
Data: CORDIS, © European Union
Project objective
In groundbreaking work, the researcher has developed the first ever algorithm for explicitly determining the mod l-Galois representations of classical modular forms. He has applied this to the Inverse Galois Problem and to Lehmer's Conjecture on the non-vanishing of the Ramanujan tau-function. Arguably the greatest advance in arithmetic geometry within the last decade has been the proof by Khare and Wintenberger of Serre's Conjectures over the rationals. A version of Serre's Conjectures over totally real fields has been suggested by Buzzard, Diamond and Jarvis, complete with explicit formulae for the Serre 'weights' and 'levels'. The broad objectives of the proposal are as follows: 1. Improve the researcher's algorithms for the explicit determination of mod l-Galois representations of classical modular forms. 2. Give a corresponding algorithm for Hilbert modular forms. 3. With the help of 2, provide systematic evidence for Serre's Conjectures over real quadratic fields. 4. Systematically apply the Galois representations of classical and Hilbert modular forms to the Inverse Galois Problem.
Original text from CORDIS.
Participants
- UNIVERSITY OF WARWICK · COVENTRYCoordinatorUnited Kingdom
Links
Data: CORDIS, © European Union
