Higher Chern–Simons Action Extensions

• Higher Chern–Simons action is a framework extending classical Chern–Simons theory by using higher connections from Lie 2-algebras and L∞-algebras.
• It employs transgression techniques in differential cohomology to relate local Lagrangians with global topological invariants across various dimensions.
• The formulation underpins advanced models in higher gauge theory and prequantum field theory, showcasing applications from 4D semistrict theories to higher-spin algebraic systems.

Higher Chern–Simons action denotes a family of Chern–Simons-type functionals that extend ordinary Chern–Simons theory beyond the standard three-dimensional Lie-algebra-valued connection. In the modern categorified formulation, the basic field is a higher connection valued in a Lie $2$-algebra or, more generally, an $L_\infty$-algebra, and the action is a transgression of a higher invariant polynomial such as $\langle \mathcal F^n,\mathcal H\rangle$ (Wu, 28 May 2026). In differential-cohomological and higher-stack formulations, the same structure is expressed as the holonomy of a universal differential characteristic morphism $$\mathbf L:\mathrm{Fields}\to \mathbf B^nU(1)_{\mathrm{conn}}$$, so that the exponentiated action is obtained by fiber integration over spacetime (Fiorenza et al., 2012, Fiorenza et al., 2013). This suggests that the expression “higher Chern–Simons action” is not tied to a single formalism: in the literature it covers categorified higher gauge theory, higher-dimensional transgression theories, and, in some papers, algebraic generalizations that remain ordinary $3$-dimensional Chern–Simons actions but use higher-spin or $3$-algebraic gauge data (Arvanitakis, 2015, Boulanger et al., 2013).

1. Ordinary Chern–Simons theory as the template

Ordinary Chern–Simons theory starts from a Lie algebra $\mathfrak g$, a connection $A$, curvature $F=dA+\tfrac12[A,A]$, and an invariant polynomial such as $\langle F^{n+1}\rangle$. The Chern–Simons form is a transgression form whose exterior derivative reproduces the characteristic class. This transgression viewpoint persists in essentially every higher formulation.

One direct categorified analogue replaces the ordinary curvature polynomial by

$L_\infty$0

where $L_\infty$1 is a $L_\infty$2-form fake curvature and $L_\infty$3 is a $L_\infty$4-form higher curvature. In this setting, the characteristic class has degree $L_\infty$5, while the higher Chern–Simons form has degree $L_\infty$6; the paper on semistrict higher Chern–Simons theory states the comparison explicitly as: ordinary Lie algebra Chern–Simons has characteristic form in degree $L_\infty$7 and Chern–Simons form in degree $L_\infty$8, whereas semistrict $L_\infty$9-Chern–Simons has characteristic form in degree $\langle \mathcal F^n,\mathcal H\rangle$0 and Chern–Simons form in degree $\langle \mathcal F^n,\mathcal H\rangle$1 (Wu, 28 May 2026).

A different, globally defined template arises in Deligne–Beilinson or differential cohomology. There the field is not a globally defined form but a differential cohomology class, and the action is the differential cup square. For abelian theories this produces a nontrivial action only in dimensions $\langle \mathcal F^n,\mathcal H\rangle$2,

$\langle \mathcal F^n,\mathcal H\rangle$3

with integral level $\langle \mathcal F^n,\mathcal H\rangle$4 (1207.1270). The higher-stack version packages the same idea into a universal map $\langle \mathcal F^n,\mathcal H\rangle$5 or, more generally, $\langle \mathcal F^n,\mathcal H\rangle$6, whose transgression yields the action, prequantum bundle, and WZW object in lower codimension (Fiorenza et al., 2013).

2. Differential cohomology and higher-stack formulations

In the differential-cohomological approach, the higher Chern–Simons action is defined globally on the full field space, including topologically nontrivial sectors. For higher abelian theories on a closed $\langle \mathcal F^n,\mathcal H\rangle$7-manifold $\langle \mathcal F^n,\mathcal H\rangle$8, a field is a differential cohomology class

$\langle \mathcal F^n,\mathcal H\rangle$9

and the exponentiated action is

$$\mathbf L:\mathrm{Fields}\to \mathbf B^nU(1)_{\mathrm{conn}}$$0

This formulation automatically includes instanton sectors and explains the integrality of both the level and the charges of generalized Wilson $$\mathbf L:\mathrm{Fields}\to \mathbf B^nU(1)_{\mathrm{conn}}$$1-loops (Fiorenza et al., 2012, 1207.1270).

The higher-stack formulation sharpens this further by replacing the moduli space of gauge-equivalence classes with the full higher smooth moduli stack of fields. For ordinary $$\mathbf L:\mathrm{Fields}\to \mathbf B^nU(1)_{\mathrm{conn}}$$2-dimensional Chern–Simons theory, the universal differential characteristic morphism

$$\mathbf L:\mathrm{Fields}\to \mathbf B^nU(1)_{\mathrm{conn}}$$3

