Isoperimetric inequalities for the fundamental groups of torus bundles over the circle (Q1326557)

Let \(\Gamma\) be a group with finite presentation \({\mathcal P}= \langle S\mid R\rangle\), i.e. there exists an exact sequence \(1 \to N \to F(S) @>p>> \Gamma \to 1\), where \(F(S)\) is the free group freely generated by the set \(S\) and \(N\) is the normal closure of \(R\) in \(F(S)\). The element \(w\) is called a relator if \(p(w) = 1\). Area(w) is the smallest value of \(N\) among all expressions of the form \(w = (u_ 1 r_ 1 u_ 1^{-1}) \dots (u_ Nr_ N u_ N^{-1})\) where \(u_ i \in F(S)\), \(r_ i \in R\). A function \(f: \mathbb{N} \to \mathbb{N}\) is called an isoperimetric function for the presentation \(\mathcal P\) if for every \(n \in \mathbb{N}\) and every relator \(w\) with \(\ell(w) \leq n\) we have \(\text{Area}(w) \leq f(n)\). The smallest isoperimetric function for \(\mathcal P\) is called the Dehn function of \(\mathcal P\). On the set of functions \(\mathbb{N} \to \mathbb{N}\) we consider the following partial ordering: \(f\preccurlyeq g\) if and only if there exist positive constants \(A\), \(B\), \(C\), \(D\), \(E\) such that \(f(n) \leq Ag(Bn + C) + Dn + E\) for all \(n \in \mathbb{N}\). We say that \(f\) and \(g\) are equivalent if and only if \(f\preccurlyeq g\) and \(g\preccurlyeq f\) (and write \(f \simeq g\)). Consider the split extension \(1 \to \mathbb{Z}^ n \to \mathbb{Z} \to 1\). Let \(e_ 1,\dots,e_ n\) be a basis for \(\mathbb{Z}^ n\), \(u\) be a generator of \(\mathbb{Z}\). There is \(A \in GL_ n(\mathbb{Z})\) such that \(\Gamma = \mathbb{Z}^ n\rtimes\mathbb{Z}\) admits the ``natural'' presentation \(\langle e_ 1,\dots,e_ n, u \mid [e_ i,e_ j],\;(u e_ i u^{-1} A(e_ i)^{-1})^{\pm 1}\rangle\), where \(1 \leq i,j \leq n\). If \(M\) is the matrix with the coefficients \(m_{ij}\) then put \(\| M\| = \text{sup}_{i,j} | m_{ij}|\). Theorem 5.1. Let \(\Gamma = \mathbb{Z}^ n\rtimes\mathbb{Z}\) and \(f: \mathbb{N} \to \mathbb{N}\) be the Dehn function for a finite presentation of \(\Gamma\). Then \(f(k)\preccurlyeq k^ 2\| A^ k\|\). -- Let \(U_ n = (u_{ij})\) be the \(n \times n\) unipotent matrix defined by \(u_{ij} =1\), if \(i = j\) or \(i + 1 = j\), \(u_{ij}=0\) otherwise, \(A_ n = ({{U_ n} \atop {U_ n}} \;{0 \atop {^ t U_ n^{-1}}})\), \(\Gamma_ n = \mathbb{Z}^{2n} \rtimes_{A_ n} \mathbb{Z}\). Theorem 6.2. The group \(\Gamma_ n\) is nilpotent of class \(c = 2n\) and the Dehn function for any finite presentation of \(\Gamma_ n\) is equivalent to a polynomial of degree \(c + 1\).