Normalisation for the fundamental crossed complex of a simplicial set

zbMATH Open1184.55007arXivmath/0611728MaRDI QIDQ847547FDOQ847547

Authors: Ronald Brown, Rafael Sivera 

Publication date: 17 February 2010

Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)

Abstract: Crossed complexes are shown to have an algebra sufficiently rich to model the geometric inductive definition of simplices, and so to give a purely algebraic proof of the Homotopy Addition Lemma (HAL) for the boundary of a simplex. This leads to the {it fundamental crossed complex} of a simplicial set. The main result is a normalisation theorem for this fundamental crossed complex, analogous to the usual theorem for simplicial abelian groups, but more complicated to set up and prove, because of the complications of the HAL and of the notion of homotopies for crossed complexes. We start with some historical background, {and give a survey of the required basic facts on crossed complexes.}

Full work available at URL: https://arxiv.org/abs/math/0611728

Recommendations

• scientific article; zbMATH DE number 1236140
• Crossed modules as homotopy normal maps
• scientific article; zbMATH DE number 806707
• scientific article; zbMATH DE number 3890348
• scientific article; zbMATH DE number 3890362

zbMATH Keywords

groupoidcrossed modulenormalisationsimplicial setcrossed complexfundamental crossed complexhomotopy addition Lemma

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Singular homology and cohomology theory (55N10) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Homology with local coefficients, equivariant cohomology (55N25) Applied homological algebra and category theory in algebraic topology (55U99) Nonabelian homological algebra (category-theoretic aspects) (18G50)

Cited In (4)

• Title not available (Why is that?)
• Crossed complexes and higher homotopy groupoids as noncommutative tools for higher dimensional local-to-global problems
• Formalization of a normalization theorem in simplicial topology
• Pointed homotopy and pointed lax homotopy of 2-crossed module maps

Uses Software

• Gpd

This page was built for publication: Normalisation for the fundamental crossed complex of a simplicial set

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q847547)