Seminar Algebra und Topologie
Das Seminar findet normalerweise am Mittwoch in I.13.71 (!), 16:30 - 17:30 statt.
Beteiligte Dozenten: Jens Hornbostel, Sascha Orlik, Tobias Schmidt, Kay Rülling, Matthias Wendt.
09.10.2024 | ||
16.10.2024 | ||
23.10.2024 | Henrik Russell | The geometric fundamental group of the affine line over a finite field |
30.10.2024 | Fabian Hebestreit | Basic higher almost ring theory |
06.11.2024 | Jack Davies | |
13.11.2024 | Stefan Weinzierl | |
20.11.2024 | Devarshi Mukherjee | |
27.11.2024 | Alberto Merici | |
04.12.2024 | ||
11.12.2024 | ||
18.12.2024 | ||
08.01.2025 | ||
15.01.2025 | ||
22.01.2025 | ||
29.01.2025 |
Henrik Russell: The geometric fundamental group of the affine line over a finite field
The affine line A1 over a finite field F is taken as a benchmark for the problem of describing geometric étale fundamental groups. Using a reformulation of Tannaka duality we construct a (non-commutative) universal affine group Lu_{A1F}, such that any finite and étale Galois covering of A1 over F is a pull-back of a Galois covering of Lu_{A1F}. Then the geometric fundamental group of A1F is a completion of the k-points of Lu_{A1F}, where k is an algebraic closure of F, and we obtain an explicit description of Lu_{A1F}.
Fabian Hebestreit: Basic higher almost ring theory
(with P.Scholze) For a flat and idempotent ideal I in a commutative ring R the localisation of Mod(R) at the maps whose kernel and cokernel is annihilated by I is Falting's category of almost R-modules. Examples of the set-up arise from perfectoid fields, and almost modules prominently feature in the tilting equivalences relating their étale information in characteristic 0 and p. The possibly simplest example has R obtained from K[X] by adjoining all roots of X which together span I. Now, the category of almost R-modules derives many of its good properties from the fact that R/I is derived tensor-idempotent R-algebra on account of the assumptions on I. The flatness assumption is, however, often not satisfied in higher dimensional situations, eg if R and I are similarly obtained from K[X,Y], and effort has been expended into weakening or removing it. In the talk I will explain how this can be achieved rather easily by directly passing to derived categories and replacing the ordinary ring R/I by a certain new animated commutative ring.