Symplectic Geometry

Why do planetary orbits repeat with such precision? Why are quantum energy levels discrete? Both answers come from symplectic geometry-the mathematics of conservation.

• **Classical Mechanics:** Hamilton's equations, energy conservation, integrable systems (pendulum, two-body problem).
• **Quantum Mechanics:** Geometric quantization - symplectic form → operator. Poisson bracket → commutator.
• **Molecular Dynamics:** Symplectic integrators (Verlet, Störmer) conserve energy exactly in numerical simulations.

Предварительные знания

• Differential Forms
• Smooth Manifolds

Symplectic Form

A **symplectic form** ω is a closed, non-degenerate 2-form on an even-dimensional manifold. 'Closed' means dω = 0; 'non-degenerate' means that the map ω♭: TM → T*M is an isomorphism.

A Riemannian metric is a symmetric non-degenerate (0,2)-tensor. A symplectic form is skew-symmetric. This yields fundamentally different geometry: no notion of length or angle, but a notion of 'area' and volume-preserving flows.

Darboux's Theorem: Symplectic Geometry Is Locally Flat

**Darboux's theorem:** Near any point of a symplectic manifold (M²ⁿ, ω) there exist canonical coordinates (q¹,...,qⁿ, p₁,...,pₙ) such that ω = Σ dpᵢ ∧ dqⁱ. Symplectic geometry is locally 'flat'-unlike Riemannian geometry!

In Riemannian geometry, curvature is a local invariant-not all metrics are locally equivalent to the flat metric. In symplectic geometry, Darboux's theorem says all symplectic forms of the same dimension are locally the same. There is no local symplectic curvature!

Hamiltonian Vector Fields and Liouville's Theorem

A function H: M → ℝ generates a **Hamiltonian vector field** X_H via ω(X_H, ·) = dH. The flow of this field preserves ω (Liouville's theorem)-the phase space volume is conserved.

In canonical coordinates X_H takes the form of the classical Hamilton equations. The flow of X_H is a symplectomorphism (preserves ω). This is the direct geometric reason for volume conservation in classical mechanics.

Poisson Bracket and Integrable Systems

The **Poisson bracket** {f,g} = ω(X_f, X_g) makes C∞(M) into a Lie algebra. Functions satisfying {f,H} = 0 are conserved quantities. If there are n = dim M / 2 such functions in involution, the system is completely integrable (Liouville-Arnold theorem).

The passage from classical to quantum mechanics replaces the Poisson bracket with the commutator: {f,g} → [F̂,Ĝ]/(iℏ). Symplectic geometry is the mathematical foundation of geometric quantization.

Key Ideas

• **Symplectic form ω**: closed non-degenerate 2-form on an even-dimensional manifold
• **Darboux's theorem**: locally ω = Σ dpᵢ ∧ dqᵢ (no local invariants!)
• **Hamiltonian field** X_H: ι_{X_H}ω = dH, flow preserves ω (Liouville's theorem)
• **Poisson bracket** {f,g} = ω(X_f,X_g) - Lie algebra on functions; {F,H}=0 ↔ conserved quantity

Related Topics

Symplectic geometry connects mechanics, topology, and quantum theory:

• Differential Forms — The symplectic form is a closed 2-form; the full apparatus of forms and de Rham cohomology applies directly
• Smooth Manifolds — Phase space is the cotangent bundle T*M with its canonical symplectic structure
• Stokes' Theorem — Conservation of ω (dω = 0) and Stokes' theorem define topological invariants of the system

Вопросы для размышления

• Why does Darboux's theorem fundamentally distinguish symplectic from Riemannian geometry? What does this say about the nature of mechanical systems?
• What is the geometric meaning of the Poisson bracket? How is it related to the Lie bracket of vector fields?
• How do symplectic integrators exploit geometry to conserve energy in numerical simulations?

Связанные уроки

• calc-01-sequences