Noether identities

In mathematics, Noether identities characterize the degeneracy of a Lagrangian system. Given a Lagrangian system and its Lagrangian L, Noether identities can be defined as a differential operator whose kernel contains a range of the EulerLagrange operator of L. Any EulerLagrange operator obeys Noether identities which therefore are separated into the trivial and non-trivial ones. A Lagrangian L is called degenerate if the EulerLagrange operator of L satisfies non-trivial Noether identities. In this case Euler–Lagrange equations are not independent.

Noether identities need not be independent, but satisfy first-stage Noether identities, which are subject to the second-stage Noether identities and so on. Higher-stage Noether identities also are separated into the trivial and non-trivial once. A degenerate Lagrangian is called reducible if there exist non-trivial higher-stage Noether identities. YangMills gauge theory and gauge gravitation theory exemplify irreducible Lagrangian field theories.

Different variants of second Noether’s theorem state the one-to-one correspondence between the non-trivial reducible Noether identities and the non-trivial reducible gauge symmetries. Formulated in a very general setting, second Noether’s theorem associates to the KoszulTate complex of reducible Noether identities, parameterized by antifields, the BRST complex of reducible gauge symmetries parameterized by ghosts. This is the case of covariant classical field theory and Lagrangian BRST theory.

See also

References


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.