Spring, 2011 | Daniel Finley |
Monday, Wednesday, and Friday 11:00 - 11:50, in Room 190 |
The main goal of this course will be to learn a lot
about finite-dimensional, semi-simple, complex Lie algebras, their associated Lie groups,
their representations as operators on various different spaces,and their
very many applications to physics. Along the way we will need to talk a "wee bit" about general finite groups---Lie groups are continuous rather than finite, and even differentiable---and quite a bit more about the symmetric group, Sn, i.e., the group of interchanges of n objects. We will also talk a a very little about sporadic finite groups, including the Monster Group. We will also talk some about Kac-Moody algebras, a mild generalization of Lie algebras, which allows them to be infinite dimensional, and along the way the Heisenberg algebra of infinitely many things, and the Virasoro algebra. This could lead to general contragredient algebras, or, perhaps, a little bit of an introduction into vertex algebras, depending on the interests of the class. | |
Sophus Lie |
As a course it will follow a fairly usual procedure:
I plan to begin by introducing some of the jargon used in group theory, in the context of very
simple groups such as the rotations of a crystal or the permutations of a few objects, but then
following through the material in Robert N. Cahn's book, Semi-Simple Lie
Algebras and Their Representations, which is available from Dover books for about $11, although
electronic versions are actually free online from the right places.
We will go to other texts and readings as well, although will not use any of those other
places sufficiently often to refer to them as texts. Therefore, at
this link I have put a
list of books that seem suitable
to me, along with some notes concerning some of them.
I do NOT believe that there will be very many prerequisites for this material other than the maturity
that one has by being a graduate student, or even an advanced senior student, in physics, as the
mathematical material lies somewhat out of the traditional path of mathematics that began with
the calculus, differential equations, and phase space, although it is certainly true that it depends
a lot on matrix theory and linear algebra. It lies in the route begun by quantum physics
and operators that describe the behavior of physical systems in vector spaces.
Along the way we will talk a
little bit about the rotation group and some others as examples, and about the basic language of
group theory, as there is a language all its own, which only pulls in a bit from other areas.
With respect to understanding Lie algebras, we will introduce the idea of the Cartan subalgebra and
the root system associated with it which allows us to understand Cartan's derivation of all possible,
finite-dimensional, complex, semi-simple Lie algebras. We will then introduce (highest)
weight systems and Young tableaux to discuss irreducible representations of the algebras and how to
decompose products of such representations again into sums of irreducible ones.
If, by now, I've used too many words with meanings of which you are unsure, rest assured that we will
work hard at explaining all this jargon. In particular notice below just the titles of the handouts
that will be available from this website, to try to help with this effort.
A Lie group is a group with continuously-many elements, varying in a continuous way away from the
identity transformation, with an underlying structure that allows for arbitrarily-many derivatives
of its elements and their expression via (convergent) infinite series. As such an n-dimensional
Lie group has local, invertible mappings into ordinary n-dimensional, flat space,
so that it can be viewed as a differentiable manifold. One parameter groups of transformations,
such as a rotation about some fixed direction but with varying angle, may be thought of as paths,
or curves, on the group, and therefore have tangent vectors along these curves
associated with them them.
At any particular element in the group the set of all of these possible
tangent vectors forms a vector space. The particular tangent space at the identity element, i.e.,
the set of tangent vectors to all possible curves originating at the identity element, is referred
to as the Lie algebra of the Lie group. Physically it corresponds to the set of all
"infinitesimal generators"
of the group of transformations.
When a transformation is made on some physical system, the parts of that system are usually
described by elements in some space, either a vector space or a space of functions. Therefore
to describe the transformation of the description of that system we need a representation of
the group of transformations in the space where its description lives. This is how the entire
notion of looking for representations of groups comes about.
Homework Assignments | Homework Solutions | |
Homework #1 due Friday, 28 January. | Solutions for #1. | |
Homework #2 due Wednesday, 2 February. | Solutions for #2. | |
Homework #3 due Friday, 11 February. | Solutions for #3. | |
Homework #4 due Friday, 18 February. | Solutions for #4. | |
Homework #5 due Wednesday, 23 February. | Solutions for #5. | |
Homework #6 due Wednesday, 2 March. | Solutions for #6. | |
Homework #7 due Wednesday, 9 March. | Solutions for #7. | |
Midterm Exam on Friday, 11 March. | Solutions for Exam. | |
Homework #8 due Wednesday, 30 March. | Solutions for #8. | |
Homework #9 due Wednesday, 6 April. | Solutions for #9. | |
Homework #10 due Wednesday, 13 April. | Solutions for #10. | |
Homework #11 due Wednesday, 20 April. | Solutions for #11. | |
Homework #12 due Wednesday, 27 April. | Solutions for #12. | |
Homework #13 due Wednesday, 4 May. | Solutions for #13. | |
Final Exam on Wednesday, 11 May. | Solutions for Exam. |
The class has a grader, Xuefeng Zhang. He is also a member of the class, in case you need to talk with him about how your
assignments were graded, or he can be sent email by clicking on the link at his name.
Some handouts are also available, listed below:
Click here to mail your comments and suggestions concerning the Homepage | Click here to go to Finley's own Home Page | Click here to go to the Physics and Astronomy Department Home Page. |