Derived functors and cohomology through higher categories Semester WiSe 2021 / 22
Lecturer Denis-Charles Cisinski
Type of course (Veranstaltungsart) Vorlesung
German title Abgeleiteten Funktoren und Kohomologie durch höheren Kategorien
Contents The aim of the course is at first to relate classical constructions of homotopy theory and homological algebra to the ones from infinity-category theory. In particular, we will see how to enhance the axioms of Eilenberg and Steenrod for singular homology theory, or to interpret sheaf cohomology. More generaly, we will see how to interpret any constructions from the theory of Quillen's theory of model categories. Many of the constructions/computations will be an illustration of the theory of Kan extensions in the context of higher categories. In particular, we will see how the concept of Kan extension is fundamental for the organization of mathematical discourse as well as for implementing basic computational tools.
This is a natural continuation of the lectures on Higher Categories, but, for students willing to accept basic facts, this is also an oportunity to learn higher categories from examples, through what they do, and we will try our best to make the lecture accessible to an audience as wide as possible.
Leitfaden:
1. Reminder of higher category theory
- Yoneda Lemma, limits and colimits
- Kan extensions
- Pullbacks and pushouts
2. Homotopical Algebra
- Localization
- Calculus of fractions
- Derived functors
- Approximation Theorems
- Universal property of spaces
- Computation of mapping spaces
3. Homological Algebra
- Stable infinity-categories
- Derived categories as localizations
- Spectra
- Additive and exact infinity-categories
- Derived categories as completions
A perspective of this course will be to understand derived Morita theory (studying functors between derived categories of quasi-coherent sheaves on schemes) which will be the subject a course in the Summer Semester.
Literature D.-C. Cisinski, Higher Categories and Homotopical Algebra, Cambridge studies in advanced mathematics, vol. 180, Cambridge University Press, 2019
J. Lurie, Higher Topos Theory, Annals of mathematics studies, vol. 170, Princeton University Press, 2009
J. Lurie, Higher Algebra, https://www.math.ias.edu/~lurie/papers/HA.pdf
J. Lurie, Kerodon, https://kerodon.net/
Recommended previous knowledge Basics of Algebraic Topology, of Homological Algebra, and of Category Theory
Time/Date Mo 16-18, Fri 16-18
Location M 103 or online
Course homepage http://www.mathematik.uni-regensburg.de/cisinski/lehre.html (Disclaimer: Dieser Link wurde automatisch erzeugt und ist evtl. extern)
Registration- Preliminary registration for the organisation of exercise classes: at the end of the previous
semester via EXA or LSF (see announcement by the department) - Registration for the exercise classes: via GRIPS in the first week of the lecture period
- Registration for course work/examination/ECTS: FlexNow
Course work (Studienleistungen)- Oral examination (without grade): Duration: , Date:
Examination (Prüfungsleistungen)- Oral exam: Duration: 30 minutes, Date: individual, re-exam: Date: individual
Modules BV, MV, MArGeo, MGAGeo, LA-GyGeo
ECTS 9
|