Singular reduction of implicit Hamiltonian systems (Q1769820)

The authors study the singular reduction of implicit Hamiltonian systems admitting a symmetry Lie group together with a corresponding equivariant momentum map. Their results extend the singular reduction theory for symplectic or Hamilton-Poisson systems. The main result is a topological description of the reduced implicit Hamiltonian system using the definition of a topological Dirac structure. It is shown that the solution of the original system descends to the solutions of the reduced system. Finally, under some technical conditions, it is proved that the singular reduced space can be decomposed into a set of smooth manifolds called pieces. The singular reduced system restricts to a regular reduced implicit Hamiltonian system on each of these pieces. As an example the spherical pendulum is presented in all details. In conclusion, a very nice paper.