---
title: '3-Crossed Modules: Higher Algebraic Models'
url: https://www.emergentmind.com/topics/3-crossed-module
type: topic
---

# 3-Crossed Modules: Higher Algebraic Models

Searching arXiv for recent and foundational papers on 3-crossed modules to ground the article.
A **3-crossed module** is a higher-dimensional algebraic structure that extends crossed modules and 2-crossed modules by adjoining one further stage of boundary data together with higher Peiffer liftings or, in an operadic formulation, a dg \(P\)-algebra structure on a chain complex concentrated in degrees \(0,\dots,3\). Across the literature, 3-crossed modules are presented in several mathematically distinct but related settings: simplicial groups and commutative algebras, Lie algebras, operadic \(P\)-algebras, and higher-group symmetry in gauge theory. In each case, the common theme is that a length-3 complex encodes homotopy-4-type information or, equivalently in the operadic setting, a cohomological class in degree \(4\) [0812.4685], [1003.0985], [2411.04614], [2602.12648], [2512.22797].

## 1. Historical emergence and mathematical role

The notion of a 3-crossed module was introduced as the next stage after crossed modules and 2-crossed modules, extending Whitehead’s and Conduché’s frameworks to algebraic models of homotopy 4-types. In the group-theoretic formulation, a 3-crossed module is a complex of groups
\[
K \xrightarrow{\partial_3} L \xrightarrow{\partial_2} M \xrightarrow{\partial_1} N
\]
equipped with actions and higher Peiffer liftings, and the category of 3-crossed modules is equivalent to the category of simplicial groups whose Moore complex has length 3 [0812.4685]. That equivalence places 3-crossed modules alongside cat\(^3\)-groups and 3-hypercrossed complexes as algebraic models of connected homotopy 4-types [0812.4685].

The commutative-algebra analogue was developed as a higher-dimensional generalization of crossed modules and 2-crossed modules for commutative \(k\)-algebras, again with the explicit aim of organizing higher Peiffer relations and modeling homotopy 4-types [1003.0985]. The Lie algebra analogue is treated in parallel there, using the same pattern of actions, boundaries, and Peiffer liftings [1003.0985].

A later operadic reformulation substantially changes the presentation while retaining the same homological content. In that framework, a 3-crossed module is not defined by an explicit list of Peiffer identities, but as a dg \(P\)-algebra on a chain complex of length 3 whose only nontrivial homology lies in degrees \(0\) and \(3\), together with identifications of these homology groups with a prescribed pair \((A,M)\) [2411.04614]. This formulation is deliberately simple but operadically robust, and it recovers the historical \(n=1\) notions for associative and Lie algebras [2411.04614].

More recent work motivated by higher categorical and physical applications has proposed alternative 3-crossed-module definitions. One such formulation is designed to support a correspondence with higher categorical structures by introducing Homanian operations and HL/LL liftings, and proves that the associated simplicial set is a quasi-category [2512.22797]. Another work identifies a concrete 3-crossed-module structure in five-dimensional topological axion electrodynamics, interpreting modified background gauge fields and gauge transformations as the data of a higher-group gauge theory [2602.12648].

## 2. Classical algebraic definition via complexes, actions, and Peiffer liftings

In the commutative algebra setting, a 3-crossed module consists of a complex
\[
C_3 \xrightarrow{\partial_3} C_2 \xrightarrow{\partial_2} C_1 \xrightarrow{\partial_1} C_0
\]
with \(\partial_1\partial_2=0\) and \(\partial_2\partial_3=0\), together with an action of \(C_0\) on \(C_1,C_2,C_3\), an action of \(C_1\) on \(C_2,C_3\), an action of \(C_2\) on \(C_3\), and seven bilinear Peiffer liftings [1003.0985]. These liftings are
\[
\{\,\cdot\otimes\cdot\,\}_{(1)(0)},\quad
\{\,\cdot\otimes\cdot\,\}_{(0)(2)},\quad
\{\,\cdot\otimes\cdot\,\}_{(2)(1)}: C_2\otimes C_2\to C_3,
\]
\[
\{\,\cdot\otimes\cdot\,\}_{(1,0)(2)},\quad
\{\,\cdot\otimes\cdot\,\}_{(2,0)(1)}: C_1\otimes C_2\to C_3,
\]
\[
\{\,\cdot\otimes\cdot\,\}_{(0)(2,1)}: C_2\otimes C_1\to C_3,\qquad
\{\,\cdot\otimes\cdot\,\}: C_1\otimes C_1\to C_2,
\]
where the last map is the usual 2-dimensional Peiffer lifting and the others encode 3-dimensional Peiffer information [1003.0985].

