MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

In Kevin Buzzard's recent question, a warm up question was: if two automorphic representations are nearly equivalent, then are the central characters of their local components equal?

Working my way up to local and later global automorphic representations, I am currently studying the situation over finite fields.

  1. What is the analogue of Buzzard's question in the finite field case?
  2. Is it true?

Here are some of my own thoughts on this.

If $$(T_1,\theta_1)\sim (T_2,\theta_2)$$ are two geometrically conjugate pairs of torus+character, then I think the characters have to agree on the center of $G^F$ (elements in the center are norms [?], so the geometric conjugacy equation shows equality). Using 7.2 in [DL] we see that the value of $R_T^\theta$ on the center is $\theta$ (maybe up to sign), i.e. $$\frac{R_{T_1}^{\theta_1}(z)}{R_{T_1}^{\theta_1}(1)} = \frac{R_{T_2}^{\theta_2}(z)}{R_{T_2}^{\theta_2}(1)}=\theta(z)$$ for $z\in Z(G^F)$.

This might be considered an analogue as requested, but a naive one at that. A deeper analogue should consider the irreducible representations of $G^F$, and not the Deligne-Lusztig virtual characters, which can be reducible.

Consider the two cross sections $\rho_x$, $\rho_x^'$ from the set of geometric conjugacy classes to irreducible representations (10.7.1/2 in [DL]): $$\rho_x=\sum_{[(T,\theta)]=x} \frac{(-1)^{\sigma(G)-\sigma(T)}}{\lt R_T^\theta,R_T^\theta\gt }R_T^\theta$$ $$\rho_x^'=(-1)^{\sigma(G)-\delta_x} \sum_{[(T,\theta)]=x} \frac{1}{\lt R_T^\theta,R_T^\theta\gt }R_T^\theta$$

Do these have the same central character?

If the $\theta$'s are trivial on the center, then the answer is yes. Computations that I have done before show that this is the case for the $\theta$'s that are not in general position in $Sp_4$.

We can divide in an obvious way the $[(T,\theta)]\in x$ into two sets, of "positive" and "negative", such that $\rho_x^'$ is a sum and $\rho_x$ is a difference. We see that for the two representations to have equal central character, either the sum of "negative" terms, or "positive" terms (depending on $\delta_x$), must be zero on the center (minus the identity).

Note that $\rho_x$ appears in the Gelfand-Graev representation of $G^F$, whose character restricted to the center (minus the identity) is zero, so this supports in spirit the paragraph above. I'm not sure if it can be extended from spirit to an actual proof.

[DL] - this is, of course, the original Deligne-Lusztig paper from 1976.

share|cite|improve this question
up vote 5 down vote accepted

This is quite an old question but I believe the answer to your question is given in Lemma 2.2 of Malle's paper "Height 0 characters of finite groups of Lie type" (2007) which is freely available online here.

His lemma states that any two characters in the same (geometric) Lusztig series have the same central character. It follows very simply from the fact you gave for Deligne-Lusztig characters. This is because the characteristic functions of semisimple elements are explicit uniform functions, in the sense that they are linear combinations of Deligne-Lusztig characters.

share|cite|improve this answer

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.