An isoperimetric inequality for the Heisenberg groups (Q1386745)

It is shown that the Heisenberg groups \(H^{2n+1}\) of dimension five and higher, considered as Riemannian manifolds, satisfy a quadratic isoperimetric inequality. (This means that each loop of length \(L\) bounds a disk of area \(\sim L^2\).) The proof consists of an explicit construction of the disk spanning each loop in \(H^{2n+1}\). This property implies several important results about isoperimetric inequalities for discrete groups that act either on \(H^{2n+1}\) or on the complex hyperbolic space and provides interesting examples in geometric group theory.