Semistrict Lie 2-Algebra

• Semistrict Lie 2-algebras are 2-term L∞-algebras where skew-symmetry is strict while the Jacobi identity is relaxed via a nontrivial Jacobiator.
• They consist of a graded vector space with a differential, binary bracket, and a ternary map that governs the controlled deviation from the classical Jacobi identity.
• These structures are fundamental in higher gauge theory, 2-plectic geometry, and field-theoretic models, providing a robust framework for categorified symmetry.

A semistrict Lie 2-algebra is a categorified Lie algebra in which skew-symmetry is strict but the Jacobi identity holds only up to a coherent homotopy. In the standard algebraic formulation used across the literature surveyed here, it is a 2-term $L_\infty$-algebra: a 2-term complex together with a binary bracket and a ternary Jacobiator, with all higher brackets vanishing (Ritter et al., 2013). This notion occupies an intermediate position between strict Lie 2-algebras, where the Jacobiator vanishes, and more general weak or higher $L_\infty$-structures. It appears as the natural algebraic language for 2-plectic geometry, semistrict higher gauge theory, higher Chern–Simons theory, and various M-brane-inspired models (Ritter et al., 2013).

1. Algebraic definition and equivalent formulations

In the 2-term $L_\infty$ presentation, a semistrict Lie 2-algebra is based on a graded vector space

$L=V \xrightarrow{\mu_1} W \xrightarrow{0} 0,$

with $\deg V=-1$ and $\deg W=0$, together with non-vanishing graded antisymmetric structure maps

$$\mu_1:V\to W,\qquad \mu_2:W\wedge W\to W,\qquad \mu_2:W\wedge V\to V,\qquad \mu_3:W\wedge W\wedge W\to V,$$

all other $\mu_n$ being zero (Ritter et al., 2013). The map $\mu_1$ is the differential, $\mu_2$ is the binary bracket together with the degree-$L_\infty$0 action on degree $L_\infty$1, and $L_\infty$2 is the Jacobiator: it measures the failure of $L_\infty$3 on $L_\infty$4 to satisfy the ordinary Jacobi identity (Ritter et al., 2013).

The defining homotopy relations specialize to a finite list. They include the derivation property of $L_\infty$5 with respect to $L_\infty$6, the fact that $L_\infty$7 is non-zero only on $L_\infty$8, the Jacobiator equation

$L_\infty$9

and a higher coherence identity for $L_\infty$0 (Ritter et al., 2013). In this sense, semistrictness means that the Jacobi identity is not abandoned but replaced by exact control through $L_\infty$1.

Several equivalent descriptions are used in the literature. One is the Baez–Crans equivalence between semistrict Lie 2-algebras and 2-term $L_\infty$2-algebras, adopted explicitly in semistrict higher gauge theory and related field-theoretic constructions (Jurco et al., 2014). Another is the weak Lie 2-algebra viewpoint, where a semistrict Lie 2-algebra is a weak Lie 2-algebra with trivial alternator, so skew-symmetry is strict while the Jacobi identity is weakened by a nontrivial Jacobiator (Jurco et al., 2014). In a closely related but different direction, Cai–Liu–Xiang study hemistrict Lie 2-algebras, where Jacobi is strict and skew-symmetry is weakened by an alternator; Roytenberg’s skew-symmetrization then produces a semistrict Lie 2-algebra with strictly skew binary bracket and nontrivial ternary Jacobiator (Cai et al., 2020).

A notational variant widely used in higher gauge theory writes the same data as

$L_\infty$3

with

$L_\infty$4

with $L_\infty$5, $L_\infty$6, $L_\infty$7 (Wu, 28 May 2026). The Jacobi identity on $L_\infty$8 then reads

$L_\infty$9

making the role of the ternary bracket explicit (Wu, 28 May 2026).

2. Strict, skeletal, hemistrict, and morphism-theoretic variants

