One of the most important aims of algebraic topology is to distinguish or classify topological spaces and maps between them up to homeomorphism.

Invariants (data that stays the same under operations on spaces) and obstructions are key to achieve this aim, meaning that \[ \text{invariants different}\Rightarrow\text{spaces different}. \] The converse is however often false, and invariants are stronger the more often the converse holds. However, strong invariants might but hard or impossible to compute, and a good invariant is an invariant which balances between being strong and computable. The main aim of algebraic topology is to associate algebraic data to topological spaces.

Here is an example. The sphere and the torus illustrated below are certainly not the same. But how can we be sure? The algebraic topology approach is to associate to them, say, numbers $\chi$ \[ \includegraphics[width=14.4cm,height=4cm]{algebraic-topology/spheretorus.png} \] so we conclude that the sphere (left, a balloon) is not the torus (right, an empty donut) by simply observing that $2\neq 0$. However, the invariant $\chi$ is not complete in the sense that \[ \includegraphics[width=12cm,height=4cm]{algebraic-topology/discrp2.png} \] but the two topological spaces, the disc and the real projective plane (right, immersed in $\mathbb{R}^3$), are not the same. A crucial aim of algebraic topology is thus to have a big enough backpack of invariants to tackle problems in the wild.

A classical and familiar invariant is the Euler characteristic of a topological space (used in the above examples), which was initially discovered via combinatorial methods and has been rediscovered in many different guises. This invariant associates numbers to topological spaces, and is without doubt a good invariant.

Modern algebraic topology goes one step further, and associates more sophisticated invariants to topological spaces. Algebraic topology allows the solution of complicated geometric problems with algebraic methods.

In a nutshell, imagine a closed loop of string that looks knotted in space. How would you tell if you can wiggle it about to form an unknotted loop without cutting the string? The space of all deformations of the loop is an intractable set. The key idea is to associate algebraic structures, such as groups or vector spaces, with topological objects such as knots, in such a way that complicated topological questions can be phrased as simpler questions about the algebraic structures. In particular, this turns questions about an intractable set into a conceptual or finite, computational framework that allows us to answer these questions with certainty.

In this unit you will learn about fundamental group and covering spaces, homology and cohomology theory. These form the basis for applications in other domains within mathematics and other disciplines, such as physics or biology. In fact, one of the strengths of algebraic topology has always been its wide degree of applicability to other fields.

At the end we will have developed skills to determine whether seemingly intractable problems can be solved with topological methods.

As a final note, there are three main fields of modern topology, with a huge overlap, of course. These fields are algebraic, geometric and differential topology: \[ \includegraphics[width=10.32cm,height=8cm]{algebraic-topology/thumbnail.png} \] All of these are similar in flavor and have the same aims, but use different methods. All of this is embedded into general topology, which provides the underlying language.

Please put [Lecture Algebraic Topology] as the subject.

- Fourth semester students in Mathematics interested in a mixture of (linear) algebra, topology and category theory, but everyone is welcome.

- Time and date for the lecture.
- Every Monday from 12:00-14:00
- Online, zoom links can be found on Canvas. Alternatively use 82018001516
- First lecture: Monday 01.Aug.2021. Last lecture: Monday 05.Aug.2021.

- Time and date for the tutorials.
- Every Friday from 12:00-14:00
- Online, zoom links can be found on Canvas. Alternatively use 81580288984
- First tutorial: Friday 13.Aug.2021. Last lecture: Friday 05.Nov.2021.

- Material for the lecture.
- Summary: Click
- Mini presentation: Click
- The detailed plan: Click

- 09.Aug.2021,
**Speaker**: Daniel Tubbenhauer,**Topic**: The beginnings - What is...algebraic topology? - 16.Aug.2021,
**Speaker**: Daniel Tubbenhauer,**Topic**: Some definitions in topology - Cell complexes and alike. - 23.Aug.2021,
**Speaker**: Daniel Tubbenhauer,**Topic**: The fundamental group I - The first steps. - 30.Aug.2021,
**Speaker**: Daniel Tubbenhauer,**Topic**: The fundamental group II - The Seifert-van Kampen theorem. - 06.Sep.2021,
**Speaker**: Daniel Tubbenhauer,**Topic**: The fundamental group III - Covering spaces. - 13.Sep.2021,
**Speaker**: Daniel Tubbenhauer,**Topic**: The fundamental group IV - Groups, graphs and $K(G,1)$ spaces. - 20.Sep.2021,
**Speaker**: Daniel Tubbenhauer,**Topic**: Homology and cohomology I - Simplicial and singular homology. - 04.Oct.2021,
**Speaker**: Daniel Tubbenhauer,**Topic**: Homology and cohomology II - The axiomatic approach. - 11.Oct.2021,
**Speaker**: Daniel Tubbenhauer,**Topic**: Homology and cohomology III - Cohomology groups. - 18.Oct.2021,
**Speaker**: Daniel Tubbenhauer,**Topic**: Homology and cohomology IV - The cohomology ring. - 25.Oct.2021,
**Speaker**: Daniel Tubbenhauer,**Topic**: Homology and cohomology V - Poincaré duality. - 01.Nov.2021,
**Speaker**: Daniel Tubbenhauer,**Topic**: Whats next? - Some outlook including homotopy.

- 09.Aug.2021, Exercise 1, Click
- 16.Aug.2021, Exercise 2, TBA
- 23.Aug.2021, Exercise 3, TBA
- 30.Aug.2021, Exercise 4, TBA
- 06.Sep.2021, Exercise 5, TBA
- 13.Sep.2021, Exercise 6, TBA
- 20.Sep.2021, Exercise 7, TBA
- 04.Oct.2021, Exercise 8, TBA
- 11.Oct.2021, Exercise 9, TBA
- 18.Oct.2021, Exercise 10, TBA
- 25.Oct.2021, Exercise 11, TBA
- 01.Nov.2021, Exercise 12, TBA