Distribution of dimensions of factors of the Jacobian of X_0(p) - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T23:40:17Z http://mathoverflow.net/feeds/question/11723 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/11723/distribution-of-dimensions-of-factors-of-the-jacobian-of-x-0p Distribution of dimensions of factors of the Jacobian of X_0(p) Jonah Sinick 2010-01-14T05:40:48Z 2010-01-14T06:47:57Z <p>Let X_0(p) be the modular curve of level p where p is prime. The Jacobian variety J_0(p) has a natural family of quotients defined over Q with dimensions summing to dim(J_0(p)), each quotient corresponding to a Galois conjugacy class of normalized Hecke eigenforms on X_0(p), the dimension of a quotient being equal to the degree of the number field generated by the Fourier coefficients of the corresponding form(s). </p> <p>Let f(p, d) be the number of such quotients of J_0(p) of dimension d </p> <blockquote> <p>Has anyone made a compelling and nontrivial conjecture about the size of f(p, d) as p ---> infinity?</p> </blockquote> <p>Same question for the average value of f(p, d) for primes p &lt;= N as N ---> infinity (which <em>a priori</em> may amount to the same thing).</p> http://mathoverflow.net/questions/11723/distribution-of-dimensions-of-factors-of-the-jacobian-of-x-0p/11727#11727 Answer by Pete L. Clark for Distribution of dimensions of factors of the Jacobian of X_0(p) Pete L. Clark 2010-01-14T06:39:17Z 2010-01-14T06:47:57Z <p>Let me begin with what was formerly a comment above: the feeling among most experts is probably* that for each fixed $d$, the number of isogeny factors of $J_0(p)$ of dimension $d$ should be small compared to the dimension of $J_0(p)$, i.e. $o_d(p)$. </p> <p>In what follows, I will cite some results which point in this direction. My overall response is not as logically coherent as I might have liked: perhaps a true expert will do better.</p> <p>When $p$ is prime, it follows from a 1975 theorem of Ribet (reference below) that the $\mathbb{Q}$-rational endomorphism algebra of $J_0(p)$ is the same as the geometric (i.e., $\mathbb{C}$-rational) endomorphism algebra, and that this algebra is a product of formally real fields, each being the subfield of $\mathbb{Q}$ obtained by adjoining the Fourier coefficients of the various weight $2$ cuspforms of level $p$.</p> <p>Thus the problem can be viewed as a special case of a popular one in pure algebraic geometry: for which genera $g$ do there exist complex algebraic curves of genus $g$ with, e.g., Jacobians isogenous to a product of elliptic curves? (Or, more generally, with endomorphism algebra containing at least $N$ semisimple factors?) If you count codimensions in the Siegel moduli space corresponding to (say) principally polarized abelian varieties with certain nontrivial endomorphism algebras and the Torelli locus (i.e., of Jacobians), then you find that (at least in many special cases) the sum of these codimensions adds up to more than $\frac{g(g+1)}{2}$, the dimension of the Siegel moduli space. Thus unless there is <b>excess intersection</b> between these two loci, for sufficiently large $g$ one expects Jacobians not to be highly decomposed. [This is a cue for Prof. JSE to weigh in on the matter.]</p> <p>For instance, I think it is at least conjectured that for sufficiently large $g$, no $g$-dimensional Jacobian splits completely into a product of elliptic curves. This is known to be true over finite fields, but maybe not over $\mathbb{C}$. </p> <p>Serre has worked on both the general geometric question and on this special case. In his 1997 JAMS paper, Serre showed that the maximal dimension of a simple isogeny factor of $J_0(N)$ approaches infinity with $N$. I think the result is quantitative, so if you look there you may get the most information currently known on the question you asked.</p> <p><hr /></p> <p>Ribet, Kenneth A. Endomorphisms of semi-stable abelian varieties over number fields. Ann. Math. (2) 101 (1975), 555--562. </p> <p><hr /></p> <p>Serre, Jean-Pierre Répartition asymptotique des valeurs propres de l'opérateur de Hecke $T_p$. (French) [Asymptotic distribution of the eigenvalues of the Hecke operator $T_p$] J. Amer. Math. Soc. 10 (1997), no. 1, 75--102. </p> <p><hr /></p> <p>*: I think it's true, and the small number of people I've spoken to about this explicitly (several years ago) thought it was true. We'll see what others have to say.</p>