Abstract
The direct and inverse second Noether theorems are formulated in a general case of reducible degenerate Grassmann-graded Lagrangian theory of even and odd variables on graded bundles. Such Lagrangian theory is characterized by a hierarchy of nontrivial higher-stage Noether identities which is described in the homology terms. If a certain homology regularity condition holds, one can associate with a reducible degenerate Lagrangian the exact Koszul–Tate chain complex possessing the boundary operator whose nilpotentness is equivalent to all complete nontrivial Noether and higher-stage Noether identities. The second Noether theorems associate with the above-mentioned Koszul–Tate complex a certain cochain sequence whose ascent operator consists of the gauge and higher-order gauge symmetries of a Lagrangian system. If gauge symmetries are algebraically closed, this operator is extended to the nilpotent BRST operator which brings the above-mentioned cochain sequence into the BRST complex and provides a BRST extension of an original Lagrangian.
Highlights
The second Noether theorems are well known to provide the correspondence between Noether identities ( NI) and gauge symmetries of a Lagrangian system [1]
We aim to formulate these theorems in a general case of reducible degenerate Lagrangian systems characterized by a hierarchy of nontrivial higher-stage NI [2, 3]
Lagrangian theory of even variables on an n-dimensional smooth manifold X conventionally is formulated in terms of smooth fibre bundles over X and jet manifolds of their sections [3,4,5] in the framework of general technique of nonlinear differential operators and equations [3, 6, 7]
Summary
The direct and inverse second Noether theorems are formulated in a general case of reducible degenerate Grassmann-graded Lagrangian theory of even and odd variables on graded bundles. Such Lagrangian theory is characterized by a hierarchy of nontrivial higher-stage Noether identities which is described in the homology terms. If a certain homology regularity condition holds, one can associate with a reducible degenerate Lagrangian the exact Koszul–Tate chain complex possessing the boundary operator whose nilpotentness is equivalent to all complete nontrivial Noether and higher-stage Noether identities. The second Noether theorems associate with the above-mentioned Koszul–Tate complex a certain cochain sequence whose ascent operator consists of the gauge and higher-order gauge symmetries of a Lagrangian system.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
