Fundamental groups of small simplicial complexes

Abstract: The number of nonisomorphic simplicial complexes with up to $n$ vertices increases super-exponentially with $n$, which makes exhaustive computation of invariants associated with such complexes a daunting task. In this paper we provide a complete list of groups that arise as fundamental groups of simplicial complexes with at most $8$ vertices. In addition we give many examples of fundamental groups of complexes with $9$ vertices although the complete classification seems to be beyond reach at the moment. Our results lead to many applications, including progress on the Bj\"orner-Lutz conjecture regarding vertex-minimal triangulations of the Poincar\'e homology sphere, improved recognition criteria for PL triangulations of manifolds and computation of the Karoubi-Weibel invariant for many groups.