The axioms 3CM1–3CM16 control how these liftings compensate for the non-strict interaction of multiplication, actions, and boundaries. For example, axiom 3CM1 requires that
\[
C_3 \xrightarrow{\partial_3} C_2 \xrightarrow{\partial_2} C_1
\]
is a 2-crossed module with Peiffer lifting \(\{\,\cdot\otimes\cdot\,\}_{(2)(1)}\), while later axioms prescribe the boundaries of the other liftings and their compatibility with the actions and lower-dimensional Peiffer data [1003.0985]. The same pattern appears for groups, where the analogous structure is a complex of groups with one 2-dimensional lifting \(M\times M\to L\) and six further 3-dimensional liftings valued in \(K\) [0812.4685].

In the group-theoretic version, the defining data consist of the complex
\[
K \xrightarrow{\partial_3} L \xrightarrow{\partial_2} M \xrightarrow{\partial_1} N,
\]
actions of \(N\) on \(M,L,K\), of \(M\) on \(L,K\), and of \(L\) on \(K\), together with seven liftings
\[
\{\,,\,\}: M\times M\to L,
\]
\[
\{\,,\,\}_{(1)(0)},\ \{\,,\,\}_{(0)(2)},\ \{\,,\,\}_{(2)(1)}: L\times L\to K,
\]
\[
\{\,,\,\}_{(1,0)(2)},\ \{\,,\,\}_{(2,0)(1)}: M\times L\to K,
\qquad
\{\,,\,\}_{(0)(2,1)}: L\times M\to K,
\]
subject to axioms 3CM1–3CM18 [0812.4685]. These axioms formalize the statement that a 3-crossed module is one stage of coherence beyond a 2-crossed module.

A common misconception is that a 3-crossed module is merely a chain complex of length 3. The literature is explicit that the chain complex alone is not sufficient in the classical formulations: the essential extra structure lies in the actions and Peiffer liftings, which record higher commutator or higher multiplicative defects [0812.4685], [1003.0985].

## 3. Simplicial origin and equivalence with Moore complexes

The foundational structural result in both the group and commutative-algebra settings is that 3-crossed modules arise from simplicial objects with Moore complex of length 3. For a simplicial group \(G\), the Moore complex is
\[
NG_n := \bigcap_{i=0}^{n-1}\ker d_i,\qquad \partial_n := d_n|_{NG_n},
\]
and Moore length 3 means \(NG_n=1\) for all \(n\ge 4\) [0812.4685]. The homotopy groups of the simplicial group are the homology groups of the Moore complex, so vanishing above degree 3 corresponds to a connected homotopy 4-type [0812.4685].

From such a simplicial group one sets
\[
N:=NG_0,\qquad M:=NG_1,\qquad L:=NG_2,\qquad K:=NG_3,
\]
with boundary maps inherited from the Moore differential [0812.4685]. The relevant actions are induced by conjugation via degeneracy operators, and the Peiffer liftings are extracted from Peiffer pairings \(F_{\alpha,\beta}\) in degree 3. The triviality of all Peiffer pairings in degree 4, a consequence of Moore length 3, yields precisely the required 3-crossed-module identities [0812.4685].

The same paradigm holds for simplicial commutative algebras. For a simplicial algebra \(E\), the Moore complex is
\[
NE_n = \bigcap_{i=0}^{n-1}\ker d_i,\qquad \partial_n=d_n|_{NE_n},
\]
and if \(NE_n=0\) for \(n\ge 4\), then the low-degree Moore terms
\[
C_0=NE_0,\quad C_1=NE_1,\quad C_2=NE_2,\quad C_3=NE_3
\]
inherit actions and Peiffer liftings from simplicial degeneracies and multiplication [1003.0985]. Proposition 11 there gives explicit formulas such as
\[
\{x_1\otimes y_1\}_{(1)(0)} = s_1x_1\cdot s_0 y_1 - s_0x_1\cdot s_1y_1,
\]
and corresponding formulas for the other six liftings [1003.0985]. The main structural theorem states that the category of 3-crossed modules is equivalent to the category of simplicial commutative algebras with Moore complex of length 3 [1003.0985].

These equivalences are significant because they replace a truncated simplicial object by a smaller algebraic package with explicit operations. This suggests that 3-crossed modules are best understood not as arbitrary higher gadgets but as compressed forms of simplicial or Moore-complex data [0812.4685], [1003.0985].

## 4. Operadic reformulation and cohomological classification

