Lagrangian multiforms on Lie groups and non-commuting flows
Vincent Caudrelier, Frank Nijhoff, Duncan Sleigh, Mats Vermeeren
TL;DR
This work extends the variational framework of Lagrangian multiforms to noncommuting flows by making the multi-time a Lie group, with the group structure encoding the commutation relations of the flows. It develops jet bundles on Lie groups, formulates a variational principle for functions on the group, and constructs Lagrangian 1-forms and 2-forms that capture noncommuting dynamics, including a nonlinear Poisson setting and a noncommutative AKNS hierarchy. The approach yields concrete results for superintegrable systems such as Kepler and Calogero-Moser, and provides SE(2) and infinite hierarchy examples that illustrate noncommutative zero-curvature relations and symmetry-generated evolutions. Collectively, the paper offers a first-principles variational description of Lie group actions on manifolds and paves the way for purely variational treatments of noncommuting symmetry flows and their associated integrable hierarchies.
Abstract
We describe a variational framework for non-commuting flows, extending the theories of Lagrangian multiforms and pluri-Lagrangian systems, which have gained prominence in recent years as a variational description of integrable systems in the sense of multidimensional consistency. In the context of non-commuting flows, the manifold of independent variables, often called multi-time, is a Lie group whose bracket structure corresponds to the commutation relations between the vector fields generating the flows. Natural examples are provided by superintegrable systems for the case of Lagrangian 1-form structures, and integrable hierarchies on loop groups in the case of Lagrangian 2-forms. As particular examples we discuss the Kepler problem, the rational Calogero-Moser system, and a generalisation of the Ablowitz-Kaup-Newell-Segur system with non-commuting flows. We view this endeavour as a first step towards a purely variational approach to Lie group actions on manifolds.
