These notes attempt to develop some intuition about Lie groups, Lie algebras, spin in quantum mechanics, and a network of related ideas. The level is rather elementary-- linear algebra, a little topology, a little physics. I don't see any point in copying proofs or formal definitions that can be had from a shelf full of standard texts. I focus on a couple of concrete examples, at the expense of precision, generality, and elegance. See the first paragraph on Lie groups to get the flavor of my ``definitions''. I state many facts without proof. Verification may involve anything from routine calculation to a deep theorem. Phrases like ``Fact:'' or ``it turns out that'' give warning that an assertion is not meant to be obvious.
A quote from the Russian mathematician V. I. Arnol'd:
It is almost impossible for me to read contemporary mathematicians who, instead of saying ``Petya washed his hands,'' write simply: ``There is a such that the image of under the natural mapping belongs to the set of dirty hands, and a , , such that the image of under the above-mentioned mapping belongs to the complement of the set defined in the preceding sentence.''
A taste of things to come: consider the spin of an electron. One would like to visualize the electron as a little spinning ball. This is not right, yet not totally wrong. A spinning ball spins about an axis, and the angular velocity vector points along this axis. You can imagine changing the axis by rotating the space containing the ball. 1 Analogously, the quantum spin state of an electron has an associated axis, which can be changed by rotating the ambient space.
The classical concepts of rotation and angular velocity are associated with , the group of rotations in 3-space. is an example of a Lie group. Another Lie group, , plays a key role in the theory of electron spin. Now and are not isomorphic, but they are ``locally isomorphic'', meaning that as long as we consider only small rotations, we can't detect any difference. However, a rotation of corresponds to a element of that is not the identity. Technically, is a double cover of .
Associated with every Lie group is something called its Lie algebra. The Lie algebra is a vector space, but it has additional structure: a binary operation called the Lie bracket. For the rotation group, the elements of the corresponding Lie algebra can be thought of as angular velocities. Indeed, angular velocities are usually pictured as vectors in elementary physics (right hand rule of thumb). The Lie bracket for this example turns out to be the familiar cross-product from vector algebra. (Unfortunately, I won't get round to discussing the Lie bracket.)
The Lie algebras of and are isomorphic. This is the chief technical justification for the ``electron = spinning ball'' analogy. The non-isomorphism of and has subtle consequences. I can't resist mentioning them, though these notes contain few further details. Electrons are fermions, a term in quantum mechanics which implies (among other things) that the Pauli exclusion principle applies to them. Photons on the other hand are bosons, and do not obey the exclusion principle. This is intimately related to the difference between the groups and . Electrons have spin , and photons have spin 1. In general, particles with half-odd-integer spin are fermions, and particles with integer spin are bosons.
The deeper study of the electron involves the Dirac equation, which arose out of Dirac's attempt to marry special relativity and quantum mechanics. The relevant Lie group here is the group of all proper Lorentz transformations.
© 2001 Michael Weiss