6
$\begingroup$

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).

Let f(p, d) be the number of such quotients of J_0(p) of dimension d

Has anyone made a compelling and nontrivial conjecture about the size of f(p, d) as p ---> infinity?

Same question for the average value of f(p, d) for primes p <= N as N ---> infinity (which a priori may amount to the same thing).

$\endgroup$
3
  • $\begingroup$ FC makes a statement about f(p,d) in mathoverflow.net/questions/2339/… $\endgroup$ Commented Jan 14, 2010 at 6:40
  • $\begingroup$ @KB: His response is rather long and intricate. Could you extract for us what he says about $f(p,d)$? $\endgroup$ Commented Jan 14, 2010 at 6:52
  • $\begingroup$ Pete: I'm not talking about the response, I'm talking about the question. He says (without proof) that the liminf of the size of the largest chunk in J_0(p) is infinity as p goes to infinity. This translated into some unwieldy statement about f(p,d). $\endgroup$ Commented Jan 15, 2010 at 11:55

2 Answers 2

4
$\begingroup$

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)$.

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.

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$.

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 excess intersection 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.]

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}$.

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.


Ribet, Kenneth A. Endomorphisms of semi-stable abelian varieties over number fields. Ann. Math. (2) 101 (1975), 555--562.


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.


*: 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.

$\endgroup$
2
  • $\begingroup$ This is not an answer. But perhaps looking into the "Eisenstein ideal" paper of Mazur might help. There he was constructing some weird quotients. The Eisensten quotient seemed to be not the smallest one, but not the largest one either. I didn't get into all the intricacies since I am not an expert. Perhaps thinking about such quotients might shed more light on your conjecture. $\endgroup$
    – Anweshi
    Commented Jan 14, 2010 at 12:30
  • 3
    $\begingroup$ You said most of what Prof. JSE would say about decompositions of Jacobians! I'll only add pointers to the literature: the state of the art in "Jacobians isogenous to products of elliptic curves" remains the short paper of Ekedahl and Serre, which gives examples in genera as large as 1297; and one person constructing interesting examples nowadays is Paulhus. $\endgroup$
    – JSE
    Commented Jan 15, 2010 at 0:03
1
$\begingroup$

Recently there have been a few papers in this direction. The first one is AN ON-AVERAGE MAEDA-TYPE CONJECTURE IN THE LEVEL ASPECT by KIMBALL MARTIN. The main conjecture 1.1 of that article translated to this setting implies:

Conjecture: On average $J_0(p)$ has 2 simple factors.

For $p >>0$ the decomposition of $J_0(p)$ always has at least two simple factors since $J_0(p)^+$ and $J_0(p)^-$ are factors of it. So on average Kimball Martin one expects these to be the only two components. In particular for a fixed integer d the conjecture implies that on average $f(p,d) \to 0$ as $p \to \infty$.

Additionally Alex Cowan has done extensive computations on the decomposition of $J_0(p)$ into smaller factors for all primes $p < 1000000$. And his data only seem to support this conjecture. Indeed his data show the following:

Total number of simple dimension d factors for p < X

X       d=1  2    3   4  5  6  Pi(x)
100000  1686  737 126 35 22 11  9592
200000  2751 1060 147 36 22 12 17984
300000  3717 1290 164 37 22 12 25997
400000  4592 1493 177 37 22 12 33860
500000  5427 1679 183 37 22 12 41538
600000  6226 1856 190 37 22 12 49098
700000  7020 1991 200 37 22 12 56543
800000  7728 2132 205 38 22 12 63951
900000  8456 2271 211 38 22 12 71274
1000000 9172 2412 218 38 22 12 78498

Where Pi(x) is the prime counting function. In particular these data seem to be consistent with $f(p,d) \to 0$ on average.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .