Quadratic isoperimetric inequality for mapping tori of polynomially growing automorphisms of free groups
type: Item
instance of: scholarly article
title: Quadratic isoperimetric inequality for mapping tori of polynomially growing automorphisms of free groups
zbMATH Open document ID: 0980.20031
DOI: 10.1007/PL00001642
published in: Geometric and Functional Analysis. GAFA
publication date: 2001-03-12T00:00:00Z
review text: Let \(X\) be a finite cell complex and \(\widetilde X\) its universal cover. Assigning to each edge of \(X\) a length of one induces a combinatorial metric on the one-skeleton on \(\widetilde X\) which may be extended to a metric \(d_{\widetilde X}\) on \(\widetilde X\). There is a similar notion of combinatorial area in \(X\). For an edge path \(c\subset X\) or \(c\subset\widetilde X\) denote by \(|c|\) the combinatorial length of \(c\). A function \(f\colon\mathbb{N}\to\mathbb{N}\) is an isoperimetric function for \(X\) if for all \(n\) and all closed edge paths \(c\subset\widetilde X\) with \(|c|\leq n\) there is a disk \(\Delta\colon D^2\to\widetilde X\) with combinatorial area \(\text{Area}(\Delta)\leq f(n)\). We say that \(X\) satisfies the quadratic isoperimetric inequality if it possesses a quadratic isoperimetric function. A group satisfies quadratic isoperimetric inequality if it is the fundamental group of a finite cell complex which satisfies quadratic isoperimetric inequality. The main result of this paper is that the semidirect product \(F_n\triangleleft_\varphi\mathbb{Z}\) (mapping torus) of a free group \(F_n\) of finite rank \(n\) by \(\mathbb{Z}\) via a polynomially growing automorphism \(\varphi\) of \(F_n\), satisfies the quadratic isoperimetric inequality. The method of proof is geometric and is based on work by \textit{M. Bestvina}, \textit{M. Feighn} and \textit{M. Handel} [The Tits alternative for \(\text{Out}(F_n)\). I, Ann. Math. (2) 151, No. 2, 517-623 (2000; Zbl 0984.20025) and II, preprint (1996)]. The author introduces the concept of a Kolchin map which enables her to use induction on the degree of the polynomial growth of the automorphism. So she proves that a linearly growing map \(f\colon G\to G\) satisfies the quadratic isoperimetric inequality. This is the induction step to prove that if \(f\colon G\to G\) is a Kolchin map that grows polynomially with degree \(d\), the mapping torus \(M_f=G\times I|_{(x,0)\sim(f(x),1)}\) satisfies …
Mathematics Subject Classification ID: 20F65
Mathematics Subject Classification ID: 20E36
Mathematics Subject Classification ID: 20E05
Mathematics Subject Classification ID: 57M07
zbMATH DE Number: 1545125
zbMATH Keywords: mapping tori
zbMATH Keywords: finite cell complexes
zbMATH Keywords: universal covers
zbMATH Keywords: isoperimetric functions
zbMATH Keywords: quadratic isoperimetric inequality
zbMATH Keywords: semidirect products
zbMATH Keywords: free groups
zbMATH Keywords: polynomially growing automorphisms
zbMATH Keywords: Kolchin maps
author: Nataša Macura
MaRDI profile type: Publication
full work available at URL: pl00001642
OpenAlex ID: W2145528901
Recommended article: The quadratic isoperimetric inequality for mapping tori of free group automorphisms
Recommended article: Isoperimetric inequalities for automorphism groups of free groups
Recommended article: Isoperimetric growth theorems for quasiconformal automorphisms of a circle
Recommended article: On the asymptotic cone of groups satisfying a quadratic isoperimetric inequality
Recommended article: Isoperimetric inequalities and the homology of groups
Recommended article: Optimal isoperimetric inequalities for abelian-by-free groups
Recommended article: HYPERBOLICITY OF GROUPS WITH SUBQUADRATIC ISOPERIMETRIC INEQUALITY
Recommended article: Quasiconvexity of the fixed-point set of an automorphism of a hyperbolic group
Recommended article: Automorphic quasimeromorphic mappings for torsionless hyperbolic groups
description: scientific article; zbMATH DE number 1545125