BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Noel Brady appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We construct 4-dimensional CAT(0) groups containing finitely presented subgroups whose Dehn functions are $\exp^{(n)}(x^m)$ for integers $n, m \geq 1$ and 6-dimensional CAT(0) groups containing finitely presented subgroups whose Dehn functions are $\exp^{(n)}(x^α)$ for integers $n \geq 1$ and $α$ dense in $[1,\infty)$. This significantly expands the known geometric behavior of subgroups of CAT(0) groups.
We construct families of $CAT(0)$ groups containing finitely presented groups whose divergence functions are of the form $r^α$ for a dense set of exponents $α\in [2,\infty)$ and $r^q\log(r)$ for integers $q \geq 2$. The same construction also yields examples of $CAT(0)$ groups containing contracting elements which are not contracting in certain finitely presented subgroups.
Every isometry of a finite dimensional euclidean space is a product of reflections and the minimum length of a reflection factorization defines a metric on its full isometry group. In this article we identify the structure of intervals in this metric space by constructing, for each isometry, an explicit combinatorial model encoding all of its minimal length reflection factorizations. The model is largely independent of the isometry chosen in that it only depends on whether or not some point is fixed and the dimension of the space of directions that points are moved.
We study the Dehn function at infinity in the mapping class group, finding a polynomial upper bound of degree four. This is the same upper bound that holds for arbitrary right-angled Artin groups.
The homological and homotopical Dehn functions are different ways of measuring the difficulty of filling a closed curve inside a group or a space. The homological Dehn function measures fillings of cycles by chains, while the homotopical Dehn function measures fillings of curves by disks. Since the two definitions involve different sorts of boundaries and fillings, there is no a priori relationship between the two functions, but prior to this work there were no known examples of finitely-presented groups for which the two functions differ. This paper gives the first such examples, constructed by amalgamating a free-by-cyclic group with several Bestvina-Brady groups.
We introduce the class of perturbed right-angled Artin groups. These are constructed by gluing Bieri double groups into standard right-angled Artin groups. As a first application of this construction we obtain families of CAT(0) groups containing finitely presented subgroups which are not of type $\mathrm{FP}_3$, and have exponential, or polynomial Dehn functions of prescribed degree.
We give examples of hyperbolic groups with finite-rank free subgroups of huge (Ackermannian) distortion.
We construct "pushing maps" on the cube complexes that model right-angled Artin groups (RAAGs) in order to study filling problems in certain subsets of these cube complexes. We use radial pushing to obtain upper bounds on higher divergence functions, finding that the k-dimensional divergence of a RAAG is bounded by r^{2k+2}. These divergence functions, previously defined for Hadamard manifolds to measure isoperimetric properties "at infinity," are defined here as a family of quasi-isometry invariants of groups; thus, these results give new information about the QI classification of RAAGs. By pushing along the height gradient, we also show that the k-th order Dehn function of a Bestvina-Brady group is bounded by V^{(2k+2)/k}. We construct a class of RAAGs called "orthoplex groups" which show that each of these upper bounds is sharp.
This note provides an alternate account of Calegari's rationality theorem for stable commutator length in free groups.
We produce examples of groups of type F_3 with 2-dimensional Dehn functions of the form exp^n(x) (a tower of exponentials of height n), where n is any natural number.
We show that the set of k-dimensional isoperimetric exponents of finitely presented groups is dense in the interval [1, \infty) for k > 1. Hence there is no higher-dimensional analogue of Gromov's gap (1,2) in the isoperimetric spectrum.
The k-dimensional Dehn (or isoperimetric) function of a group bounds the volume of efficient ball-fillings of k-spheres mapped into k-connected spaces on which the group acts properly and cocompactly; the bound is given as a function of the volume of the sphere. We advance significantly the observed range of behavior for such functions. First, to each non-negative integer matrix P and positive rational number r, we associate a finite, aspherical 2-complex X_{r,P} and calculate the Dehn function of its fundamental group G_{r,P} in terms of r and the Perron-Frobenius eigenvalue of P. The range of functions obtained includes x^s, where s is an arbitrary rational number greater than or equal to 2. By repeatedly forming multiple HNN extensions of the groups G_{r,P} we exhibit a similar range of behavior among higher-dimensional Dehn functions, proving in particular that for each positive integer k and rational s greater than or equal to (k+1)/k there exists a group with k-dimensional Dehn function x^s. Similar isoperimetric inequalities are obtained for arbitrary manifold pairs (M,\partial M) in addition to (B^{k+1},S^k).
We construct 2-dimensional CAT(-1) groups which contain free subgroups with arbitrary iterated exponential distortion, and with distortion higher than any iterated exponential.