19234201 Topology and Topoi
- FU-Students should register via Campus Management
PLEASE remember to de-register by the deadline if you do not want to stay in the course. - Non-FU-students should register via MyCampus/Whiteboard.
Winter Term 2024/2025
Lecturer: Dr. Georg Lehner
-
Time and place: Mondays, 10-12h, SR 009, Arnimallee 6.
Course Overview
There are various dualities in mathematics that share formal similarities. One is given by Galois theory: For a given field, the poset of Galois extensions and the poset of subgroups of its absolute Galois group are dual to another. Another example is covering space theory: For a given topological space, there is a duality between coverings and subgroups of its fundamental group. We will also discuss Stone dualities, as well as various incarnations of these.
These dualities are special cases of a very general phenomenon that can be expressed by looking at Grothendieck Topoi. These Topoi are categories of sheaves on a site, and can also be thought of as generalized topological spaces. Any topos has a pro-finite homotopy group and there is an abstract Galois theory that generalizes both classical Galois theory and covering space theory.
Towards the end of the lecture series we will look at shape theory. Shape theory allows one to do homotopy theory even with wild topological spaces. To any higher topos, one can associate its shape. We will attempt to prove the result that for a locally contractible topos, its sub-topos of locally contractible objects is equivalent to the category of local systems over its shape.
References
Szamuely - Galois Groups and Fundamental Groups
Johnstone - Stone Spaces
MacLane, Moerdijk - Sheaves in Geometry and Logic
Hoyois - Higher Galois Theory