Surface framed braids. (Q438957)

Framed braid groups (full and pure) of the disk appeared in \textit{K. H. Ko, L. Smolinsky} [Proc. Am. Math. Soc. 115, No. 2, 541-551 (1992; Zbl 0760.57007)] and \textit{D. Margalit, J. McCammond} [J. Knot Theory Ramifications 18, No. 1, 1-20 (2009; Zbl 1187.20048)], respectively. The paper under review studies substantial aspects of the framed braid (full and pure) groups for the surface. Along the paper three equivalent definitions of such groups (at least if the genus of the surface is greater than one) are provided, and for the case where the surface is the torus these definitions are compared. One of the definitions is given in terms of the configuration space. Another definition is based on a result which describes the framed groups in terms of centralizers of Dehn twists. The following aspects of the framed braids on surface are analyzed: a) the relation between these groups and the classical braid group of the surface; b) presentation of these groups; c) a type of Fadell-Neuwirth short exact sequence involving the framed pure braid group. To illustrate the type of main results obtained, let \(FP_m(\Sigma_{g,b})\) denote the framed surface pure braid group on \(n\) strands of the surface \(\Sigma_{g,b}\) of genus \(g\) and \(b\) boundary components. Theorem 4: For \(g\geq 2\), \(b\geq 0\) and \(m\geq 0\), one has the following splitting exact sequence: \[ 1\to FP_m(\Sigma_{g,b+n})\to FP_{n+m}(\Sigma_{g,b})@>\alpha_{n,m}>>FP_n(\Sigma_{g,b})\to 1 \] where \(\alpha_{n,m}\) consists in forgetting the first \(m\) strands. Theorem 5: Let \(\Sigma_{g,b}\) be a surface of genus \(g\geq 2\) with \(b\) boundary components. (1) If \(\Sigma_{g,b}\) has boundary, the framed pure braid group \(FP_n(\Sigma_{g,b})\) is isomorphic to \(Z^n\times P_n(\Sigma_{g,b})\). (2) If \(\Sigma_g\) is a closed surface, there is a non-splitting central extension \(1\to\mathbb Z^n\to FP_n(\Sigma_{g})\to P_n(\Sigma_g)\to 1\). (3) In the two cases, \(FP_n(\Sigma_{g,b})\) is an Eilenberg-Maclane space of type \((FP_n(\Sigma_{g,b},1)\).