Related papers: Noether's second theorem for BRST symmetries
We prove Noether's direct and inverse second theorems for Lagrangian systems on fiber bundles in the case of gauge symmetries depending on derivatives of dynamic variables of an arbitrary order. The appropriate notions of reducible gauge…
The first and 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…
Motivated by BRST theory, we study generalized symmetries and supersymmetries depending on derivatives of dynamic variables in a most general setting. We state the first variational formula and conservation laws for higher order Lagrangian…
Following work by I. Anderson, in this note we present a formulation of Noether's Second Theorem that is valid on any natural bundle.
A simple local proof of Noether's Second Theorem is given. This proof immediately leads to a generalization of the theorem, yielding conservation laws and/or explicit relationships between the Euler--Lagrange equations of any variational…
Quasi-Noether differential systems are more general than variational systems and are quite common in mathematical physics. They include practically all differential systems of interest, at least those that have conservation laws. In this…
A generic degenerate Lagrangian system of even and odd variables on an arbitrary smooth manifold is examined in terms of the Grassmann-graded variational bicomplex. Its Euler-Lagrange operator obeys Noether identities which need not be…
General Lagrangian theory of even and odd fields on an arbitrary smooth manifold is considered. Its non-trivial reducible gauge symmetries and their algebra are defined in this very general setting by means of the inverse second Noether…
We provide a proof of the BRST Noether 1.5th theorem, conjectured in [JHEP 10 (2024) 055], for a broad class of rank-1 BV theories including supergravity and 2-form gauge theories. The theorem asserts that the BRST Noether current of any…
We extend the second Noether theorem to optimal control problems which are invariant under symmetries depending upon k arbitrary functions of the independent variable and their derivatives up to some order m. As far as we consider a…
Generalized symmetries and supersymmetries depending on derivatives of dynamic variables are treated in a most general setting. Studding cohomology of the variational bicomplex, we state the first variational formula and conservation laws…
We review the geometric formulation of the second Noether's theorem in time-dependent mechanics. The commutation relations between the dynamics on the final constraint manifold and the infinitesimal generator of a symmetry are studied. We…
We introduce an generalized action functional describing the equations of motion and the variational equations for any Lagrangian system. Using this novel scheme we are able to generalize Noether's theorem in such a way that to any…
In some of the physically interesting gauge systems, we show that the application of the Noether theorem does not lead to the deduction of the Becchi-Rouet-Stora-Tyutin (BRST) and anti-BRST charges that obey precisely the off-shell…
We develop the general theory of Noether symmetries for constrained systems. In our derivation, the Dirac bracket structure with respect to the primary constraints appears naturally and plays an important role in the characterization of the…
We consider the second variational derivative of a given gauge-natural invariant Lagrangian taken with respect to (prolongations of) vertical parts of gauge-natural lifts of infinitesimal principal automorphisms. By requiring such a second…
We study the Lie and Noether point symmetries of a class of systems of second-order differential equations with $n$ independent and $m$ dependent variables ($n\times m$ systems). We solve the symmetry conditions in a geometric way and…
By generalizing the cosymplectic setting for time-dependent Lagrangian mechanics, we propose a geometric framework for the Lagrangian formulation of classical field theories with a Lagrangian depending on the independent variables. For that…
We give details and derivations for the Noether invariance theory that characterizes the spatial equilibrium structure of inhomogeneous classical many-body systems, as recently proposed and investigated for bulk systems [F. Samm\"uller…
Graded Lagrangian formalism in terms of a Grassmann-graded variational bicomplex on graded manifolds is developed in a very general setting. This formalism provides the comprehensive description of reducible degenerate Lagrangian systems,…