A distinct formulation is developed for algebras over an operad \(P\). Let \(P\) be a dg operad concentrated in degree \(0\), and let \(A\) be a \(P\)-algebra with \(M\) an \(A\)-module, both concentrated in degree \(0\). In this setting, an \(n\)-crossed module over \((A,M)\) is a dg \(P\)-algebra \(B\) concentrated in degrees \(0,\dots,n\) together with a map
\[
\pi:B\to A\oplus M[n]
\]
such that \(B\) is quasi-isomorphic to \(A\oplus M[n]\), \(H_0(B)\cong A\) as a \(P\)-algebra, \(H_n(B)\cong M\) as an \(A\)-module, and \(H_i(B)=0\) for \(0<i<n\) [2411.04614].

For \(n=3\), a 3-crossed module over \((A,M)\) is therefore a dg \(P\)-algebra
\[
0\longrightarrow B_3\xrightarrow{d_3}B_2\xrightarrow{d_2}B_1\xrightarrow{d_1}B_0\longrightarrow 0
\]
with
\[
H_0(B)\cong A,\qquad H_3(B)\cong M,\qquad H_1(B)=H_2(B)=0,
\]
and with the identification \(\ker(d_3)\to M\) required to be a morphism of \(B\)-modules [2411.04614]. In this formulation, the higher Peiffer relations are not given as an explicit list; instead they are encoded in the dg \(P\)-algebra structure itself. The paper states that the bar–cobar machinery and homotopy transfer identify this dg \(P\)-algebra structure with a single operadic \((3+1)\)-cocycle in \(C_P^4(A,M)\), and conversely any such cocycle yields a dg \(P\)-algebra structure on a length-3 complex quasi-isomorphic to \(A\oplus M[3]\) [2411.04614].

The central theorem gives a natural isomorphism
\[
\mathrm{CrMod}^n_P(A,M)/\sim \;\cong\; H_P^{n+1}(A,M),
\]
where \(\mathrm{CrMod}^n_P(A,M)/\sim\) denotes equivalence classes of \(n\)-crossed modules over \((A,M)\) and \(H_P^{n+1}(A,M)\) is operadic cohomology [2411.04614]. Specializing to \(n=3\),
\[
\mathrm{CrMod}^3_P(A,M)/\sim \;\cong\; H_P^4(A,M).
\]
For \(P=\mathrm{As}\), this cohomology recovers Hochschild cohomology \(HH^{n+1}(A,M)\), and for \(P=\mathrm{Lie}\) it recovers Chevalley–Eilenberg cohomology \(H^{n+1}_{CE}(A,M)\), up to the usual degree shift [2411.04614]. Thus equivalence classes of 3-crossed modules of associative algebras or Lie algebras are classified by fourth cohomology in the appropriate theory [2411.04614].

This operadic definition changes the emphasis from a combinatorial list of liftings to a homotopy-theoretic classification statement. A plausible implication is that, in contexts where the dg \(P\)-algebra structure is easier to manipulate than explicit Peiffer identities, the operadic model provides a more economical replacement for the classical definitions.

## 5. Variants, alternative definitions, and categorical reinterpretations

Not all definitions of 3-crossed module in the literature are equivalent on the surface. A recent alternative formulation uses a chain of groups
\[
M \xrightarrow{\partial} L \xrightarrow{\partial} H \xrightarrow{\partial} G
\]
with actions of \(G\) on \(G,H,L,M\), of \(H\) on \(H,L,M\), and of \(L\) on \(L,M\), together with six lifting operations:
\[
\{-,-\}:H\times H\to L,
\]
\[
\{-,-,-\},\ \{-,-,-\}':H\times H\times H\to M,
\]
\[
\{-,-\}_{HL},\ \{-,-\}'_{HL}:H\times L\to M,
\]
\[
\{-,-\}_{LL}:L\times L\to M
\]
[2512.22797]. Here the new ingredients are the left and right Homanian operations and two distinct HL-Peiffer liftings. These are designed to serve as higher coherence data suitable for comparison with Gray-style higher categories [2512.22797].

