Fields of definition for p-adic overconvergent modular eigenforms - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T19:11:29Z http://mathoverflow.net/feeds/question/36091 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/36091/fields-of-definition-for-p-adic-overconvergent-modular-eigenforms Fields of definition for p-adic overconvergent modular eigenforms L. J. P. Kilford 2010-08-19T16:11:36Z 2010-08-19T20:46:03Z <p>If we consider the action of the $U_p$ operator on overconvergent $p$-adic modular forms, then we can get some information about the field over which the eigenforms are defined by looking at the slopes. For instance, my paper in Math Research Letters (<a href="http://www.ams.org/mathscinet/search/publdoc.html?arg3=&amp;co4=AND&amp;co5=AND&amp;co6=AND&amp;co7=AND&amp;dr=all&amp;pg4=AUCN&amp;pg5=RVCN&amp;pg6=ALLF&amp;pg7=ALLF&amp;pg8=ET&amp;review_format=html&amp;s4=kilford&amp;s5=&amp;s6=&amp;s7=&amp;s8=All&amp;vfpref=html&amp;yearRangeFirst=&amp;yearRangeSecond=&amp;yrop=eq&amp;r=9&amp;mx-pid=2106238" rel="nofollow">MR2106238</a>) proves that the slopes of $U_2$ acting on 2-adic overconvergent modular forms of level 4 with primitive Dirichlet character are distinct, so the field of definition has to be $\mathbf{Q}_2$. However, there are cases when the slopes fail to be distinct; for instance, in Emerton's thesis it is proved that the lowest slopes of T_2 acting on level 1 forms of weight congruent to 14 modulo 16 are 6 and 6.</p> <p>For classical modular forms of level 1, we have Maeda's Conjecture which says that the field of definition is essentially as large as it can be; the Hecke polynomial is irreducible with Galois group $S_n$ where $n$ is the dimension. However, there is no reason that this should be true for overconvergent modular forms, and in fact it isn't. Discussions with Robert Coleman led me to the concrete example of 2-adic overconvergent modular forms of tame level 1 and weight 142, where there are two eigenforms of slope 6 which are both defined over the ground field $\mathbf{Q}_2$.</p> <p>The question is, what should one expect here? Can one tell any more about the field of definition from the slopes than the absolute minimum?</p> http://mathoverflow.net/questions/36091/fields-of-definition-for-p-adic-overconvergent-modular-eigenforms/36120#36120 Answer by Lavender Honey for Fields of definition for p-adic overconvergent modular eigenforms Lavender Honey 2010-08-19T19:41:15Z 2010-08-19T20:46:03Z <p>Professor Buzzard raises the a question of whether <em>every</em> normalized eigenform of level $1$ is defined over a quadratic extension of $\mathbb{Q}_2$. </p> <p>(This is Question 4.3 of <a href="http://www2.imperial.ac.uk/~buzzard/maths/research/papers/conjs.pdf" rel="nofollow">http://www2.imperial.ac.uk/~buzzard/maths/research/papers/conjs.pdf</a>)</p> <p>In contrast, the multiplicity of the valuation of the set of $2$-adic slopes at level $1$ can be arbitrarily large, as can be observed as follows: </p> <p>Consider the space $S_k:=S^{new}_k(\Gamma_0(2))$ of newforms of weight $k$. Every newform has slope $(k-2)/2$. Thus, by work of Coleman, the number of slopes of valuation $(k-2)/2$ at level $1$ and weight $k + 2^n$ for sufficiently large $n$ will be at least $\mathrm{dim}(S_k)$, which is unbounded as $k$ increases.</p> <p>EDIT: The point of the last example is that the answer to the original question is "not much", i.e., there can be many forms of the same slope, but all the forms are defined over a small (or even trivial) extension of $\mathbb{Q}_2$.</p>