We construct the first examples of finitely presented groups with cubic Dehn function containing a finitely generated infinite torsion subgroup. Moreover, we show that any infinite free Burnside group with sufficiently large odd exponent can be embedded as a subgroup of a finitely presented group with cubic Dehn function.
We construct the first examples of finitely presented groups with quadratic Dehn function containing a finitely generated infinite torsion subgroup. These examples are "optimal" in the sense that the Dehn function of any such finitely presented group must be at least quadratic. Moreover, we show that for any $n\geq2^{48}$ such that $n$ is either odd or divisible by $2^9$, any infinite free Burnside group with exponent $n$ is a quasi-isometrically embedded subgroup of a finitely presented group with quadratic Dehn function satisfying the Congruence Extension Property.
Baumslag's group is a finitely presented metabelian group with a Z \wr Z subgroup. There is an analogue with an additional torsion relation in which this subgroup becomes C_m \wr Z. We prove that Baumslag's group has an exponential Dehn function. This contrasts with the torsion analogues which have quadratic Dehn functions. v.2: version for publication, incorporating referee's suggestions.
A generalized torsion element is a non-trivial element such that some non-empty finite product of its conjugates is the identity. We construct a generalized torsion element of the fundamental group of a 3-manifold obtained by Dehn surgery along a knot in the 3-sphere.
We prove that if the Cayley graph of a finitely generated group enjoys the property L_delta then the group is almost convex and has a sub-cubic isoperimetric function.
Let $Γ$ be a finite simplicial graph such that the flag complex on $Γ$ is a $2$-dimensional triangulated disk. We show that with some assumptions, the Dehn function of the associated Bestvina--Brady group is either quadratic, cubic, or quartic. Furthermore, we can identify the Dehn function from the defining graph $Γ$.
We show that the Dehn function of the handlebody group is exponential in any genus $g\geq 3$. On the other hand, we show that the handlebody group of genus $2$ is cubical, biautomatic, and therefore has a quadratic Dehn function.
A homogeneous nilpotent Lie group has a scaling automorphism determined by a grading of its Lie algebra. Many proofs of upper bounds for the Dehn function of such a group depend on being able to fill curves with discs compatible with this grading; the area of such discs changes predictably under the scaling automorphism. In this paper, we present combinatorial methods for finding such bounds. Using this method, we give new proofs of some results on Dehn functions of nilpotent groups, prove theorems on central powers and certain quotients of nilpotent groups, and construct the first example of …
We solve Dehn's isomorphism problem for virtually torsion-free relatively hyperbolic groups with nilpotent parabolic subgroups. We do so by reducing the isomorphism problem to three algorithmic problems in the parabolic subgroups, namely the isomorphism problem, separation of torsion (in their outer automorphism groups) by congruences, and the mixed Whitehead problem, an automorphism group orbit problem. The first step of the reduction is to compute canonical JSJ decompositions. Dehn fillings and the given solutions of the algorithmic problems in the parabolic groups are then used to decide if…
We address the problem of which functions can arise as Dehn functions of Kähler groups. We explain why there are examples of Kähler groups with linear, quadratic, and exponential Dehn function. We then proceed to show that there is an example of a Kähler group which has Dehn function bounded below by a cubic function and above by $n^6$. As a consequence we obtain that for a compact Kähler manifold having non-positive holomorphic bisectional curvature does not imply having quadratic Dehn function.
We show, under mild hypotheses, that if each element of a finitely generated group acting on a $2$-dimensional $\mathrm{CAT}(0)$ complex has a fixed point, then there is a global fixed point. In particular all actions of finitely generated torsion groups on such complexes have global fixed points. The proofs rely on Masur's theorem on periodic trajectories in rational billiards, and Ballmann-Brin's methods for finding closed geodesics in $2$-dimensional locally $\mathrm{CAT}(0)$ complexes. As another ingredient we prove that the image of an immersed loop in a graph of girth $2π$ with length no…
We give a solution to Dehn's isomorphism problem for the class of all hyperbolic groups, possibly with torsion. We also prove a relative version for groups with peripheral structures. As a corollary, we give a uniform solution to Whitehead's problem asking whether two tuples of elements of a hyperbolic group $G$ are in the same orbit under the action of $\Aut(G)$. We also get an algorithm computing a generating set of the group of automorphisms of a hyperbolic group preserving a peripheral structure.
A previous work of A. Conway and the author introduced $L^2$-Burau maps of braids, which are generalizations of the Burau representation whose coefficients live in a more general group ring than the one of Laurent polynomials. This same work established that the $L^2$-Burau map of a braid at the group of the braid closure yields the $L^2$-Alexander torsion of the braid closure in question, as a variant of the well-known Burau-Alexander formula. In the present paper, we generalize the previous result to $L^2$-Burau maps defined over all quotients of the group of the braid closure. The link inva…
In the first part of this paper we prove that the mapping class subgroups generated by the $D$-th powers of Dehn twists (with $D\geq 2$) along a sparse collection of simple closed curves on an orientable surface are right angled Artin groups. The second part is devoted to power quotients, i.e. quotients by the normal subgroup generated by the $D$-th powers of all elements of the mapping class groups. We show first that for infinitely many $D$ the power quotient groups are non-trivial. On the other hand, if $4g+2$ does not divide $D$ then the associated power quotient of the mapping class group…
For some $g \geq 3$, let $Γ$ be a finite index subgroup of the mapping class group of a genus $g$ surface (possibly with boundary components and punctures). An old conjecture of Ivanov says that the abelianization of $Γ$ should be finite. In this note, we prove two theorems supporting this conjecture. For the first, let $T_x$ denote the Dehn twist about a simple closed curve $x$. For some $n \geq 1$, we have $T_x^n \in Γ$. We prove that $T_x^n$ is torsion in the abelianization of $Γ$. Our second result shows that the abelianization of $Γ$ is finite if $Γ$ contains a "large chunk" (in a certain…