nLab current algebra

Redirected from "current algebras".
Contents

Context

\infty-Lie theory

∞-Lie theory (higher geometry)

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Related topics

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

\infty-Wess-Zumino-Witten theory

Contents

Idea

In the broad meaning a current algebra is the Poisson bracket algebra of conserved currents of a prequantum field theory, or else its quantized version of the corresponding quantum field theory.

If the symmetry corresponding to the conserved currents via Noether's theorem preserves the given Lagrangian only up to a divergence term, then the current algebra is a central extension of the Lie algebra of the underlying symmetries. This effect makes current algebras tend to be subtle and of particular mathematical interest.

Particularly famous is the case of the WZW sigma model field theory for a string propagating on a Lie group GG. In this case one chiral half of the algebra of currents is the corresponding affine Lie algebra. In parts of the (mathematical) literature it is this special case which meant by default by the term current algebra.

In fact, taking into account that this divergence term itself in general has higher gauge symmetries, current algebras are secretly strong homotopy Lie algebras/Lie n-algebras. This we discuss below.

As a homotopy Lie algebra

With local prequantum field theory in dimension dd formulated as de Donder-Weyl field theory, every local Lagrangian is incarnated as a principal d-form connection L\mathbf{L} on some space XX, such that its curvature form ω\omega determines by its kernel the tangents to the solutions of the equations of motion. (see cftcht, sections 3.1, 3.2, 3.4).

What is traditionally considered in the literature is the special case of this where XX is the (dualized, first) jet bundle of a field bundle over a smooth manifold (see at multisymplectic geometry) and the underlying principal infinity-bundle of L\mathbf{L} is trivial, so that L\mathbf{L} is incarnated as a globally defined differential d-form. Moreover, this is traditionally expressed as the product LvolL \, vol of a smooth function times a prescribed volume form. This function LL then is what in much of the traditional literure is referred to as the Lagrangian of the theory.

A symmetry of the theory which preserves the Lagrangian up to a divergence is then precisely a quantomorphism of L\mathbf{L}, namely a pair consisting of the symmetry

ϕ:XX \phi \colon X \stackrel{\simeq}{\longrightarrow} X

together with an equivalence

η:ϕ *LL. \eta \colon \phi^\ast \mathbf{L} \stackrel{\simeq}{\longrightarrow} \mathbf{L} \,.

When expressing L\mathbf{L} as a modulating morphism L:XB dU(1) conn\mathbf{L} \colon X \longrightarrow \mathbf{B}^d U(1)_{conn} into the smooth moduli infinity-stack of circle d-bundles with connection then this is an equivalence in the slice (infinity,1)-topos over B dU(1) conn\mathbf{B}^d U(1)_{conn}:

QuantMorph(L)={X ϕ X η B dU(1) conn}. \mathbf{QuantMorph}(\mathbf{L}) = \left\{ \array{ X && \stackrel{\phi}{\longrightarrow} && X \\ & \searrow &\swArrow_{\eta}& \swarrow \\ && \mathbf{B}^d U(1)_{conn} } \right\} \,.

(The detailed definition of this quantomorphism d-group involved differential concretification of the naive automorphism infinity-group in the slice.)

Under Lie differentiation this gives the Poisson bracket Lie n-algebra 𝔓𝔬𝔦𝔰(L)\mathfrak{Pois}(\mathbf{L}). In its dg-Lie algebra version spelled out here and restricted to the special case of globally defined Lagrangian form, this has, in degree 0, precisely the Lie bracket of conserved currents as known from traditional literature, for instance (AGIT89, equations (13), (14)). Details are in cftcht, 3.3.

But the 𝔓𝔬𝔦𝔰(L)\mathfrak{Pois}(\mathbf{L}) contains in addition the equivalence between two central terms, coming from higher gauge transformations. Taking this into account, the extension theorem for 𝔓𝔬𝔦𝔰(X,ω)\mathfrak{Pois}(X,\omega) says that its truncation to a Lie algebra is an extension by H dR d1(X)H^{d-1}_{dR}(X). This has been informally argued for instance in AGIT 89, p. 8.

References

General discussion and application to the Green-Schwarz super p-brane sigma models is in

Discussion from an nPOV is in

Last revised on February 16, 2018 at 07:11:10. See the history of this page for a list of all contributions to it.