5

Are canonical transformations (in the sense of Hamiltonian mechanics) morphisms for a certain category?

They seem to fit the archetypal description of morphisms being "structure-preserving maps".

Are canonical transformations equivalent to symplectomorphisms? (The canonical equations seem to suggest as much.) I.e. is "canonical transformation" the physicist jargon for what a mathematician would call a symplectomorphism?

If so, then does that mean that canonical transformations are just the morphisms of the symplectic category? (Called the Weinstein symplectic category in nLab.)

Do we lose any generality by only considering symplectic manifolds, or are those implicitly the only objects under study in Hamiltonian mechanics? https://ncatlab.org/nlab/show/Weinstein+symplectic+category

Chill2Macht
  • 22,055
  • 10
  • 67
  • 178
  • 1
    Yes (at least, when you work on cotangent bundles), those are the same thing, but they are not the same as Lagrangian correspondences at all (which are - sort of - the morphisms in the symplectic category.) –  Jun 17 '16 at 23:36

1 Answers1

7

Yes, canonical transformations (which are defined on the phase space $T^*\Bbb R^n$) are the same as symplectomorphisms - usually a canonical transformation is a diffeomorphism of $T^*\Bbb R^n$ that pulls back the canonical 1-form $\sum p_i dq_i$ to itself plus some exact 1-form. This is entirely equivalent (because $H^1(T^*\Bbb R^n) = 0$) to saying that it pulls back the symplectic form $\sum dp_i \wedge dq_i$ to itself - that is, that it's a symplectomorphism. For reinforcement, see page 18 of McDuff-Salamon: there they say "In the classical literature on Hamiltonian mechanics, symplectomorphisms are sometimes called canonical transformations."

But you should be warned about thinking about a "symplectic category". The first naive notion of such an object is as you say, manifolds and symplectomorphisms; but this doesn't allow interesting maps between different symplectic manifolds - this category is what's called a groupoid. (All morphisms are isomorphisms.) A second attempt might be to take symplectic manifolds and morphisms $f: (M,\omega) \to (N,\omega')$ if $f^*\omega' = \omega$. But this is again very restrictive: these maps are always immersions, for instance, and therefore cannot decrease dimension, or plenty of other interesting things one might like to do.

You somehow want a way of going between legitimately different symplectic manifolds, especially for the purposes of symplectic field theory, which assigns an object (the Fukaya category) to each manifold; you'd like a way to go between these objects for different symplectic manifolds in an interesting way. You do this by Lagrangian correspondences. This is inspired by the fact that given a symplectomorphism $(M,\omega_1) \to (M',\omega_2)$, the graph is a Lagrangian submanifold of $(M \times M', \pi_1^* \omega_1 - \pi_2^*\omega_2)$. So you define a morphism to always be a Lagrangian submanifold of this product. These don't compose, so Wehrheim-Woodward generalized them to the inspirationally named "generalized Lagrangian correspondence". But these are much more general than symplectomorphisms.

  • This is a great answer; it answered all of my questions, showed how such considerations lead to more advanced concepts, and provided good references for everything that didn't fit in a concise response. I really appreciate it, I hadn't expected such a perfect response. – Chill2Macht Jun 17 '16 at 23:58
  • 1
    @William Glad to. I should warn that Woodward-Wehrheim is very technical, but McDuff-Salamon is a great reference, and the first chapter is about the Hamiltonian mechanics - symplectic geometry dictionary to a degree. –  Jun 18 '16 at 00:07