# Cayley complex as universal covering space

In Combinatorial Group Theory, Lyndon and Schupp construct a complex $K(X;R)$ from a presentation of group $G=(X;R)$, such that $G \simeq \pi_1(K,v)$ (proposition 2.3, p.117). Moreover, the Cayley complex of $G$ is the universal covering space of $K(X;R)$ (proposition 4.3, p. 124).

The only application I found in the book is the subgroup theorem of Schreier and Nielsen (every subgroup of a free group is free).

Are there any other interesting applications?

-
add comment

## 3 Answers

These ideas have been developed to higher dimensions, with the intention of constructing resolutions of a group starting from a presentation; the method is to construct inductively the universal covering complex together with a contracting homotopy. The first stage is to choose a maximal tree in a Cayley graph. This has been implemented by Graham Ellis, see http://hamilton.nuigalway.ie/Hap/www/index.html.

You can also see a groupoid approach to the subgroup theorems, including the Kurosh Theorem, on subgroups of a free product, and a generalisation of Grusko's Theorem, in Philip Higgins' downloadable book Categories and Groupoids.

The relations with topology, and a groupoid, i.e. base point free, approach to covering spaces, are given in my book Topology and Groupoids. The key point in both books is the basic notion of covering morphism of groupoids, and its relation with actions. A virtue of this notion is that a covering map is modelled by a covering morphism, and so lifting of maps is studied via lifting of morphisms, and so is easier to follow and understand.

-
add comment

Another application is the generalised version of the Alexander polynomial.

Let $G$ be a finitely-generated group, and take $(X,p)$ to be a CW-complex (say) with $\pi_1(X,p) = G$. Then take a homomorphism $\varphi : G \to F$, where $F$ is a free abelian group (maybe the maximal free abelian quotient of $G$, or just $\mathbb{Z}$, we can build the normal cover $\widetilde{X} \to X$ corresponding to $\ker \varphi$. Finally we associate to $G$ the homology group $H_1(\widetilde{X},\widetilde{p})$. This is a $\mathbb{Z}F$-module and an invariant of $G$.

It's fairly computable, and the usual knot-theoretic one is captured for $G$ the fundamental group of a knot complement and $F = G^\text{ab} (= \mathbb{Z})$.

Specifically for (adjectives) $3$-manifold groups, this more general theory gives you some lower bounds for an especially interesting invariant called the Thurston norm. It's basically the generalisation of "the degree of the Alexander polynomial is no larger than the knot genus".

-
add comment

Such a construction shows that a finitely-presented group acts freely and cocompactly on a simply connected simplicial 2-complex.

Using minimal tracks, Dunwoody deduced that finitely-presented groups are accessible, in the sense that they may be written as the fundamental group of a finite graph of groups whose edges are finite groups and whose vertices are groups with at most one end. As corollaries, we get Stallings' theorem or the stability of virtually free groups up to quasi-isometries (see Lectures on Geometric Group Theory, theorem 18.38, p. 473).

-
add comment