Search arXiv⌕ Search

arXiv · 2204.03983

Embeddings of Trees, Cantor Sets and Solvable Baumslag-Solitar Groups

Abstract

We characterise when there exists a quasiisometric embedding between two solvable Baumslag-Solitar groups. This extends the work of Farb and Mosher on quasiisometries between the same groups. More generally, we characterise when there can exist a quasiisometric embedding between two treebolic spaces. This allows us to determine when two treebolic spaces are quasiisometric, confirming a conjecture of Woess. The question of whether there exists a quasiisometric embedding between two treebolic spaces turns out to be equivalent to the question of whether there exists a bilipschitz embedding between two symbolic Cantor sets, which in turn is equivalent to the question of whether there exists a rough isometric embedding between two regular rooted trees. Hence we answer all three of these questions simultaneously. It turns out that the existence of such embeddings is completely determined by the boundedness of an intriguing family of integer sequences.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Patrick S. Nairne. 2022-04-08. Embeddings of Trees, Cantor Sets and Solvable Baumslag-Solitar Groups. https://arxiv.org/abs/2204.03983

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Some questions related to free-by-cyclic groups and tubular groups

We prove that a CAT(0) free-by-cyclic tubular group with a single vertex is virtually special, but many of them cannot virtually act freely and cocompactly on CAT(0) cube complexes. This partially confirms a question of Brady--Soroko \cite[Section 9: Question 1]{BS} and answers a question of Lyman \cite[Question 1]{Ly} in the negative. Furthermore, we provide examples of free-by-cyclic groups amalgamated along cyclic subgroups that are not virtually free-by-cyclic. This answers negatively a question of Hagen--Wise \cite[Remark 3.6]{hw}. Lastly, we exhibit an example of a cyclic-subgroup-separable tubular group that does not have the property (VRC) (i.e. every cyclic subgroup is a virtual retract). This answers a question of Minasyan \cite[Question 11.6]{min} in the negative.

math.GR↗

Soficity of One-Relator Groups and Reducible Presentations

We prove that every one-relator group is sofic, answering a question of Nate Brown. More generally, every group admitting a reducible presentation without proper powers is sofic, with one proper-power relation allowed at the final reducible step. The proof starts from the endpoint-preserving edge replacements of Poulin--Wróbel. We retain the free-group word carried by each terminal replacement and use it to define an \(F(S)\)-valued cocycle repair; in its relative form, the repair preserves the previously chosen generator coordinates while controlling the new relator defect. Coinduction transports the lower cocycle through successive one-relator-product extensions, allowing the construction to be iterated along reducible presentations. For a final relator \(w^m\), cyclic translates of the repaired set amplify a zero-defect set of measure close to \(1/m\) to one of measure close to one. A cocycle criterion then converts arbitrarily small relator defect into finite permutation approximations via a treeable skew-product orbit relation.

math.GR↗

Comparing word probabilities in finite groups

We use results from extremal graph theory and analysis to compare word probabilities in finite groups. In particular, we show that the probability of satisfying the 2-Engel word admits a positive lower bound in terms of the probability that an element has order dividing 3. More generally, using a group removal lemma, we obtain analogous bounds for $x^m$-good words.

math.GR↗