The quadratic isoperimetric inequality for mapping tori of free group automorphisms II: The general case

If F is a finitely generated free group and \phi is an automorphism of F then the mapping torus of \phi admits a quadratic isoperimetric inequality. This is the third and final paper in a series proving this theorem. The first two were math.GR/0211459 and math.GR/0507589.Comment: 73 page

On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups

We show that the isomorphism problem is solvable in the class of central extensions of word-hyperbolic groups, and that the isomorphism problem for biautomatic groups reduces to that for biautomatic groups with finite centre. We describe an algorithm that, given an arbitrary finite presentation of an automatic group $\Gamma$, will construct explicit finite models for the skeleta of $K(\Gamma,1)$ and hence compute the integral homology and cohomology of $\Gamma$.Comment: 21 pages, 4 figure

Extrinsic versus intrinsic diameter for Riemannian filling-discs and van Kampen diagrams

The diameter of a disc filling a loop in the universal covering of a Riemannian manifold may be measured extrinsically using the distance function on the ambient space or intrinsically using the induced length metric on the disc. Correspondingly, the diameter of a van Kampen diagram filling a word that represents the identity in a finitely presented group can either be measured intrinsically its 1-skeleton or extrinsically in the Cayley graph of the group. We construct the first examples of closed manifolds and finitely presented groups for which this choice -- intrinsic versus extrinsic -- gives rise to qualitatively different min-diameter filling functions.Comment: 44 pages, 12 figures, to appear in the Journal of Differential Geometr

Actions of arithmetic groups on homology spheres and acyclic homology manifolds

We establish lower bounds on the dimensions in which arithmetic groups with torsion can act on acyclic manifolds and homology spheres. The bounds rely on the existence of elementary p-groups in the groups concerned. In some cases, including Sp(2n,Z), the bounds we obtain are sharp: if X is a generalized Z/3-homology sphere of dimension less than 2n-1 or a Z/3-acyclic Z/3-homology manifold of dimension less than 2n, and if n \geq 3, then any action of Sp(2n,Z) by homeomorphisms on X is trivial; if n = 2, then every action of Sp(2n,Z) on X factors through the abelianization of Sp(4,Z), which is Z/2.Comment: Final version, to appear in Math Zeitschrif

Absolute profinite rigidity and hyperbolic geometry

We construct arithmetic Kleinian groups that are profinitely rigid in the absolute sense: each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. The Bianchi group $\mathrm{PSL}(2,\mathbb{Z}[\omega])$ with $\omega^2+\omega+1=0$ is rigid in this sense. Other examples include the non-uniform lattice of minimal co-volume in $\mathrm{PSL}(2,\mathbb{C})$ and the fundamental group of the Weeks manifold (the closed hyperbolic $3$-manifold of minimal volume).Comment: v2: 35 pages. Final version. To appear in the Annals of Mathematics, Vol. 192, no. 3, November 202

On Normal Subgroups of Coxeter Groups Generated by Standard Parabolic Subgroups

We discuss one construction of nonstandard subgroups in the category of Coxeter groups. Two formulae for the growth series of such a subgroups are given. As an application we construct a flag simple convex polytope, whose f-polynomial has non-real roots.Comment: 12 pages, figure

On abstract commensurators of groups

We prove that the abstract commensurator of a nonabelian free group, an infinite surface group, or more generally of a group that splits appropriately over a cyclic subgroup, is not finitely generated. This applies in particular to all torsion-free word-hyperbolic groups with infinite outer automorphism group and abelianization of rank at least 2. We also construct a finitely generated, torsion-free group which can be mapped onto Z and which has a finitely generated commensurator.Comment: 13 pages, no figur