Workshop on Synthetic Algebraic Geometry

Workshop on Synthetic Algebraic Geometry

Other SAG meetings

Topic

Synthetic algebraic geometry is the study of algebraic geometry by synthetic means - instead of building up everything from ZF(C), we reason internally to a topos which contains the objects of interest. This topos is called the higher Zariski topos and is given by higher Zariski-sheaves on affine schemes of finite type over an arbitrary base ring. Higher sheaves are neccessary to interpret homotopy type theory. This provides us with an easy access to cohomology groups.

If you like to know more about synthetic algebraic geometry you can check out this hottest-talk, the website of the last meeting or you can go directly to the youtube-playlist of this meeting. An overview of the results and subtopics of synthetic algebraic geometry is on github.

Registration

Write an email to Felix Cherubini ([email protected]) before the 14th of December 2023.

Schedule

To be determined.

Location

To be determined.

Participants/Speakers (preliminary)

Organizers

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 in all likelyhood be in the CSE department in Johanneberg, Gothenburg.

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.

Paying in Sweden

The currency is SEK and 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.

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.

Train/Bus

• 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.

Airplane

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.