In mathematics, a symplectomorphism or symplectic map is an isomorphism in the category of symplectic manifolds. In classical mechanics, a symplectomorphism represents a transformation of phase space that is volume-preserving and preserves the symplectic structure of phase space, and is called a canonical transformation.

Formal definition

edit

A diffeomorphism between two symplectic manifolds   is called a symplectomorphism if

 

where   is the pullback of  . The symplectic diffeomorphisms from   to   are a (pseudo-)group, called the symplectomorphism group (see below).

The infinitesimal version of symplectomorphisms gives the symplectic vector fields. A vector field   is called symplectic if

 

Also,   is symplectic if the flow   of   is a symplectomorphism for every  . These vector fields build a Lie subalgebra of  . Here,   is the set of smooth vector fields on  , and   is the Lie derivative along the vector field  

Examples of symplectomorphisms include the canonical transformations of classical mechanics and theoretical physics, the flow associated to any Hamiltonian function, the map on cotangent bundles induced by any diffeomorphism of manifolds, and the coadjoint action of an element of a Lie group on a coadjoint orbit.

Flows

edit

Any smooth function on a symplectic manifold gives rise, by definition, to a Hamiltonian vector field and the set of all such vector fields form a subalgebra of the Lie algebra of symplectic vector fields. The integration of the flow of a symplectic vector field is a symplectomorphism. Since symplectomorphisms preserve the symplectic 2-form and hence the symplectic volume form, Liouville's theorem in Hamiltonian mechanics follows. Symplectomorphisms that arise from Hamiltonian vector fields are known as Hamiltonian symplectomorphisms.

Since {H, H} = XH(H) = 0, the flow of a Hamiltonian vector field also preserves H. In physics this is interpreted as the law of conservation of energy.

If the first Betti number of a connected symplectic manifold is zero, symplectic and Hamiltonian vector fields coincide, so the notions of Hamiltonian isotopy and symplectic isotopy of symplectomorphisms coincide.

It can be shown that the equations for a geodesic may be formulated as a Hamiltonian flow, see Geodesics as Hamiltonian flows.

The group of (Hamiltonian) symplectomorphisms

edit

The symplectomorphisms from a manifold back onto itself form an infinite-dimensional pseudogroup. The corresponding Lie algebra consists of symplectic vector fields. The Hamiltonian symplectomorphisms form a subgroup, whose Lie algebra is given by the Hamiltonian vector fields. The latter is isomorphic to the Lie algebra of smooth functions on the manifold with respect to the Poisson bracket, modulo the constants.

The group of Hamiltonian symplectomorphisms of   usually denoted as  .

Groups of Hamiltonian diffeomorphisms are simple, by a theorem of Banyaga.[1] They have natural geometry given by the Hofer norm. The homotopy type of the symplectomorphism group for certain simple symplectic four-manifolds, such as the product of spheres, can be computed using Gromov's theory of pseudoholomorphic curves.

Comparison with Riemannian geometry

edit

Unlike Riemannian manifolds, symplectic manifolds are not very rigid: Darboux's theorem shows that all symplectic manifolds of the same dimension are locally isomorphic. In contrast, isometries in Riemannian geometry must preserve the Riemann curvature tensor, which is thus a local invariant of the Riemannian manifold. Moreover, every function H on a symplectic manifold defines a Hamiltonian vector field XH, which exponentiates to a one-parameter group of Hamiltonian diffeomorphisms. It follows that the group of symplectomorphisms is always very large, and in particular, infinite-dimensional. On the other hand, the group of isometries of a Riemannian manifold is always a (finite-dimensional) Lie group. Moreover, Riemannian manifolds with large symmetry groups are very special, and a generic Riemannian manifold has no nontrivial symmetries.

Quantizations

edit

Representations of finite-dimensional subgroups of the group of symplectomorphisms (after ħ-deformations, in general) on Hilbert spaces are called quantizations. When the Lie group is the one defined by a Hamiltonian, it is called a "quantization by energy". The corresponding operator from the Lie algebra to the Lie algebra of continuous linear operators is also sometimes called the quantization; this is a more common way of looking at it in physics.

Arnold conjecture

edit

A celebrated conjecture of Vladimir Arnold relates the minimum number of fixed points for a Hamiltonian symplectomorphism  , in case   is a compact symplectic manifold, to Morse theory (see [2]). More precisely, the conjecture states that   has at least as many fixed points as the number of critical points that a smooth function on   must have. Certain weaker version of this conjecture has been proved: when   is "nondegenerate", the number of fixed points is bounded from below by the sum of Betti numbers of   (see,[3][4]). The most important development in symplectic geometry triggered by this famous conjecture is the birth of Floer homology (see [5]), named after Andreas Floer.

edit

"Symplectomorphism" is a word in a crossword puzzle in episode 1 of the anime Spy × Family.[6]

See also

edit

References

edit
  1. ^ McDuff & Salamon 1998, Theorem 10.25
  2. ^ Arnolʹd, Vladimir (1978). Mathematical methods of classical mechanics. Graduate Texts in Mathematics. Vol. 60. New York: Springer-Verlag. doi:10.1007/978-1-4757-1693-1. ISBN 978-1-4757-1693-1.
  3. ^ Fukaya, Kenji; Ono, Kaoru (September 1999). "Arnold conjecture and Gromov-Witten invariants". Topology. 38 (5): 933–1048. doi:10.1016/S0040-9383(98)00042-1.
  4. ^ Liu, Gang; Tian, Gang (1998). "Floer homology and Arnold conjecture". Journal of Differential Geometry. 49 (1): 1–74. doi:10.4310/jdg/1214460936.
  5. ^ Floer, Andreas (1989). "Symplectic fixed points and holomorphic spheres". Communications in Mathematical Physics. 120 (4): 575–611. doi:10.1007/BF01260388. S2CID 123345003.
  6. ^ Anya Gets Adopted. Crunchyroll Collection.
General
Symplectomorphism groups