The antifield Koszul–Tate complex of reducible Noether identities
The antifield Koszul–Tate complex of reducible Noether identities
A generic degenerate Lagrangian system of even and odd fields is examined in algebraic terms of the Grassmann-graded variational bicomplex. Its Euler-Lagrange operator obeys Noether identities which need not be independent, but satisfy first-stage Noether identities, and so on. We show that, if a certain necessary and sufficient condition holds, …