Definition
Sp(6,R)
Sp(6,R) as a separately identified real Lie group, with its defining operations and dimension.
is the symplectic group
It preserves the displayed nondegenerate alternating bilinear form.
Dimensions and structure
This group has real dimension . The parameter is the number of symplectic pairs, while the matrix size is . Its tangent matrices have block form with and . Counting these blocks gives the dimension. This is the noncompact split real form, distinct from compact quaternionic Sp(3).
References
- Pavel Etingof, Lie Groups and Lie Algebras (MIT lecture notes), §6.1, pp. 38–39; Proposition 6.3 and Exercise 6.5.