In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted and for positive integer n and field F (usually C or R). The latter is called the compact symplectic group and is also denoted by
U Sp(n)
The name "symplectic group" was coined by Hermann Weyl as a replacement for the previous confusing names (line) complex group and Abelian linear group, and is the Greek analog of "complex".
The metaplectic group is a double cover of the symplectic group over R; it has analogues over other local fields, finite fields, and adele rings.
The symplectic group is a classical group defined as the set of linear transformations of a -dimensional vector space over the field which preserve a non-degenerate skew-symmetric bilinear form. Such a vector space is called a symplectic vector space, and the symplectic group of an abstract symplectic vector space is denoted . Upon fixing a basis for, the symplectic group becomes the group of symplectic matrices, with entries in, under the operation of matrix multiplication. This group is denoted either or . If the bilinear form is represented by the nonsingular skew-symmetric matrix Ω, then
\operatorname{Sp}(2n,F)=\{M\inM2n(F):MT\OmegaM=\Omega\},
where MT is the transpose of M. Often Ω is defined to be
\Omega=\begin{pmatrix}0&In\ -In&0\ \end{pmatrix},
where In is the identity matrix. In this case, can be expressed as those block matrices
(\begin{smallmatrix}A&B\ C&D\end{smallmatrix})
A,B,C,D\inMn(F)
\begin{align} -CTA+ATC&=0,\\ -CTB+ATD&=In,\\ -DTB+BTD&=0. \end{align}
Since all symplectic matrices have determinant, the symplectic group is a subgroup of the special linear group . When, the symplectic condition on a matrix is satisfied if and only if the determinant is one, so that . For, there are additional conditions, i.e. is then a proper subgroup of .
Typically, the field is the field of real numbers or complex numbers . In these cases is a real or complex Lie group of real or complex dimension, respectively. These groups are connected but non-compact.
The center of consists of the matrices and as long as the characteristic of the field is not .[1] Since the center of is discrete and its quotient modulo the center is a simple group, is considered a simple Lie group.
The real rank of the corresponding Lie algebra, and hence of the Lie group, is .
The Lie algebra of is the set
ak{sp}(2n,F)=\{X\inM2n(F):\OmegaX+XT\Omega=0\},
equipped with the commutator as its Lie bracket.[2] For the standard skew-symmetric bilinear form
\Omega=(\begin{smallmatrix}0&I\ -I&0\end{smallmatrix})
(\begin{smallmatrix}A&B\ C&D\end{smallmatrix})
\begin{align} A&=-DT,\\ B&=BT,\\ C&=CT. \end{align}
The symplectic group over the field of complex numbers is a non-compact, simply connected, simple Lie group.
is the complexification of the real group . is a real, non-compact, connected, simple Lie group.[3] It has a fundamental group isomorphic to the group of integers under addition. As the real form of a simple Lie group its Lie algebra is a splittable Lie algebra.
Some further properties of :
\forallS\in\operatorname{Sp}(2n,R)\existsX,Y\inak{sp}(2n,R)S=eXeY.
S=OZO' suchthat O,O'\in\operatorname{Sp}(2n,R)\cap\operatorname{SO}(2n)\congU(n) and Z=\begin{pmatrix}D&0\ 0&D-1\end{pmatrix}.
The matrix is positive-definite and diagonal. The set of such s forms a non-compact subgroup of whereas forms a compact subgroup. This decomposition is known as 'Euler' or 'Bloch–Messiah' decomposition.[5] Further symplectic matrix properties can be found on that Wikipedia page.
The members of the symplectic Lie algebra are the Hamiltonian matrices.
These are matrices,
Q
where and are symmetric matrices. See classical group for a derivation.Q=\begin{pmatrix}A&B\ C&-AT\end{pmatrix}
For, the group of matrices with determinant, the three symplectic -matrices are:[7]
\begin{pmatrix}1&0\ 0&1\end{pmatrix}, \begin{pmatrix}1&0\ 1&1\end{pmatrix} and \begin{pmatrix}1&1\ 0&1\end{pmatrix}.
It turns out that
\operatorname{Sp}(2n,R)
\operatorname{Sym}(n)
n x n
\operatorname{Sp}(2n,R)
D(n)\cupN(n)\cup\{\Omega\},
are subgroups of\begin{align} D(n)&=\left\{\left.\begin{bmatrix}A&0\ 0&(AT)-1\end{bmatrix}\right|A\in\operatorname{GL}(n,R) \right\}\\[6pt] N(n)&=\left\{\left.\begin{bmatrix}In&B\ 0&In\end{bmatrix}\right|B\in\operatorname{Sym}(n)\right\} \end{align}
\operatorname{Sp}(2n,R)
Symplectic geometry is the study of symplectic manifolds. The tangent space at any point on a symplectic manifold is a symplectic vector space.[10] As noted earlier, structure preserving transformations of a symplectic vector space form a group and this group is, depending on the dimension of the space and the field over which it is defined.
A symplectic vector space is itself a symplectic manifold. A transformation under an action of the symplectic group is thus, in a sense, a linearised version of a symplectomorphism which is a more general structure preserving transformation on a symplectic manifold.
The compact symplectic group[11] is the intersection of with the
2n x 2n
\operatorname{Sp}(n):=\operatorname{Sp}(2n;C)\cap\operatorname{U}(2n)=\operatorname{Sp}(2n;C)\cap\operatorname{SU}(2n).
It is sometimes written as . Alternatively, can be described as the subgroup of (invertible quaternionic matrices) that preserves the standard hermitian form on :
\langlex,y\rangle=\barx1y1+ … +\barxnyn.
That is, is just the quaternionic unitary group, .[12] Indeed, it is sometimes called the hyperunitary group. Also Sp(1) is the group of quaternions of norm, equivalent to and topologically a -sphere .
Note that is not a symplectic group in the sense of the previous section - it does not preserve a non-degenerate skew-symmetric -bilinear form on : there is no such form except the zero form. Rather, it is isomorphic to a subgroup of, and so does preserve a complex symplectic form in a vector space of twice the dimension. As explained below, the Lie algebra of is the compact real form of the complex symplectic Lie algebra .
is a real Lie group with (real) dimension . It is compact and simply connected.[13]
The Lie algebra of is given by the quaternionic skew-Hermitian matrices, the set of quaternionic matrices that satisfy
A+A\dagger=0
where is the conjugate transpose of (here one takes the quaternionic conjugate). The Lie bracket is given by the commutator.
Some main subgroups are:
\operatorname{Sp}(n)\supset\operatorname{Sp}(n-1)
\operatorname{Sp}(n)\supset\operatorname{U}(n)
\operatorname{Sp}(2)\supset\operatorname{O}(4)
Conversely it is itself a subgroup of some other groups:
\operatorname{SU}(2n)\supset\operatorname{Sp}(n)
\operatorname{F}4\supset\operatorname{Sp}(4)
\operatorname{G}2\supset\operatorname{Sp}(1)
There are also the isomorphisms of the Lie algebras and .
Every complex, semisimple Lie algebra has a split real form and a compact real form; the former is called a complexification of the latter two.
The Lie algebra of is semisimple and is denoted . Its split real form is and its compact real form is . These correspond to the Lie groups and respectively.
The algebras,, which are the Lie algebras of, are the indefinite signature equivalent to the compact form.
The non-compact symplectic group comes up in classical physics as the symmetries of canonical coordinates preserving the Poisson bracket.
Consider a system of particles, evolving under Hamilton's equations whose position in phase space at a given time is denoted by the vector of canonical coordinates,
z=(q1,\ldots,qn,p1,\ldots,
| T. | |
| p | |
| n) |
The elements of the group are, in a certain sense, canonical transformations on this vector, i.e. they preserve the form of Hamilton's equations.[14] If
Z=Z(z,t)=(Q1,\ldots,Qn,P1,\ldots,
| T | |
| P | |
| n) |
are new canonical coordinates, then, with a dot denoting time derivative,
| Z |
=M({z},t)
| z |
,
where
M(z,t)\in\operatorname{Sp}(2n,R)
for all and all in phase space.
For the special case of a Riemannian manifold, Hamilton's equations describe the geodesics on that manifold. The coordinates
qi
pi
H=\tfrac{1}{2}gij(q)pipj
gij
gij
Consider a system of particles whose quantum state encodes its position and momentum. These coordinates are continuous variables and hence the Hilbert space, in which the state lives, is infinite-dimensional. This often makes the analysis of this situation tricky. An alternative approach is to consider the evolution of the position and momentum operators under the Heisenberg equation in phase space.
Construct a vector of canonical coordinates,
\hat{z
The canonical commutation relation can be expressed simply as
[\hat{z
where
\Omega=\begin{pmatrix}0&In\ -In&0\end{pmatrix}
and is the identity matrix.
Many physical situations only require quadratic Hamiltonians, i.e. Hamiltonians of the form
\hat{H}=
| 1 | |
| 2 |
\hat{z
where is a real, symmetric matrix. This turns out to be a useful restriction and allows us to rewrite the Heisenberg equation as
| d\hat{z | |
The solution to this equation must preserve the canonical commutation relation. It can be shown that the time evolution of this system is equivalent to an action of the real symplectic group,, on the phase space.