Related papers: The Dehn function of Sp(2n;Z)

We prove that when n>=5, the Dehn function of SL(n,Z) is at most quartic. The proof involves decomposing a disc in SL(n,R)/SO(n) into a quadratic number of loops in generalized Siegel sets. By mapping these loops into SL(n,Z) and replacing…

We prove that when n >= 5, the Dehn function of SL(n;Z) is quadratic. The proof involves decomposing a disc in SL(n;R)/SO(n) into triangles of varying sizes. By mapping these triangles into SL(n;Z) and replacing large elementary matrices by…

We show that PSL(2,Z[1/p]) admits a combing with bounded asynchronous width, and use this combing to show that PSL(2,Z[1/p]) has an exponential Dehn function. As a corollary, PSL(2,Z[1/p]) has solvable word problem and is not an automatic…

On the one hand, it is well known that the only subquadratic Dehn function of finitely presented groups is the linear one. On the other hand there is a huge class of Dehn functions $d(n)$ with growth at least $n^4$ (essentially all possible…

Suppose $\Gamma$ is an arithmetic group defined over a global field $K$, that the $K$-type of $\Gamma$ is $A_n$ with $n \geq 2$, and that the ambient semisimple group that contains $\Gamma$ as a lattice has at least two noncocompact…

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.

The Dehn function and its higher-dimensional generalizations measure the difficulty of filling a sphere in a space by a ball. In nonpositively curved spaces, one can construct fillings using geodesics, but fillings become more complicated…

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…

In this note, we study the notion of random Dehn function and compute an asymptotic upper bound for finitely presented acylindrically hyperbolic groups whose Dehn function is at most polynomial. By showing that in these cases, if the group…

Based on a result of Singh--Venkataramana, Bajpai--Dona--Singh--Singh gave a criterion for a discrete Zariski-dense subgroup of Sp(2n,Z) to be a lattice. We adapt this criterion so that it can be used in some situations that were previously…

We prove that Thompson's group $T$ and, more generally, all the Higman-Thompson groups $T_n$ have quadratic Dehn function.

We show that the mapping class group of a handlebody of genus at least 2 has a Dehn function of at most exponential growth type.

Let $X$ be a product of $r$ locally compact Hadamard spaces. In this note we prove that the horospheres in $X$ centered at regular boundary points of $X$ are Lipschitz-$(r-2)$-connected. Using the filling construction by R.~Young in…

We establish distortion estimates in completely solvable Lie groups, using a sublinear bilipschitz retraction constructed by Cornulier, and interpolating between two theorems of Osin. This provides new lower bounds on Dehn functions. Our…

We prove that the Dehn function of a group of Stallings that is finitely presented but not of type F_3 is quadratic. To appear in Geometric and Functional Analysis.

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…

We give an infinite family of monoids $\Pi_N$ (for $N=2, 3, \dots$), each with a single defining relation of the form $bUa = a$, such that the Dehn function of $\Pi_N$ is at least exponential. More precisely, we prove that the Dehn function…

The Boolean lattice $\mathcal{P}(n)$ consists of all subsets of $[n] = \{1,\dots, n\}$ partially ordered under the containment relation. Sperner's Theorem states that the largest antichain of the Boolean lattice is given by a middle layer:…

It is shown that there exist infinitely many non-integers $r>2$ such that the Dehn function of some finitely presented group is $\simeq n^r$. For each positive rational number $s$ we construct pairs of finitely presented groups $H\subset G$…

It is known that there is no finitely presented group for which the Dehn function lies asymptotically strictly between linear and quadratic functions. This work presents an example of a semigroup that has Dehn function equivalent to $n \log…