The homotopy fibre of the inclusion F\_n(M) \lhook\joinrel\longrightarrow \prod\_{1}^{n} M for M either \mathbb{S}^2 or\mathbb{R}P^2 and orbit configuration spaces

arXiv1710.11544MaRDI QIDQ6293306FDOQ6293306

Authors: Daciberg Lima Gonçalves, John Guaschi

Publication date: 31 October 2017

Abstract: Let

n g e q 1

, and let

i o t a_{n} c o l o n h i n s p a c e F_{n} (M) l o n g r i g h t a r r o w p r o d_{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

i o t a_{n}

, its homotopy fibre

I_{n}

, and the induced homomorphisms

on the

k

th homotopy groups of

F_{n} (M)

and

p r o d_{1}^{n} M

for

k g e q 1

in the cases where

M

is the

2

-sphere

m a t h b b S^{2}

or the real projective plane

m a t h b b R P^{2}

. If

k g e q 2

, we show that the homomorphism

is injective and diagonal, with the exception of the case

n = k = 2

and

M = m a t h b b S^{2}

, where it is anti-diagonal. We then show that

I_{n}

has the homotopy type of

K (R_{n - 1}, 1) i m e s O m e g a (p r o d_{1}^{n - 1} m a t h b b S^{2})

, where

R_{n - 1}

is the

(n - 1)

th Artin pure braid group if

M = m a t h b b S^{2}

, and is the fundamental group

G_{n - 1}

of the

(n - 1)

th orbit configuration space of the open cylinder

m a t h b b S^{2} s e t m i n u s w i d e t i l d e z_{0}, - w i d e t i l d e z_{0}

with respect to the action of the antipodal map of

m a t h b b S^{2}

if

M = m a t h b b R P^{2}

, where

w i d e t i l d e z_{0} i n m a t h b b S^{2}

. This enables us to describe the long exact sequence in homotopy of the homotopy fibration

I_{n} l o n g r i g h t a r r o w F_{n} (M) s t a c k r e l i o t a_{n} l o n g r i g h t a r r o w p r o d_{1}^{n} M

in geometric terms, and notably the boundary homomorphism

p i_{k + 1} (p r o d_{1}^{n} M) l o n g r i g h t a r r o w p i_{k} (I_{n})

. From this, if

M = m a t h b b R P^{2}

and

n g e q 2

, we show that

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} (m a t h b b 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.

This page was built for publication: The homotopy fibre of the inclusion $F\_n(M) \lhook\joinrel\longrightarrow \prod\_{1}^{n} M$ for $M$ either $\mathbb{S}^2$ or$\mathbb{R}P^2$ and orbit configuration spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6293306)