Added to Favorites

Related Searches

Definitions

Nearby Words

In mathematics, the name symplectic group can refer to two different, but closely related, types of mathematical groups. In this article, we shall denote these two groups Sp(2n, F) and Sp(n). The latter is sometimes called the compact symplectic group to distinguish it from the former. Note that many authors prefer slightly different notations, usually differing by factors of 2. The notation used here is consistent with the size of the matrices used to represent the groups. In Cartan's classification of the simple Lie algebras, the Lie algebra of the complex group Sp(2n, C) is denoted C_{n}, and Sp(n) is the compact real form of Sp(2n, C).## Sp(2n, F)

## Sp(n)

^{3}.## Relationships between the symplectic groups

## Important subgroups

The symplectic group SP(n) is sometimes written as USp(2n) which is convenient for the following equations. The symplectic group comes up in quantum physics as a symmetry on poisson brackets so it is important to understand its subgroups. Some main subgroups are:
## See also

## References

The name is due to Hermann Weyl (details), and is the Greek analog of "complex". The symplectic group was previously known as the line complex group.

The symplectic group of degree 2n over a field F, denoted Sp(2n, F), is the group of 2n by 2n symplectic matrices with entries in F, and with the group operation that of matrix multiplication. Since all symplectic matrices have unit determinant, the symplectic group is a subgroup of the special linear group SL(2n, F).

More abstractly, the symplectic group can be defined as the set of linear transformations of a 2n-dimensional vector space over F that preserve a nondegenerate, skew-symmetric, bilinear form. Such a vector space is called a symplectic vector space. The symplectic group of an abstract symplectic vector space V is also denoted Sp(V).

When n = 1, the symplectic condition on a matrix is satisfied iff the determinant is one so that Sp(2, F) = SL(2, F). For n > 1, there are additional conditions, i.e. Sp(2n, F) is then a proper subgroup of SL(2n, F).

Typically, the field F is the field of real numbers, R, or complex numbers, C. In this case Sp(2n, F) is a real/complex Lie group of real/complex dimension n(2n + 1). These groups are connected but noncompact. Sp(2n, C) is simply connected while Sp(2n, R) has a fundamental group isomorphic to Z.

The Lie algebra of Sp(2n, F) is given by the set of 2n×2n matrices A (with entries in F) that satisfy

- $Omega\; A\; +\; A^T\; Omega\; =\; 0$

- $Omega\; =$

The symplectic group, Sp(n), is the subgroup of GL(n, H) (invertible quaternionic matrices) which preserves the standard hermitian form on H^{n}:

- $langle\; x,\; yrangle\; =\; bar\; x\_1\; y\_1\; +\; cdots\; +\; bar\; x\_n\; y\_n$

Note that Sp(n) is not a symplectic group in the sense of the previous section—it does not preserve a non-degenerate skew-symmetric (H-bilinear) form on H^{n} (in fact, the only skew-symmetric form is the zero form).
It is however isomorphic to a subgroup of Sp(2n,C), and so does preserve a complex symplectic form in a vector space of dimension twice as high.
As explained below, the Lie algebra of Sp(n) is a real form of the complex symplectic Lie algebra sp(2n, C).

Sp(n) is a real Lie group with (real) dimension n(2n + 1). It is compact, connected, and simply connected. It can be defined by the intersection

- $Sp(n)=U(2n)cap\; Sp(2n,mathbb\{C\})$

- $A+A^\{dagger\}\; =\; 0$

The relationship between the groups Sp(2n, C), Sp(2n, R) and Sp(n) is most evident at the level of their Lie algebras. It turns out that the first of these Lie algebras is a complexification of the Lie algebras of either of the latter two groups.

Stated slightly differently, the complex Lie algebra sp(2n, C) of the complex Lie group Sp(2n, C) has several different real forms:

- the compact form, sp(n), which is the Lie algebra of Sp(n),
- the algebras, sp(p, n − p), which are the Lie algebras of Sp(p, n − p), the indefinite signature equivalent to the compact form,
- the normal form (or split form), sp(2n, R), which is the Lie algebra of Sp(2n, R).

matrices | Lie group | dim/R | dim/C | compact | π_{1}
| |

Sp(2n, R) | R | real | n(2n + 1) | – | no | Z |

Sp(2n, C) | C | complex | 2n(2n + 1) | n(2n + 1) | no | 1 |

Sp(n) | H | real | n(2n + 1) | – | yes | 1 |

Sp(p,n-p) | H | real | n(2n + 1) | – | no | 1 |

- $$

- $$

- $$

- $$

- $$

- $$

There are also the isomorphisms of the Lie algebras usp(4) = o(5) and usp(2) = o(3) = su(2).

- Orthogonal group
- Unitary group
- Projective unitary group
- Symplectic manifold, Symplectic matrix, Symplectic vector space, Symplectic representation
- Hamiltonian mechanics
- Metaplectic group

- .

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday September 21, 2008 at 08:28:12 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday September 21, 2008 at 08:28:12 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2015 Dictionary.com, LLC. All rights reserved.