MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Noether's second variational theorem gives a correspondence between symmetries of a Lagrangian and Noether identities, which are relations among the Euler–Lagrange equations.

How about relations among relations among the Euler–Lagrange equations, cf. syzygies?

share|cite|improve this question
up vote 2 down vote accepted

Identities among Noether identities (lets call them higher stage Noether identities, for lack of a better standard name) are mapped to gauge symmetries of gauge symmetries (lets call them higher stage gauge symmetries, also sometimes known as reducibility identities). As far as I know, references to the notions of higher stage Noether identities and higher stage gauge symmetries and to this result are scattered through, and sometimes hidden in, the literature on the BRST treatment of gauge theories. For instance, the construction of the Koszul-Tate differential in the Batalin-Vilkovisky (BV) treatment of gauge theories requires that each generation of ghosts (ghosts of ghost, ghosts of ghosts of ghosts, etc., which generate higher stage gauge symmetries) has corresponding anti-fields (which generate higher gauge Noether identities). I'm sure this is well known to you, Jim, since this well known review article by Marc Henneaux (Secs. 2.10, 5.4) mentions it and refers to one of your old articles for details:

  • Henneaux, M. Lectures on the antifield-BRST formalism for gauge theories. Nuclear Physics B - Proceedings Supplements 18, 47-105 (1990).
  • Fish, J., Henneaux, M., Stasheff, J. Comm. Math. Phys. 120, 379 (1989).

A more recent reference that mentions the identification between higher stage gauge symmetries and higher stage Noether identities is Sec. 3.2 of

There is also a generalization of Noether's first theorem which puts higher stage Noether identities into correspondence with higher degree conserved currents (where the latter refers to on-shell closed differential forms of lower form-degree). I can add references for that as well, if it is part of your question.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.