Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Are the eigenvalues of the Hecke operators $T_n$ for $M_k(\text{SL}_2(\mathbb{Z}))$ always real? I think I have an answer but I am not confident with my arguments.

If $f$ is a normalized eigenform, then $f$ have real Fourier coefficients. And if $f$ is a normalized eigenform, then its coefficients are precisely the eigenvalues of $T_n$. Thus $T_n$ must have real eigenvalues. Is this correct?

share|cite|improve this question

Yes, in this context (and more generally for newforms on $\Gamma_0(N)$) the eigenvalues of the $T_n$ must be real. What your argument shows is that this is*equivalent* to the statement that a normalized eigenform has real Fourier coefficients. If you accept that the Fourier expansion is necessarily real, you are done.

On the other hand, I would normally prove that the Fourier expansion is real by first proving that the Hecke eigenvalues are real. For this, I would use the fact that $T_n$ is self-adjoint for the Petersson inner product, and that the eigenvalues of a self-adjoint operator are necessarily real.

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.