The quadratic isoperimetric inequality for mapping tori of free group automorphisms I: Positive automorphisms

Martin R. Bridson, Daniel P. Groves

If $F$ is a finitely generated free group and $\varphi$ is a positive automorphism of $F$ then $F{⋊}_{\varphi }Z$ satisfies a quadratic isoperimetric inequality.