Higher Chern--Simons Theory in $2n+2$ Dimensions for Balanced 2-term $L_\infty$-Algebras

Abstract: We construct a semistrict higher Chern--Simons (HCS) gauge theory in $2n+2$ dimensions associated with balanced 2-term $L_\infty$-algebras. Starting from the homotopy Maurer--Cartan theory, we first introduce 2-term $L_\infty$-algebra gauge theory, and show that there is a four-dimensional HCS construction. Then we extend invariant bilinear pairings to invariant multilinear forms of the appropriate degree, and define a $(2n+3)$-dimensional higher Pontryagin--Chern form, which is closed and invariant under infinitesimal gauge transformations. Its transgression yields an explicit $(2n+2)$-dimensional HCS form. We further establish a higher Chern--Weil theorem that generates higher transgression forms, and prove that the HCS theory is a distinguished instance of the higher transgression gauge theory. Finally, we apply the extended Cartan homotopy formula in this semistrict setting, and show that it is a common origin of both the higher Chern--Weil theorem and the associated triangle equation.

• The paper constructs a family of semistrict higher Chern–Simons (HCS) gauge theories in even spacetime dimensions up to $2n+2$ for balanced 2-term $L_\infty$-algebras.
• Introduces a unified derivatives framework extending known 4D models and higher-dimensional strict HCS theories, encompassing a specific SLPrefab derived higher Chern-Well theorem, explicit HCS form, anda higher-dimensional triangle equation.
• Ensures gauge invariance of the action—although infinitesimally closed, only on-shell for intermediate gauge transformations

This paper constructs a family of semistrict higher Chern–Simons (HCS) gauge theories in even spacetime dimensions $2n+2$, associated with balanced 2-term $L_\infty$-algebras equipped with invariant pairings of degree 1 (2608.19539). The construction extends the known four-dimensional semistrict HCS models and the higher-dimensional strict theories based on crossed modules to arbitrary even dimensions, and it establishes a transgression framework in which a higher Chern–Weil theorem, an explicit HCS form, and a higher triangle equation all follow from a single extended Cartan homotopy formula (ECHF).

Algebraic setting: cyclic $L_\infty$-algebras and homotopy Maurer–Cartan theory

The foundational input is a cyclic $L_\infty$-algebra $(\mathfrak L,\{\mu_i\},\langle-,-\rangle)$: a $\mathbb Z$-graded vector space with brackets $\mu_i$ of degree $2-i$ satisfying the homotopy Jacobi identities, together with a non-degenerate graded-symmetric pairing of some degree $q$ that is cyclic with respect to every bracket. For a closed oriented manifold $M$, the space $L_\infty$0 inherits both an $L_\infty$1-structure (brackets $L_\infty$2 combining wedge products with the $L_\infty$3) and an integrated pairing; the paper proves that this induced pairing is again cyclic (Proposition on cyclic-induced pairings), using Stokes' theorem for the $L_\infty$4 case and Koszul sign bookkeeping for $L_\infty$5. This result is what guarantees gauge invariance of the homotopy Maurer–Cartan (MC) action later.

The homotopy MC action for a gauge potential $L_\infty$6 is

$L_\infty$7

with curvature $L_\infty$8. Cyclicity implies $L_\infty$9, so the equations of motion are precisely flatness $L_\infty$0, and the action is off-shell invariant under infinitesimal gauge transformations because the variation reduces to the Bianchi identity. Notably, the infinitesimal gauge algebra is generally open—it closes only on MC elements—and the paper accepts this feature rather than imposing closure. Specializing to a Lie algebra concentrated in degree 0 recovers ordinary three-dimensional Chern–Simons theory exactly.

Balanced 2-term $L_\infty$1-algebras and four-dimensional HCS theory

A 2-term $L_\infty$2-algebra has $L_\infty$3 with nontrivial maps $L_\infty$4, two instances of $L_\infty$5, and $L_\infty$6; $L_\infty$7 for $L_\infty$8. Strictness ($L_\infty$9) is equivalent to a crossed module of Lie algebras. A degree-1 non-degenerate invariant pairing forces the mixed form $L_\infty$0, hence $L_\infty$1 and equal dimensions—this motivates the definition of balanced 2-term $L_\infty$2-algebras ($L_\infty$3). The paper is explicit that balancedness is necessary but not sufficient for such a pairing to exist, and it restricts attention throughout to balanced algebras admitting one.

Specializing the homotopy MC formalism yields a 2-connection $L_\infty$4 with $L_\infty$5, $L_\infty$6, and 2-curvature components

$L_\infty$7

satisfying explicit 2-Bianchi identities derived directly from the $L_\infty$8 relations. Gauge transformations are parametrized by pairs $L_\infty$9; the commutator closes off shell on $(\mathfrak L,\{\mu_i\},\langle-,-\rangle)$0 but is obstructed by the fake curvature $(\mathfrak L,\{\mu_i\},\langle-,-\rangle)$1 on $(\mathfrak L,\{\mu_i\},\langle-,-\rangle)$2, closing only when $(\mathfrak L,\{\mu_i\},\langle-,-\rangle)$3. In dimension four, the homotopy MC functional becomes the 2-Chern–Simons Lagrangian

$(\mathfrak L,\{\mu_i\},\langle-,-\rangle)$4