The strict case is obtained by setting $L=V \xrightarrow{\mu_1} W \xrightarrow{0} 0,$0, equivalently $L=V \xrightarrow{\mu_1} W \xrightarrow{0} 0,$1. Then both the degree-$L=V \xrightarrow{\mu_1} W \xrightarrow{0} 0,$2 bracket and the induced degree-$L=V \xrightarrow{\mu_1} W \xrightarrow{0} 0,$3 bracket

$L=V \xrightarrow{\mu_1} W \xrightarrow{0} 0,$4

satisfy honest Jacobi identities, yielding a differential crossed module $L=V \xrightarrow{\mu_1} W \xrightarrow{0} 0,$5 (Ritter et al., 2013). In higher gauge theory this is the crossed-module regime, and there is a one-to-one correspondence between strict 2-term $L=V \xrightarrow{\mu_1} W \xrightarrow{0} 0,$6-algebras and differential Lie crossed modules (Wu, 28 May 2026).

A standard class of semistrict Lie 2-algebras is furnished by skeletal models $L=V \xrightarrow{\mu_1} W \xrightarrow{0} 0,$7, where $L=V \xrightarrow{\mu_1} W \xrightarrow{0} 0,$8, $L=V \xrightarrow{\mu_1} W \xrightarrow{0} 0,$9 is a Lie algebra, $\deg V=-1$0 is a $\deg V=-1$1-module, and $\deg V=-1$2 is a Lie algebra $\deg V=-1$3-cocycle $\deg V=-1$4 (Ritter et al., 2013). The string Lie 2-algebra is the distinguished special case with $\deg V=-1$5 and

$\deg V=-1$6

for the Killing form $\deg V=-1$7 (Ritter et al., 2013). Every semistrict Lie 2-algebra is equivalent to a skeletal one of this form (Ritter et al., 2013).

Morphisms and automorphisms inherit the same homotopical structure. A 1-morphism between 2-term $\deg V=-1$8-algebras consists of linear maps on degrees $\deg V=-1$9 and $\deg W=0$0 together with a bilinear homotopy $\deg W=0$1, while a 2-morphism is a chain homotopy $\deg W=0$2 satisfying compatibility equations (Zucchini, 2011). The automorphism data form a strict 2-group $\deg W=0$3, with infinitesimal counterpart $\deg W=0$4, a strict Lie 2-algebra of derivations and higher derivations (Zucchini, 2011). This strictification at the level of automorphisms is central in semistrict higher gauge theory, because one may formulate gauge transformations entirely in terms of $\deg W=0$5 and $\deg W=0$6, without first constructing a global integrating Lie 2-group (Zucchini, 2011).

The hemistrict-to-semistrict comparison clarifies a common source of confusion. In the hemistrict setting, the Jacobi identity is strict but skew-symmetry holds only up to a degree $\deg W=0$7 alternator $\deg W=0$8; Roytenberg’s skew-symmetrization replaces the alternator by a Jacobiator $\deg W=0$9, yielding a semistrict Lie 2-algebra $$\mu_1:V\to W,\qquad \mu_2:W\wedge W\to W,\qquad \mu_2:W\wedge V\to V,\qquad \mu_3:W\wedge W\wedge W\to V,$$0 on the same underlying complex (Cai et al., 2020). Thus semistrict and hemistrict are not interchangeable descriptions of the same raw brackets; they are related by a specific skew-symmetrization procedure (Cai et al., 2020).

3. Canonical constructions and examples

A structurally important source of semistrict Lie 2-algebras is 2-plectic geometry. For a 2-plectic manifold $$\mu_1:V\to W,\qquad \mu_2:W\wedge W\to W,\qquad \mu_2:W\wedge V\to V,\qquad \mu_3:W\wedge W\wedge W\to V,$$1, with $$\mu_1:V\to W,\qquad \mu_2:W\wedge W\to W,\qquad \mu_2:W\wedge V\to V,\qquad \mu_3:W\wedge W\wedge W\to V,$$2 a closed nondegenerate $$\mu_1:V\to W,\qquad \mu_2:W\wedge W\to W,\qquad \mu_2:W\wedge V\to V,\qquad \mu_3:W\wedge W\wedge W\to V,$$3-form, one sets

