Symplectic group

One of the classical groups, defined as the group of automorphisms of a skew-symmetric bilinear form on a left -module , where is a commutative ring (cf. Classical group). In the case when and the matrix of with respect to the canonical basis of has the form

where is the identity matrix of order , the corresponding symplectic group is called the symplectic group of variables over the ring and is denoted by or . The matrix of any automorphism in with respect to is called a symplectic matrix.

Let be a field and a non-degenerate skew-symmetric bilinear form on an -dimensional vector space over . If is even, then the symplectic group associated with is isomorphic to and is generated by all linear transformations of of the form , given by

where , . Linear transformations of the form are called symplectic transvections, or translations in the direction of the line . The centre of consists of the matrices and if , and if . The quotient group is called the projective symplectic group and is denoted by . All projective symplectic groups are simple, except

(here denotes the field of elements) and these are isomorphic to the symmetric groups , (cf. Symmetric group) and the alternating group , respectively. The order of is

The symplectic group coincides with the special linear group . If , is isomorphic to the quotient group of by its centre, where is the commutator subgroup of (index 2 in) the orthogonal group associated with a symmetric bilinear form in five variables.

Except when and , every automorphism of can be written as

where is an automorphism of the field , and is a linear transformation of the space , represented on the basis by a matrix of the form

( is a non-zero element of ).

coincides with the group of -points of the linear algebraic group defined by the equation . This algebraic group, also called a symplectic group, is a simple simply-connected linear algebraic group of type of dimension .

In the case when or , is a connected simple complex (respectively, real) Lie group. is one of the real forms of the complex symplectic group . The other real forms of this group are also sometimes called symplectic groups. These are the subgroups of , , , consisting of those elements of that preserve the Hermitian form

where for and , and otherwise. The group is a compact real form of the complex symplectic group . The symplectic group is isomorphic to the group of all linear transformations of the right vector space of dimension over the division ring of quaternions that preserve the quaternionic Hermitian form of index , that is, the form

where

and the bar denotes conjugation of quaternions.

References

[1]	E. Artin, "Geometric algebra" , Interscience (1957) MR1529733 MR0082463 Zbl 0077.02101
[2]	N. Bourbaki, "Algebra" , Elements of mathematics , 1 , Addison-Wesley (1973) (Translated from French) MR2333539 MR2327161 MR2325344 MR2284892 MR2109105 MR1994218 MR1890629 MR1728312 MR1727844 MR1727221 MR1080964 MR0979982 MR0979760 MR0979493 MR0928386 MR0682756 MR0524568 MR0573069 MR0354207 MR0360549 Zbl 05948094 Zbl 1105.18001 Zbl 1107.13002 Zbl 1107.13001 Zbl 1139.12001 Zbl 1111.00001 Zbl 1103.13003 Zbl 1103.13002 Zbl 1103.13001 Zbl 1017.12001 Zbl 1101.13300 Zbl 0902.13001 Zbl 0904.00001 Zbl 0719.12001 Zbl 0673.00001 Zbl 0666.13001 Zbl 0623.18008 Zbl 0281.00006 Zbl 0279.13001 Zbl 0238.13002
[3]	J.A. Dieudonné, "La géométrie des groups classiques" , Springer (1955) Zbl 0221.20056
[4]	S. Helgason, "Differential geometry and symmetric spaces" , Acad. Press (1962) MR0145455 Zbl 0111.18101
[5]	C. Chevalley, "Theory of Lie groups" , 1 , Princeton Univ. Press (1946) MR0082628 MR0015396 Zbl 0063.00842

Comments

is also simply connected. But has the homotopy type of , so that . Here is the circle and is the special unitary group. The unitary symplectic group is the intersection (in ) of the unitary group and . Topologically, .

In Hamiltonian mechanics (cf. Hamilton equations) the phase space is a symplectic manifold, a manifold provided with a symplectic form (a closed differential form of degree which is non-degenerate at each point). If , the cotangent bundle of a configuration space , with local coordinates , then the symplectic form is called canonical. The flow of a Hamiltonian system leaves the symplectic form invariant. As a consequence, its tangent mapping at a fixed point belongs to the symplectic group of the tangent space.

Cf. Symplectic homogeneous space; Symplectic structure.