I am trying to find a supplement to appendix of Cushman & Bates' book on Global aspects of Classical Integrable Systems, that is less terse and explains mechanics with Lie groups (with dual of Lie algebra) to prove Symplectic reduction theorem (on locally free proper G-action), Arnold-Liouville Theorem (on completely integrable systems) and some more.

For instance, both Arnold's mechanics book and Spivak's physics for mathematician does not explain these concepts. I think supplements will help me understand that book's appendix (where it explains reduction theorem with lots of machinery, Ehresmann connection, and so on). Any suggestions on this?

This post imported from StackExchange Physics at 2014-08-11 14:58 (UCT), posted by SE-user chhan92