Symplectic group

From Wikipedia, the free encyclopedia

This article does not cite any references or sources. (May 2008)
Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed.

This article or section is in need of attention from an expert on the subject.
Please help recruit one or improve this article yourself. See the talk page for details.
Please consider using {{Expert-subject}} to associate this request with a WikiProject

Groups

Group theory

Basic notions
Subgroup Normal subgroup Quotient group Group homomorphism (semi-)direct product direct sum

Discrete groups
Classification of finite simple groups Cyclic group Z_n Alternating group A_n Sporadic groups Mathieu group M_11..12,M_22..24 Conway group Co_1..3 Janko group J_1..4 Fischer group F_22..24 Baby Monster group B Monster group M

Continuous groups
Lie group General linear group GL(n) Special linear group SL(n) Orthogonal group O(n) Special orthogonal group SO(n) Unitary group U(n) Special unitary group SU(n) Symplectic group Sp(n) E₆ E₇ E₈ F₄ G₂ SL₂ Lorentz group Poincaré group

Infinite dimensional groups
conformal group diffeomorphism group Quantum group O(∞) SU(∞) Sp(∞)

This box: view • talk • edit

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.

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.

1 Sp(2n, F)
2 Sp(n)
3 Relationships between the symplectic groups
4 Important subgroups
5 See also

[edit] Sp(2n, F)

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.

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

Ω A + A T Ω = 0

where $A T$ is the transpose of A and Ω is the skew-symmetric matrix

$\Omega = \begin{pmatrix} 0 & I_n \\ -I_n & 0 \\ \end{pmatrix}.$

[edit] Sp(n)

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

$\langle x, y\rangle = \bar x_1 y_1 + \cdots + \bar x_n y_n$

That is, Sp(n) is just the quaternionic unitary group, U(n, H). Indeed, it is sometimes called the hyperunitary group. Also Sp(1) is the group of quaternions of unit 1, or 3-sphere S³.

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 form on Hⁿ (in fact, the only skew-symmetric form is the zero form); it is rather a real form of the complex symplectic Lie algebra.

Sp(n) is a real Lie group of 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})$

where $U (2 n)$ stands for the unitary group. The Lie algebra of Sp(n) is given by the quaternionic skew-Hermitian matrices, the set of n by n quaternionic matrices that satisfy

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

where $A^{\dagger}$ is the conjugate transpose of A (here one takes the quaternionic conjugate). The Lie bracket is given by the commutator.

[edit] Relationships between the symplectic groups

The relationship between the groups Sp(2n, R), Sp(2n, C), and Sp(n) is most evident at the level of their Lie algebras. It turns out the Lie algebras of these three groups, when considered as real Lie groups, all share the same complexification. In Cartan's classification of the simple Lie algebras, this algebra is denoted C_n.

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

the compact form, sp(n), which is the Lie algebra of Sp(n),
the algebras, sp(p, n − 1), 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).

Comparison of the symplectic groups
	matrices	Lie group	dim/R	dim/C	compact	π₁
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

[edit] 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:

$USp(2n) \supset USp(2n-2)$