nLab
2-crossed complex

Contents

Idea

Crossed complexes are a useful extension of crossed modules allowing not only the encoding of an algebraic model for the homotopy 2-type, but also information on the ‘complex of chains on the universal cover?’. The category of crossed complexes is a monoidal closed category equivalent to various types of strict infinity-groupoid.

To model the homotopy 3-type of a space, we can use either a 2-crossed module or a crossed square (or various other algebraic models to be added some time in the future). A crossed complex is a ‘hybrid’, part crossed module but with a ‘tail’ which is a chain complex. What would be the ‘hybrid’ between a 2-crossed module and a chain complex? Are there examples that are easily constructed? What sort of information do they encode? Are they easy to analyse, understand, … and useful?

Definition

A 2-crossed complex is a normal complex of groups

C n nC n1C 0,\ldots \to C_n \stackrel{\partial_n}{\longrightarrow} C_{n-1} \longrightarrow \ldots \longrightarrow C_0,

together with a 2-crossed module structure given on C 2C 1C 0C_2\to C_1\to C_0 by a Peiffer lifting function {,}:C 1×C 1C 2\{ -,-\} : C_1\times C_1 \to C_2, such that, on writing π=Coker(C 1C 0)\pi = Coker(C_1\to C_0),

  1. each C nC_n, n3n\geq 3 and Ker 2Ker \,\partial_2 are π\pi-modules and the n\partial_n for n4n\geq 4, together with the codomain restriction of 3\partial_3, are π\pi-module homomorphisms;

  2. the π \pi -module structure on Ker 2Ker \partial_2 is the action induced from the C 0C_0-action on C 2C_2 for which the action of 1C 1\partial_1 C_1 is trivial.

A 2-crossed complex morphism is defined in the obvious way, being compatible with all the actions, the pairings and Peiffer liftings. We will denote by 2Crs2 Crs, the corresponding category.

Examples:

  • Any 2-crossed module clearly gives a 2-crossed complex (with trivial ‘tail’).

  • From simplicial groups to 2-crossed complexes. If GG is a simplicial group, then

C(G) 3𝒩G 2d 0(𝒩G 3D 3)𝒩G 1𝒩G 0, \ldots \to C(G)_3 \to \frac{\mathcal{N}G_2}{d_0(\mathcal{N}G_3\cap D_3)} \to \mathcal{N}G_1\to \mathcal{N}G_0,

has the structure of a 2-crossed complex, where 𝒩G\mathcal{N}G is the Moore complex of GG, D nD_n is the subgroup of G nG_n generated by the degenerate elements, and, for n>2n\gt2,

C(G) n=𝒩G n(𝒩G nD n)d 0(𝒩G n+1D n+1),{C}(G)_{n} = \frac{\mathcal{N}G_n}{(\mathcal{N}G_n\cap D_n)d_0(\mathcal{N}G_{n+1}\cap D_{n+1})},

is the nn-dimensional term of the crossed complex, C(G)C(G), associated to the simplicial group GG as in the entry crossed complex (in the section From simplicial group(oid)s to crossed complexes.)

(There is an obvious extension of the group based definition above to a groupoid based one, and of this construction to one which takes as input a simplicially enriched groupoid.)

The Moore complex of a simplicial group GG has the structure of a 2-crossed complex if and only if for each n>2n\gt 2, 𝒩G nD n\mathcal{N}G_n\cap D_n is trivial. This means that the axioms of a group T-complex are almost satisfied, but not necessarily in dimension 2.

  • A quadratic chain complex as defined by H.J. Baues is a special case of a 2-crossed complex, satisfying additional (pre-crossed module) nilpotency condition at the level of the underlying pre-crossed module. (In fact the category of quadratic chain complexes is a reflective subcategory of the category of 2-crossed complexes.) In Baues’ book referenced below, there is the construction of the fundamental quadratic chain complex of a pointed CW-complex. The reflection (or cotruncation) of this to the category of quadratic modules (i.e. 3-truncated quadratic chain complexes) faithfully represents the homotopy 3-type of a CW-space (at the level of spaces and maps between them).

  • Graham Ellis defined the fundamental squared complex of a CW-complex from triad homotopy groups and generalised Whitehead products, and showed how Baues fundamental quadratic chain complex of a CW-complex can be obtained from it. A homotopy 2-crossed complex of a CW-complex can also be defined is the same way, see the work of João Faria Martins below.

Crossed complexes and 2-crossed complexes.

Any crossed complex can be given the structure of a 2-crossed complex simply by defining a trivial Peiffer lifting, {,}\{-,-\}. As the Peiffer lifting covers the Peiffer commutators in C 1C_1, and these are trivial (since the bottom of the crossed complex is a crossed module), this trivial Peiffer lifting works and gives a 2-crossed complex structure. This defines a functor from the category of crossed complexes to that of 2-crossed complexes.

Any 2-crossed complex which has a Peiffer lifting that is trivial {x,y}=1\{x,y\} = 1, for al x,yC 1x,y \in C_1) is isomorphic to a crossed complex in this sense.

This functor, from CrsCrs to 2Crs2-Crs, has a left adjoint which is the identity on the subcategory of 2Crs2-Crs with trivial Peiffer liftings, so CrsCrs is equivalent to a reflective subcategory of 2Crs2-Crs

References

  • See the Crossed Menagerie, chapter 4.

  • H.-J. Baues, Combinatorial Homotopy and 4-Dimensional Complexes , de Gruyter Expositions in Mathematics 2, Walter de Gruyter, (1991).

  • Graham Ellis, Crossed squares and combinatorial homotopy. Mathematische Zeitschrift Volume 214, Number 1, 93-110, DOI: 10.1007/BF02572393

  • João Faria Martins, Homotopies of 2-crossed complexes and the homotopy category of pointed 3-types (web pdf)

Revised on March 4, 2011 10:10:09 by João Faria Martins (83.132.139.196)