# Real homotopy of configuration spaces (2019–2020)

In this lecture, we will study the real homotopy type of configuration spaces of manifolds. Configuration spaces consist in collections of pairwise distinct points in a given manifold. The study of these spaces is a classical problem in algebraic topology. An important question about configuration space is homotopy invariance: if a manifold can be continuously deformed into another one, then can the configuration spaces of the first manifold be continuously deformed in the configuration spaces of the second? This question remains open if we consider simply connected closed manifolds. In this lecture, we will see how to prove this conjecture in characteristic zero (i.e. if we restrict ourselves to algebro-topological invariants with real coefficients). We will then consider a generalization to manifolds with boundary. The proof involves ideas from the theory of operads, which will be introduced at the end of the lecture.

This lecture is based in part on joint works with Ricardo Campos, Julien Ducoulombier, Pascal Lambrechts, and Thomas Willwacher.

## Practical informations

The lessons will take place at the Collège de France (11 place Marcelin-Berthelot, in the 5th district of Paris), in room 5. They were initially planned on Wednesdays 4th, 11th, 18th, and 25th, March 2020, from 11AM to 1PM. Due to the COVID-19 pandemic, the last two lessons were postponed respectively to May 25th and 28th (10AM–12PM) and were recorded without an audience.

## Lessons

March 4th 2020, 11:00-13:00

- Generalities on configuration spaces
- Homotopy invariance conjecture
- Rational homotopy theory
- Formality of configuration spaces of Euclidean spaces

March 11th 2020, 11:00-13:00

- Definition of the model and theorem
- Compactifications of configuration spaces
- Semi-algebraic sets and forms
- Definition of the unreduced graph complex – Propagator

May 25th 2020 (online)

- Partition function and reduced graph complex
- Simplification of the partition function
- Quasi-isomorphism: combinatorial proof

Chapter 3: Manifolds with boundary

- Motivation: gluing
- Poincaré–Lefschetz duality models

May 28th 2020 (online)

- Fulton–MacPherson compactifications
- Propagators
- Graph complexes
- Simplification of the partition functions
- End of the proof
- Perturbed Lambrechts–Stanley model

Chapter 4: Operads

- Quick introduction to the theory
- Definition of factorization homology
- Relationship with configuration spaces