﻿

# Symplectic vector space

In mathematics, a symplectic vector space is a vector space "V" equipped with a nondegenerate, skew-symmetric, bilinear form &omega; called the symplectic form.

Explicitly, a symplectic form is a bilinear form &omega; : "V" &times; "V" &rarr; R which is
* "Skew-symmetric": &omega;("u", "v") = −&omega;("v", "u") for all "u", "v" &isin; "V",
* "Nondegenerate": if &omega;("u", "v") = 0 for all "v" &isin; "V" then "u" = 0.Working in a fixed basis, &omega; can be represented by a matrix. The two conditions above say that this matrix must be skew-symmetric and nonsingular. This is "not" the same thing as a symplectic matrix, which represent a symplectic transformation of the space.

If "V" is finite-dimensional then its dimension must necessarily be even since every skew-symmetric matrix of odd size has determinant zero.

A nondegenerate skew-symmetric bilinear form behaves quite differently from a nondegenerate "symmetric" bilinear form, such as the dot product on Euclidean vector spaces. With a Euclidean inner product "g", we have "g"("v","v") > 0 for all nonzero vectors "v", whereas a symplectic form &omega; satisfies &omega;("v","v") = 0.

tandard symplectic space

The standard symplectic space is R2"n" with the symplectic form given by a nonsingular, skew-symmetric matrix. Typically &omega; is chosen to be the block matrix

:where "I""n" is the "n" &times; "n" identity matrix. In terms of basis vectors

:$\left(x_1, ldots, x_n, y_1, ldots, y_n\right)$::$omega\left(x_i, y_j\right) = -omega\left(y_j, x_i\right) = delta_\left\{ij\right\},$:$omega\left(x_i, x_j\right) = omega\left(y_i, y_j\right) = 0.,$

A modified version of the Gram-Schmidt process shows that any finite-dimensional symplectic vector space has such a basis, often called a "Darboux basis".

There is another way to interpret this standard symplectic form. Since the model space R"n" used above carries much canonical structure which might easily lead to misinterpretation, we will use "anonymous" vector spaces instead.Let "V" be a real vector space of dimension "n" and "V"&lowast; its dual space. Now consider the direct sum "W" := "V" &oplus; "V"&lowast; of these spaces equipped with the following form:

:$omega\left(x oplus eta, y oplus xi\right) = xi\left(x\right) - eta\left(y\right).$

Now choose any basis ("v"1, &hellip;, "v""n") of "V" and consider its dual basis

:$\left(v^*_1, ldots, v^*_n\right).$

We can interpret the basis vectors as lying in "W" if we write"x""i" = ("v""i", 0) and "y""i" = (0, v"i"&lowast;). Taken together, these form a complete basis of "W",

:$\left(x_1, ldots, x_n, y_1, ldots, y_n\right).$

The form $omega$ defined here can be shown to have the same properties as in the beginning of this section.

Volume form

Let &omega; be a form on a "n"-dimensional real vector space "V", &omega; &isin; &Lambda;2("V"). Then &omega; is non-degenerate if and only if "n" is even, and &omega;"n"/2 = &omega; &and; &hellip; &and; &omega; is a volume form. A volume form on a "n"-dimensional vector space "V" is a non-zero multiple of the (unique) "n"-form "e"1&lowast; &and; &hellip; &and; "e""n"&lowast; where the "e""i" are standard basis vectors on "V".

For the standard basis defined in the previous section, we have

:$omega^n=\left(-1\right)^\left\{n/2\right\} x^*_1wedgeldots wedge x^*_nwedge y^*_1wedge ldots wedge y^*_n.$

By reordering, one can write

:$omega^n= x^*_1wedge y^*_1wedge ldots wedge x^*_nwedge y^*_n.$

Authors variously define &omega;"n" or (−1)"n"/2&omega;"n" as the standard volume form. An occasional factor of "n"! may also appear, depending on whether the definition of the alternating product contains a factor of "n"! or not. The volume form defines an orientation on the symplectic vector space ("V", &omega;).

ymplectic map

Suppose that $\left(V,omega\right)$ and $\left(W, ho\right)$ are symplectic vector spaces. Then a linear map $f:V ightarrow W$ is called a symplectic map if and only if the pullback $f^*$ preserves the symplectic form, that is, if $f^* ho=omega$. The pullback form is defined by

:$f^* ho\left(u,v\right)= ho\left(f\left(u\right),f\left(v\right)\right)$

and thus "f" is a symplectic map if and only if

:$ho\left(f\left(u\right),f\left(v\right)\right)=omega\left(u,v\right)$

for all "u" and "v" in "V". In particular, symplectic maps are volume-preserving, orientation-preserving, and are isomorphisms.

ymplectic group

If "V" = "W", then a symplectic map is called a linear symplectic transformation of "V". In particular, in this case one has that

:$omega\left(f\left(u\right),f\left(v\right)\right) = omega\left(u,v\right)$,

