Abstract twisted Brin--Thompson groups

TL;DR

This paper generalizes twisted Brin--Thompson groups by removing faithfulness, establishing their relative simplicity, and exploring their algebraic and analytical properties, with implications for the Boone--Higman conjecture.

Contribution

It introduces an abstract version of twisted Brin--Thompson groups without faithfulness, proving their relative simplicity and embedding properties, and explores their algebraic and analytical characteristics.

Findings

Every proper normal subgroup of $SV_G$ lies in the kernel of a surjection to $SV_{G/ ext{ker}}$.

All such groups are uniformly perfect, boundedly acyclic, and $C^*$-simple with trivial amenable radical.

The paper formulates a new criterion for $ ext{l}^2$-invisibility.

Abstract

Given a group $G$ acting faithfully on a set $S$, one gets a simple group denoted $SV_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 $SV_G$. While the resulting group is not simple, since $SV_G$ surjects onto $SV_{G/\ker(G \curvearrowright S)}$, we prove that every proper normal subgroup of $SV_G$ lies in the kernel of this surjection, so $SV_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^*$-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.