1.  Home
  2.  Research

Operadic Formality and Homotopy of Configuration Spaces

Doctoral thesis, Université de Lille. Online on .

In a first part, we study Voronov’s “Swiss-Cheese” operad SC2\mathsf{SC}_2, which governs the action of a D2\mathsf{D}_2-algebra on a D1\mathsf{D}_1-algebra. We build a model in groupoids of this operad and we describe algebras over this model in a manner similar to the classical description of algebras over H(SC)H_*(\mathsf{SC}). We extend our model into a rational model which depends on a Drinfeld associator, and we compare this new model to the one that we would get if the operad SC\mathsf{SC} were formal.

In a second part, we study configuration spaces of closed smooth simply connected manifolds. We prove over R\mathbb{R} a conjecture of Lambrechts–Stanley which describes a mode of such configuration spaces, and we obtain as corollary their real homotopy invariance. Moreover, using Kontsevich’s proof of the formality of the operads Dn\mathsf{D}_n, we obtain that this model is compatible with the action of the Fulton–MacPherson operad when the manifold is framed. This allows us to explicitly compute the factorization homology of such a manifold.

Finally, in a third part, we expand this result to a large class of manifolds with boundary. We first use a chain-level Poincaré–Lefschetz duality result to compute the homology of the configuration spaces of these manifolds, then we reuse the methods of the second chapter to obtain our model, which is compatible with the action of the Swiss-Cheese operad SCn\mathsf{SC}_n.


Thesis realized under the supervision of Benoit Fresse at Université de Lille & Laboratoire Paul Painlevé and funded by an Allocation Spécifique from the École Normale Supérieure. The defense jury was composed of:

RoleNameInstitution
Advisor:Benoit FresseUniversité de Lille
Referees:Damien CalaqueUniversité de Montpellier
Kathryn Hess BellwaldÉcole Polytechnique Fédérale de Lausanne (EPFL)
Examiners:Pascal LambrechtsUniversité catholique de Louvain
Patrick Popescu-Pampu (president)Université de Lille
Thomas WillwacherETH Zurich
Read the research document: Operadic Formality and Homotopy of Configuration Spaces