with equations of motion $(\mathfrak L,\{\mu_i\},\langle-,-\rangle)$5, $(\mathfrak L,\{\mu_i\},\langle-,-\rangle)$6 and off-shell infinitesimal gauge invariance following from the Bianchi identities. The paper concedes that finite gauge transformations may produce boundary and global terms in the semistrict case, which are not addressed.

Higher Pontryagin–Chern forms and the $(\mathfrak L,\{\mu_i\},\langle-,-\rangle)$7-dimensional HCS form

The central algebraic extension is from bilinear pairings to cyclic $(\mathfrak L,\{\mu_i\},\langle-,-\rangle)$8-linear forms $(\mathfrak L,\{\mu_i\},\langle-,-\rangle)$9 with one $\mathbb Z$0 entry and $\mathbb Z$1 symmetric $\mathbb Z$2 entries, subject to three cyclicity conditions involving $\mathbb Z$3, $\mathbb Z$4, and $\mathbb Z$5. These forms are motivated by the duality between $\mathbb Z$6-algebras and free differential algebras (FDA); in the strict case they reduce to the invariant multilinear forms used previously for crossed modules. The extended form on $\mathbb Z$7 is shown to inherit graded symmetry and full cyclicity, and a covariant derivative $\mathbb Z$8 satisfies a Leibniz rule for the multilinear pairing.

With these tools, the paper defines the higher Pontryagin–Chern form

$\mathbb Z$9

a closed $\mu_i$0-form (Proposition, proved via the 2-Bianchi identities and the three cyclicity conditions) that is also invariant under infinitesimal gauge transformations. By the Poincaré lemma it is locally exact, and the infinitesimal transgression formula

$\mu_i$1

integrated along the linear path $\mu_i$2, $\mu_i$3 yields the explicit HCS form

$\mu_i$4

For $\mu_i$5 this differs from the four-dimensional 2-Chern–Simons form by an exact term, so the two actions agree on closed four-manifolds; for $\mu_i$6 it reproduces the strict Lie 2-algebra construction. The construction thus unifies the semistrict four-dimensional models and the strict higher-dimensional ones within a single formula.

Higher Chern–Weil theorem and transgression actions

For two 2-connections joined by the linear interpolation $\mu_i$7, the paper proves a higher Chern–Weil theorem:

$\mu_i$8

with transgression form $\mu_i$9. Taking the zero reference connection recovers the HCS form exactly, so the HCS form is a transgression form against the trivial background. An important structural observation follows: since $2-i$0 is gauge invariant, the gauge variation of $2-i$1 is locally exact, but a 2-connection cannot be trivialized globally unless the underlying higher bundle is topologically trivial—the HCS form is therefore only locally defined, whereas the transgression form is globally well-defined in principle.

Treating the transgression form as a Lagrangian on a $2-i$2-manifold $2-i$3 possibly with boundary, the variational computation gives

$2-i$4

so the bulk field equations decouple at each endpoint while the boundary conditions couple the two endpoint theories inseparably—a direct analogue of ordinary transgression theories and their strict higher counterparts. On manifolds without boundary, the transgression action is invariant under infinitesimal gauge transformations, with the variation reducing to a difference of exact boundary terms that cancels between the endpoints.

The extended Cartan homotopy formula as common origin

The final technical section applies the ECHF on simplices $2-i$5 whose vertices are labeled by 2-connections, with interpolating fields $2-i$6, $2-i$7. Applying the descent relation to the closed polynomial $2-i$8 produces the complete set of descent equations for $2-i$9. Two cases are worked out explicitly:

• Case $q$0 on the 1-simplex rederives the higher Chern–Weil theorem and the transgression form.
• Case $q$1 on the 2-simplex yields the higher triangle equation,

$q$2

where the secondary transgression form $q$3 is computed explicitly via the coordinates $q$4, $q$5.

Setting the intermediate vertex to zero shows that any transgression form equals the difference of two HCS forms up to an exact term. One caveat stated plainly by the authors: in the semistrict case the linear interpolant need not transform as a genuine 2-connection under finite gauge transformations, owing to the nonlinear $q$6 term in $q$7; the ECHF analysis here is accordingly local/infinitesimal in character. The recursive decomposition of higher transgression forms suggested by the triangle equation is left unimplemented.

Limitations and open questions

The paper works entirely locally and does not address global aspects of the resulting higher bundles, finite gauge transformations, or possible anomalies—issues acknowledged to be subtle already in the four-dimensional semistrict case. The existence of the required cyclic $q$8-linear form is assumed rather than classified, and balancedness alone does not guarantee it. Two specific questions are left open: whether the homotopy MC framework extends to 3-gauge theories based on 2-crossed modules and 3-term $q$9-algebras, requiring appropriate higher invariant polynomials; and whether the five-dimensional strict HCS theory admits semistrict analogues within the present framework.

Conclusion

The paper delivers a coherent semistrict generalization of higher Chern–Simons theory to all even dimensions $M$0: a closed, gauge-invariant higher Pontryagin–Chern form $M$1; an explicit HCS form obtained by transgression; a higher Chern–Weil theorem with globally defined transgression forms serving as Lagrangians of coupled boundary theories; and a unified derivation of the Chern–Weil and triangle structures from the ECHF. All results reduce correctly to the strict crossed-module theories when $M$2 and to the known four-dimensional semistrict models when $M$3, providing a consistent bridge between the AKSZ-type semistrict constructions and the Antoniadis–Savvidy extended CS program.