The Lie algebras of and
are denoted
and
,
respectively. Differentiating
we conclude that
consists
of anti-Hermitian matrices:
. Note that
is anti-Hermitian if
and only if
is Hermitian.
Fact: if , then
(where tr = trace). (Expanding by minors does the trick.)
This makes one half of the following fact obvious: the Lie algebra for the
Lie group of unimodular matrices consists of all the traceless matrices.
For the special case , things work out very nicely. Since
, one can write down the components for
easily, and
equating them to
, one concludes that
consists of all matrices
of the form:
Next, an arbitary anti-Hermitian matrix looks like:
It turns out that this correspondence is a Lie algebra isomorphism.
and
are locally isomorphic, but not isomorphic-- as we
will see next.
acts on
via the adjoint representation. But we have a 1-1
correspondence between
and
, so we have a representation
of
in the group of real
matrices. Let
be an
element of
and
be an element of
.
Note that
. Since the map
preserves determinants, it preserves norms when considered as acting on
. So the adjoint representation maps
into
.
Fact: it maps
onto
.
Incidentally, you can see directly that
preserves
anti-Hermiticity by writing it
.
The kernel of the adjoint representation for is its center, which
clearly contains
-- and in fact, consists of just those two
elements. So we have a 2-1 mapping
. Our double
cover! I'll look at the topology of this in a moment.
Physicists prefer to work with the Pauli spin matrices instead of the quaternions. The Pauli matrices are just the Hermitian counterparts to i, j, and k:
They form a basis (with 1) for the vector space of Hermitian
matrices:
© 2001 Michael Weiss