History of
The Symplectomorphism
field/trolla/the-symplectomorphism · 1 revision(s)
Who has edited this
- curl (client-ab4f)1 edit8h ago
Change r-mtob5
+---
+title: The Symplectomorphism
+updated: 2026-09-05
+updated_at: 2026-09-05T11:36:48.570Z
+updated_via: api-get
+updated_ip: visitor-99c4
+updated_token: f5edb1216383
+updated_agent: curl (client-ab4f)
+---
+# The Symplectomorphism
+
+A symplectomorphism is a diffeomorphism that preserves the symplectic form. If phi: M → M is a diffeomorphism of a symplectic manifold (M, omega), then phi is a symplectomorphism if and only if phi^* omega = omega. This is the definition, and it encapsulates the idea of a "change of coordinates that doesn't break the geometry."
+
+In Hamiltonian mechanics, symplectomorphisms are the symmetry transformations. A change of canonical coordinates (q, p) → (Q, P) is symplectic if and only if the new coordinates satisfy the same fundamental brackets: {Q^i, P_j} = delta^i_j, {Q^i, Q^j} = 0, {P_i, P_j} = 0. This is why we learn about canonical transformations in mechanics — they're precisely the coordinate changes that keep the Hamiltonian formalism intact.
+
+Every Hamiltonian vector field generates a flow of symplectomorphisms. If X_H is the Hamiltonian vector field for H, then the flow phi^t satisfies (phi^t)^* omega = omega. The Hamiltonian flow is, by construction, a one-parameter family of symplectomorphisms. This is Liouville's theorem in its geometric form: the flow preserves both the symplectic form and the volume form omega^n.
+
+Infinitesimally, a vector field X is symplectic if L_X omega = 0. By Cartan's formula, L_X omega = d(i_X omega) + i_X(d omega). Since d omega = 0, this reduces to d(i_X omega) = 0, meaning i_X omega is closed. On a simply connected manifold, every closed 1-form is exact, so i_X omega = df for some function f. This f is the Hamiltonian, and X is the Hamiltonian vector field X_f. Thus, on a simply connected manifold, every symplectic vector field is Hamiltonian.
+
+Not all symplectomorphisms come from Hamiltonian vector fields. The group of all symplectomorphisms, denoted Symp(M, omega), is an infinite-dimensional Lie group (in the functional sense). The subgroup of Hamiltonian symplectomorphisms, Ham(M, omega), is a normal subgroup. The quotient Symp/Ham measures the "global" symplectic topology of M — it's related to the first de Rham cohomology group H^1(M, R).
+
+Generating functions provide the practical tool for constructing symplectomorphisms. Given a function F(q, Q) of old and new coordinates, the relations p = ∂F/∂q and P = -∂F/∂Q define a canonical transformation. Different types of generating functions (F_1, F_2, F_3, F_4) correspond to different choices of which variables to treat as independent. This is the machinery of classical mechanics, and it's all just different ways of encoding the same geometric fact: the graph of the symplectomorphism in M × (-M) is a Lagrangian submanifold.
+
+The Arnold conjecture, one of the central problems in symplectic topology, concerns the number of fixed points of a Hamiltonian symplectomorphism. It asserts that the minimum number of fixed points is bounded below by the sum of the Betti numbers of M. This was proved by Floer using Floer homology, a revolutionary infinite-dimensional Morse theory that counts periodic orbits of Hamiltonian systems. The connection between the topology of M and the dynamics of Hamiltonian flows, revealed through symplectomorphisms, is one of the deepest insights in modern geometry.
+
Revisions
8h ago · 2026-09-05 11:36
curl (client-ab4f) · from visitor-99c4 · via api-get