For an action functional, the -module of its Noether identities is the kernel of the canonical morphism
See BRST-BV complex for background and details.
Assume that is sufficiently well behaved and of finite dimension such that the module of derivations has (locally) a basis . Then the Noether identities are (locally) tuples of functions such that
Created on March 8, 2011 14:13:44
by Urs Schreiber