# Reference Request: Classical Mechanics with Symplectic Reduction

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?

• I think you should go for the canonical reference Foundations of mechanics by Abraham and Marsden. It has pretty much everything that you are talking about. – Sandeep Thilakan Feb 2 '14 at 7:59
• – Qmechanic Feb 4 '14 at 9:06
• Arnold-Liouville theorem is in Arnold's book. – MBN Mar 24 '14 at 7:35
• Appendix 5 of 2 edn Arnold's "Mathematical Methods in Classical Mechanics" discusses symplectic reduction. – AngusTheMan Dec 19 '15 at 19:27