Motivation behind the construction of Deligne and Lusztig - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T23:01:45Z http://mathoverflow.net/feeds/question/109461 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/109461/motivation-behind-the-construction-of-deligne-and-lusztig Motivation behind the construction of Deligne and Lusztig senti_today 2012-10-12T14:51:47Z 2012-10-15T01:35:52Z <p>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:</p> <p>1) The conjecture of Macdonald that a construction of this sort should exist.</p> <p>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</p> <p>$$\mathbb{F}_{q^2}^\times\to\mathbb{F}_q^\times$$</p> <p>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)$.</p> <p>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.</p> http://mathoverflow.net/questions/109461/motivation-behind-the-construction-of-deligne-and-lusztig/109653#109653 Answer by Jim Humphreys for Motivation behind the construction of Deligne and Lusztig Jim Humphreys 2012-10-14T20:51:28Z 2012-10-14T20:51:28Z <p>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 <em>Ann. of Math. Studies</em> 81. On his homepage at MIT you can find an intimidating list of all his papers <a href="http://www-math.mit.edu/~gyuri/pub.html" rel="nofollow">here</a>, along with detailed comments on some of them <a href="http://www-math.mit.edu/~gyuri/papers/comm.html" rel="nofollow">here</a>. 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.</p> <p>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.</p>