Constructing an icosahedral weight 2 eigenform? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T04:04:57Z http://mathoverflow.net/feeds/question/98060 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/98060/constructing-an-icosahedral-weight-2-eigenform Constructing an icosahedral weight 2 eigenform? Barinder Banwait 2012-05-26T18:59:06Z 2012-09-06T22:20:15Z <p>(This question is a spin-off from <a href="http://mathoverflow.net/questions/97624/the-first-odd-degree-2-artin-representation-for-which-the-artin-conjecture-was-pr/97637#97637" rel="nofollow">this other question</a>, and is largely inspired by it.)</p> <p>Let $f \in S_1(\Gamma_1(800),\chi)$ be the weight-one "icosahedral" eigenform constructed by Buhler in his thesis [1]:</p> <p>$$f = q - iq^3 - ijq^7 - q^9 + jq^{13} + \cdots.$$</p> <p>Here $i = \sqrt{-1}$ and $j = \frac{1+\sqrt{5}}{2}$; (and if you'd like to see the first 360 Fourier coefficients, then see page 69 of loc. cit). It's "icosahedral", because the corresponding representation $\rho_f : G_\mathbb{Q} \to GL_2(\mathbb{C})$ has projective image isomorphic to $A_5$. (If you're wondering what $\chi$ is, it is the product of the character of order 2 and conductor 4 with the character of order 5 and conductor 25 sending 2 to $\zeta_5$.)</p> <p>Here is my basic question:</p> <blockquote> <p>Can I use this $f$ to construct a <em>weight 2</em> cuspidal eigenform $g$ whose associated mod $\lambda$ representation $\bar{\rho}_{g,\lambda}$ (for $\lambda$ some prime ideal of the coefficient field of $g$) has projective $A_5$ image?</p> </blockquote> <p>Here are some thoughts I've had:</p> <p>An idea I first saw in section 1 of Lecture 1 of Gelbart's article in [2] gives me some hope; pick a weight one Eisenstein series $E$ that is congruent to 1 mod $l$ (some rational prime) and consider the product $fE$, which will be a weight 2 cuspform (but not an eigenform). Applying a lifting lemma of Deligne and Serre might produce an eigenform with the desired property at some $\lambda$ lying above $l$. </p> <p>I say "might", because the lemma I'm looking at on page 163 in [2] is working with primes above 3, and 3 may be the only prime for which this lifting works; (and since I'm chiefly interested in characteristics 7, 19 and 61, the approach may fail).</p> <p>Moreover, if I want the answer as a $q$-expansion, then perhaps this lifting is not explicit enough. </p> <p>(I thought about being more demanding in the question and stipulating the coefficient field of $g$ and the characteristic of $\lambda$, but decided against it...)</p> <p>Finally, I had wanted to ask this question starting with the conductor 133 "tetrahedral" form found by Tate and some of his students, because that came first historically (see the previous question), and I'd then be asking about "tetrahedral" weight 2 forms; but I was unable to write down its $q$-expansion; MAGMA gives a Runtime error when you ask it to compute a basis of the weight one forms at level 133 (though it seems to be fine at smaller levels such as 23 and 47). And since I really like $q$-expansions, I used Buhler's form. </p> <p>[1]: J. Buhler: Icosahedral Galois Representations. LNM 654.</p> <p>[2]: G. Cornell, J. Silverman, G. Stevens (eds): Modular Forms and Fermat's Last Theorem. Springer.</p> http://mathoverflow.net/questions/98060/constructing-an-icosahedral-weight-2-eigenform/98352#98352 Answer by David Loeffler for Constructing an icosahedral weight 2 eigenform? David Loeffler 2012-05-30T10:02:44Z 2012-05-30T10:02:44Z <p>(This answer is partly a precis of an answer I gave to Barinder in person, which I am posting here in case anyone else is interested.)</p> <p>The Deligne--Serre lifting lemma is a completely general statement about endomorphisms of free modules over discrete valuation rings; there is no need to assume that the residue field has characteristic 3 (it need not even be finite). Googling "Deligne Serre lifting" brings up multiple detailed accounts of this lemma and its proof.</p> <p>So the strategy you propose will work, as long as you can find the necessary weight 1 Eisenstein series. You say you're interested in characteristic 7; try typing </p> <blockquote> <p>EisensteinForms(Gamma1(7), 1).integral_basis()[0].qexp(50).change_ring(Zmod(7))</p> </blockquote> <p>into Sage. So this argument will give you a weight 2 eigenform $g$ of level 931 which is congruent to $f$ mod some prime above $7$. It's still not completely clear that the mod $7$ representations of $f$ and $g$ have projective image that is tetrahedral, because the mod 7 representation attached to $f$ might have smaller image than the characteristic 0 one; but you might be able to rule this out if you think about what the smaller images might be -- the only proper quotients of $S_4$ are cyclic and dihedral groups, and these would force rather strong conditions on the reductions of $f$ and $g$ mod 7.</p> <p>Sadly, getting your hands on $g$ explicitly is rather hard work because the weight 2 space it lives in is rather large: you can pin down what the character of $g$ should be, but the space of weight 2 forms of level 931 with this character is 86-dimensional. But it should be possible to get a list of eigenforms in this space if you leave Sage (or Magma) running for long enough, and to check for each of them whether there is a prime of its coefficient field above $7$ with respect to which it is congruent to $f$.</p> http://mathoverflow.net/questions/98060/constructing-an-icosahedral-weight-2-eigenform/106554#106554 Answer by Reza for Constructing an icosahedral weight 2 eigenform? Reza 2012-09-06T22:20:15Z 2012-09-06T22:20:15Z <p>If f is an eigenform of level 800 and charachter $\chi$, then how we have $\chi(3)=0$? (since $a_{9}=-1$ and $a_{3}=-i$, then $\chi(3)=0$)</p>