On the cubical geometry of Higman's group

TL;DR

This paper explores the geometric properties of Higman's group acting on a CAT(0) square complex, revealing its automorphism structure, rigidity, and unique geometric features that resemble hyperbolic surface groups.

Contribution

It provides an explicit computation of Higman's group's automorphism and outer automorphism groups, and establishes new rigidity and geometric properties of the group.

Findings

Higman's group is both hopfian and co-hopfian.

Every non-trivial endomorphism of Higman's group is an automorphism.

The group exhibits rigidity and negative curvature-like features despite complex flat structures.

Abstract

We investigate the cocompact action of Higman's group on a CAT(0) square complex associated to its standard presentation. We show that this action is in a sense intrinsic, which allows for the use of geometric techniques to study the endomorphisms of the group, and show striking similarities with mapping class groups of hyperbolic surfaces, outer automorphism groups of free groups and linear groups over the integers. We compute explicitly the automorphism group and outer automorphism group of Higman's group, and show that the group is both hopfian and co-hopfian. We actually prove a stronger rigidity result about the endomorphisms of Higman's group: Every non-trivial morphism from the group to itself is an automorphism. We also study the geometry of the action and prove a surprising result: Although the CAT(0) square complex acted upon contains uncountably many flats, the Higman group does not contain subgroups isomorphic to Z^2. Finally, we show that this action possesses features reminiscent of negative curvature, which we use to prove a refined version of the Tits alternative for Higman's group.