and so the linear transformation "f" preserves the symplectic form. The set of all symplectic transformations forms a group and in particular a Lie group, called the symplectic group and denoted by Sp("V") or sometimes Sp("V",&omega;). In matrix form symplectic transformations are given by symplectic matrices.

ubspaces

Let "W" be a linear subspace of "V". Define the symplectic complement of "W" to be the subspace:$W^\left\{perp\right\} = \left\{vin V mid omega\left(v,w\right) = 0 mbox\left\{ for all \right\} win W\right\}.$The symplectic complement satisfies:$\left(W^\left\{perp\right\}\right)^\left\{perp\right\} = W$and:$dim W + dim W^perp = dim V.$However, unlike orthogonal complements, "W"&perp; &cap; "W" need not be 0. We distinguish four cases:

*"W" is symplectic if "W"&perp; &cap; "W" = {0}. This is true if and only if &omega; restricts to a nondegenerate form on "W". A symplectic subspace with the restricted form is a symplectic vector space in its own right.
*"W" is isotropic if "W" &sube; "W"&perp;. This is true if and only if &omega; restricts to 0 on "W". Any one-dimensional subspace is isotropic.
*"W" is coisotropic if "W"&perp; &sube; "W". "W" is coisotropic if and only if &omega; descends to a nondegenerate form on the quotient space "W"/"W"&perp;. Equivalently "W" is coisotropic if and only if "W"&perp; is isotropic. Any codimension-one subspace is coisotropic.
*"W" is Lagrangian if "W" = "W"&perp;. A subspace is Lagrangian if and only if it is both isotropic and coisotropic. In a finite-dimensional vector space, a Lagrangian subspace is an isotropic one whose dimension is half that of "V". Every isotropic subspace can be extended to a Lagrangian one.

Referring to the canonical vector space R2"n" above,
* the subspace spanned by {"x"1, "y"1} is symplectic
* the subspace spanned by {"x"1, "x"2} is isotropic
* the subspace spanned by {"x"1, "x"2, &hellip;, "x""n", "y"1} is coisotropic
* the subspace spanned by {"x"1, "x"2, &hellip;, "x""n"} is Lagrangian.

Properties

Note that the symplectic form resembles the canonical commutation relations. As a result, the additive group of a symplectic vector space has a central extension, this central extension is the Heisenberg group.

ee also

* A symplectic manifold is a smooth manifold with a smoothly-varying "closed" symplectic form on each tangent space
* Maslov index
* A symplectic representation is a group representation where each group element acts as a symplectic transformation.

References

* Ralph Abraham and Jarrold E. Marsden, "Foundations of Mechanics", (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X "See chapter 3".

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Quaternionic vector space — A left (or right) quaternionic vector space is a left (or right) H module where H denotes the noncommutative ring of the quaternions.The space H n of n tuples of quaternions is both a left and right H module using the componentwise left and right …   Wikipedia

• Symplectic manifold — In mathematics, a symplectic manifold is a smooth manifold, M, equipped with a closed nondegenerate differential 2 form, ω, called the symplectic form. The study of symplectic manifolds is called symplectic geometry or symplectic topology.… …   Wikipedia

• Symplectic group — For finite groups with all characteristc abelian subgroups cyclic, see group of symplectic type. Group theory …   Wikipedia

• Symplectic matrix — In mathematics, a symplectic matrix is a 2n times; 2n matrix M (whose entries are typically either real or complex) satisfying the condition:M^T Omega M = Omega,.where MT denotes the transpose of M and Omega; is a fixed nonsingular, skew… …   Wikipedia

• Symplectic space — A symplectic space is either a symplectic manifold or a symplectic vector space. The latter is a special case of the former …   Wikipedia

• Symplectic representation — In mathematical field of representation theory, a symplectic representation is a representation of a group or a Lie algebra on a symplectic vector space ( V , omega; ) which preserves the symplectic form omega; . Here omega; is a nondegenerate… …   Wikipedia

• Space (mathematics) — This article is about mathematical structures called spaces. For space as a geometric concept, see Euclidean space. For all other uses, see space (disambiguation). A hierarchy of mathematical spaces: The inner product induces a norm. The norm… …   Wikipedia

• Symplectic cut — In mathematics, specifically in symplectic geometry, the symplectic cut is a geometric modification on symplectic manifolds. Its effect is to decompose a given manifold into two pieces. There is an inverse operation, the symplectic sum, that… …   Wikipedia

• Symplectic sum — In mathematics, specifically in symplectic geometry, the symplectic sum is a geometric modification on symplectic manifolds, which glues two given manifolds into a single new one. It is a symplectic version of connected summation along a… …   Wikipedia

• Symplectic filling — In mathematics, a filling of a manifold X is a cobordism W between X and the empty set. More to the point, the n dimensional topological manifold X is the boundary of an n+1 dimensional manifold W . Perhaps the most active area of current… …   Wikipedia