MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let k be an algebraically closed field of characteristic $\ell$, and let $q = p^r$ be a prime power with $p \neq \ell$. Suppose I have a cuspidal representation $\pi$ of $GL_n({\mathbb F}_q)$, for some $n < \ell$.

The supercuspidal support of $\pi$ consists of $m$ copies of a supercuspidal representation $\sigma$ of $GL_{d}({\mathbb F}_q)$ for some integers $m$ and $d$ with $md = n$.

In this setting, there also exists a cuspidal representation $\pi'$ of $GL_m({\mathbb F}_{q^d})$ that has supercuspidal support equal to $m$ copies of the trivial character.

Let $A$ be the block of the category of $W(k)[GL_n({\mathbb F}_q)]$-modules containing $\pi$, and let $A'$ be the block of the category of $W(k)[GL_m({\mathbb F}_{q^d})]$-modules containing $\pi'$. Are $A$ and $A'$ equivalent as categories? (More precisely, is there an equivalence of $A$ and $A'$ that takes $\pi$ to $\pi'$?) I can prove this when $\pi$ is supercuspidal; i.e. $m=1$, but computations from character theory and considerations from the Langlands program make me suspect that it's true in general.

David Helm

share|cite|improve this question
I expect you will find the answer in the paper of Brundan, Dipper and Kleshchev "Quantum linear groups and representations of GLn(Fq)" – David Hill Apr 7 '11 at 17:20
Welcome to MO, Professor Helm. – Pete L. Clark Apr 7 '11 at 22:37
up vote 3 down vote accepted

I may come a little late, but I think Theorem B' on page 52 of Bonnafé and Rouquiers' paper at IHES does what you want.

share|cite|improve this answer
It does indeed. Thank you! – David Helm Jun 19 '12 at 15:32

Your Answer


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.