Braid groups in complex projective spaces (Q2882933)

From the geometry of the complex projective spaces, the ordered configuration space of \(k\) points in \(\mathbb CP^n\), denoted by \(F_k(\mathbb CP^n)\), can be stratified with complex submanifolds \(F_k^{i,n}\) where \(i\) runs from \(1\) to \(n\). Similarly the unordered configuration space of of \(k\) points in \(\mathbb CP^n\), denoted by \(C_k(\mathbb CP^n)\), can be stratified with complex submanifolds \(C_k^{i,n}\) where \(i\) runs from \(1\) to \(n\).NEWLINENEWLINEThe main goal of the paper is to compute the fundamental group of the spaces \(F_k^{i,n}\) and \(C_k^{i,n}\). Most of these spaces are simply connected and a presentation of the groups is given when the group is not trivial. The presentation is given in terms of generators which correspond to the classical generators \(\alpha_{i,j}\), \(\sigma_{i}\) of the pure and full braid of the plane and the full twist denoted by \(D_k\). The relevant braid groups involved are the ones of the plane and the sphere \(S^2\).NEWLINENEWLINEThe main results are Theorem 1.1 and 1.3 where the former one refers to the ordered configuration space and the latter one to the unordered configuration space. As part of Theorem 1.1 the only spaces not simply connected are \(F_{k+1}^{1,1}\) for \(k\geq 2\) and \(F_{k+1}^{1,n}\) for \(k\geq 3\) and \(n\geq 2\). As part of Theorem 1.3 the only spaces not simply connected are \(C_{k+1}^{1,1}\) for \(k\geq 2\), and \(C_{k+1}^{1,n}\) for \(k\geq 3\) and \(n\geq 2\). We do not write the presentation here since it is too technical. At the end the authors also compute the fundamental group of the Pappus configuration space which is isomorphic to \(F_2\times F_2\) where \(F_2\) is the free group on two generators.