Pointed homotopy and pointed lax homotopy of 2-crossed module maps

Abstract

We address the (pointed) homotopy theory of 2-crossed modules (of groups), which are known to faithfully represent Gray 3-groupoids, with a single object, and also connected homotopy 3-types. The homotopy relation between 2-crossed module maps will be defined in a similar way to Crans' 1-transfors between strict Gray functors, however being pointed, thus this corresponds to Baues' homotopy relation between quadratic module maps. Despite the fact that this homotopy relation between 2-crossed module morphisms is not, in general, an equivalence relation, we prove that if $A$ and $A^{\prime }$ are 2-crossed modules, with the underlying group $F$ of $A$ being free (in short $A$ is free up to order one), then homotopy between 2-crossed module maps $A\to A^{\prime }$ yields, in this case, an equivalence relation. Furthermore, if a chosen basis $B$ is specified for $F$, then we can define a 2-groupoid $HO{M}_B(A,A^{\prime })$ of 2-crossed module maps $A\to A^{\prime }$, homotopies connecting them, and 2-fold homotopies between homotopies, where the latter correspond to (pointed) Crans' 2-transfors between 1-transfors. We define a partial resolution $Q^1(A)$, for a 2-crossed module $A$, whose underlying group is free, with a canonical chosen basis, together with a projection map $\mathrm{proj}:Q^1(A)\to A$, defining isomorphisms at the level of 2-crossed module homotopy groups. This resolution (which is part of a comonad) leads to a weaker notion of homotopy (lax homotopy) between 2-crossed module maps, which we fully develop and describe. In particular, given 2-crossed modules $A$ and $A^{\prime }$, there exists a 2-groupoid ${HOM}_{\mathrm{LAX}}(A,A^{\prime })$ of (strict) 2-crossed module maps $A\to A^{\prime }$, and their lax homotopies and lax 2-fold homotopies. The associated notion of a (strict) 2-crossed module map $f:A\to A^{\prime }$ to be a lax homotopy equivalence has the two-of-three property, and it is closed under retracts.

v3: Major revision. A perfected version will appear in Advances in Mathematics

References in corpus (3)

• On Algebraic Models for Homotopy 3-Types
• Normalisation for the fundamental crossed complex of a simplicial set
• Mapping Spaces of Gray-Categories

Cited by in corpus (7)

• Higher lattices, discrete two-dimensional holonomy and topological phases in (3+1) D with higher gauge symmetry
• Pointed Homotopy of Maps Between 2-Crossed Modules of Commutative Algebras
• Two-Fold Homotopy of 2-Crossed Module Maps of Commutative Algebras
• Mapping Spaces of Gray-Categories
• From Simplicial Homotopy to Crossed Module Homotopy in Modified Categories of Interest
• Link invariants from finite categorical groups and braided crossed modules
• The Moore Complex of a Simplicial Cocommutative Hopf Algebra