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 is
The 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 by
It is symmetric because two-forms commute under the wedge product. Put
Then 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. Hence
The identity-component restriction is essential. The same principle of an explicit form-preserving representation, kernel calculation and dimension argument supplies the five remaining covers.

There are no discussions about this article yet.

Articles by others on the same topic (NaN)

There are currently no matching articles.