$$\mu_1:V\to W,\qquad \mu_2:W\wedge W\to W,\qquad \mu_2:W\wedge V\to V,\qquad \mu_3:W\wedge W\wedge W\to V,$$4

where $$\mu_1:V\to W,\qquad \mu_2:W\wedge W\to W,\qquad \mu_2:W\wedge V\to V,\qquad \mu_3:W\wedge W\wedge W\to V,$$5 is the space of Hamiltonian $$\mu_1:V\to W,\qquad \mu_2:W\wedge W\to W,\qquad \mu_2:W\wedge V\to V,\qquad \mu_3:W\wedge W\wedge W\to V,$$6-forms

$$\mu_1:V\to W,\qquad \mu_2:W\wedge W\to W,\qquad \mu_2:W\wedge V\to V,\qquad \mu_3:W\wedge W\wedge W\to V,$$7

The structure maps are

$$\mu_1:V\to W,\qquad \mu_2:W\wedge W\to W,\qquad \mu_2:W\wedge V\to V,\qquad \mu_3:W\wedge W\wedge W\to V,$$8

with all other brackets zero (Ritter et al., 2013). Here $$\mu_1:V\to W,\qquad \mu_2:W\wedge W\to W,\qquad \mu_2:W\wedge V\to V,\qquad \mu_3:W\wedge W\wedge W\to V,$$9 is a higher Poisson bracket on Hamiltonian $\mu_n$0-forms, while $\mu_n$1 encodes the $\mu_n$2-form itself as a higher Jacobiator (Ritter et al., 2013).

For $\mu_n$3 with volume form

$\mu_n$4

one obtains explicit formulas for $\mu_n$5, and in particular the linear $\mu_n$6-forms

$\mu_n$7

satisfy

$\mu_n$8

The finite-dimensional sub-Lie-2-algebra generated by constants, linear functions, these $\mu_n$9, and exact $\mu_1$0-forms is called the Heisenberg Lie 2-algebra (Ritter et al., 2013).

Another systematic construction arises from a Lie algebra $\mu_1$1 acting on a 2-term complex $\mu_1$2 by a 2-term representation up to homotopy $\mu_1$3. The associated semidirect product Lie 2-algebra has underlying complex

$\mu_1$4

and structure maps

$\mu_1$5

$\mu_1$6

$\mu_1$7

The Jacobiator of $\mu_1$8 is then $\mu_1$9-exact and governed by $\mu_2$0 (Sheng et al., 2010). This construction includes examples arising from Courant-type structures and the omni-Lie algebra $\mu_2$1, whose failure of Jacobi is corrected by an explicit ternary bracket in the corresponding semistrict Lie 2-algebra (Sheng et al., 2010).

Enhanced Leibniz algebras furnish another route. An enhanced Leibniz algebra $\mu_2$2 canonically induces a semistrict Lie 2-algebra with

$\mu_2$3

binary bracket

$\mu_2$4

action

$\mu_2$5

and ternary bracket

$\mu_2$6

where $\mu_2$7 is the explicit totally antisymmetric expression built from the Leibniz bracket and circle product (Strobl et al., 2019). In the positive quadratic case relevant to Yang–Mills-type higher gauge theories, the underlying Leibniz algebra is forced to be a hemisemidirect product $\mu_2$8 of a positive quadratic Lie algebra with a module (Strobl et al., 2019).

4. Higher gauge theory and field-theoretic realizations

Semistrict Lie 2-algebras are the symmetry objects of semistrict higher gauge theory. A $\mu_2$9-connection on a manifold $L_\infty$00 is a pair

$L_\infty$01

with curvature doublet

$L_\infty$02

These satisfy the higher Bianchi identities

$L_\infty$03

$L_\infty$04

(Wu, 28 May 2026). The Jacobiator appears explicitly in $L_\infty$05, so semistrictness is already visible at the level of curvature.

