In this seminar, we try to understand Faltings' exposition of Mochizuki's proof of the Hom-conjecture. The main reference we will be using Faltings' article Curves and their fundamental groups; more references are listed in the program.
Organizers: Alexander Schmidt, Jakob Stix; Program proposal: Magnus Carlson, Ruth Wild
We meet on several Thursdays, from 14 - 18, alternating locations between Frankfurt and Heidelberg.
The precise dates are:
| October | 31 | Frankfurt |
| November | 21 | Heidelberg |
| December | 19 | Frankfurt |
| January | 16 | Heidelberg |
| 30 | Frankfurt | |
| February | 06 | Heidelberg |
Location Frankfurt: Room 309, Robert-Mayer Straße 6-10 (📍)
Location Heidelberg: Hörsaal, Mathematikon, Im Neuenheimer Feld 205 (📍)
Schedule
(updated on 11/20)
| I | Oct 31 | 1 | Jakob | Introduction |
| 2 | Jon | Galois Cohomology and Hodge-Tate decomposition | ||
| II | Nov 21 | 3 | Leonie | Unipotent Tannakian categories |
| ~ | ~ | postponed | ||
| III | Dec 19 | 4 | Marius | Construction of h and Hodge-Tateness of rational sections |
| 5 | Morten | Bloch-Kato Selmer groups | ||
| IV | Jan 16 | 6 | Ruth | Hodge-Tate sections are geometric up to torsion |
| 7 | Benjamin | p-divisible groups | ||
| V | Jan 30 | 8 | Amine | Tate-Conjecture |
| 9 | Magnus | Sections geometric up to torsion | ||
| VI | Feb 06 | 10 | Tim | Proof of main result |
Useful links
original references:
-
[Moc] The local pro-p anabelian geometry of curves, Mochizuki
-
[NTM] The Grothendieck Conjecture on the Fundamental Groups of Algebraic Curves, Nakamura, Tamagawa, and Mochizuki