is the extended Lagrangian. Transgression along a closed oriented $$\mathbf L:\mathrm{Fields}\to \mathbf B^nU(1)_{\mathrm{conn}}$$4-manifold $$\mathbf L:\mathrm{Fields}\to \mathbf B^nU(1)_{\mathrm{conn}}$$5 gives

$$\mathbf L:\mathrm{Fields}\to \mathbf B^nU(1)_{\mathrm{conn}}$$6

so that $$\mathbf L:\mathrm{Fields}\to \mathbf B^nU(1)_{\mathrm{conn}}$$7 yields the action functional, $$\mathbf L:\mathrm{Fields}\to \mathbf B^nU(1)_{\mathrm{conn}}$$8 the prequantum line bundle, and $$\mathbf L:\mathrm{Fields}\to \mathbf B^nU(1)_{\mathrm{conn}}$$9 the WZW gerbe (Fiorenza et al., 2013). The same paper treats this as the prototype of a general machine: any differential characteristic map $3$0 defines an $3$1-dimensional higher Chern–Simons-type theory by holonomy.

This framework is especially important because it distinguishes the local Lagrangian density from the globally defined exponentiated action. It also makes clear why higher Chern–Simons theories are naturally extended prequantum field theories: transgression produces $3$2-$3$3-bundles with connection on moduli stacks in codimension $3$4 (Fiorenza et al., 2012, Fiorenza et al., 2013).

3. Categorified gauge theory: Lie $3$5-algebras and $3$6-algebras

In categorified higher gauge theory, the algebraic input is commonly a semistrict Lie $3$7-algebra

$3$8

where the trilinear bracket $3$9 is the Jacobiator. A $3$0-connection is a pair

$3$1

with curvatures

$3$2

The higher Chern–Weil form

$3$3

is closed, and Cartan homotopy produces the transgression form $3$4. Setting one endpoint of the interpolation equal to zero defines the $3$5-dimensional semistrict higher Chern–Simons form

$3$6

which satisfies

$3$7

within the transgression setup (Wu, 28 May 2026).

In the $3$8-dimensional semistrict theory of balanced Lie $3$9-algebras, the action is written as

$\mathfrak g$0

with

$\mathfrak g$1

Its Euler–Lagrange equations are

$\mathfrak g$2

so classical solutions are flat higher connections (Soncini et al., 2014).

The homotopy-algebraic formulation generalizes this further. For a cyclic $\mathfrak g$3-algebra $\mathfrak g$4, the universal higher Chern–Simons action is

$\mathfrak g$5

and its equation of motion is the homotopy Maurer–Cartan equation

$\mathfrak g$6

In a $\mathfrak g$7-dimensional $\mathfrak g$8-term case with field $\mathfrak g$9, this yields higher curvatures $A$0, $A$1, and $A$2; in the holomorphic ambitwistor-space model, the same pattern gives a holomorphic higher Chern–Simons action on $A$3 whose classical equations are equivalent to those of maximally supersymmetric Yang–Mills theory on $A$4 (Saemann et al., 2017).

4. Gauge variation, transgression, and higher Wess–Zumino–Witten terms

A distinctive feature of higher Chern–Simons theory is the way gauge variation produces higher Wess–Zumino–Witten terms. In the semistrict Lie $A$5-algebra construction, a finite higher gauge transformation is parametrized by

$A$6

with $A$7 a flat $A$8-connection. The gauge-transformed $A$9-connection obeys

$F=dA+\tfrac12[A,A]$0

and the central variation formula is

$F=dA+\tfrac12[A,A]$1

The term

$F=dA+\tfrac12[A,A]$2

is the higher WZW term (Wu, 28 May 2026).

The paper identifies the source of this term with the nonzero Jacobiator $F=dA+\tfrac12[A,A]$3. Because the flatness equation for $F=dA+\tfrac12[A,A]$4 contains

$F=dA+\tfrac12[A,A]$5

the three-bracket appears already in the Maurer–Cartan-type structure of the gauge parameter. The conclusion is explicit: in the semistrict case the higher WZW term is nontrivial, while in the strict crossed-module limit, where $F=dA+\tfrac12[A,A]$6, it vanishes (Wu, 28 May 2026).

The earlier $F=dA+\tfrac12[A,A]$7-dimensional semistrict model exhibits the same pattern in a slightly different language. There the action transforms as

$F=dA+\tfrac12[A,A]$8

with higher winding number

$F=dA+\tfrac12[A,A]$9

Canonical quantization then leads to higher WZW Ward identities and explicit higher WZW actions obeying higher Polyakov–Wiegmann laws (Soncini et al., 2014).

These results correct a common simplification. In higher gauge theory the gauge variation is not only an exact boundary term: in semistrict models it can contain a genuinely nontrivial topological contribution, and that contribution is controlled by the semistrict Jacobiator rather than by strict crossed-module data (Wu, 28 May 2026).

5. Concrete models and later refinements

Several concrete higher Chern–Simons models instantiate the abstract structure.