In the local formulation based on $L_\infty$06 and $L_\infty$07, a connection doublet $L_\infty$08 has curvatures

$L_\infty$09

and a finite 1-gauge transformation $L_\infty$10 acts by

$L_\infty$11

$L_\infty$12

The associated gauge transformations form a strict 2-group $L_\infty$13, while global semistrict principal 2-bundles are described via a strict 2-groupoid of gluing data built from local $L_\infty$14-valued transition functions and 2-morphisms (Zucchini, 2011).

Semistrict principal 2-bundles with connective structure admit a Deligne-cohomological description. For a cover $L_\infty$15, the local data comprise transition 1-cells $L_\infty$16, transition 2-cells $L_\infty$17, local $L_\infty$18- and $L_\infty$19-form potentials $L_\infty$20, and overlap $L_\infty$21-forms $L_\infty$22, subject to cocycle conditions and the vanishing fake curvature condition

$L_\infty$23

(Jurco et al., 2014). The finite gauge transformation law for $L_\infty$24 contains explicit $L_\infty$25-terms, making the semistrict character of the connective structure unavoidable (Jurco et al., 2014).

In AKSZ-BV theory, semistrict Lie 2-algebras determine higher BF and higher Chern–Simons models. The 3-dimensional semistrict higher BF BV action is

$L_\infty$26

and the 4-dimensional semistrict higher Chern–Simons model is a related AKSZ construction for reduced $L_\infty$27 with invariant pairing (Zucchini, 2011). In both cases, the cubic term involving the ternary bracket is the genuinely semistrict contribution.

5. Metrics, cohomology, and integration

Field theories based on semistrict Lie 2-algebras typically require invariant bilinear pairings. In Lie 2-algebra matrix models, the minimally invariant inner product $L_\infty$28 is orthogonal between degrees and satisfies

$L_\infty$29

(Ritter et al., 2013). In 4-dimensional semistrict higher Chern–Simons theory one instead uses a non-singular invariant pairing

$L_\infty$30

satisfying compatibility with $L_\infty$31, the binary brackets, and the ternary bracket (Soncini et al., 2014). Balanced Lie 2-algebras, with $L_\infty$32, are singled out because the action pairs degree $L_\infty$33 and degree $L_\infty$34 variables (Soncini et al., 2014).

Cohomology behaves differently depending on the model. For hemistrict Lie 2-algebras, Cai–Liu–Xiang define a standard complex $L_\infty$35 for a representation $L_\infty$36, with cochains satisfying a weak symmetry condition governed by the alternator $L_\infty$37. For injective hemistrict $L_\infty$38 and representations with $L_\infty$39 on $L_\infty$40, they prove

$L_\infty$41

where $L_\infty$42 is the skew-symmetrized semistrict Lie 2-algebra and $L_\infty$43 is the induced ordinary Lie algebra (Cai et al., 2020). In this injective class, the cohomology of the semistrict structure collapses to ordinary Chevalley–Eilenberg cohomology (Cai et al., 2020).

A complementary direction is the theory of weak Lie 2-bialgebras. There, a semistrict Lie 2-algebra is encoded by a degree $L_\infty$44 element $L_\infty$45 in a big-bracket Gerstenhaber algebra, with $L_\infty$46 equivalent to the full set of 2-term $L_\infty$47 identities (Chen et al., 2011). Adding compatible dual coalgebra data produces a weak Lie 2-bialgebra, and in the strict case one recovers a one-to-one correspondence with crossed modules of Lie bialgebras (Chen et al., 2011).

