3-Crossed Modules: Higher Algebraic Models

• 3-crossed modules are higher-dimensional algebraic structures that extend crossed and 2-crossed modules by incorporating a four-term chain complex with enhanced actions and higher Peiffer liftings.
• They emerge from simplicial objects with Moore complex of length 3, offering equivalent formulations in group, commutative algebra, and Lie algebra settings to capture homotopy 4-type information.
• Recent reformulations include operadic models and applications in higher gauge theory, providing a cohomological classification framework and concrete insights into topological and physical phenomena.

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$ (Arvasi et al., 2008, Kuzpınarı et al., 2010, Leray et al., 2024, Fukuda et al., 13 Feb 2026, Fukuda et al., 28 Dec 2025).

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 (Arvasi et al., 2008). That equivalence places 3-crossed modules alongside cat$^3$-groups and 3-hypercrossed complexes as algebraic models of connected homotopy 4-types (Arvasi et al., 2008).

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 (Kuzpınarı et al., 2010). The Lie algebra analogue is treated in parallel there, using the same pattern of actions, boundaries, and Peiffer liftings (Kuzpınarı et al., 2010).

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 $0,\dots,3$0 (Leray et al., 2024). This formulation is deliberately simple but operadically robust, and it recovers the historical $0,\dots,3$1 notions for associative and Lie algebras (Leray et al., 2024).

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 (Fukuda et al., 28 Dec 2025). 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 (Fukuda et al., 13 Feb 2026).

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

In the commutative algebra setting, a 3-crossed module consists of a complex

$0,\dots,3$2

with $0,\dots,3$3 and $0,\dots,3$4, together with an action of $0,\dots,3$5 on $0,\dots,3$6, an action of $0,\dots,3$7 on $0,\dots,3$8, an action of $0,\dots,3$9 on $P$0, and seven bilinear Peiffer liftings (Kuzpınarı et al., 2010). These liftings are

$P$1

$P$2

$P$3

where the last map is the usual 2-dimensional Peiffer lifting and the others encode 3-dimensional Peiffer information (Kuzpınarı et al., 2010).

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

$P$4

is a 2-crossed module with Peiffer lifting $P$5, while later axioms prescribe the boundaries of the other liftings and their compatibility with the actions and lower-dimensional Peiffer data (Kuzpınarı et al., 2010). The same pattern appears for groups, where the analogous structure is a complex of groups with one 2-dimensional lifting $P$6 and six further 3-dimensional liftings valued in $P$7 (Arvasi et al., 2008).

In the group-theoretic version, the defining data consist of the complex

$P$8

actions of $P$9 on $4$0, of $4$1 on $4$2, and of $4$3 on $4$4, together with seven liftings

$4$5

$4$6

$4$7

subject to axioms 3CM1–3CM18 (Arvasi et al., 2008). 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 (Arvasi et al., 2008, Kuzpınarı et al., 2010).

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 $4$8, the Moore complex is

$4$9

and Moore length 3 means $$K \xrightarrow{\partial_3} L \xrightarrow{\partial_2} M \xrightarrow{\partial_1} N$$0 for all $$K \xrightarrow{\partial_3} L \xrightarrow{\partial_2} M \xrightarrow{\partial_1} N$$1 (Arvasi et al., 2008). 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 (Arvasi et al., 2008).

From such a simplicial group one sets

$$K \xrightarrow{\partial_3} L \xrightarrow{\partial_2} M \xrightarrow{\partial_1} N$$2

with boundary maps inherited from the Moore differential (Arvasi et al., 2008). The relevant actions are induced by conjugation via degeneracy operators, and the Peiffer liftings are extracted from Peiffer pairings $$K \xrightarrow{\partial_3} L \xrightarrow{\partial_2} M \xrightarrow{\partial_1} N$$3 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 (Arvasi et al., 2008).

The same paradigm holds for simplicial commutative algebras. For a simplicial algebra $$K \xrightarrow{\partial_3} L \xrightarrow{\partial_2} M \xrightarrow{\partial_1} N$$4, the Moore complex is

$$K \xrightarrow{\partial_3} L \xrightarrow{\partial_2} M \xrightarrow{\partial_1} N$$5

and if $$K \xrightarrow{\partial_3} L \xrightarrow{\partial_2} M \xrightarrow{\partial_1} N$$6 for $$K \xrightarrow{\partial_3} L \xrightarrow{\partial_2} M \xrightarrow{\partial_1} N$$7, then the low-degree Moore terms

$$K \xrightarrow{\partial_3} L \xrightarrow{\partial_2} M \xrightarrow{\partial_1} N$$8

inherit actions and Peiffer liftings from simplicial degeneracies and multiplication (Kuzpınarı et al., 2010). Proposition 11 there gives explicit formulas such as

$$K \xrightarrow{\partial_3} L \xrightarrow{\partial_2} M \xrightarrow{\partial_1} N$$9

and corresponding formulas for the other six liftings (Kuzpınarı et al., 2010). 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 (Kuzpınarı et al., 2010).

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 (Arvasi et al., 2008, Kuzpınarı et al., 2010).

4. Operadic reformulation and cohomological classification

A distinct formulation is developed for algebras over an operad $^3$0. Let $^3$1 be a dg operad concentrated in degree $^3$2, and let $^3$3 be a $^3$4-algebra with $^3$5 an $^3$6-module, both concentrated in degree $^3$7. In this setting, an $^3$8-crossed module over $^3$9 is a dg $k$0-algebra $k$1 concentrated in degrees $k$2 together with a map

