Volume distortion in groups.

From MaRDI portal



Abstract: Given a space Y in X, a cycle in Y may be filled with a chain in two ways: either by restricting the chain to Y or by allowing it to be anywhere in X. When the pair (G,H) acts on (X,Y), we define the k-volume distortion function of H in G to measure the large-scale difference between the volumes of such fillings. We show that these functions are quasi-isometry invariants, and thus independent of the choice of spaces, and provide several bounds in terms of other group properties, such as Dehn functions. We also compute the volume distortion in a number of examples, including characterizing the k-volume distortion of in , where M is a diagonalizable matrix. We use this to prove a conjecture of Gersten.


Let \(X\) be a geodesic metric space. Given a \((k-1)\)-cycle \(z\) in \(X\), the `filling volume' of \(z\) is the smallest volume of a \(k\)-chain whose boundary is \(z\). Given a subset \(Y\) of \(X\), there are two ways of filling a cycle in \(Y\): either by taking chains in \(Y\) or by taking chains anywhere in \(X\). This can be compared to the fact that there are two ways of defining a length metric on \(Y\): either by taking lengths of paths in \(Y\) or by allowing any path in \(X\). The author is interested in the case where \(X\) and \(Y\) are spaces on which a group \(G\) and a subgroup \(H\) act compactly and properly discontinuously by isometries. A `\(k\)-volume distorsion' function of \(H\) in \(G\) is then defined by measuring the large-scale difference between the volumes of such fillings. The author proves that these functions are quasi-isometry invariants, and thus therefore they are independent of the choice of spaces \(X\) and \(Y\). She provides several bounds in terms of other group properties, such as Dehn functions. She also computes the volume distorsion in a number of examples, including characterizing the \(k\)-volume distorsion of \(\mathbb Z^k\) in \(\mathbb Z^k\rtimes_M\mathbb Z\), where \(M\) is a diagonalizable matrix. She uses this to prove a conjecture of Gersten stating that for \(k\geq 3\), the group \(\mathbb Z^k\) is area undistorted in \(\mathbb Z^k\rtimes_M\mathbb Z\) if and only if \(M\) is of finite order in \(\mathrm{GL}(k,\mathbb Z)\).











This page was built for publication: Volume distortion in groups.

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