Integration is subtle in general but explicit for important classes. Semidirect product semistrict Lie 2-algebras $L_\infty$48, arising from 2-term representations up to homotopy, can be integrated to finite-dimensional strict Lie 2-groups by passage through crossed modules and Noohi butterflies (Sheng et al., 2010). In that construction, a non-strict $L_\infty$49-morphism is replaced by a zig-zag of strict morphisms between crossed modules, allowing a strict Lie 2-group to encode the same infinitesimal semistrict data up to equivalence (Sheng et al., 2010). A distinct differentiation result goes in the opposite direction: Ševera’s method differentiates semistrict Lie 2-groups to semistrict Lie 2-algebras by analyzing descent data on $L_\infty$50, recovering a 2-term $L_\infty$51-algebra $L_\infty$52 and its Chevalley–Eilenberg differential (Jurco et al., 2014).

6. Geometric and physical significance

Semistrict Lie 2-algebras generalize matrix-model and gauge-theory constructions based on ordinary Lie algebras. In Lie 2-algebra models, the homogeneous bosonic action

$L_\infty$53

reduces to the bosonic IKKT action when $L_\infty$54, $L_\infty$55, and $L_\infty$56 is the Lie bracket (Ritter et al., 2013). The same framework contains dimensionally reduced BLG and ABJM-type 3-algebra models as special strict or skeletal cases, because metric Lie 2-algebras naturally induce triple brackets satisfying the fundamental identity (Ritter et al., 2013).

The semistrict setting is essential for 2-plectic quantization. Lie 2-algebra models admit solutions interpreted as quantized 2-plectic manifolds, including $L_\infty$57, $L_\infty$58, and a 5-dimensional Hpp-wave (Ritter et al., 2013). For a 2-plectic manifold $L_\infty$59, the proposed categorified correspondence principle requires a quantized Lie 2-algebra $L_\infty$60 whose brackets reproduce the classical $L_\infty$61 to lowest order in $L_\infty$62 (Ritter et al., 2013). Expanding a suitable zero-dimensional model around the quantized $L_\infty$63 background yields a semistrict higher BF theory on the quantized 2-plectic space $L_\infty$64, with field strengths

$L_\infty$65

$L_\infty$66

(Ritter et al., 2013).

In higher Chern–Simons theory, semistrictness has a direct topological effect. The 4-dimensional semistrict higher Chern–Simons action

$L_\infty$67

is invariant under orthogonal higher gauge transformations up to a higher winding number $L_\infty$68, which is encoded by a flat gauge-parameter 2-connection $L_\infty$69 and a Chevalley–Eilenberg $L_\infty$70-cocycle $L_\infty$71 (Soncini et al., 2014). The semistrict quartic term involving $L_\infty$72 is absent in strict crossed-module models (Soncini et al., 2014).

A higher-dimensional refinement makes this dependence on the Jacobiator explicit. In $L_\infty$73 dimensions, the higher Chern–Simons form constructed from a semistrict Lie 2-algebra produces, under a finite higher gauge transformation, a higher Wess–Zumino–Witten term

$L_\infty$74

and the key mechanism is that the non-zero Jacobiator enters both the flatness equation

$L_\infty$75

and the Chern–Simons density itself (Wu, 28 May 2026). When the 3-bracket is set to zero, the theory reduces to the strict case and the higher WZW term disappears (Wu, 28 May 2026).

A recurrent misconception is therefore that semistrictness is a mild algebraic decoration with no independent field-theoretic effect. The cited constructions show the opposite in precise terms: the ternary bracket enters curvature, Bianchi identities, finite gauge transformations, matrix-model equations of motion, higher BF theory, higher Chern–Simons densities, and higher WZW terms (Zucchini, 2011). In the six-dimensional twistor construction for the non-Abelian $L_\infty$76 tensor multiplet, the non-linear constraint equations involve both $L_\infty$77 and $L_\infty$78, with $L_\infty$79 contributing directly to the $L_\infty$80-form curvatures of the tensor multiplet (Jurco et al., 2014).

Semistrict Lie 2-algebras thus serve as the minimal 2-term $L_\infty$81 structures capable of encoding categorified symmetry with a nontrivial Jacobiator. In the strict limit they recover crossed modules; in the 2-plectic and higher gauge-theoretic settings they capture precisely the homotopical data that strict structures omit (Ritter et al., 2013).