4
$\begingroup$

Let $\overline{\rho}_{\Delta,\ell}$ be the mod-$\ell$ representation associated to Ramanujan's $\Delta$-function. It is well-known that (the semisimplification of) this representation is reducible if, say, $\ell=5$ or $\ell=691$. Is there a general name for primes like this? Serre calls them (in a more general context) "exceptional primes," but the word exceptional always strikes me as vague. "Primes of residual reducibility"?

$\endgroup$
3
  • $\begingroup$ (From memory so might be wrong): I thought that primes like ell=23 were also deemed "exceptional" because the image is smaller than expected. But in this case the Galois representation is irreducible. So if I've remembered correctly, then "residual reducibility" is conveying a different notion to "exceptional". $\endgroup$ Nov 27, 2009 at 21:02
  • $\begingroup$ @buzzard: yes, that is the "more general context" I had in mind. $\endgroup$ Nov 27, 2009 at 21:35
  • $\begingroup$ Not a very informative hit though! You'd be better off working in weight 16 if you actually want to see some examples... $\endgroup$ Nov 28, 2009 at 7:57

1 Answer 1

4
$\begingroup$

"Eisenstein" ?

$\endgroup$
4
  • $\begingroup$ AHHHH, thank you - I knew there was already a word for this! $\endgroup$ Nov 27, 2009 at 22:19
  • $\begingroup$ Ok, but why? Relationship to Eisenstein series? $\endgroup$ Nov 27, 2009 at 23:25
  • $\begingroup$ Sure: Eisenstein series give rise to char 0 reducible repns. The modular form Delta is congruent mod 691 to the Eisenstein series E_{12} so it's "Eisenstein mod 691". $\endgroup$ Nov 28, 2009 at 8:02
  • 1
    $\begingroup$ Is it still called Eisenstein prime if it is congruent to any Eisenstein series? What I have in mind is, say an elliptic curve of conductor $N$ with a reducible mod 13 representation. Then $\rho_{13}^{ss} = \chi_1 \oplus \chi_2$, and the modular form attached to this curve, $f_E \in S_2(\Gamma_0(N))$, is congruent to a modular form in $\Gamma_1(N)$. However there are no Eisenstein series in $S_2(\Gamma_0(N))$ that $f_E$ is congruent to. $\endgroup$
    – Soroosh
    Aug 18, 2010 at 20:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.