The automorphism group of the free group of rank two is a CAT(0) group

Adam Piggott, Kim Ruane, Genevieve S. Walsh

We prove that the automorphism group of the braid group on four strands acts faithfully and geometrically on a CAT(0) 2-complex. This implies that the automorphism group of the fre…