nLab
free crossed module

In this exposition we will follow the book listed below in writing crossed modules with operations on the right. Thus a crossed module is in the first instance a morphism μ:MP\mu: M \to P of groups together with an operation of the group PP on the right of the group MM written (m,p)m p(m,p) \mapsto m^p, satisfying the following two axioms:

CM1) μ(m p)=p(μm)p 1 \mu (m^p)= p(\mu m)p^{-1};

CM2) mnm 1=n μm mnm^{-1} = n^{\mu m} ;

for all m,nM,pPm,n \in M, p \in P.

The notion of free crossed module was developed by J.H.C. Whitehead in the period 1941-1949 to model algebraically the structure of the second relative homotopy group of an adjunction space π 2(A{e λ 2} λΛ,A,x)\pi_2(A \cup \{e^2_\lambda\}_{\lambda \in \Lambda},A,x) considered as a crossed module over π 1(A,x)\pi_1(A,x). This work is also related to independent work of Peiffer and Reidemeister on Identities among relations.

It can also be considered as arising from the notion of a resolution for a group, by analogy with resolutions for modules, but in a nonabelian framework. So in combinatorial group theory we consider a presentation XR \langle X \mid R \rangle of a group GG. Thus XX is a set of generators of the group GG and RR is a set of relators, that is, RR is a subset of F(X)F(X), the free group on the set XX. So we have an epimorphism ϕ:F(X)G\phi: F(X) \to G with kernel NN, say, a normal subgroup of F(X)F(X), and NN is the normal closure of RR in F(X)F(X). All this reflect the fact that if ϕ(u)=1\phi (u) =1, where uF(X)u \in F(X), then ϕ(pup 1)=1\phi (pup^{-1} ) = 1 for all pF(X)p \in F(X).

Let P=F(X)P=F(X), and write R P\langle R\rangle^P for the normal closure of the set RR in PP. The elements of R P\langle R\rangle^P are all consequences of RR in PP, namely all products

c=(r 1 ϵ 1) p 1(r m ϵ m) p m c=(r_{1}^{\epsilon _{1}})^{p_{1}} \dots (r_{m}^{\epsilon _{m}})^{p_{m}}

where r iRr_{i} \in R, ϵ i=±1\epsilon _{i} = \pm 1, p iPp_{i} \in P and m1m \geq 1, and u p=pup 1u^p = pup^{-1}. An important point is that if ϕ:PQ\phi \colon P \to Q is any morphism of groups such that ϕ(R)={1}\phi (R)=\{1\} , then ϕ(R P)={1}\phi (\langle R\rangle^P) =\{1\}, since Ker ϕ \phi is normal. Thus ϕ\phi factors as PP/R PQP \to P/\langle R\rangle^P \to Q where the first morphism is the quotient morphism.

It is also convenient to allow for repeated relators, which, as we shall see, corresponds to attaching several cells by the same map. So we replace the subset RR of P=F(X)P=F(X) by a function ω:RP\omega: R \to P.

We now drop the assumption that PP is free. We form the free PP-group F P(R)F^P(R) on the set RR: this is the free group on elements (r,p)R×P(r,p) \in R \times P, and has an action of the group PP determined by (r,p) q=(r,pq)(r,p)^q=(r,pq). There is a morphism of groups θ:F P(R)P\theta : F^P(R) \to P given by θ(r,p)=(ω(r)) p\theta (r,p)= (\omega(r))^p. Then θ\theta is a PP-morphism: θ(w p)=θ(w) p\theta (w^p)= \theta (w)^p for all wF P(R),pPw \in F^P(R), p \in P.

We now define for u,vF P(R)u,v \in F^P(R) the Peiffer commutator to be the element

[[u,v]]=uvu 1(v θu) 1. [\! [ u,v]\! ] = uvu^{-1}(v^{\theta u})^{-1}.

Note that θ([[u,v]])=1F P(R)\theta([ \! [ u,v] \! ] )=1 \in F^P(R). It may be proved that the Peiffer commutators generate a normal subgroup called the Peiffer group of θ\theta, and written [[F P(R),F P(R)]] [ \! [ F^P(R), F^P(R)]\! ] . The quotient group F P(R)/[[F P(R),F P(R)]]F^P(R)/ [\! [ F^P(R),F^P(R) ]\! ] is written FC(ω)FC(\omega) and there is an induced morphism

