Workshop on Internal Methods in Algebraic Geometry

University of Gothenburg/Chalmers
April 17-20, 2023

Topics

Recent internal results in the/a (higher) Zariski topos (draft on the foundations of synthetic algebraic geometry, project page on github).
Interpretation of HoTT together with the axioms used, when working internal to the Zariski topos.

Schedule

Time	Mon	Tue	Wed	Thu
9:30 - 10:30	Felix Cherubini: Schemes	Matthias Hutzler: Bundles of Modules	Nicolas Beck: Fibered Categories	Thierry Coquand: Justification of the Axioms
11:00 - 12:00	Matthias Hutzler: Projective Space	Felix Cherubini: Cohomology	Marc Nieper-Wißkirchen: Serre-Duality for Projective Space over a Field	David Wärn: Differential Geometry
14:00 - 15:00	Thierry Coquand: Some comments on the definition of schemes	Christian Sattler: Cubical Models	David Wärn: Proper Schemes	Joisselin Poiret: Formalization
15:30 - 16:30	Jonas Frey: Cartesian Spaces	???	Ingo Blechschmidt: Čech-Cohomology

Location

All talks will be in the EDIT-Building on Johanneberg (Rännvägen 6).
The room will change a couple of times:

Time	Mon	Tue	Wed
9:30 - 10:30	ES52	EL43	EL43 forever
11:00 - 12:00	ES52	EL43
14:00 - 15:00	ES53	ES52
15:30 - 16:30	ES53	ES52

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
Thierry Coquand	University of Gothenburg
David Wärn	University of Gothenburg
Josselin Poiret	ENS de Lyon
Lukas Stoll	University of Augsburg
Nicolas Beck	Freie Universität Berlin
Hugo Moeneclaey	University of Gothenburg
Owen Miller	Carnegie Mellon University
Jonas Frey	Carnegie Mellon University
Amélia Liao

Organizer

felix.cherubini@posteo.de

Finding Venue and Room

Don't be confused: There are two universities, Chalmers and the University of Gothenburg. The Computer Science and Engineering (CSE) department is shared between the two universities.
The meeting will be in the CSE department in Johanneberg, Gothenburg.
You can enter at Rännvägen 6 on Monday morning we will be in room ES52. ES52 is on the fifth floor (you usually enter at the third floor). An approximate position is marked on the map below. Just walk into the building and keep wandering around until you see signs pointing you toward this room.

Workshop Selfie

Local Transport in Gothenburg

Tickets for the tram can be bought with a credit card in yellowish shops called "Pressbyrån".
There is a good app "Västtrafik Togo", which might work with a credit card.
If it doesn't work with your credit card, you can still use it for planning and real time information.

Campus map

Random Local Information

The currency is SEK (not EUR). It is advisable to have a credit card to pay in Sweden and you should know your PIN. German EC-Cards with V-Pay are also known to work.

Travelling to Gothenburg

If you come from a member state of the EU, your national identity card is enough to enter the country - make sure it is not out of date, it might be checked, even if you travel to Sweden by train or bus.

Water

There are ships from and to Germany and Denmark (Fredrikshavn).

Kiel (Germany) to Gothenburg, around 13h over night, costs usally somewhat more than a hotel room.
Travemünde/Rostock (Germany) to Trelleborg/Malmö, usually, those are available during the day and over night.
Fredrikshaven (Denmark) to Gothenburg.

Land

Trains: Inside Sweden, train travel is easy and there are lot's of trains from Copenhagen/Malmö to Gothenburg. If you want to get from Germany via Denmark to Sweden, you need to plan ahead and be aware that the trains from Hamburg to Copenhagen are sometimes sold out, usually in a bad condition and not too well organized.
The cheapest (public transport) way to get to Gothenburg from Germany/somewhere close to Germany is to use a far distance bus like Flixbus. It takes the longest and it is less suitable for working than the trains.

Air

Gothenburg has an international Airport, Landvetter/GOT. Gothenburg is about 4h by train from Stockholm and Copenhagen (which have bigger airports). From the airport, you can use the bus, https://www.flygbussarna.se/en/ and choose anything of the suggestions on the right, to end up in the city (the last option is the main train station):

Enivronmental impact

Apart from the obvious, it is unlcear how to rank the ships/ferries. According to some sources, they are worse than flying, if you split emissions by money spent and use an (expensive) overnight ship.