The two unheaded requests are addressed here; the individual group-cover calculations are in the scoped parts below. A quaternion has norm . Thus the unit quaternions form exactly the sphere , with quaternion multiplication giving its smooth group structure. The explicit identification with the special unitary group isThe matrices representing satisfy the quaternion multiplication relations. The displayed matrix obeys and ; conversely every matrix has that form with . Hence is the manifold of unit quaternions, and its group is .
For the exterior-square double cover of SO(3,3), fix a basis and volume element . Define the symmetric bilinear form on the six-dimensional exterior square byIt is symmetric because two-forms commute under the wedge product. PutThen and . The Gram matrix is : the vectors have norm , while have norm . Therefore the quadratic form has signature .
For ,Thus preserves . The special linear group is connected: polar decomposition of an invertible real matrix writes with and positive definite of determinant one, and both factors can be joined to the identity. The image consequently lies in .
If , then for every pair, so preserves every two-plane. A line is an intersection of two such planes, hence every line is preserved. A linear map preserving every line is scalar: apply it to basis vectors and then to their pairwise sums. Thus , and forces . The kernel is exactly . It is discrete, so the derivative of is injective. Both Lie algebras have dimension , making the image open; an open subgroup of a connected group is the whole group. HenceThe identity-component restriction is essential. The same principle of an explicit form-preserving representation, kernel calculation and dimension argument supplies the five remaining covers.
Articles by others on the same topic
There are currently no matching articles.