nLab
complex of groups

This is an entry on the notion of complex of groups introduced by André Haefliger and Jon Corson? as a higher dimensional generalisation of the Bass-Serre theory of graphs of groups. (It does not refer to the idea of chain complexes of groups, i.e., chain complexes in the (more or less) usual sense.)

Contents

Idea

A complex of groups is a diagram of groups, homomorphisms and conjugations, corresponding, abstractly, to the system of inclusions of the stabiliser subgroups of an action of a group on a simplicial cell complex? or equivalently on a small category without loops?. If the complex is 1-dimensional one obtains a graph of groups - note however, the category of 1-complexes of groups is not equivalent as a category to the category of graphs of groups (see A. Thomas? Proposition 2.1).

Definition

We will initially give the definition in its ‘bare hands’ form. Here KK is a simplicial complex

A complex of groups, G(K)G(K), on KK is specified by the data, ({G σ},{ψ a},{g a,b})(\{G_\sigma\}, \{\psi_a\}, \{g_{a, b}\}) given by

ψ a:G i(a)G t(a),\psi_a :G_{i (a)} \rightarrow G_{t(a)},

for each edge, aE Ka \in E_K, of the barycentric subdivision of KK;

g a,b 1ψ ba( )g a,b=ψ aψ bg^{- 1}_{a, b} \psi_{ba} (_-) g_{a, b} = \psi_a \psi_b

and such that the ‘cocycle condition’

g a,cbψ a(g b,c)=g ab,cg a,bg_{a, cb} \psi_a (g_{b, c}) = g_{ab, c} g_{a, b}

holds.

Developability and the universal cover

(to come later)

The universal group and fundamental group

(to come later)

Examples

(to come later)

Complexes of groups as pseudofunctors.

see paper by Tom Fiore et al (below)

References

See also: