The crucial Lie group for special relativity is the Poincaré group: all
transformations of Minkowski 4-space (spacetime) that preserve the
Minkowski pseudo-metric. The Lorentz group is the subgroup that leaves the
origin fixed, and the proper Lorentz group is the subgroup of orientation
preserving Lorentz transformations. The proper Lorentz group in turn
contains the rotation group of 3-space, .
Just as is the double cover of
, so
is the double
cover of the proper Lorentz group, where
is the group of unimodular
complex matrices.
Say is in
and
is in
. It turns out to be
important to pry the mapping
apart into
and
. The vector
can be pictured as a geometric
object consisting of a vector in space (rooted at the orgin) with an
attached ``flag'', i.e., a half-plane whose ``edge'' contains the vector.
Moreover, if the flag is rotated through
,
turns into
!
(Recall the earlier remarks on untangling threads.) Such an object is
called a spin vector. And just as one can create tensors out of the raw
material of vectors, so one creates spinors out of spin vectors.
Dirac invented spinors in the course of inventing (or discovering) the
Dirac equation, the correct relativistic wave equation for the electron.
As it happens, the matrices are not enough to carry the load;
Dirac had to go up to
matrices (called the Dirac matrices).
The
matrices are imbedded in the Dirac matrices.
I won't repeat the story of how Dirac discovered antiparticles. Nor the story of how he rediscovered knitting and purling (see Gamow's Thirty Years that Shook Physics.)
© 2001 Michael Weiss