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 |
further references that elaborate on parts of the proof
-
The local pro-p anabelian geometry of curves, Mochizuki (1999)
-
The Grothendieck Conjecture on the Fundamental Groups of Algebraic Curves, Nakamura, Tamagawa, and Mochizuki (2001)
-
Anabelian geometry of hyperbolic curves, Mochizuki (2003)