Abstract twisted Brin--Thompson groups

Abstract

Given a group $G$ acting faithfully on a set $S$, one gets a simple group denoted $S{V}_G$, called a twisted Brin--Thompson group. In this paper we drop the faithfulness assumption, and get an abstract version of a twisted Brin--Thompson group $S{V}_G$. While the resulting group is not simple, since $S{V}_G$ surjects onto $S{V}_{G/\ker (G\curvearrowright S)}$, we prove that every proper normal subgroup of $S{V}_G$ lies in the kernel of this surjection, so $S{V}_G$ is ``relatively simple''. The advantage is that now we can prove that every finitely presented simple group embeds in a finitely presented abstract twisted Brin--Thompson group intersecting this kernel trivially. In particular, if the Boone--Higman conjecture is true, then so is a related conjectural characterization of groups with solvable word problem, arising purely in the world of twisted Brin--Thompson groups. We also prove a variety of additional results about abstract twisted Brin--Thompson groups, some of which are new even in the faithful case: they are all uniformly perfect, have property NL and property FW${}_{\infty }$, are boundedly acyclic and ${\ell }^2$-invisible, and are $C^{\ast }$-simple as soon as they have trivial amenable radical. Along the way we formulate a new general criterion for ${\ell }^2$-invisibility that is interesting in its own right.

46 pages. V2: Added an appendix. Submitted version