Lifting theorem for the virtual pure braid groups (Q7007138)

The article is a continuation of [the authors, J. Knot Theory Ramifications 29, No. 10, Article ID 2042002, 32 p. (2020; Zbl 1508.20038)].\N\NAfter a discussion of the virtual pure braid groups \(\operatorname{VP}_n\) and a certain simplicial group \(\operatorname{VAP}_*\) for which \(\operatorname{VAP}_n = \operatorname{VP}_n\), the authors prove the following theorem.\N\NTheorem 4.1. Let \(n\geq 4\). Consider \(\operatorname{VP}_n\) as a subgroup of \(\operatorname{VP}_{n+1}\) by adding a trivial strand in the end. Then \[\mathcal{R}^{V}(n)\cup \bigcup_{i=0}^{n-1} s_i(\mathcal{R}^{V}(n))\] gives the full set of the defining relations for \(\operatorname{VP}_{n+1}\).\N\NHere, \(s_i\) denotes the \(i\)-th degeneracy map in the simplicial group \(\operatorname{VAP}_*\) and \(\mathcal{R}^V(n)\) is the set of defining relations in a certain presentation of \(\operatorname{VP}_n\). Thus, the authors describe presentations for \(\operatorname{VP}_n\), \(n\geq 4\). They also find presentations for the groups \(T_n\) defined in the cited article. (Theorem 4.2)\N\NAmong other related results, the authors prove the following theorem.\N\NTheorem 6.2. For \(n\geq 3\), the pure braid group \(\operatorname{P}_n\) is a semi-direct product of free groups \N\[\N\operatorname{P}_n = V_1\rtimes (V_2 \rtimes (\dots (V_{n-2}\rtimes V_{n-1})\dots )) \,,\N\]\Nwhere \(V_{n-1} = \left< c_{(n-1, 1)}\right>,V_{n-2} = \left< c_{(n-2, 1)},c_{(n-2, 2)}\right>, \dots , V_1 = \left< c_{(1,1)}, c_{(1,2)}, \dots, c_{(1, n-1)}\right>\).\N\NHere, the \(c_{(i, j)}\) are certain cabled generators of the group \(\operatorname{P}_n\).\N\NAt the end of their article, the authors present several directions for further research.\N\NThe article is related to work of \textit{F. R. Cohen} and \textit{J. Wu} [Prog. Math. 215, 93--105 (2004; Zbl 1066.55010)], who consider a simplicial group similar to \(\operatorname{VAP}_*\); see also [\textit{A. J. Berrick} et al., J. Am. Math. Soc. 19, No. 2, 265--326 (2006; Zbl 1188.55007); \textit{F. R. Cohen} and \textit{J. Wu}, Q. J. Math. 62, No. 4, 891--921 (2011; Zbl 1252.55005)].