Group Actions on CAT(0) Simplicial Complexes

The notions of nonpositive curved spaces and biautomatic groups are generalizations of the geometric properties of hyperbolic spaces and computational properties of their fundamental groups. Given the mutual origins of these conditions, one might conjecture that groups acting on nonpositive curved spaces are biautomatic. While the conventional wisdom is that counterexamples should exist, some groups acting on nonpositively curved spaces have been shown to be biautomatic. This article adds to the list of positive examples by proving that groups acting on CAT(0) simplicial 3-complexes are biautomatic.