On of the main goals in algebraic topology is to determine the homotopy type of a topological space
Informally, one reason for this difficulty, besided the lack of algebraic structures on [
Even better, we will see in this seminar that the rational homotopy groups of a simply connected space is completely determined by an algebraic object, a certain commutative, graded, differential algebra (cgda) to be precise, and that the homotopy classes of two rational spaces are given by equivalence classes of homomorphism between the corresponding algebraic objects. It turns out that these algebraic objects can be computed with reasonable effort, which allows for powerful applications in geometry, topology, and perhaps even data science.
The seminar is partitioned in two parts. The first one focusses on the theoretical foundations of rational homotopy theory and is given by the lecturer. There we will see, after a short reminder of the topological preliminaries, what a rational space is, how to localise a given (simply connected) topological space along the rational numbers, and how a topological space generates these algebraic objects. We then will turn our focus to the algebraic side, study the theory of cgdas, and see that every topological space has a minimal model that is unique up to isomorphism and only depends on the homotopy type of the topological space.
The second part focusses more on geometric and topological application of these algebraic models. This part is less consecutive than the first part. The concrete topics will depend on the interest of the audience, which are encouraged to give a talk themselves.
Every student with a mild background in topology should be able to attend this seminar.
Coming soon!