A prominent $\langle F^{n+1}\rangle$0-dimensional example is special $\langle F^{n+1}\rangle$1-Chern–Simons theory. It is built from the skeletal semistrict Lie $\langle F^{n+1}\rangle$2-algebra $\langle F^{n+1}\rangle$3 associated with a compact connected Lie group $\langle F^{n+1}\rangle$4 with nontrivial center and a chosen central element $\langle F^{n+1}\rangle$5. Its field content is a special $\langle F^{n+1}\rangle$6-$\langle F^{n+1}\rangle$7-connection $\langle F^{n+1}\rangle$8 together with a fixed background closed $\langle F^{n+1}\rangle$9-form $L_\infty$00, and the full action is

$L_\infty$01

The equations of motion are

$L_\infty$02

Under a homotopically nontrivial $L_\infty$03-gauge transformation $L_\infty$04, the action is not strictly invariant but shifts the background as $L_\infty$05, where $L_\infty$06 is the winding number density; the paper therefore treats $L_\infty$07 as a continuous parameter rather than imposing an established level quantization (Zucchini, 2015).

Another strict line of development uses crossed modules and $L_\infty$08-crossed modules together with generalized differential calculus. In this approach a $L_\infty$09-connection $L_\infty$10 is packaged as a type-$L_\infty$11 generalized $L_\infty$12-form $L_\infty$13, while a $L_\infty$14-connection $L_\infty$15 is packaged as a type-$L_\infty$16 generalized $L_\infty$17-form. The paper states that this produces a $L_\infty$18-Chern–Simons theory in dimension $L_\infty$19 and a $L_\infty$20-Chern–Simons theory in dimension $L_\infty$21, together with higher second Chern forms and higher Chern–Weil theorems (Song et al., 2022).

A later refinement addresses the fake-flatness obstruction. “Adjusting Higher Chern-Simons Theory” argues that naïve higher Chern–Simons theories based on homotopy Maurer–Cartan data do not yield a satisfactory off-shell higher gauge theory unless one imposes fake-flatness. The proposed remedy is an adjusted higher connection, but the paper proves that any cyclic adjusted skeletal $L_\infty$22-term $L_\infty$23-algebra with $L_\infty$24 is Abelian. To bypass this no-go statement it introduces half-adjusted higher Chern–Simons theories by passing to the shifted cotangent $L_\infty$25-algebra and using the action

$L_\infty$26

In the $L_\infty$27-dimensional $L_\infty$28-term case the action becomes

$L_\infty$29

with adjusted curvatures $L_\infty$30 and $L_\infty$31. The resulting theory has well-defined kinematic data and the expected transgression property, but higher gauge transformations in cotangent directions must be excluded manually; that restriction is the source of the term “half-adjusted” (Gagliardo et al., 2 Jul 2025).

6. Scope, adjacent uses, and mathematical significance

The literature uses “higher Chern–Simons” in several adjacent senses. One direction is higher-dimensional but not categorified: transgression forms for AdS gravity in dimension $L_\infty$32 are written as

$L_\infty$33

or equivalently

$L_\infty$34

These actions are strictly gauge invariant when both connections are transformed, automatically supply boundary terms, and yield finite Noether charges and Euclidean action for asymptotically AdS configurations with finite AdS gauge curvature (Mora, 2014).

A second adjacent usage is algebraic rather than categorified. The Nambu–Chern–Simons action is a $L_\infty$35-dimensional action for the Nambu $L_\infty$36-algebra of functions on $L_\infty$37,

$L_\infty$38

and the paper states explicitly that it is not a Lie $L_\infty$39-algebra or $L_\infty$40-connection theory; “higher” there refers to the underlying $L_\infty$41-algebraic structure (Arvanitakis, 2015). Likewise, higher-spin Chern–Simons theories of anyons remain ordinary $L_\infty$42-dimensional Chern–Simons theories for enlarged higher-spin/fractional-spin gauge algebras, with master connection $L_\infty$43 and flatness equation $L_\infty$44 (Boulanger et al., 2013).

This suggests a persistent terminological ambiguity. In one strand, higher Chern–Simons action means a genuinely categorified gauge theory for higher connections on higher principal bundles, often controlled by Lie $L_\infty$45-algebras or $L_\infty$46-algebras. In another, it means a higher-dimensional transgression theory. In a third, it denotes a $L_\infty$47-dimensional Chern–Simons action whose internal algebraic input has been enlarged from a Lie algebra to a higher-spin or $L_\infty$48-algebraic structure. The sources agree, however, on a common structural core: a higher Chern–Simons action is characterized by transgression, curvature polynomials, and topological or quasi-topological gauge variation, with WZW-type boundary or gauge-parameter functionals appearing as natural descendants (Wu, 28 May 2026, Fiorenza et al., 2013).

Mathematically, the topic sits at the intersection of Chern–Weil theory, differential cohomology, higher stacks, and higher gauge theory. Physically, the same constructions are tied in the cited literature to anomalies, extended objects, topological field theory, higher WZW functionals, String and Fivebrane structures, and higher-dimensional effective actions (Fiorenza et al., 2012, Saemann et al., 2017).