ETHZ-UZh-Sbg Arithmetic and Geometry Research Group

Back to the main page.

**Workshop "p-adic Modular Forms"**

This workshop is organized by J. Ayoub and C. Fuchs within the ProDoc module. The program was written by Benoit Stroh. 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.

**Participants:**

Joseph Ayoub

Ioulia Beloshapka (Moscow)

Stephane Bijakowski (Paris)

Peter Bruin

Utsav Choudhury

Andrea Ferraguti

Clemens Fuchs (Salzburg)

Martin Gallauer

Sergey Gorchinskiy (Moscow)

Daniel Harrer (Freiburg)

Fritz Hörmann (Freiburg)

Mario Huicochea

Lars Kühne (Pisa)

Andrew Kresch

Roland Paulin

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)

Alberto Vezzani

Gisbert Wüstholz

**Program:**

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

Schedule:

09:00 - 10:30: First talk

10:30 - 11:00: Coffee break

11:00 - 12:30: Second talk

12:25: Lunch

13:45 - 15:15: Third talk

15:30 - 18:00: Time for informal discussion

19:00: Dinner

**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.

Back to the main page.

This workshop is organized by J. Ayoub and C. Fuchs within the ProDoc module. The program was written by Benoit Stroh. 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.

Joseph Ayoub

Ioulia Beloshapka (Moscow)

Stephane Bijakowski (Paris)

Peter Bruin

Utsav Choudhury

Andrea Ferraguti

Clemens Fuchs (Salzburg)

Martin Gallauer

Sergey Gorchinskiy (Moscow)

Daniel Harrer (Freiburg)

Fritz Hörmann (Freiburg)

Mario Huicochea

Lars Kühne (Pisa)

Andrew Kresch

Roland Paulin

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)

Alberto Vezzani

Gisbert Wüstholz

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) |

Schedule:

09:00 - 10:30: First talk

10:30 - 11:00: Coffee break

11:00 - 12:30: Second talk

12:25: Lunch

13:45 - 15:15: Third talk

15:30 - 18:00: Time for informal discussion

19:00: Dinner

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.

Impressum 21.03.2016