Abstract:We show that the labeled Thompson groups and the twisted Brin--Thompson groups are boundedly acyclic. This allows us to prove several new embedding results for groups. First, every group of type $F_n$ embeds quasi-isometrically into a boundedly acyclic group of type $F_n$ that has no proper finite index subgroups. This improves a result of Bridson \cite{Br98} and a theorem of Fournier-Facio--Löh--Moraschini \cite[Theorem 2]{FFCM21}. Second, every group of type $F_n$ embeds quasi-isometrically into a $5$-uniformly perfect group of type $F_n$. Third, using Belk--Zaremsky's construction of twisted Brin--Thompson groups, we show that every finitely generated group embeds quasi-isometrically into a finitely generated boundedly acyclic simple group.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore how to embed certain groups into bounded acyclic groups and, in this way, prove some new embedding results. Specifically, the article shows that the marked Thompson group and the twisted Brin - Thompson group are bounded acyclic, and thus is able to prove the following types of embedding results:
1. **Every group of type \(F_n\) can be quasi - isometrically embedded into a bounded acyclic group of type \(F_n\) without proper finite - index subgroups**. This improves the results of Bridson [9] and Fournier - Facio - Löh - Moraschini [21, Theorem 2].
Formula representation: Let \(G\) be a group of type \(F_n\), then there exists a bounded acyclic group \(H\) of type \(F_n\) without proper finite - index subgroups, such that \(G\) can be quasi - isometrically embedded into \(H\).
2. **Every group of type \(F_n\) can be quasi - isometrically embedded into a 5 - uniformly perfect group of type \(F_n\)**.
Formula representation: Let \(G\) be a group of type \(F_n\), then there exists a 5 - uniformly perfect group \(H\) of type \(F_n\), such that \(G\) can be quasi - isometrically embedded into \(H\).
3. **Using the twisted Brin - Thompson group constructed by Belk - Zaremsky, prove that every finitely generated group can be quasi - isometrically embedded into a finitely generated bounded acyclic simple group**.
Formula representation: Let \(G\) be a finitely generated group, then there exists a finitely generated bounded acyclic simple group \(H\), such that \(G\) can be quasi - isometrically embedded into \(H\).
In addition, the article also explores the properties of these newly discovered bounded acyclic groups and their applications in topological spaces. Through these results, the article not only expands the understanding of bounded acyclic groups but also provides some new tools and methods for studying the embedding problems of groups.