differential geometry - Why is the symplectic manifold version of Hamiltonian mechanics used in Newtonian mechanics?

Books such as Mathematical methods of classical mechanics describe an approach to classical (Newtonian/Galilean) mechanics where Hamiltonian mechanics turn into a theory of symplectic forms on manifolds.

I'm wondering why it's at all interesting to consider such things in the classical case. In more advanced theories of physics, manifolds become relevant, but in classical mechanics, everything is Euclidean and homogeneous, so this isn't really needed. There, I'm wondering what motivated people to develop the theory of Hamiltonian mechanics through the theory of symplectic manifolds.

One idea: There wasn't really and physical motivation, but someone noticed it, and it was mathematically nice. If this is the case, then how did people notice it?

However, maybe this theory was not developed until general relativity or quantum mechanics came about. That is, manifolds became relevant to more advanced physics, and Arnold thought it reasonable to teach students this manifold formalism in classical mechanics in order to better prepare them for more advanced physics. But, if this is true, no one thought of using symplectic manifolds purely for reasons of classical physics.

Answer

This question is somewhat of a physics history question about when and why. I dont have a specific reference as to who first introduced symplectic geometry into physics, but there are some broader indications as to what has happened.

The symplectic manifold idea is a formalisation (in terms of differential geometry) of the phase space idea. Looking up phase space in Wikipedia gives this useful reference and explanation:

In mathematics and physics, a phase space, introduced by Willard Gibbs in 1901, is a space in which all possible states of a system are represented, with each possible state of the system corresponding to one unique point in the phase space. For mechanical systems, the phase space usually consists of all possible values of position and momentum variables.

A second factor that would have been relevant in this case was Liouville's Theorem. This theorem asserts that the density of points in phase space is conserved. It is about volumes in phase space, thus suggesting a differential geometry treatment of phase space.

Once it became clear (I dont know whether this was Gibbs or later) that the symplectic form exists as a geometric object similar in some ways to a metric, and closely connected with the Poisson bracket and the rest of classical mechanics, then it would be natural to describe the whole of classical mechanics in this geometric way.

This could be another topic that was first noticed by mathematicians, but only noticed by physicists after the advent of quantum mechanics (1920s or 1930s) when explicit connections between the two theories (Classical and Quantum) were searched for. Names associated with this are Weyl and Moyal (in 1949). More on these early phase-space to QM ideas in this Wikipedia link.

It also needs to be remembered as we discuss post General Relativity and post Quantum Mechanics eras, that phase space formulations of GR have been sought as an aid to quantization. All this is a highly geometric approach to Quantum Gravity, associated with many names although Ashtekar worked on this overlap. Eventually this led to his (co-) formulation of Loop Quantum Gravity.