Character Tables and the Atlas of Lie Groups
I’ve posted my notes from Zuckerman’s second lecture. Again, there’s a lot to unpack here, so it goes after the jump.
The bulk of this lecture, as well as the last one, is covered in Knapp’s Representations of Semisimple Lie Groups, an Overview by Examples. This is a big, thick, technical book, not for the faint of heart, but if you really want to know more of the details they’re in there.
The basic thing we’re studying here is (again) a real reductive algebraic group . For now we’re assuming that
is connected — the group
of complex points is a connected complex Lie group, and the group
of real points has finitely many components — but in the long run we hope to drop that requirement. As an example, the group
is connected, while
splits into two pieces. We count it as “connected”. The same goes for
.
We’re mostly interested in the group as a real Lie group. By the reductivity of
we get a “Haar measure”
on
, which allows us to bring in analytic tools to study its representations.
The “dual” object is again the set of equivalence classes of irreducible admissible representations, as covered last time. It has a topological structure, but a rather weird one — it’s not even Hausdorff in general. Luckily we can work with something else that is Hausdorff.
Okay, so let’s consider a representation acting in some Hilbert space
. Again we let
denote a maximal compact subgroup of
and
the space of
-finite vectors, which carries an action of the complex Lie algebra
. I know it’s weird that we let
be the Lie group of real points of
and
be the Lie algebra of complex points of
, but the notation is pretty much standard so we’ll just have to deal.
Now we let denote the center of
— the universal enveloping algebra of
. We know this is ((non-canonically) isomorphic to) a polynomial algebra in
variables, where
is the rank of the Lie algebra
. We also know we have a Schur lemma stating that
acts by scalars in
. Now we define a function
taking every element
of the center to the scalar
by which it acts on
. We call this function
the “central character” of the representation
; the older literature says “infinitesimal character”.
Now if is the set of all algebra homomorphisms from
to
, we know it’s isomorphic to
as an affine algebraic variety — again, not canonically. Now we have the fundamental mapping
taking each representation to its central character. If we use the isomorphism with
to induce a topology on
this map is continuous.
We have a theorem of (wait for it…) Harish-Chandra telling us that the fibers of this map are finite sets, which is basically a consequence of the Regularity Theorem from the end of last time. This means that for any given point in there is just a finite set of representations having that point as their central character. That’s nice and all, but we really need more information about the fibers.
An example here is helpful. We say that is “split” if there is a real Cartan subgroup
so that all the roots of
are defined over the reals (no complex numbers needed). For instance,
is split,
is split for
, and (our favorite)
is split. A theorem of Harish-Chandra (with an assist by Gelfand and Naimark) tells us that if
is split then
is surjective — every point in
is actually the central character of some representation. In fact, the implication goes the other way: if every point is actually a central character, then
is split.
Now for the rank of
we have that “typical” points
the fiber
has
points — most points are the central characters of this many representations. “Typical” is a pretty loaded term here, though. The “non-typical” set is pretty badly behaved. For one thing, it has infinitely many components in general.
Let’s consider just about the simplest case: with rank
. In this case the center of the enveloping algebra is
, where
is the Casimir operator. We normalize the Casimir to have eigenvalue
in the
-dimensional simple
module. Now we have the fundamental map
. The “typical” eigenvalues here are all the complex numbers other than those of the form
for positive natural numbers
. These “typical” eigenvalues correspond to principal series representations.
In general the set of typical points is open, but not “Zariski open”, if we want to consider the algebraic geometry.
Anyhow, for typical and representations with central character
the full character
is actually pretty easy to calculate, and the formula is given in Knapp’s book. All the difficulty comes in calculating the character table for irreducible representations whose central characters are not typical, and of course the nontypical oness aren’t distributed quite as nicely as we might wish they were among
.
This brings us to the theory of irreducible “relatively tempered” representations.
First, fix a representation , and let
be the biggest subgroup of the center of
isomorphic to a real vector space. We see that
has a canonical decomposition, “factoring out” this vector subgroup:
. The remaining group
is the intersection of the kernels of all homomorphisms from
to the real numbers
. In general it’s disconnected, but with only finitely many components.
If we restrict to the vector subgroup Schur’s lemma again tells us it acts by scalars:
. This action is related to the character — if
is in the Lie algebra of
we have
. This part of the action of
is so simple we may as well just restrict to the remaining subgroup
.
Now we need a bit of terminology. We say an analytic function on
is a “matrix coefficient” of
if there are
-finite vectors
so that
. First of all, given two vectors this function actually is real-analytic. Second of all, though the specific vectors representing a given
depend on the inner product of
, the class of which functions have such a representation at all doesn’t. If we move to an equivalent representation we get the same collection of matrix coefficient functions.
Now we define a “tempered” representation as one for which every matrix coefficient is in
for all positive
, and a “relatively tempered” representation as one for which every
restricted to
is in
for all positive
— they’re tempered “relative to the subgroup
“. We don’t have to be able to integrate the square of a matrix coefficient over the subgroup
, but we have to almost be able to. This seems to be a completely arbitrary analytic requirement, but it’s actually related to the Plancherel theorem for the group
.
We get a theorem: if is relatively tempered, then
is unitarizable. That is, the action might not be unitary as it stands, but we can pick another inner product on the representation space so that it is.
And then a miracle occurs: there is a complete classification of the relatively tempered representations. This was known for back in the 1940s, and the general case is due to work of Harish-Chandra, Langlands, Hecht and Schmid, and Knapp and Zuckerman. Further, for every relatively tempered irreducible representation
, the character
can be explicitly calculated as a real-analytic function on the subgroup
of regular semisimple elements of
, and the Regularity Theorem tells us this completely determines the character on all of
. This is due to most of the above people, and the finishing touches are due to Becky Herb. This gives us for free an understanding of the so-called “standard” characters.
So what’s a standard character? To explain that I’ll need to talk about parabolic induction.
Let be a reductive algebraic group and
be a real parabolic subgroup. This is a Zariski-closed subgroup so that the complex points
contain a Borel subgroup of
. The Borel subgroup isn’t unique, but any two are conjugate so we’re justified in picking one and sticking with it. If the group
has rank
then there are
subgroups of
containing a given Borel, so the number of real parabolic subgroups is bounded (up to conjugacy) by
. For the compact real form
there’s only one parabolic, while the split real form has all
. A suggested exercise is to work them all out for the split group
.
Given a parabolic subgroup, we write for the real points
. This is a closed Lie subgroup of
, and the space
is compact. We can also decompose any parabolic
into the product (not direct) of groups
, where
is reductive and
is unipotent. This decomposition is unique up to conjugation.
Now parabolic induction is a process that takes an admissible representation of
and gives an admissible representation
of
. By a sort of “Frobenius formula” we can explicitly calculate the character
from the character
. It’s important to note, though, that even if
is an irreducible representation of
, the induced representation
of
may not be.
We can now define “standard” characters. Start with some parabolic subgroup of
with reductive part
, and pick an irreducible, relatively tempered representation
of
. Use it to induce a representation
of
. The standard characters are those arising from these representations.
At the level of characters, what we have is a homomorphism from the abelian group to
, where these groups are “virtual characters”. Every element is a linear combination of irreducible characters, but they might involve minus signs. In that case the function can’t be the character of an actual representation of the group, but we’ll throw it in anyway so we have a nice abelian group to work with. These groups are really stupendously huge, but at least they’re free. We know that the irreducible characters span the group
, and we know that they’re independent, so they form an uncountably infinite basis.
Here’s the amazing thing: the standard characters also form a basis! Take all the parabolics — there are only a finite number of them — and for each one get the irreducible basis of . Each of these bases gets sent to some collection of characters in
, and the set of all such characters is a new basis of this abelian group! This is the culmination of work of Harish-Chandra, Langlands, Speh, Borel and Wallach, and (according to Vogan) was formulated like this by Zuckerman.
The character table collects together the characters of all the irreducible representations, and the irreducible representations are now linear combinations of the new basis of standard characters. The standard characters can be calculated explicitly (in terms of the character tables of lower-rank reductive groups , so all we need now is a “change-of-basis matrix”. And that’s where the Atlas comes in.
[…] made! Of course, we’re not up to the point of really understanding Zuckerman’s three lectures, but all in good […]
Pingback by Lie Groups in Nature « The Unapologetic Mathematician | January 11, 2010 |
[…] made! Of course, we’re not up to the point of really understanding Zuckerman’s three lectures, but all in good […]
Pingback by Lie Groups in Nature | Drmathochist's Blog | August 28, 2010 |