2
$\begingroup$

In Carter's book (Finite groups of Lie type), he reviews the truncated induction procedure (called j-operation in the text) of Macdonald-Lusztig-Spaltenstein in great detail for the classical Weyl groups. But, as far as I can see, he doesn't say much about how this operation works in the exceptional cases. My questions are :

1) What is the map between $W_s$ (a subgroup of an exceptional Weyl group, together with a choice of rep if other than sign) and the irrep obtained as $Irr(W) = j^W_{W_S}$ ?

2) Which subset of $Irr(W)$ arise as Macdonald representations in the exceptional cases ? (For Macdonald representations, the $W_s$ is the Weyl group attached to a subsystem and the induction is from the sign rep of $W_s$).

$\endgroup$
1
  • $\begingroup$ The wording of your first question is unclear to me. Aside from that, you are focusing on Chapter 11 of Carter's 1985 book, which feeds into the concluding two big chapters on unipotent classes and characters of a finite group of Lie type. Have you looked into sections like 13.2 and 13.3? There has also been a lot of related further work by Lusztig beyond 1985. In aall of this literature, the five exceptional types usually require a lot of case-by-case study relative to Springer theory. Macdonald's short 1971 note was only the start of a long story. $\endgroup$ Commented Sep 18, 2013 at 14:41

2 Answers 2

3
$\begingroup$

Maybe I can partially answer your second question by refocusing it somewhat. Carter's chapters 11-13 cover a lot of ground and were hard to organize in a straight line fashion, but the main theme is the study of unipotent characters of a finite group of Lie type (consisting of fixed points in a suitable algebraic group under a Frobenius map). This turns out to involve the finitely many unipotent classes of the algebraic groups along with a close study of Weyl group representations using Springer theory. When Carter wrote his book not all details had been completed, but since then the entire theory has been refined by Lusztig and others.

Now fix a Weyl group $W$ (or more generally a finite Coxeter group), which can be assumed to have a connected Coxeter-Dynkin diagram. In his 1971 note in Bull. London Math. Soc. Macdonald developed an elementary method for constructing most (not necessarily all) irreducible representations of $W$, using its standard realization as a finite reuclidean refletion group. Here there is a truncated induction process from a known irreducible representaiton of a proper reflection subgroup.

Later in the 1970s there were important papers by Deligne-Lusztig along with one in 1979 by Lusztig-Spaltenstein (on which Carter bases part of his Chapter 11). A two-part paper in Indag. Math. (1979, 1982) by Lusztig dealt with the construction of Weyl group representations, going beyond Macdonald's elementary method by incorporating Springer's deep 1976 study of Weyl group representations in the context of unipotent classes (or nilpotent orbits in the Lie algebra). Much of this theory is at least outlined in Carter's last chapters.

Along the way Springer representations tend to supersede Macdonald representations of $W$. Briefly, all irreducible representations of $W$ occur in the top cohomology of Springer fibers (tensored with possibly nontrivial characters of component groups) for a desingularization of the nilpotent variety. Those representations involving only the trivial character of a component group are Springer representations forming a collection $\overline{\mathcal{S}}_W$, which in turn contains a subset $\mathcal{S}_W$ of special representations. It turns out that the Springer representations are in natural bijection with nilpotent orbits, while special ones correspond to special orbits (not easy to characterize intrinsically) and there is a natural duality on the latter orbits generalizating the usual one for partitions in type $A$. Lusztig showed that at least the Springer representations can be constructed using the Lusztig-Spaltenstein method.

In Carter's last chapters you can find detailed information about the Springer representations along with the special ones. For instance, in type $G_2$, there are six irreducible representations of the dihedral group $W$ of order 12, of which five are Springer and only three special. In type $E_8$, there are 112 irreducible representations of $W$, of which 70 are Springer and in turn 46 are special.

ADDED: A more up-to-date book than Carter's is Characters of Finite Coxeter Groups and Iwahori-Hecke Algebras (London Mathematical Society Monographs, Oxford, 2000) by Geck and Pfeiffer. They call Lusztig-Spaltenstein truncated induction "$j$-induction".

[EDIT] Software developed for the Atlas of Lie Groups here shows that Macdonald's original approach constructs all irreducible representations of $W$ in type $G_2$ but for other exceptional types is not closely related to Springer theory. (In classical types other than $D_n$, Macdonald showed that his method gives all irreducibles.)

$\endgroup$
5
  • $\begingroup$ That was very helpful. I was looking to understand if something like "Macdonald's method always constructed the special representations" was always true. Your comment about Lusztig's result shows that something stronger is actually true (I still have to process it further to understand why though). As for question (1) in the case of $G_2$, a reformulation would be : For what choice of $W_s,U'$ (I am using Carter's notation in his Chap 11) does $j^W_{W_s}(U')$ give the non-Springer representation ? $\endgroup$
    – Aswin
    Commented Sep 18, 2013 at 21:20
  • $\begingroup$ I should add that for Qn (1) (as reformulated in my comment above), looking at Carter's Chapters 12,13 did not give me an answer. $\endgroup$
    – Aswin
    Commented Sep 18, 2013 at 21:26
  • $\begingroup$ @Aswin: I've added a reference to a more recent book, which may answer your questions better. I still don't understand the formulation of your first question. Concerning $G_2$, my understanding is that the single non-Springer representation (having degree 1) is not obtained by $j$-induction, though its multiple by the sign character is. $\endgroup$ Commented Sep 19, 2013 at 13:29
  • $\begingroup$ @ Jim Thanks for that reference. My library does not seem to have the book but I will keep looking. It seems like the place to look for my obscurely worded question. $\endgroup$
    – Aswin
    Commented Sep 19, 2013 at 23:59
  • $\begingroup$ @Aswin; I've edited my answer to clarify some points. In any case, the book by Geck-Pfeiffer is well worth consulting if you can locate a library copy. (It's a very expensive book to acquire.) $\endgroup$ Commented Nov 17, 2013 at 15:16
1
$\begingroup$

Somewhat late, but let me answer my own question here by saying that using packages like CHEVIE (built for GAP) has been the most reliable way for me to compute j-induction. I'll leave Jim's answer as the accepted one since it covers a lot of the history behind these construction in a very useful way. There is also the tables of Dean Alvis for those who are up for it. For ranks upto 8, the UMRK database of B.Binegar is quite helpful.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .