University of Augsburg
October 2-6, 2023
Synthetic algebraic geometry (SAG), is the study of algebraic geometry by synthetic means - instead of building up everything from ZF(C), we reason internal to a topos whose internal sets already contain the objects of interest. Our topos is called the (higher) Zariski topos and is given by Zariski-sheaves on affine schemes of finite type over an arbitrary base ring. Higher sheaves are neccessary to interpret the homotopy type theory we use to have, in addition to the usual convenience, an easy access to cohomology groups.
We have also begun to explore 𝔸¹-homotopy theory and algebraic stacks. The foundation is described here and more drafts can be found here.
All talks are in Building L (map below), room 2004. Coffee breaks will be in 2006.
| Time | Mon | Tue | Wed | Thu | Fri |
|---|---|---|---|---|---|
| 9:30 - 10:30 | Excursion | ||||
| 11:00 - 12:00 | Excursion | ||||
| 14:00 - 15:00 | Excursion | ||||
| 15:30 - 16:30 | Excursion |
Note that the excursion starts at 6:37am at the train station.
Here are some rough ideas, who could give talks on which topic:
| Speaker | Topic |
|---|---|
| Max Zeuner | Constructive Equivalence of Functor of Points and Topological Approach |
| Hugo Moeneclaey | Smooth Schemes, fppf Sheaves |
| Felix Cherubini | Cohomology, Finite Schemes? |
| Lukas Stoll | Modalities |
| Nicolas Beck | Stacks and 1-definite description |
| Ingo Blechschmidt | University of Augsburg |
| Fabian Endres | University of Augsburg |
| Matthias Hutzler | University of Gothenburg |
| Felix Cherubini | University of Gothenburg |
| Marc Nieper-Wißkirchen | University of Augsburg |
| Lukas Stoll | University of Augsburg |
| Hugo Moeneclaey | University of Gothenburg |
| Max Zeuner | University of Stockholm |
| Nicolas Beck | Freie Universität Berlin |
| David Jaz Myers | NYU Abu Dhabi |
| Heiko Braun | University of Bonn |
| Tim Lichtnau | University of Bonn |
| Peter Arndt (joining on Oct 3rd) | University of Düsseldorf |
First of all: Google maps does not work for public transport in Augsburg.
You can use this page, to figure out how to use public transport.
You can take tram 3 to get from the train station to campus.
The workshop is in the building L (L1 on the map):
The workshop dinner will be at the Indian restaurant Sangam:
Register via email to Carolina Dujo (carolina.dujo@math.uni-augsburg.de). Let her know if you need a hotel room or financial support.
If you need financial support to join the meeting, write an informal email to Marc Nieper-Wißkirchen to let us know.