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.