Gauge symmetry and partially Lagrangian systems
Simon Lyakhovich, Nikita Sinelnikov

TL;DR
This paper develops a framework for classical field theories with restricted trajectories, introducing gauge symmetry for additional equations, and provides Hamiltonian formulations and examples including gravity and particle motion.
Contribution
It introduces a novel approach to unfree variations in Lagrangian systems, establishing gauge symmetry for restricted equations and deriving their Hamiltonian form with non-canonical brackets.
Findings
The method applies to systems with restricted trajectories, like particles with conserved angular momentum.
It reveals extra conserved quantities and phase space dimensions in such systems.
The approach extends to linearized gravity, deriving Cotton gravity equations.
Abstract
We consider a classical field theory whose equations of motion follow from the least action principle, but the class of admissible trajectories is restricted by differential equations. The key element of the proposed construction is the complete gauge symmetry of these additional equations. The unfree variation of the trajectories reduces to the infinitesimal gauge symmetry transformation of the equations, restricting the trajectories. We explicitly derive the equations that follow from the requirement that this gauge variation of the action vanishes. The system of equations for conditional extrema is not a Lagrangian system as such, but it admits an equivalent Hamiltonian formulation with a non-canonical Poisson bracket. The bracket is degenerate, in general. Alternatively, the equations restricting the dynamics could be added to the action with Lagrange multipliers with unrestricted…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNonlinear Waves and Solitons
