Workshop on Synthetic Algebraic Geometry

University of Augsburg
October 2-6, 2023

Other SAG meetings

Topic

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.

Schedule

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.

Talks

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

Participants/Speakers

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

Organizers

Local transportation and points of interest

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:

Registration

Register via email to Carolina Dujo (carolina.dujo@math.uni-augsburg.de). Let her know if you need a hotel room or financial support.

Financial support

If you need financial support to join the meeting, write an informal email to Marc Nieper-Wißkirchen to let us know.