Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

If $G$ is a connected reductive group over a finite field $\mathbb{F}_q$ and $T$ is a maximal torus in $G$, the famous construction of Deligne and Lusztig (Annals of Math, 1976) associates representations of $G(\mathbb{F}_q)$ to $1$-dimensional representations of $T(\mathbb{F}_q)$. These representations come from the cohomology of the Deligne-Lusztig variety associated to $G$ and $T$, which admits commuting actions of the groups $G(\mathbb{F}_q)$ and $T(\mathbb{F}_q)$. According to various remarks in the Deligne-Lusztig article, two of their sources of motivation were as follows:

1) The conjecture of Macdonald that a construction of this sort should exist.

2) The example of the Drinfeld curve: if $G=SL_2$ and $T$ is the unique (up to conjugacy) non-split maximal torus in $G$, then $T(\mathbb{F}_q)$ can be identified with the kernel of the norm homomorphism

$$\mathbb{F}_{q^2}^\times\to\mathbb{F}_q^\times$$

and $G(\mathbb{F}_q)$ and $T(\mathbb{F}_q)$ both act naturally on the curve $X$ given by the equation $x^qy-xy^q=1$ in the affine plane over $\overline{\mathbb{F}}_q$. (The group $T(\mathbb{F}_q)$ acts by dilations.) The (first) $\ell$-adic cohomology of $X$ realizes all cuspidal irreducible representations of $SL_2(\mathbb{F}_q)$.

In their 1976 paper Deligne and Lusztig give two different constructions of (what later became known as) Deligne-Lusztig varieties (and proved that they are equivalent). The Drinfeld curve turns out to be a special case. However, to me it seems like the jump from the example of the Drinfeld curve (and MacDonald's conjecture) to either of the two general constructions of Deligne-Lusztig is absolutely giant. I was wondering if someone has some additional insight into how the construction was invented.

share|improve this question
2  
If I understand correctly, Deligne-Lusztig theory can be thought of as a generalization of Harish-Chandra induction. The original HCI only applies to rational parabolic subgroups and DLI extends it to non-rational parabolics. So I guess the known properties of HCI would have helped Deligne and Lusztig create their theory.... I still think that the leap remains giant and that the ability to make this leap signifies genius - what more can be said? –  Nick Gill Oct 12 '12 at 15:15
    
This is true, although the D-L varieties corresponding to usual H-C induction are finite sets, which makes the leap even bigger, in some sense! I am in no way trying to downplay the genius of Deligne and Lusztig; however, there are many other very remarkable constructions in mathematics that do have intuitive explanations behind them. For a related example, look at Lusztig's theory of character sheaves: their definition is also not at all obvious, but it was motivated by a huge amount of concrete calculations, unlike the Deligne-Lusztig theory, which appears to have grown out of one example. –  senti_today Oct 12 '12 at 17:22
1  
I'll attempt an "answer" but should also point out that the spelling is "Macdonald". (A group theorist named Ian D. MacDonald also appears in the literature but is not the more famous Ian G. Macdonald.) –  Jim Humphreys Oct 14 '12 at 20:37

1 Answer 1

up vote 8 down vote accepted

It's not easy to explain the motivation without being one of the authors, but in fact Lusztig has provided some helpful perspective on the writing of his joint paper with Deligne (1976) and his earlier related paper (1974) in Ann. of Math. Studies 81. On his homepage at MIT you can find an intimidating list of all his papers here, along with detailed comments on some of them here. See in particular numbers 17 and 22. Even though his comments are fairly short, they do bring out the transition from the earlier ideas of Macdonald and Springer to the specific construction of Deligne-Lusztig varieties. Some of the personal contacts and influences are impossible to trace, but a basic motivation was the construction of explicit representations of the finite groups of Lie type which would realize the elusive "cuspidal" or "discrete series" characters. In his 1955 pper on finite general linear groups, Green was able to deal with the characters inductively in a combinatorial spirit, but for other Lie types the story gets more complicated and requires a more sophisticated approach.

There were of course some reviews of the two papers I've mentioned, along with a nice technical survey by Serre in the 1975-76 Bourbaki seminar. But it's hard to extract from the literature as much insight as you can get from Lusztig's own comments. In particular, I think he makes it clear that there was no single moment of illumination based on the rank 1 case, but rather a coming together of a number of ways of thought that had already become influential in algebraic geometry and representation theory (illustrated by Springer's work on representations of Weyl groups in the early 1970s). Lusztig himself started out in algebraic topology but his collaboration with Roger Carter in Warwick got him involved in some of the problems of representation theory for algebraic groups and finite groups of Lie type. Having said all this, it must be added that it takes some rather brilliant people to come up with the right approach to such a stubborn problem in finite group theory.

share|improve this answer
    
Thank you for the explanations! (Also, I corrected the spelling of Macdonald's name.) –  senti_today Oct 15 '12 at 1:36

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.