Higher (gauged) Wess--Zumino--Witten terms based on Lie crossed modules

Abstract: We derive higher Wess--Zumino--Witten (WZW) and gauged WZW (gWZW) terms within strict higher Chern--Simons (CS) gauge theory. Starting from the Cartan homotopy formula, we obtain the $(2n+2)$-dimensional higher CS forms and transgression forms for strict Lie 2-groups presented by Lie crossed modules. Given two 2-connections related by a higher gauge transformation, higher transgression forms yield canonical higher WZW and gWZW terms. We prove that, for the symmetric invariant polynomial associated with differential crossed modules, the pure-gauge higher WZW term vanishes identically, whereas the higher gWZW term is exact. Consequently, the higher CS action is higher-gauge invariant on closed manifolds, and on manifolds with boundary all gauge dependence is encoded in boundary terms.

• The paper introduces a rigorous construction of higher (gauged) WZW terms using Lie crossed modules and Cartan’s homotopy formula.
• It demonstrates that pure‐gauge higher WZW terms vanish and gauge variations manifest solely as exact boundary contributions.
• The work establishes a framework that may extend to non-strict higher gauge theories and influence boundary phenomena in topological field theories.

Higher (Gauged) Wess–Zumino–Witten Terms Based on Lie Crossed Modules

Overview

This work presents a rigorous construction of higher Wess–Zumino–Witten (WZW) and gauged WZW (gWZW) terms within the framework of strict higher Chern–Simons (CS) gauge theory using Lie crossed modules. The approach leverages the Cartan homotopy formula to derive explicit higher CS and transgression forms for strict Lie 2-groups, correlating pairs of 2-connections under higher gauge transformations. The central results highlight that, for symmetric invariant polynomials associated with differential crossed modules, pure-gauge higher WZW terms identically vanish and higher gWZW terms are exact forms. These findings demonstrate that the higher CS action is strictly invariant under higher gauge transformations on closed manifolds, and that gauge dependence arises exclusively from boundary contributions.

Higher Gauge Theory and Lie Crossed Modules

The foundation of this work is strict higher gauge theory, characterized by crossed modules $(H, G; \bar{\alpha}, \bar{\vartriangleright})$ and their infinitesimal counterparts, differential crossed modules $$(\mathcal{h}, \mathcal{g}; \alpha, \vartriangleright)$$. 2-connections are constructed from 1-form $A$ valued in $\mathcal{g}$ and 2-form $B$ valued in $\mathcal{h}$, with curvatures $\mathcal{F}$ and $\mathcal{G}$ as prescribed by the structure of the crossed module.

Gauge transformations in this context are parameterized by $(g, \phi)$, where $g \in G$ and $$(\mathcal{h}, \mathcal{g}; \alpha, \vartriangleright)$$0 is an $$(\mathcal{h}, \mathcal{g}; \alpha, \vartriangleright)$$1-valued 1-form. The corresponding transformation laws for the fields and curvatures are systematically derived, and the algebraic properties (including derivations, equivariance, Peiffer identity) are specified, following the strict crossed module formalism.

Derivation of Higher CS and Transgression Forms

By starting from the Cartan homotopy formula, the paper defines a homotopic family of 2-connections and constructs the associated higher curvatures. The homotopy operator is used to derive the higher transgression form $$(\mathcal{h}, \mathcal{g}; \alpha, \vartriangleright)$$2, generalizing the classical CS-transgression correspondence to arbitrary even dimensions.

The higher Chern–Weil theorem is established, demonstrating that differences in higher CS forms on two gauge configurations are captured by an exact form derived via transgression. The construction depends crucially on multilinear symmetric invariant polynomials between $$(\mathcal{h}, \mathcal{g}; \alpha, \vartriangleright)$$3 and $$(\mathcal{h}, \mathcal{g}; \alpha, \vartriangleright)$$4, whose invariance and symmetry properties ensure the applicability of the formalism.

Higher Wess–Zumino–Witten Terms and Their Vanishing

The transformation behaviour of the higher CS form under higher gauge transformations is analyzed in detail. By considering path-connected 2-connections via gauge transformations, a higher analogue of the WZW term is explicitly constructed. In contrast to the classical case, the principal technical result is that, for symmetric invariant polynomials on differential crossed modules, the higher WZW term vanishes identically: $$(\mathcal{h}, \mathcal{g}; \alpha, \vartriangleright)$$5. This claim is analytically substantiated by evaluating the symmetric invariant pairing and integrating relevant homotopy parameters.

As a consequence of this vanishing, the higher CS action is strictly invariant under higher gauge transformations on closed manifolds; any gauge variation in the action with boundary arises only as a boundary term, not from the bulk.

Construction and Exactness of Higher Gauged WZW Terms

The paper proceeds to define higher gWZW terms for gauge-equivalent 2-connections using the transgression formalism. The explicit form of the higher gWZW term is derived as a coboundary using integrated homotopies, paralleling standard constructions in ordinary gauge theory. The crucial distinction in the higher categorical setting is that the higher gWZW term is necessarily exact, due to the vanishing of the higher WZW term.

Thus, the boundary-induced gauge dependence and the holographic character of non-invariance in higher CS theories are tightly controlled by the structure of strict crossed modules and their associated symmetric invariant polynomials. No genuinely global boundary effects (such as those underpinning level quantization in classical CS theory) can emerge unless the strictness or symmetric invariance conditions are relaxed.

Implications and Future Directions

Conceptually, this analysis underscores a qualitative rigidity in the higher gauge theory formalism based on strict Lie crossed modules: bulk non-invariance mechanisms familiar in classical CS-WZW systems do not arise, and all gauge-dependence occurs at the boundary, expressed in exact forms.

The practical implication is that higher gauge theory models employing strict crossed modules and associated invariant polynomials do not support global WZW-like boundary terms—important for applications in topological field theories, extended QFTs, and mathematical physics. Theoretically, these results suggest investigating extensions beyond strictness, such as semistrict or weak higher groups (Lie 2-algebras, $$(\mathcal{h}, \mathcal{g}; \alpha, \vartriangleright)$$6-algebras), where the symmetry constraints may be modified and global boundary effects restored.

Further development is required to generalize the Cartan homotopy formula and the transgression hierarchy to these broader contexts. If successful, future research may identify non-trivial higher WZW boundary functionals in semistrict or weak categorical frameworks and elucidate their physical significance, including potential manifestations of quantization and anomaly phenomena in higher-dimensional gauge theories.

Conclusion

This paper provides a systematic transgression-based derivation of higher (gauged) WZW terms for strict Lie crossed modules in higher gauge theory. The principal findings—that pure-gauge higher WZW terms vanish and higher gWZW terms are exact—rigorously characterize the gauge invariance properties of higher CS actions. The results decisively distinguish higher categorical structures from their classical counterparts and formulate clear directions for subsequent investigations into non-strict higher gauge frameworks and their applications in mathematics and theoretical physics.