In this formulation, the Peiffer identity for \(H\) is no longer strict but twisted by the boundary of a Homanian. For example,
\[
\{h_3h_2,h_1\}
=
\partial\{h_3,h_2,h_1\}\;
{}^{h_3}\{h_2,h_1\}\;
\{h_3,{}^{\partial h_2}h_1\},
\]
and there is an analogous right-handed identity involving \(\{-,-,-\}'\) [2512.22797]. The authors prove two validations: the simplicial set induced by such a 3-crossed module forms a quasi-category, and the Moore complex of length 3 associated with a simplicial group naturally admits this structure [2512.22797].

This work is motivated by the benchmark equivalence between 2-crossed modules and Gray 3-groups, and proposes the new notion as a foundation for the next stage of that program [2512.22797]. The paper does not claim formal equivalence with the 2009 definition, but argues that the earlier formulation is not clearly suited for extending the algebraic-categorical correspondence [2512.22797].

Accordingly, the phrase “3-crossed module” is not entirely uniform across the literature. What remains stable is the presence of a four-term chain, coherent higher actions, and liftings that encode third-order Peiffer-type information. The precise list of primitive operations depends on whether one privileges simplicial extraction, higher categorical horn filling, or operadic homotopy transfer [0812.4685], [2512.22797], [2411.04614].

## 6. Relations to lower-dimensional crossed structures and to applications

The hierarchy crossed module \(\to\) 2-crossed module \(\to\) 3-crossed module is explicit throughout the literature. In the commutative algebra setting, if \(C_3=0\) and all 3-dimensional liftings are trivial, one recovers a 2-crossed module; if in addition the 2-dimensional Peiffer lifting is trivial, one recovers an ordinary crossed module [1003.0985]. In the group-theoretic setting, truncating a 3-crossed module by forgetting degree \(3\) data yields a 2-crossed module, and truncating once more yields a crossed module [0812.4685].

The operadic framework recovers the classical \(n=1\) cases for associative and Lie algebras. For \(P=\mathrm{As}\), a length-1 dg \(P\)-algebra structure is equivalent to a crossed module of associative algebras, with a \(C\)-bimodule structure on \(B\), equivariance of the differential, and the Peiffer relation
\[
d(b)\cdot b' = b\cdot d(b')
\]
[2411.04614]. For \(P=\mathrm{Lie}\), the corresponding Lie action, equivariance, and Peiffer relation recover the classical crossed module of Lie algebras [2411.04614]. The 3-crossed-module case then becomes the higher analogue of these classical structures, classified by \(HH^4(A,M)\) or \(H^4_{CE}(A,M)\) through the general theorem [2411.04614].

Applications extend beyond pure homotopy theory. In higher gauge theory, 2-crossed modules already underlie 3-form Yang–Mills theory, and that work explicitly states that the notion of a 3-crossed module should be the foundation of 4-gauge theory [2108.12852]. The pattern there is a hierarchy of higher connections and fake curvatures attached to a chain of Lie groups or Lie algebras, suggesting an extension from 2-crossed modules to 3-crossed modules by adjoining one further level of higher form field [2108.12852]. This suggests a structural role for 3-crossed modules in nonabelian 4-form gauge theory, although that step is not carried out in the cited work.

A concrete physical realization appears in five-dimensional topological axion electrodynamics. There, the modified Stueckelberg couplings and background gauge transformations are organized into a 4-group whose algebraic backbone is a 3-crossed module [2602.12648]. The theory packages background fields into groups \(G,H,L,M,N\), with a chain
\[
N \xrightarrow{\partial_4} M \xrightarrow{\partial_3} L \xrightarrow{\partial_2} H \xrightarrow{\partial_1} G,
\]
fake curvature equations for the associated higher gauge fields, and nontrivial \(HH\)- and right \(HL\)-Peiffer liftings determined by the couplings of the model [2602.12648]. The paper’s claim is not merely motivational: it states that the generic 4-group gauge transformation laws derived from the 3-crossed-module structure reproduce exactly the transformations required by gauge invariance of the model [2602.12648].

## 7. Conceptual significance and current perspective

Across its formulations, a 3-crossed module is best understood as an algebraic device for encoding one further level of coherent failure beyond a 2-crossed module. In classical presentations, this failure is expressed by a finite system of higher Peiffer liftings and their axioms [0812.4685], [1003.0985]. In operadic language, it is encoded by the dg \(P\)-algebra structure on a length-3 complex and classified by a degree-4 cohomology class [2411.04614]. In the quasi-categorical formulation, it appears as precisely the extra data needed to fill inner horns one dimension higher than for 2-crossed modules [2512.22797]. In higher-group symmetry, it organizes intertwined gauge transformations and fake curvatures in a 4-group gauge theory [2602.12648].

The most stable homotopical interpretation is that 3-crossed modules model homotopy 4-types or 4-truncated simplicial objects in the relevant algebraic category [0812.4685], [1003.0985]. The most stable homological interpretation is that, at least for algebras over an operad, equivalence classes of 3-crossed modules over \((A,M)\) are classified by fourth operadic cohomology [2411.04614]. These two viewpoints are compatible rather than competing: one emphasizes algebraic models of truncated homotopy data, and the other emphasizes classification by cocycles.

A plausible synthesis is that the theory has bifurcated into two complementary styles. One style seeks explicit coherence operations, as in simplicial groups, commutative algebras, Lie algebras, and higher categories [0812.4685], [1003.0985], [2512.22797]. The other seeks a compressed homotopy-invariant package, as in the operadic description [2411.04614]. Both approaches treat the 3-crossed module as a strict algebraic surrogate for dimension-4 coherence phenomena.

Source: https://www.emergentmind.com/topics/3-crossed-module