Abstract:In this note we prove that if a finitely generated amenable group admits a regular map to a direct product of a hyperbolic space and a euclidean space, then it must be virtually nilpotent. We deduce that an amenable group regularly embeds into a hyperbolic group if and only if it is virtually nilpotent, answering a question of Hume and Sisto. We describe an application to Lorentz geometry due to Charles Frances.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the coarse embedding of finitely - generated nilpotent groups in hyperbolic graphs. Specifically, the author explores what properties a finitely - generated nilpotent group must have if it can be coarsely embedded in a hyperbolic graph.
### Main problems:
1. **Restrictions on coarse embedding**: The main objective of the paper is to determine whether a finitely - generated nilpotent group can be coarsely embedded in a specific type of hyperbolic graph, and if so, what conditions these groups need to satisfy.
2. **Growth degree of nilpotent groups**: The author proves that if a finitely - generated nilpotent group can be coarsely embedded in \(H^n\times\mathbb{R}^d\), then its growth degree is at most \(d + n- 1\). Here \(H^n\) represents the \(n\)-dimensional real hyperbolic space, and \(\mathbb{R}^d\) represents the \(d\)-dimensional Euclidean space.
3. **Equivalence problem**: The paper also answers a question raised by Hume and Sisto, that is, a finitely - generated nilpotent group can be coarsely embedded in a hyperbolic group if and only if it is virtually nilpotent.
### Summary of specific content:
- **Theorem 1.1**: Let \(G\) be a unimodular, transitive, locally compact group. Suppose there exist \(n\geq2\) and \(d\in\mathbb{N}\) such that \(G\) can be regularly mapped to \(H^n\times P\), where \(P\) is a locally compact, transitive group with polynomial growth degree \(d\). Then \(G\) must have a polynomial growth degree of at most \(d + n- 1\).
- **Corollary 1.3**: For a unimodular, transitive, locally compact, transitive group \(G\), the following conditions are equivalent:
- \(G\) has polynomial growth;
- \(G\) can be coarsely embedded in a finitely - generated Gromov - hyperbolic group \(\Gamma\);
- \(G\) can be regularly mapped to a finitely - generated Gromov - hyperbolic group \(\Gamma\);
- \(G\) can be regularly mapped to \(X\times Z\), where \(X\) is a Gromov - hyperbolic graph with a bounded degree, and \(Z\) is a doubling graph;
- \(G\) can be regularly mapped to \(H^n\times\mathbb{R}^n\).
### Applications:
- **Application in Lorentz geometry**: Charles Frances uses this result to study the isometry group of Lorentz manifolds and proves an important structural theorem (Theorem 2.1), that is, any finitely - generated subgroup either contains a free subgroup or is virtually nilpotent.
Through these results, the paper not only solves the problem of coarse embedding of nilpotent groups, but also provides some new perspectives and tools for studying broader geometric and algebraic structures.