δ:FC(ω)P\delta : FC(\omega) \to P

with image (ω(R)) P\langle(\omega(R))\rangle^P. This construction is called the free crossed module on ω:RP\omega: R \to P. The kernel of δ\delta is actually a PP-module, and is called the module of identities among relations.

A useful fact is that this free crossed module may also be described as the pushout in the category of crossed modules

(1F(R)) (1P) (F(R)F(R)) (FC(ω)P)\begin{matrix}(1 \to F(R))&\to & (1 \to P) \\ \downarrow&& \downarrow \\ (F(R) \to F(R)) &\to& (FC(\omega) \to P)\end{matrix}

where the morphism of groups i:F(R)FC(ω)i:F(R) \to FC(\omega) is given by i(w)=[(w,1)]i(w) = [(w,1)], the class of (w,1)(w,1) in FC(ω)FC(\omega). This shows the relevance of a Seifert-Van Kampen Theorem for second relative homotopy groups, since the above pushout comes from applying the fundamental crossed module functor Π 2\Pi_2 on based pairs given by

Π 2(X,A,x)=(δ:π 2(X,A,x)π 1(A,x))\Pi_2(X,A,x)= (\delta: \pi_2(X,A,x) \to \pi_1(A,x))

to the pushout of pairs of spaces defining the based pair (A{e λ 2} λΛ,A,x)(A \cup \{e^2_\lambda\}_{\lambda \in \Lambda}, A,x). This theorem also shows that we can generalise this situation to a pushout of crossed modules

(1S) (1P) (SS) (MP)\begin{matrix}(1 \to S)&\to & (1 \to P) \\ \downarrow&& \downarrow \\ (S \to S) &\to& ( M \to P)\end{matrix}

where SS is now any group; the crossed module MPM \to P then gives the fundamental crossed module of the pair (ACY,A,x)(A \cup CY,A,x) determined by a map f:YAf: Y \to A and where S=π 1(Y,y)S=\pi_1(Y,y). Note that (ACY,A)(A \cup CY,A) arises in a pushout diagram of the form

(Y,Y) (A,A) (CY,Y) (ACY,A)\begin{matrix}(Y,Y)&\to & (A,A) \\ \downarrow&& \downarrow \\ (CY,Y) &\to& (A \cup CY,A)\end{matrix}

This generalisation of Whitehead’s theorem on free crossed modules was discovered as a consequence of the 2-dimensional Seifert-van Kampen Theorem. It has been used to give explicit computations of the crossed module π 2(ACY,A,x)π 1(A,x)\pi_2(A \cup CY,A,x)\to \pi_1(A,x) in the case the map YAY \to A is the map of classifying spaces BGBP BG \to BP induced by a morphism ϕ:GP\phi: G \to P of groups. It may also be proved that if G,PG,P are finite groups, so also is the group MM. This gives impetus to calculations, and some of these are best done with a computer.

For more information on these topics see Part I of the book on “Nonabelian algebraic topology” listed below.

It is convenient to generalise the above to crossed modules over groupoids, to model the situation of attaching cells at different points. So we assume given μ:MP\mu: M \to P where M,PM,P are groupoids, μ\mu is the identity on objects, MM is a union of groups M(x),xP 0=Ob(P)M(x), x \in P_0 = Ob(P) and the operation of PP on MM is such that if pP(x,y),mM(x)p \in P(x,y), m \in M(x), then m pM(y)m^p \in M(y), with the obvious axioms.

References

  • Whitehead, J. H.~C., “Combinatorial homotopy. II”. Bull. Amer. Math. Soc. 55 (1949) 453–496.

  • Brown, R. and Higgins, P.J., “On the connection between the second relative homotopy groups of some related spaces”, Proc. London Math. Soc. (3) 36 (1978) 193–212.

  • R. Brown, P.J. Higgins, R. Sivera, Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids, EMS Tracts in Mathematics Vol. 15, 703 pages. (August 2011).

Revised on July 24, 2012 12:12:19 by Ronnie Brown (81.154.120.168)