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"?
$\begingroup$
$\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$– Kevin BuzzardNov 27, 2009 at 21:02
-
$\begingroup$ @buzzard: yes, that is the "more general context" I had in mind. $\endgroup$– David HansenNov 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$– Kevin BuzzardNov 28, 2009 at 7:57
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
4
"Eisenstein" ?
-
$\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$– SorooshAug 18, 2010 at 20:45