Hyperbolic structures on wreath products (Q2303712)

Let \(X, Y\) be two generating sets of a group \(G\). It is said that \(X\) is dominated by \(Y\), written \(X \preceq Y\), if the identity map on \(G\) induces a Lipschitz map between the metric spaces \((G,d_{Y})\longrightarrow (G, d_{X})\). The relation \(\preceq\) is a preorder on the set of generating sets of \(G\). Therefore it induces an equivalence relation \(X \sim Y \Longleftrightarrow X\preceq Y \) and \(Y\preceq X\). Let \([X]\) denote the equivalence class of the generating set \(X\) and \(\mathcal{G}(G)\) the set of all the equivalence classes of generating sets of \(G\). The preorder \(\preceq\) induces an order relation on \(\mathcal{G}(G)\) by \([X]\leq [Y] \Longleftrightarrow X\preceq Y \). A hyperbolic structure on a group \(G\) is an equivalent class \([X]\in \mathcal{G}(G)\) such that \(\Gamma (G,X)\) is hyperbolic. The set of all hyperbolic structures is denoted by \(\mathcal{H}(G)\) and is an ordered set by the order induced from the order on \(\mathcal{G}(G)\). In [\textit{C. Abbott} et al., Algebr. Geom. Topol. 19, No. 4, 1747--1835 (2019; Zbl 1481.20165)], it is proved that: \(\mathcal{H}(G) = \mathcal{H}_{e}(G) \sqcup \mathcal{H}_{\ell}(G) \sqcup \mathcal{H}_{qp}(G) \sqcup \mathcal{H}_{gt}(G) \), where the sets of elliptic, linear, quasi-parabolic and general type hyperbolic structures on \(G\) are denoted by \(\mathcal{H}_{e}(G) \mathcal{H}_{\ell}(G) \mathcal{H}_{qp}(G)\) and \( \mathcal{H}_{gt}(G) \), respectively. In the above mentioned paper, the following problems are posed. Problem 1. Does there exists a group \(G\) such that \(\mathcal{H}_{qp}(G)\) is non-empty and finite? Problem 2. Does there exists a group \(G\) such that \(\mathcal{H}_{qp}(G)\) contains an uncountable chain? In the present paper, the author answers to both these questions proving a general theorem. Before stating the theorem. Some terminology. For a group \(G\), the poset of proper subgroups of \(G\) ordered by containment is denoted by \(\mathbb{S}_{G}\). Let \(\mathcal{B}(G)\) denote the poset which contains two copies of \(\mathbb{S}_{G}\) such that every element in one copy is incomparable to every element in the other copy of \(\mathbb{S}_{G}\). Both copies of \(\mathbb{S}_{G}\) dominate one common element, and that element dominates one more element. Theorem. Let \(G\) be a group. \begin{itemize} \item[(i)] Then \(\mathcal{B}(G)\subset \mathcal{H}(G \, wr\, \mathbb{Z})\). Specifically, the two copies of \(\mathbb{S}_{G}\) correspond to quasi-parabolic structures on \(G\, wr\, \mathbb{Z}\). The common element that is dominated by the two copies of \(\mathbb{S}_{G}\) corresponds to a linear structure on \(G \,wr\,\mathbb{Z}\). In turn, the linear structure dominates the trivial structure on \(G \,wr\,\mathbb{Z}\). \item[(ii)] If \(G = \mathbb{Z}_{n}\), then \(\mathcal{B}(G) = \mathcal{H}(G \,wr\,\mathbb{Z})\). \end{itemize}