We show that one relator groups viewed as metric spaces with respect to the word-length metric have finite asymptotic dimension in the sense of Gromov and give an estimate of their asymptotic dimension in terms of the relator length.
For every one-relator monoid $M = \langle A \mid u=v \rangle$ with $u, v \in A^*$ we construct a contractible $M$-CW complex and use it to build a projective resolution of the trivial module which is finitely generated in all dimensions. This proves that all one-relator monoids are of type ${\rm FP}_\infty$, answering positively a problem posed by Kobayashi in 2000. We also apply our results to classify the one-relator monoids of cohomological dimension at most $2$, and to describe the relation module, in the sense of Ivanov, of a torsion-free one-relator monoid presentation as an explicitly g…
How different is the universal cover of a given finite 2-complex from a 3-manifold (from the proper homotopy viewpoint)? Regarding this question, we recall that a finitely presented group $G$ is said to be properly 3-realizable if there exists a compact 2-polyhedron $K$ with $π_1(K) \cong G$ whose universal cover $\tilde{K}$ has the proper homotopy type of a PL 3-manifold (with boundary). In this paper, we study the asymptotic behavior of finitely generated one-relator groups and show that those having finitely many ends are properly 3-realizable, by describing what the fundamental pro-group l…
We give a lower and an upper bound for the conformal dimension of the boundaries of certain small cancellation groups. We apply these bounds to the few relator and density models for random groups. This gives generic bounds of the following form, where $l$ is the relator length, going to infinity. (a) $1 + 1/C < \Cdim(\bdry G) < C l / \log(l)$, for the few relator model, and (b) $1 + l / (C\log(l)) < \Cdim(\bdry G) < C l$, for the density model, at densities $d < 1/16$. In particular, for the density model at densities $d < 1/16$, as the relator length $l$ goes to infinity, the random groups w…
Using stably free non-free relation modules we construct an infinite collection of 2-dimensional homotopy types, each of Euler-characteristic one and with trefoil fundamental group. This provides an affirmative answer to a question asked by Berridge and Dunwoody [J. London Math. Soc. 19 (1979) 433-436]. We also give new examples of exotic relation modules. We show that the relation module associated with the generating set x, y^4 for the Baumslag-Solitar group <x, y | xy^2x^{-1}=y^3> is stably free non-free of rank one.
We find new bounds on the conformal dimension of small cancellation groups. These are used to show that a random few relator group has conformal dimension 2+o(1) asymptotically almost surely (a.a.s.). In fact, if the number of relators grows like l^K in the length l of the relators, then a.a.s. such a random group has conformal dimension 2+K+o(1). In Gromov's density model, a random group at density d<1/8 a.a.s. has conformal dimension $\asymp dl / |\log d|$. The upper bound for C'(1/8) groups has two main ingredients: $\ell_p$-cohomology (following Bourdon-Kleiner), and walls in the Cayley co…
We prove that the Bredon cohomological dimension and the virtual cohomological dimension coincide for groups that admit a cocompact model for $\underline{E}G$ and satisfy properties (M) and (NM). Among the examples of groups satisfying these hypothesis are cocompact and arithmetic Fuchsian groups, one relator groups, the Hilbert modular group and $3$-manifold groups.
We investigate conformal dimension for the class of infinite hyperbolic groups in the Gromov density model $\mathcal{G}^d_{m,l}$ of random groups with $m \geq 2$ fixed generators, density $0 < d < 1/2$ and relator length $l \to \infty$. Our main result is a lower bound linear in $l$ at all densities $0 < d < 1/2$ achieved by building undistorted round trees coming directly from lower density Gromov random groups.
Group presentations are implicit descriptions of 2-dimensional cell complexes with only one vertex. While such complexes are usually sufficient for topological investigations of groups, multi-vertex complexes are often preferable when the focus shifts to geometric considerations. In this article, I show how to quickly describe the most important multi-vertex 2-complexes using a slight variation of the traditional group presentation. As an illustration I describe multi-vertex 2-complexes for torus knot groups and one-relator Artin groups from which their elementary properties are easily derived…
For every dimension d, there is an infinite family of convex co-compact reflection groups of isometries of hyperbolic d-space --- the superideal (simplicial and cubical) reflection groups --- with the property that a random group at any density less than a half (or in the few relators model) contains quasiconvex subgroups commensurable with some member of the family, with overwhelming probability.
We present a metric condition ${\LARGEτ}'$ which describes the geometry of classical small cancellation groups and applies also to other known classes of groups such as two-dimensional Artin groups. We prove that presentations satisfying condition ${\LARGEτ}'$ are diagrammatically reducible in the sense of Sieradski and Gersten. In particular we deduce that the standard presentation of an Artin group is aspherical if and only if it is diagrammatically reducible. We show that, under some extra hypotheses, ${\LARGEτ}'$-groups have quadratic Dehn functions and solvable conjugacy problem. In the s…
We give a characterization for asymptotic dimension growth. We apply it to CAT(0) cube complexes of finite dimension, giving an alternative proof of N. Wright's result on their finite asymptotic dimension. We also apply our new characterization to geodesic coarse median spaces of finite rank and establish that they have subexponential asymptotic dimension growth. This strengthens a recent result of J. Spakula and N. Wright.
In this paper we prove that the asymptotic dimension of a finite-dimensional CAT(0) cube complex is bounded above by the dimension. To achieve this we prove a controlled colouring theorem for the complex. We also show that every CAT(0) cube complex is a contractive retraction of an infinite dimensional cube. As an example of the dimension theorem we obtain bounds on the asymptotic dimension of small cancellation groups.
The work discusses equivariant asymptotic dimension (also known as "wide equivariant covers", "$N$-$\mathcal F$-amenability" or "amenability dimension", and "$d$-BLR condition") and its generalisation, transfer reducibility, which are versions of asymptotic dimension invented for the proofs of the Farrell--Jones and Borel conjectures. We prove that groups of null equivariant asymptotic dimension are exactly virtually cyclic groups. We show that a covering of the boundary always extends to a covering of the whole compactification. We provide a number of characterisations of equivariant asymptot…
证明了渐近维数的可数并定理的一个版本,并将其应用于作用于渐近有限维度量空间上的群。作为结果,我们得到以下有限维定理。A)渐近有限维群的合并积具有有限的渐近维数:asdim A *_C B < infinity。B)设G'是群G的HNN扩张,且asdim G < infinity。则asdim G '<infinity。C)设Γ是由群π构造的Davis群,其中asdimπ<无穷大。则asdim r <无穷大。
We show that the asymptotic dimension of box spaces behaves (sub)additively with respect to extensions of groups. As a result, we obtain that for an elementary amenable group, the asymptotic dimension of any of its box spaces is bounded above by its Hirsch length. This bound is shown to be an equality for a large subclass of groups including all virtually polycyclic groups.
Asymptotic properties of finitely generated subgroups of free groups, and of finite group presentations, can be considered in several fashions, depending on the way these objects are represented and on the distribution assumed on these representations: here we assume that they are represented by tuples of reduced words (generators of a subgroup) or of cyclically reduced words (relators). Classical models consider fixed size tuples of words (e.g. the few-generator model) or exponential size tuples (e.g. Gromov's density model), and they usually consider that equal length words are equally likel…
We introduce dynamic asymptotic dimension, a notion of dimension for actions of discrete groups on locally compact spaces, and more generally for locally compact étale groupoids. We study our notion for minimal actions of the integer group, its relation with conditions used by Bartels, Lück, and Reich in the context of controlled topology, and its connections with Gromov's theory of asymptotic dimension. We also show that dynamic asymptotic dimension gives bounds on the nuclear dimension of Winter and Zacharias for C*-algebras associated to dynamical systems. Dynamic asymptotic dimension also …