#jsDisabledContent { display:none; } My Account |  Register |  Help

# Symplectic geometry

Article Id: WHEBN0000294298
Reproduction Date:

 Title: Symplectic geometry Author: World Heritage Encyclopedia Language: English Subject: Collection: Publisher: World Heritage Encyclopedia Publication Date:

### Symplectic geometry

Phase portrait of the Van der Pol oscillator, a one-dimensional system. Phase space was the original object of study in symplectic geometry.

Symplectic geometry is a branch of differential geometry and differential topology that studies symplectic manifolds; that is, differentiable manifolds equipped with a closed, nondegenerate 2-form. Symplectic geometry has its origins in the Hamiltonian formulation of classical mechanics where the phase space of certain classical systems takes on the structure of a symplectic manifold.

## Introduction

A symplectic geometry is defined on a smooth even-dimensional space that is a differentiable manifold. On this space is defined a geometric object, the symplectic form, that allows for the measurement of sizes of two-dimensional objects in the space. The symplectic form in symplectic geometry plays a role analogous to that of the metric tensor in Riemannian geometry. Where the metric tensor measures lengths and angles, the symplectic form measures areas.[1]

Symplectic geometry arose from the study of classical mechanics and an example of a symplectic structure is the motion of an object in one dimension. To specify the trajectory of the object, both the position q and the momentum p, which form a point (p,q) in the Euclidean plane R2. In this case, the symplectic form is

\omega = dp \wedge dq

and is an area form that measures the area A of a region S in the plane through integration:

A = \int_S \omega.

The area is important because as conservative dynamical systems evolve in time, this area is invariant.[1]

Higher dimensional symplectic geometries are defined analogously. A 2n-dimensional symplectic geometry is formed of pairs of directions

((x_1,x_2), (x_3,x_4),\ldots(x_{2n-1},x_{2n}))

in a 2n-dimensional manifold along with a symplectic form

\omega = dx_1 \wedge dx_2 + dx_3 \wedge dx_4 + \cdots + dx_{2n-1} \wedge dx_{2n}.

This symplectic form yields the size of a 2n-dimensional region V in the space as the sum of the areas of the projections of V onto each of the planes formed by the pairs of directions[1]

A = \int_V \omega = \int_V dx_1 \wedge dx_2 + \int_V dx_3 \wedge dx_4 + \cdots + \int_V dx_{2n-1} \wedge dx_{2n}.

## Comparison with Riemannian geometry

Symplectic geometry has a number of similarities with and differences from Riemannian geometry, which is the study of differentiable manifolds equipped with nondegenerate, symmetric 2-tensors (called metric tensors). Unlike in the Riemannian case, symplectic manifolds have no local invariants such as curvature. This is a consequence of Darboux's theorem which states that a neighborhood of any point of a 2n-dimensional symplectic manifold is isomorphic to the standard symplectic structure on an open set of R2n. Another difference with Riemannian geometry is that not every differentiable manifold need admit a symplectic form; there are certain topological restrictions. For example, every symplectic manifold is even-dimensional and orientable. Additionally, if M is a closed symplectic manifold, then the 2nd de Rham cohomology group H2(M) is nontrivial; this implies, for example, that the only n-sphere that admits a symplectic form is the 2-sphere.

## Examples and structures

Every Kähler manifold is also a symplectic manifold. Well into the 1970s, symplectic experts were unsure whether any compact non-Kähler symplectic manifolds existed, but since then many examples have been constructed (the first was due to William Thurston); in particular, Robert Gompf has shown that every finitely presented group occurs as the fundamental group of some symplectic 4-manifold, in marked contrast with the Kähler case.

Most symplectic manifolds, one can say, are not Kähler; and so do not have an integrable complex structure compatible with the symplectic form. Mikhail Gromov, however, made the important observation that symplectic manifolds do admit an abundance of compatible almost complex structures, so that they satisfy all the axioms for a Kähler manifold except the requirement that the transition maps be holomorphic.

Gromov used the existence of almost complex structures on symplectic manifolds to develop a theory of pseudoholomorphic curves, which has led to a number of advancements in symplectic topology, including a class of symplectic invariants now known as Gromov–Witten invariants. These invariants also play a key role in string theory.

## Name

The name "complex group" formerly advocated by me in allusion to line complexes, as these are defined by the vanishing of antisymmetric bilinear forms, has become more and more embarrassing through collision with the word "complex" in the connotation of complex number. I therefore propose to replace it by the corresponding Greek adjective "symplectic." Dickson calls the group the "Abelian linear group" in homage to Abel who first studied it.

Weyl (1939, p. 165)

Symplectic geometry is also called symplectic topology although the latter is really a subfield concerned with important global questions in symplectic geometry.

The term "symplectic" is a calque of "complex", introduced by Weyl (1939, footnote, p.165); previously, the "symplectic group" had been called the "line complex group". Complex comes from the Latin com-plexus, meaning "braided together" (co- + plexus), while symplectic comes from the corresponding Greek sym-plektikos (συμπλεκτικός); in both cases the suffix comes from the Indo-European root *plek-.[2] This naming reflects the deep connections between complex and symplectic structures.

## Notes

1. ^ a b c McDuff, Dusa (2010). European Women in Mathematics - Proceedings of the 13Th General Meeting Author Sylvie Paycha Publisher World Scientific, 2010 ISBN 9814277681, 9789814277686 Length 199 pages Export Citation BiBTeX EndNote RefMan. World Scientific. pp. 33–51.
2. ^ The Symplectization of Science, Mark J. Gotay and James A. Isenberg, p. 13.

## References

• Dusa McDuff and D. Salamon, Introduction to Symplectic Topology, Oxford University Press, 1998. ISBN 0-19-850451-9.
• A. T. Fomenko, Symplectic Geometry (2nd edition) (1995) Gordon and Breach Publishers, ISBN 2-88124-901-9. (An undergraduate level introduction.)
• Maurice A. de Gosson: Symplectic Geometry and Quantum Mechanics (2006) Birkhäuser Verlag, Basel ISBN 978-3-7643-7574-4.
• Alan Weinstein, Symplectic geometry
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.

Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.