Rational homotopy theory
In a sense, the main goal of algebraic topology is the creation of the algebraic description of the category of topological spaces and continuous maps up to homotopy. Rational homotopy theory, developed by Quillen and Sullivan, is a piece of topology where this main goal is completely achievable: homotopy theory of simply connected spaces whose higher homotopy groups are not just abelian groups, but vector spaces over Q, is completely described by their commutative differential graded algebras of cochains, in the sense that there is an equivalence of corresponding localized categories. The goal of this course is to describe this equivalence.
Lecturer
Date
10th March ~ 2nd June, 2026
Location
| Weekday | Time | Venue | Online | ID | Password |
|---|---|---|---|---|---|
| Tuesday,Wednesday | 14:20 - 16:05 | A14-303 | Zoom 17 | 442 374 5045 | BIMSA |
Prerequisite
Algebraic topology --- homotopy groups, homology groups, and the corresponding algebra. The familiarity with the theory of de Rham cohomology will be very helpful.
Syllabus
1. Rational topologial spaces and simplicial sets.
2. Cochain algebras. Quillen (Lie) and Sullivan (algebra) models.
3. Model categories. Rational homotopy theory equivalence.
4. Formality
5. Applications and calculations.
2. Cochain algebras. Quillen (Lie) and Sullivan (algebra) models.
3. Model categories. Rational homotopy theory equivalence.
4. Formality
5. Applications and calculations.
Reference
Yves Felix, Stephen Halperin, Jean-Claude Thomas --- "Rational homotopy theory"
John W. Morgan. Phillip Griffiths --- "Rational homotopy theory and differential forms"
Daniel Quillen --- "Rational homotopy theory"
John W. Morgan. Phillip Griffiths --- "Rational homotopy theory and differential forms"
Daniel Quillen --- "Rational homotopy theory"
Audience
Undergraduate
, Advanced Undergraduate
, Graduate
Video Public
Yes
Notes Public
No
Language
English
Lecturer Intro
I am mostly interested in the applications of homological algebra to the problems of geometry, in the broad sense.