# nLab conserved current

### Context

#### Variational calculus

variational calculus

# Contents

## The context

Let $X$ be a spacetime of dimension $n$, $E\to X$ a bundle, $j:\infty E\to X$ its jet bundle and

${\Omega }^{•,•}\left({j}_{\infty }E\right),\left(D=\delta +d\right)$\Omega^{\bullet,\bullet}(j_\infty E), (D = \delta + d)

the corresponding variational bicomplex with $\delta$ being the vertical and $d={d}_{\mathrm{dR}}$ the horizontal differential.

###### Proposition

For $L\in {\Omega }^{n,0}\left({j}_{\infty }E\right)$ a Lagrangian we have that

$\delta L=E\left(L\right)+d\Theta$\delta L = E(L) + d \Theta

for $E$ the Euler-Lagrange operator.

The covariant phase space of the Lagrangian is the locus

$\left\{\varphi \in \Gamma \left(E\right)\mid E\left(L\right)\left({j}_{\infty }\varphi \right)=0\right\}\phantom{\rule{thinmathspace}{0ex}}.$\{\phi \in \Gamma(E) | E(L)(j_\infty \phi) = 0\} \,.

For $\Sigma \subset X$ any $\left(n-1\right)$-dimensional submanifold,

$\delta \theta :=\delta {\int }_{\Sigma }\Theta$\delta \theta := \delta \int_\Sigma \Theta

is the presymplectic structure on covariant phase space

## Definition

###### Definition

A conserved current is an element

$j\in {\Omega }^{n-1,0}\left({j}_{\infty }E\right)$j \in \Omega^{n-1, 0}(j_\infty E)

which is horizontally closed on covariant phase space

$dj{\mid }_{E\left(L\right)=0}=0\phantom{\rule{thinmathspace}{0ex}}.$d j|_{E(L) = 0} = 0 \,.
###### Definition

For $\Sigma ↪X$ a submanifold of dimension $n-1$, the charge of the conserved current $j$ with respect to $\Sigma$ is the integral

${Q}_{\Sigma }:={\int }_{\Sigma }j\phantom{\rule{thinmathspace}{0ex}}.$Q_\Sigma := \int_\Sigma j \,.

## Properties

###### Proposition

If $\Sigma ,\Sigma \prime \subset X$ are homolous, the associated charge is the same

${Q}_{\Sigma }={Q}_{\Sigma \prime }\phantom{\rule{thinmathspace}{0ex}}.$Q_{\Sigma} = Q_{\Sigma'} \,.
###### Theorem

Every symmetry induces a conserved current.

This is Noether's theorem. See there for more details.

## References

A general discussion as above is around definition 9 of

• G. J. Zuckerman, Action Principles and Global Geometry , in Mathematical Aspects of String Theory, S. T. Yau (Ed.), World Scientific, Singapore, 1987, pp. 259–284. (pdf)

The relation of conserved currents to moment maps in symplectic geometry is highlighted for instance in

• Huijun Fan, Lecture 8, Moment map and symplectic reduction (pdf)

Revised on May 21, 2013 23:56:50 by Urs Schreiber (89.204.130.130)