Modèle rationnel du complémentaire d'un sous-polyèdre dans une variété à bord et applications aux espaces des configurations

Abstract

The configuration space of k points in a manifold M is F(M,k) = {(x1, ... , xk)∈ M^k |xi ≠ xj if i≠j}. In this work we studied the homotopical invariance of this construction. When k=2, we extend some known results about this invariance in the case of simply connected closed manifolds. We develop new techniques to study this spaces for manifolds with boundary. More generally, the results of this thesis allows us to study the rational homotopy type of complementary spaces in a manifold with boundary.L'espace des configurations de k points dans une variété M est l'espace F(M,k)={(x1, ... , xk)∈ M^k | xi ≠ xj si i ≠ j}. Nous étudions dans cette thèse la question de l'invariance par type d'homotopie rationnelle de cette construction. Dans le cas où k=2, nous étendons des résultats connus sur l'invariance homotopique des espaces de configurations au cas plus difficile des variétés fermées simplement connexes (en dimension paire et avec des résultats partiels en dimension impaire) et nous développons de nouvelles techniques pour étudier le type d'homotopie rationnelle de ces espaces dans le cas des variétés à bord. Pour obtenir ces résultats nous partons de l'observation que l'espace des configurations de deux points est l'espace complémentaire M × M Δ(M), où Δ est le plongement de la diagonale dans M × M . Plus généralement, les outils développés dans cette thèse permettent d'étudier le type d'homotopie rationnelle d'espaces complémentaires issus de l'inclusion d'un sous-polyèdre K dans une variété compacte à bord W. Nous montrons, sous des hypothèses de codimension-connexité, que le type d'homotopie rationnelle du complémentaire est complètement déterminé par la classe d'homotopie de l'inclusion de la paire (K, K∩∂W) dans (W, ∂W). Pour chacun des espaces étudiés, nous construisons des modèles explicites au sens de la théorie de Sullivan qui encodent complètement le type d'homotopie rationnelle de ces espaces.(MATH 3) -- UCL, 201