The Brin-Thompson groups \(sV\) are of the type \(\text F_\infty\). (Q395023)

The Brin-Thompson group \(sV\), with \(s\geq 2\), is a higher-dimensional generalization of the Thompson group \(V\), acting on an \(s\)-dimensional cube. The paper under review shows that these groups are of type \(F_\infty\), i.e.\ they admit a classifying space with finitely many cells in each dimension. This result was previously known only for \(s\leq 3\) [\textit{D. H. Kochloukova} et al., Proc. Edinb. Math. Soc., II. Ser. 56, No. 3, 777-804 (2013; Zbl 1294.20065)]. The proof, similarly as in the case of \(s\leq 3\), is based on Brown's criterion [\textit{K. S. Brown}, J. Pure Appl. Algebra 44, 45-75 (1987; Zbl 0613.20033)], which states that if a group \(G\) acts on a contractible CW-complex \(X\) with a filtration \(\{X_j\}_{j\geq 1}\) in such a way that \(X_j/G\) are finite, the connectivity of the pair \((X_{j+1},X_j)\) tends to \(\infty\), and the stabilizers of cells are of type \(F_\infty\), then \(G\) itself is of type \(F_\infty\). Kochloukova et al.\ used the action of \(sV\) on the geometric realization of a certain natural poset, which becomes increasingly difficult to analyze with growing \(s\). The authors of the paper overcome this difficulty by finding a subcomplex \(sX\) of this realization, which they call the Stein space. The advantage they obtain is easier discrete Morse theory, which is used to establish a lower bound on connectivity.