Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 57 6 a ii Solution Created 2026-10-03 Updated 2026-10-14
On the three-dimensional vector space of real symmetric matrices, writeThe special linear group acts by , preserving this quadratic form when . A kernel element satisfies and commutes with every symmetric matrix, so it is scalar and equals . Its derivative is injective: if for every symmetric , taking makes skew-symmetric, and commuting with diagonal matrices then makes .
Both real Lie group dimensions are three. The derivative is consequently an isomorphism, so the image is an open subgroup. The source is connected: polar decomposition deforms it onto , with the positive symmetric determinant-one factor contractible. Its image is thus the full identity component , since a connected group has no proper open subgroup. This is the symmetric-matrix double cover of SO0(2,1).
For , direct multiplication gives . Hence preserving the two-dimensional symplectic form is exactly the determinant-one condition, soThe subscript zero is necessary. The full also contains a component reversing time orientation, which cannot be the image of the connected source.