Selected Topics in Topology (V5D2)
Homotopy Coherent Algebraic Structures
Lecturer | Tobias Lenz |
---|---|
Time & place | Wednesdays, 2:15pm–4pm Großer Hörsaal (please note the change of room!) |
Q&A session | instead of exercise classes we will have an informal Q&A session after each lecture (in SR 0.011) in which you can ask any question about the material you like |
eCampus | link course password: Gamma |
In algebraic topology we are often not really interested whether two maps between a fixed pair of objects are equal, but only whether they are homotopic. However, it was an important observation (and one of the founding moments of modern homotopy theory) that it is many cases not enough for such a homotopy to simply exist, but that one should consider it as an object in itself. This naturally leads one to consider homotopies between homotopies and so on, leading to an infinite hierarchy of ‘compatibility data.’
In this lecture course we want to give an introduction to this family of ideas by studying one classical example of this philosopy in action, namely homotopy theoretic versions of abelian groups. Following the above pattern, it turns out that topological abelian groups are too rigid for many purposes, while the naive notion of abelian groups up to homotopy does not carry enough structure to support an interesting theory. Instead, we will consider homotopy coherent abelian groups in the form of so-called very special Γ-spaces, and in particular see as the main result of the first part of this course how they account for all cohomology theories concentrated in non-negative degrees. Along the way we will learn about several interesting concepts from homotopy theory, and in particular homotopy colimits and homotopy limits.
In the second part of the course we will consider some related questions, the exact choice of topics depending on the interests of the participants. Some suggestions:
- Segal spaces as a model of ‘categories’ with a composition that is associative and unital only up to coherent homotopies
- equivariant versions of homotopy coherent abelian groups
- other models of homotopy coherent abelian groups, in particular E_{∞}-algebras and models based on the notion of ultra-commutativity
- homotopy coherent versions of commutative rings
Prerequisites
The contents of last semester's course Algebraic Topology I and the topology lectures before it, in particular: simplicial sets, fibrations and cofibrations, loop spaces, representability of singular cohomology. In addition some familiarity with categories will be assumed (in particular limits, colimits, and adjoint functors).
Literature
You can find lecture notes for this course on eCampus. They also contain additional references to the original research articles as well as other sources.
News
Gerd Faltings elected member of the Order Pour le MÃ©rite
Geordie Williamson receives the Max Planck-Humboldt Research Award 2024
ERC Starting Grant for Markus Hausmann
EMS Prize 2024 for Jessica Fintzen
Bonn mathematics performs excellently again in QS ranking
Stefan Schwede is invited speaker at the ECM 2024 in Sevilla
Jessica Fintzen wins Cole Prize
Catharina Stroppel receives Gottfried Wilhelm Leibniz Prize 2023
Jessica Fintzen is awarded a Whitehead Prize of the London Mathematical Society
Peter Scholze elected as Foreign Member of the Royal Society