4

1

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"?

flag
(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". – Kevin Buzzard Nov 27 2009 at 21:02
2 
And then there are the primes for which rhobar restricted to the decomposition group at p are irreducible. They are called "buzzard primes". – Lavender Honey Nov 27 2009 at 21:05
@buzzard: yes, that is the "more general context" I had in mind. – David Hansen Nov 27 2009 at 21:35
1 
Ha! And only one hour later, this website is the top google hit for "buzzard primes". – Lavender Honey Nov 27 2009 at 23:41
Not a very informative hit though! You'd be better off working in weight 16 if you actually want to see some examples... – Kevin Buzzard Nov 28 2009 at 7:57

1 Answer

4

"Eisenstein" ?

link|flag
AHHHH, thank you - I knew there was already a word for this! – David Hansen Nov 27 2009 at 22:19
Ok, but why? Relationship to Eisenstein series? – Ilya Nikokoshev Nov 27 2009 at 23:25
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". – Kevin Buzzard Nov 28 2009 at 8:02
1 
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. – Soroosh Aug 18 2010 at 20:45

Your Answer

Get an OpenID
or

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