Crossed complexes are a variant of chain complexes of modules over integral group rings but strengthened in two ways:
i) in general, they are non-commutative in dimensions and ; and
ii) they are based on groupoids rather than groups. More specifically, the part is a crossed module of groupoids. An advantage of i) is that allows for crossed complexes to encode information on presentations of groups, or, through ii), of groupoids. An advantage of ii) is that it allows the modeling of cell complexes with many base points. This is necessary for modeling: the geometry of simplices; covering spaces, and in particular Cayley graphs; and the equivariant theory. It is also essential for the closed category structure on the category of crossed complexes. However, the reduced case, i.e. when is a singleton, is also important.
Crossed complexes arise naturally from relative homotopy theory (cf. also Homotopy) as follows. A filtered space is a sequence of increasing subspaces of a space . One easily gets a category of filtered spaces. There is a homotopy crossed complex functor , defined using the fundamental groupoid (cf. also Fundamental group), the relative homotopy groups , , (cf. also Homotopy group), and appropriate boundary mappings and actions. Using geometric realization and the skeletal filtration, one gets a functor from simplicial sets to crossed complexes (cf. also Simplicial set). This has a left adjoint , the nerve, and from this one gets the classifying space functor , for which is called the classifying space of the crossed complex (cf. also Classifying space). There is a natural isomorphism , which shows that the axioms for a crossed complex are exactly the properties universally held by the topological example .
The category of crossed complexes is symmetric monoidal closed (cf. also Category; Closed category; Monoid), so that for any crossed complexes , , there is a tensor product and an internal Hom with a natural bijection . The elements of degree and in are, respectively, the morphisms and the homotopies of such morphisms. So one can form the set of homotopy classes of morphisms . A homotopy classification theorem is that if is the skeletal filtration of a CW-complex , then there is a natural weak homotopy equivalence which induces a natural bijection . This includes results on the homotopy classification of mappings into Eilenberg–MacLane spaces, including the case of local coefficients (cf. also Eilenberg–MacLane space).
There is a generalized Van Kampen theorem [a5], stating that the functor preserves certain colimits. This specializes to the crossed module case. It also implies the relative Hurewicz theorem (an advantage of this deduction is its generalization to the -adic situation [a7]).
The proof of the generalized Van Kampen theorem given in [a5] generalizes the methods of the usual proof of the -dimensional theorem, by introducing the category - of cubical -groupoids, and a functor , together with an equivalence of categories such that is naturally equivalent to . Three properties of the algebraic objects -groupoids that are necessary for the proof are:
a) an expression for an algebraic inverse to subdivision;
b) an expression for the homotopy addition lemma;
c) a method for dealing with compositions of homotopy addition lemma situations. The proofs that is an -groupoid, i.e. is a form of higher homotopy groupoid, and is equivalent to , are non-trivial.
There are other categories equivalent to , for example those of certain kinds of simplicial groups, and of so-called simplicial -complexes, which are simplicial sets with distinguished thin elements and which are Kan complexes in a strong sense [a1] (see also Simplicial set). The latter equivalence uses the nerve functor and generalizes the so-called Dold–Kan relation between chain complexes and simplicial Abelian groups. There is also an equivalence with a category of globular -groupoids [a6], and this shows a relation with multiple category theory [a12], p. 574. Also, the tensor product of crossed complexes corresponds to a tensor product of -groupoids which extends for the groupoid case a tensor product of -categories due to A. Gray [a12], § 6.
There is a functor from to a category of chain complexes of modules of groupoids, and which has a right adjoint. This enables a link with classical concepts of the cohomology of groups. It also relates crossed complexes to the Fox free differential calculus defined for a presentation of a group. However, crossed complexes do carry more information than the corresponding chain complex. In particular, one can define free crossed complexes; the special case of free crossed resolutions is convenient for determining a presentation for the module of identities among relations for a presentation of a group.
The general background to the use of reduced crossed complexes and their analogues in other algebraic settings, and as a tool in non-Abelian homological algebra, is given in [a10]. This paper also shows that the use of crossed complexes to give representatives of cohomology groups of a group with coefficients in a -module is a special case of results on a cohomology theory for algebras relative to a variety.
The Eilenberg–Zil'ber theorem (see Simplicial set) for the chain complex of a product of simplicial sets , has been generalized to a natural strong deformation retraction from (cf. also Deformation retract). This allows for small models of homotopy colimits of crossed complexes.
Crossed complexes do form a closed model homotopy category in the sense of D. Quillen, but stronger results in some areas, such as equivariant theory [a4], can be obtained by constructing the appropriate homotopy coherence theory and the above homotopy colimits.
In Baues' scheme of algebraic homotopy [a2], reduced crossed complexes are called crossed chain complexes and are regarded as the linear models of pointed homotopy types. Extra quadratic information can be carried by crossed complexes with an algebra structure satisfying the usual monoid conditions. These form a non-Abelian generalization of DG-algebras. They are also a context for some notions of higher-order symmetry and for algebraic models of -types.
Another generalization of crossed modules is that of crossed -cubes of groups. These are remarkable for modeling all pointed, connected homotopy -types. They are equivalent to certain kinds of -fold groupoids [a8]. Thus, in answer to questions in the early part of the 20th century, there are higher-dimensional generalizations of the fundamental group, retaining its non-commutative nature, but which take the form of higher homotopy groupoids rather than higher homotopy groups.
Although crossed complexes form only a limited model of homotopy types, their nice formal properties as described above make them a useful tool for extending chain complex methods in a geometric and more powerful manner. This was part of the motivation for applications by J.H.C. Whitehead in combinatorial homotopy theory and simple homotopy theory [a13], [a14], which are generalized in [a2]. Whitehead's term homotopy systems for reduced free crossed complexes is also used in [a11], where applications are given to Morse theory.
|[a1]||N.D. Ashley, "Simplicial T-complexes: a non-abelian version of a theorem of Dold–Kan" Dissert. Math. , 165 (1988) (PhD Thesis Univ. Wales, 1976)|
|[a2]||H.-J. Baues, "Algebraic homotopy" , Cambridge Univ. Press (1989)|
|[a3]||R. Brown, "Computing homotopy types using crossed -cubes of groups" N. Ray (ed.) G. Walker (ed.) , Adams Memorial Symposium on Algebraic Topology , 1 , Cambridge Univ. Press (1992) pp. 187–210|
|[a4]||R. Brown, M. Golasinski, T. Porter, A. Tonks, "On function spaces of equivariant maps and the equivariant homotopy theory of crossed complexes" Indag. Math. , 8 (1997) pp. 157–172|
|[a5]||R. Brown, P.J. Higgins, "Colimit theorems for relative homotopy groups" J. Pure Appl. Algebra , 22 (1981) pp. 11–41|
|[a6]||R. Brown, P.J. Higgins, "The equivalence of -groupoids and crossed complexes" Cah. Topol. Géom. Diff. , 22 (1981) pp. 371–386|
|[a7]||R. Brown, J.-L. Loday, "Homotopical excision, and Hurewicz theorems, for -cubes of spaces" Proc. London Math. Soc. , 54 (1987) pp. 176–192|
|[a8]||G.J. Ellis, R. Steiner, "Higher-dimensional crossed modules and the homotopy groups of -ads" J. Pure Appl. Algebra , 46 (1987) pp. 117–136|
|[a9]||J. Huebschmann, "Crossed -fold extensions and cohomology" Comment. Math. Helvetici , 55 (1980) pp. 302–314|
|[a10]||A.S.-T. Lue, "Cohomology of groups relative to a variety" J. Algebra , 69 (1981) pp. 155–174|
|[a11]||V.V. Sharko, "Functions on manifolds: Algebraic and topological aspects" , Transl. Math. Monogr. , 113 , Amer. Math. Soc. (1993)|
|[a12]||R. Street, "Categorical structures" M. Hazewinkel (ed.) , Handbook of Algebra , I , Elsevier (1996) pp. 531–577|
|[a13]||J.H.C. Whitehead, "Combinatorial homotopy II" Bull. Amer. Math. Soc. , 55 (1949) pp. 453–496|
|[a14]||J.H.C. Whitehead, "Simple homotopy types" Amer. J. Math. , 72 (1950) pp. 1–57|
|[a15]||R. Brown, "Groupoids and crossed objects in algebraic topology" Homology, Homotopy and Appl. , 1 (1999) pp. 1–78|
Crossed complex. R. Brown (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Crossed_complex&oldid=15743