### Deligne-Lusztig theory


is awesome. You take a maximal torus $T$, you take a character $\theta$, construct a variety $X\_T$$^\*$, take etale cohomology, get a virtual character $R\_T^\theta$, maybe it's reducible, so you try to decompose it.


### Gelfand-Graev character


is awesome. You take a maximal unipotent subgroup in some maximal split Borel subgroup, take a generic character, induce the character to the whole group, and you get many interesting subrepresentations.


### My question



> 
> Is the Gelfand-Graev character equal to the character of the cohomology of some sheaf on some nice variety, similar to a Deligne-Lusztig character?
> 
> 
> 


### Why is this interesting?


Say you have an $R\_T^\theta$ that is reducible. Before trying to find explicitly all constituents, let's try to decompose it first into constituents of the Gelfand-Graev character (generic), and the rest (not generic). If $R\_T^\theta$ has exactly two subrepresentations, one generic and one not generic, then we needn't look further.


### What am I looking for?


The best thing would be if there was a sheaf $F\_{GG}$ on $X\_T$ with cohomology, in the $\ell(w)$-degree, with character equal to the Gelfand-Graev character. Then we might have a sequece of sheaves
$$0\rightarrow F' \rightarrow F\_\theta \rightarrow F\_{GG} \rightarrow F^{''} \rightarrow 0$$


and we might get that the cohomologies of $F'$ and $F^{''}$ will break our $R\_T^\theta$ into two parts.


So, in essence, what I'm looking for, is a geometric way to break a Deligne-Lusztig character into its genereic and non-generic parts.


This might not be possible, at least not in the way I described, which is very naive and wishful. The sentence before last should be regarded as the real question.


(\*) Non-standard notation, I know. Fix some maximal $F$-stable torus, let $w$ be the Weyl element that twists the torus to desired $T$, and let $X\_T=X(w)$, where $X(w)$ is the standard notation Deligne-Lusztig variety.



Is the Gelfand-Graev character isomorphic to a cohomology group for some sheaf on a Deligne-Lusztig variety?
In the 35 years following the Deligne-Lusztig construction of generalized characters of finite groups of Lie type, a considerable amount of work by Lusztig and others has led to a reasonably detailed understanding of the irreducible characters. This is usually quite difficult to make explicit, however, since a lot of recursive steps are involved. Looking at all this work in hindsight, it's definitely a worthwhile project to find shorter or more transparent pathways to the end results. Even so, these results are usually so complicated that one can't expect miracles, especially when the ambient algebraic group has a disconnected center (as in the case of special linear groups).


I'm somewhat doubtful about the parallel you suggest between D-L and G-G characters, since the two constructions have strongly contrasting features. The longstanding problem for finite group theorists was the lack of an elementary procedure like induction that would come close to producing all irreducible characters. Parabolic induction is successful up to a point, but fails to yield the "cuspidal" characters. The more sophisticated cohomological construction in the 1976 *Annals* paper of Deligne and Lusztig, followed by Lusztig's further refinements, produced a family of *generalized* characters having all irreducible characters as constituents. In fact, "most" of the D-L characters are (up to sign) already irreducible. But it still takes considerable ingenuity to decompose all D-L characters in a systematic way, compute the degrees of the irreducibles, etc.


In contrast, the G-G construction of a single large degree character uses standard induction methods. When the center of the ambient algebraic group is *connected*, the case treated carefully in Chapter 8 of Carter's book, the G-G character is independent of which "nondegenerate" (or "generic") linear character of the finite unipotent group was used in the induction. Moreover, the G-G character is multiplicity-free and has as constituents "almost all" of the irreducible characters being sought. In other words, it approximates a *model* for the character theory of the finite group. 


Further study shows that the constituents of the G-G character are precisely the "regular" characters, one for each geometric conjugacy class in the D-L set-up. Extracting these constituents systematically is then an important part of the agenda following the D-L construction. All of this is extremely challenging. Even a well-behaved family of finite groups such as those of type $G\_2$ over finite fields illustrates well the complexity of the problem. (Even though the character table was constructed for odd primes by Chang-Ree using more ad hoc methods based on Green's work for general linear groups, it's a useful exercise to reproduce the table in the spirit of D-L theory.)


Will further methods from algebraic geometry beyond those already exploited by Deligne and Lusztig provide better insights? This is impossible to predict, but at the moment I'm skeptical about the program sketched in this question.


