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

Given a Hecke operator which acts on the space of modular forms for $\mathrm{SL}_2(\mathbb{Z})$, are the eigenvalues necessarily distinct?

share|cite|improve this question
I would also like to know if there is a modular form for $\mathrm{SL}_2(\mathbb{Z})$ with a vanishing Hecke eigenvalue. – GH from MO Aug 28 '12 at 14:13
Just to clarify, are you asking if a particular Hecke operator $T_\ell$ acting on the space $M_k(\mathrm{SL}_2(\mathbb{Z}))$ of forms of fixed weight $k$ for the full modular group has distinct eigenvalues (i.e. square-free characteristic polynomial)? – Ramsey Aug 28 '12 at 14:28
@Will: That bound is right in weight $2$, but in general the bound for weight $k$ is $2p^{(k-1)/2}$. – Ramsey Aug 28 '12 at 14:45
It's conjectured (Maeda's conjecture) that for any prime $p$ and any even weight $k \ge 12$, the characteristic polynomial of $T_p$ acting on $S_k(\operatorname{SL}_2(\mathbb{Z}))$ is irreducible over $\mathbb{Q}$; in particular, it has no multiple roots. Various authors (eg Buzzard, Kleinerman) have verified this for lots of values of $p$ and $k$. If I remember correctly, in all cases that have been tested the stronger statement holds that the char polys all have Galois group equal to the full symmetric group of the appropriate degree. – David Loeffler Aug 28 '12 at 15:22
The way I understand the question: is it true that for any Hecke eigenform $f\in S_k(\operatorname{SL}_2(\mathbb{Z}))$ the Hecke eigenvalues $\lambda_f(p)$, normalized so that they lie between $\pm 2p^{(k-1)/2}$, are all distinct? – GH from MO Aug 28 '12 at 15:30

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.