Full box spaces of free groups

DOI10.1515/JGTH-2017-0022MaRDI QIDQ1693071zbMATH OpenOpenAlexFDO

Authors Thiebout Delabie

Publication date 11 January 2018

Published in Journal of Group Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1606.09097

zbMATH Keywords

coarse equivalence of metric spacesfree groupfull box space

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Generators, relations, and presentations of groups (20F05) Geometric group theory (20F65) Topological methods in group theory (57M07)

Abstract: In this paper we investigate full box spaces and coarse equivalences between them. We do this in two parts. In part one we compare the full box spaces of free groups on different numbers of generators. In particular the full box space of a free group $F_k$ is not coarsely equivalent to the full box space of a free group $F_d$, if $dge8k+10$. In part two we compare $Bo{x}_{f}mathbb{Z}^n$ to the full box spaces of $2$-generated groups. In particular we prove that the full box space of $mathbb{Z}^n$ is not coarsely equivalent to the full box space of any $2$-generated group, if $nge3$.

Review text

The \textit{full box space} of a finitely generated group \(G\) is defined as the metrized disjoint union of all finite quotients of \(G\); the metric in each finite quotient \(G/N_i\) is the word metric coming from a fixed finite generating set of \(G\), and the sum of the diameters of \(G/N_i\) and \(G/N_j\) for elements in different finite quotients. ``It is an interesting pursuit to find relations between the properties of the group and properties of the box space. These relations can be used to create metric spaces with strange properties in coarse geometry. Therefore, it is quite useful to study these space up to coarse equivalence. In the present paper, the author considers free and free abelian groups. His results imply that the full box space of a free group \(F_k\) of rank \(k\) is not coarsely equivalent to the full box space of a free group \(F_d\) of rank \(d \geq 8k+10\) by showing that one of the box spaces has too many small components with respect to the other. It remains open whether for every box space of \(F_d\) (i.e., with respect to some subcollection \(N_i\) of finite index subgroups) there exists some box space of \(F_k\) which is coarsely equivalent to it. A second main result of the paper states that, for \(n \geq 3\), the full box space of \(\mathbb Z^n\) is not coarsely equivalent to the full box space of any 2-generated group.

Recommendations

• Coarse fundamental groups and box spaces
• Embeddable box spaces of free groups
• Expanders and box spaces
• Free coarse groups
• Box spaces: geometry of finite quotients

Cites work

• Box spaces, group extensions and coarse embeddings into Hilbert space
• Expanders and box spaces

Cited in

(5)

• Sofic boundaries of groups and coarse geometry of sofic approximations
• Expanders and box spaces
• From the geometry of box spaces to the geometry and measured couplings of groups
• Embeddable box spaces of free groups
• Coarse fundamental groups and box spaces

This page was built for publication: Full box spaces of free groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1693071)