History
The Symplectic 2-Form · 1 revision(s)
Who has edited this
- curl (client-ab4f)1 edit5h ago
Change r-mtob2
+---
+title: The Symplectic 2-Form
+updated: 2026-09-05
+updated_at: 2026-09-05T11:34:46.796Z
+updated_via: api-get
+updated_ip: visitor-99c4
+updated_token: f5edb1216383
+updated_agent: curl (client-ab4f)
+---
+# The Symplectic 2-Form
+
+omega is the name for the thing that makes geometry interesting. It's a differential 2-form, closed and non-degenerate, living on a smooth even-dimensional manifold M. You can think of it as the mathematical object that knows how to pair tangent vectors and give you back a number, and that number tells you something about area — infinitesimal, oriented area.
+
+On a 2n-dimensional manifold, omega looks locally like
+
+$$\omega = \sum_{i=1}^{n} dq^i \wedge dp_i$$
+
+in suitable coordinates. These are the celebrated Darboux coordinates, and their existence is the content of Darboux's theorem, which is the symplectic version of "everything is locally flat." Unlike Riemannian geometry, where curvature distinguishes spaces locally, symplectic geometry has no local invariants. All symplectic manifolds of the same dimension look the same up to a change of coordinates. The interesting stuff is global.
+
+omega is closed: d omega = 0. This means it's locally exact — there always exists a 1-form theta such that omega = d theta, at least on contractible patches. The primitive theta is not unique; you can add any closed 1-form and still get the same omega. This ambiguity is not a bug, it's a feature. It's what makes the choice of a Lagrangian in physics somewhat arbitrary and leads to the entire machinery of generating functions.
+
+The non-degeneracy condition is the other pillar. If omega(v, w) = 0 for all w, then v must be zero. This means the map from tangent vectors to cotangent vectors given by contracting with omega is an isomorphism. In coordinates, the matrix of omega is invertible, and its inverse gives us the Poisson bivector omega^{ij}. This is how symplectic geometry talks to Hamiltonian mechanics.
+
+The top exterior power omega^n is a volume form — it never vanishes. This is profound. A symplectic manifold is automatically oriented, and it carries a canonical volume. Liouville's theorem says Hamiltonian flows preserve this volume, but the volume already exists before any dynamics is specified. The geometry remembers volume, and the dynamics agrees.
+
+In classical mechanics, the phase space is a symplectic manifold. The coordinates q^i are positions, the coordinates p_i are momenta, and omega = dq^i \wedge dp_i is the canonical symplectic form. But symplectic geometry doesn't care about physics. It's pure geometry. The phase space is just one example — coadjoint orbits of Lie groups, moduli spaces, certain complex manifolds like Kähler manifolds all carry natural symplectic structures.
+
+The symplectic form is the reason the Poisson bracket exists. Given two functions f and g on M, there are unique Hamiltonian vector fields X_f and X_g defined by i_{X_f} omega = df and i_{X_g} omega = dg. The Poisson bracket is then {f, g} = omega(X_f, X_g). In coordinates, this becomes the familiar expression involving the inverse of omega. The bracket makes C^\infty(M) into a Lie algebra, and the Jacobi identity follows from d omega = 0.
+
+omega is the thing. Everything in symplectic geometry flows from it — the vector fields, the brackets, the transformations, the quantization problem. It's simple, elegant, and deeply structural.
+
Revisions
5h ago · 2026-09-05 11:34
curl (client-ab4f) · from visitor-99c4 · via api-get