The homotopy fibre of the inclusion $F_n(M) \longrightarrow \prod_{1}^{n} M$ for $M$ either $\mathbb{S}^2$ or $\mathbb{R}P^2$ and orbit configuration spaces

Daciberg Lima Gonçalves (1, 2) , John Guaschi (3, 4, 5)

1 USP - Universidade de São Paulo = University of São Paulo
2 IME - Instituto de Matemática e Estatística
3 LMNO - Laboratoire de Mathématiques Nicolas Oresme
4 UNICAEN - Université de Caen Normandie
5 NU - Normandie Université

Let $n\geq 1$, and let $\iota_{n}\colon\thinspace F_{n}(M) \longrightarrow \prod_{1}^{n} M$ be the natural inclusion of the $n$th configuration space of $M$ in the $n$-fold Cartesian product of $M$ with itself. In this paper, we study the map $\iota_{n}$, its homotopy fibre $I_{n}$, and the induced homomorphisms $(\iota_{n})_{\#k}$ on the $k$th homotopy groups of $F_{n}(M)$ and $\prod_{1}^{n} M$ for $k\geq 1$ in the cases where $M$ is the $2$-sphere $\mathbb{S}^{2}$ or the real projective plane $\mathbb{R}P^{2}$. If $k\geq 2$, we show that the homomorphism $(\iota_{n})_{\#k}$ is injective and diagonal, with the exception of the case $n=k=2$ and $M=\mathbb{S}^{2}$, where it is anti-diagonal. We then show that $I_{n}$ has the homotopy type of $K(R_{n-1},1) \times \Omega(\prod_{1}^{n-1} \mathbb{S}^{2})$, where $R_{n-1}$ is the $(n-1)$th Artin pure braid group if $M=\mathbb{S}^{2}$, and is the fundamental group $G_{n-1}$ of the $(n-1)$th orbit configuration space of the open cylinder $\mathbb{S}^{2}\setminus \{\widetilde{z}_{0}, -\widetilde{z}_{0}\}$ with respect to the action of the antipodal map of $\mathbb{S}^{2}$ if $M=\mathbb{R}P^{2}$, where $\widetilde{z}_{0}\in \mathbb{S}^{2}$. This enables us to describe the long exact sequence in homotopy of the homotopy fibration $I_{n} \longrightarrow F_n(M) \stackrel{\iota_{n}}{\longrightarrow} \prod_{1}^{n} M$ in geometric terms, and notably the boundary homomorphism $\pi_{k+1}(\prod_{1}^{n} M)\longrightarrow \pi_{k}(I_{n})$. From this, if $M=\mathbb{R}P^{2}$ and $n\geq 2$, we show that $\ker{(\iota_{n})_{\#1}}$ is isomorphic to the quotient of $G_{n-1}$ by its centre, as well as to an iterated semi-direct product of free groups with the subgroup of order $2$ generated by the centre of $P_{n}(\mathbb{R}P^{2})$ that is reminiscent of the combing operation for the Artin pure braid groups, as well as decompositions obtained in a previous paper.

Domaines: Topologie géométrique [math.GT]

Daciberg Lima Gonçalves, John Guaschi. The homotopy fibre of the inclusion $F_n(M) \longrightarrow \prod_{1}^{n} M$ for $M$ either $\mathbb{S}^2$ or $\mathbb{R}P^2$ and orbit configuration spaces. 2017. ⟨hal-01627001⟩