$k$3

such that $k$4 is quasi-isomorphic to $k$5, $k$6 as a $k$7-algebra, $k$8 as an $k$9-module, and $P$0 for $P$1 (Leray et al., 2024).

For $P$2, a 3-crossed module over $P$3 is therefore a dg $P$4-algebra

$P$5

with

$P$6

and with the identification $P$7 required to be a morphism of $P$8-modules (Leray et al., 2024). In this formulation, the higher Peiffer relations are not given as an explicit list; instead they are encoded in the dg $P$9-algebra structure itself. The paper states that the bar–cobar machinery and homotopy transfer identify this dg $0$0-algebra structure with a single operadic $0$1-cocycle in $0$2, and conversely any such cocycle yields a dg $0$3-algebra structure on a length-3 complex quasi-isomorphic to $0$4 (Leray et al., 2024).

The central theorem gives a natural isomorphism

$0$5

where $0$6 denotes equivalence classes of $0$7-crossed modules over $0$8 and $0$9 is operadic cohomology (Leray et al., 2024). Specializing to $3$0,

$3$1

For $3$2, this cohomology recovers Hochschild cohomology $3$3, and for $3$4 it recovers Chevalley–Eilenberg cohomology $3$5, up to the usual degree shift (Leray et al., 2024). Thus equivalence classes of 3-crossed modules of associative algebras or Lie algebras are classified by fourth cohomology in the appropriate theory (Leray et al., 2024).

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 $3$6-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

$3$7

with actions of $3$8 on $3$9, of $0,\dots,3$00 on $0,\dots,3$01, and of $0,\dots,3$02 on $0,\dots,3$03, together with six lifting operations: $0,\dots,3$04

$0,\dots,3$05

$0,\dots,3$06

$0,\dots,3$07

(Fukuda et al., 28 Dec 2025). 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 (Fukuda et al., 28 Dec 2025).

In this formulation, the Peiffer identity for $0,\dots,3$08 is no longer strict but twisted by the boundary of a Homanian. For example,

$0,\dots,3$09

and there is an analogous right-handed identity involving $0,\dots,3$10 (Fukuda et al., 28 Dec 2025). 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 (Fukuda et al., 28 Dec 2025).

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 (Fukuda et al., 28 Dec 2025). 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 (Fukuda et al., 28 Dec 2025).

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 (Arvasi et al., 2008, Fukuda et al., 28 Dec 2025, Leray et al., 2024).

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

The hierarchy crossed module $0,\dots,3$11 2-crossed module $0,\dots,3$12 3-crossed module is explicit throughout the literature. In the commutative algebra setting, if $0,\dots,3$13 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 (Kuzpınarı et al., 2010). In the group-theoretic setting, truncating a 3-crossed module by forgetting degree $0,\dots,3$14 data yields a 2-crossed module, and truncating once more yields a crossed module (Arvasi et al., 2008).

The operadic framework recovers the classical $0,\dots,3$15 cases for associative and Lie algebras. For $0,\dots,3$16, a length-1 dg $0,\dots,3$17-algebra structure is equivalent to a crossed module of associative algebras, with a $0,\dots,3$18-bimodule structure on $0,\dots,3$19, equivariance of the differential, and the Peiffer relation

$0,\dots,3$20

(Leray et al., 2024). For $0,\dots,3$21, the corresponding Lie action, equivariance, and Peiffer relation recover the classical crossed module of Lie algebras (Leray et al., 2024). The 3-crossed-module case then becomes the higher analogue of these classical structures, classified by $0,\dots,3$22 or $0,\dots,3$23 through the general theorem (Leray et al., 2024).

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 (Song et al., 2021). 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 (Song et al., 2021). 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 (Fukuda et al., 13 Feb 2026). The theory packages background fields into groups $0,\dots,3$24, with a chain

$0,\dots,3$25

fake curvature equations for the associated higher gauge fields, and nontrivial $0,\dots,3$26- and right $0,\dots,3$27-Peiffer liftings determined by the couplings of the model (Fukuda et al., 13 Feb 2026). 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 (Fukuda et al., 13 Feb 2026).

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 (Arvasi et al., 2008, Kuzpınarı et al., 2010). In operadic language, it is encoded by the dg $0,\dots,3$28-algebra structure on a length-3 complex and classified by a degree-4 cohomology class (Leray et al., 2024). 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 (Fukuda et al., 28 Dec 2025). In higher-group symmetry, it organizes intertwined gauge transformations and fake curvatures in a 4-group gauge theory (Fukuda et al., 13 Feb 2026).

The most stable homotopical interpretation is that 3-crossed modules model homotopy 4-types or 4-truncated simplicial objects in the relevant algebraic category (Arvasi et al., 2008, Kuzpınarı et al., 2010). The most stable homological interpretation is that, at least for algebras over an operad, equivalence classes of 3-crossed modules over $0,\dots,3$29 are classified by fourth operadic cohomology (Leray et al., 2024). 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 (Arvasi et al., 2008, Kuzpınarı et al., 2010, Fukuda et al., 28 Dec 2025). The other seeks a compressed homotopy-invariant package, as in the operadic description (Leray et al., 2024). Both approaches treat the 3-crossed module as a strict algebraic surrogate for dimension-4 coherence phenomena.