6e38d631f229380c.tex
1: \begin{abstract}
2: \noindent \emph{Let $S$ be a surface, perhaps with boundary, and either compact, or with a finite number of points removed from the interior of the surface. We consider the inclusion $\map{\iota}{F_{n}(S)}[\prod_{1}^{n}\, S]$ of the $n\up{th}$ configuration space $F_{n}(S)$ of $S$ into the $n$-fold Cartesian product of $S$, as well as the induced homomorphism $\map{\iota_{\#}}{P_{n}(S)}[\prod_{1}^{n}\, \pi_{1}(S)]$, where $P_{n}(S)$ is the $n$-string pure braid group of $S$. Both $\iota$ and $\iota_{\#}$ were studied initially by J.~Birman who conjectured that $\ker{\iota_{\#}}$ is equal to the normal closure of the Artin pure braid group $P_{n}$ in $P_{n}(S)$. The conjecture was later proved by C.~Goldberg for compact surfaces without boundary different from the $2$-sphere $\St$ and the projective plane $\rp$. In this paper, we prove the conjecture for $\St$ and $\rp$. In the case of $\rp$, we prove that $\ker{\iota_{\#}}$ is equal to the commutator subgroup of $P_{n}(\rp)$, we show that it may be decomposed in a manner similar to that of $P_{n}(\St)$ as a direct sum of a torsion-free subgroup $L_{n}$ and the finite cyclic group generated by the full twist braid, and we prove that $L_{n}$ may be written as an iterated semi-direct product of free groups. Finally, we show that the groups $B_n(\St)$ and $P_n(\St)$ (resp.\ $B_n(\rp)$ and $P_n(\rp)$) have finite virtual cohomological dimension equal to $n-3$ (resp.\ $n-2$), where $B_{n}(S)$ denotes the full $n$-string braid group of $S$. This allows us to determine the virtual cohomological dimension of the mapping class groups of the mapping class groups of $\St$ and $\rp$ with marked points, which in the case of $\St$, reproves a result due to J.~Harer.}
3: \end{abstract}
4: