within the ProDoc module. The program was written by
. It takes place from July 7-12, 2013 at the Böglerhof in Alpbach/Tyrol, Austria.
The first goal of this summer school is to understand and prove the following theorem: Let rho:G_Q->GL2(C) be irreducible and odd with projective image A5. Assume that is unramified at 5. Then there exists a cuspidal weight one form f such that L(f,s)=L(rho,s). In particular, satisfies the Artin conjecture.
This theorem is due to Taylor, Buzzard and Shepherd-Barron and was initiated just after the proof of Fermat Last Theorem by Wiles. We will see indeed that many ingredients of Wiles are used in the proof. Remark also that the case of projective image A5 was the only unknown case in dimension two.
This theorem is also due to Khare and Wintenberger as a corollary of their proof of Serre’s modularity conjecture (so latter with a different proof). They even managed to remove the unramifiedness hypothesis at 5. Today one can adapt the proof of Taylor and friends to arbitrary totally real fields, and remove by the same occasion the unramifiedness assumption at 5.
The other goal of the summer school is to introduce p-adic modular forms, and to prove various classicality theorems for such p-adic modular forms. Here a classicity theorem is a statement saying that a particular p-adic modular form with good properties is in fact a usual modular form, perhaps just with a q-expansion in Qp[[q]] and not in C[[q]]. The link between both subjects will be a classicality result for 5-adic modular forms of weight one (we will try to understand why 5 plays such a strange role). Indeed, methods of Wiles will allow us to construct an object f associated to as in the theorem, but f will be a 5-adic modular form of weight one, and perhaps not a classical form. To know the holomorphy of L(f,s) (and in fact already to define L(f,s) as a function of a complex variable s) one would need to prove the classicality of f.
All talks, including the introduction one, will last 1h30. Except in the introduction talk, every statement should be proven. You should use the notations of the following text, and not those of the references provided, because this will provide some uniformity between the different talks. Speakers can exchange material between adjacent talks. If you have any question on your talks (mathematical questions, references,...) you should contact Benoit Stroh at benoit.stroh AT gmail.com
Ioulia Beloshapka (Moscow)
Stephane Bijakowski (Paris)
Clemens Fuchs (Salzburg)
Sergey Gorchinskiy (Moscow)
Daniel Harrer (Freiburg)
Fritz Hörmann (Freiburg)
Lars Kühne (Pisa)
Simon Pepin Lehalleur
Valentin Ernandez (Lyon)
Susanne Müller (Mainz)
Ariyan Javan Peykar (Leiden)
Michael Rottmaier (Freiburg)
Sergey Rybakov (Moscow)
Sonia Samol (Mainz)
Max Schmidtke (Freiburg)
Benoit Stroh (Paris)
The program will start on Sunday evening, the first talk is scheduled for 17:15 - 18:45. The detailed program of the talks can be found here (version from May 6, 2013): Program-2013
Sunday, 07.07.2013: Arrival day - Introduction|
Artin conjecture (Ioulia Beloshapka)
Monday: Modular Forms and Galois Representations|
Modular curves and forms (Sonia Samol), Galois representations for high weight modular forms (Martin Gallauer), Galois representations for weight one modular forms (Andrea Ferraguti)
Tuesday: p-adic Geometry of Modular Curves|
Rigid-analytic geoemtry (Mario Huicochea, Roland Paulin), rigid-analytic modular curves (Alberto Vezzani), Hida theory (Valentin Ernandez)
Wednesday: Residually modular Galois representations|
Residually modular Galois representations (Lars Kühne)
Possible afternoon program: Informal discussion, excursions, hiking tours
Thursday: Classicality of Overconvergent Modular Forms|
Overconvergent modular forms (Sergey Rybakov), classicality in weight >=2 (Simon Pepin-Lehalleur), classicality in weight one (Peter Bruin)
Friday, 12.07.2013: The Artin Conjecture|
Ordinary representations (Sergey Gorchinskiy), deformation rings (Stephane Bijakowski), R=T and conclusion (Benoit Stroh)
09:00 - 10:30: First talk
10:30 - 11:00: Coffee break
11:00 - 12:30: Second talk
13:45 - 15:15: Third talk
15:30 - 18:00: Time for informal discussion
Lecture Notes and Literature:
Program written by Benoit Stroh (version from May 6, 2013): PDF
Suitable references can be found in the program; more will be given here when necessary.