upper bounds for the ranks of the minus parts of modular jacobians Let $p$ be a prime, and $J^-(p)$ be the maximal quotient of the Jacobian of the modular curve $X_0(p)$ on which the involution acts by $-1$.
Is anything known or conjectured about upper bounds for the "size" (either the rank or the dimension of the Zariski closure) of $J^-(p)(\mathbb{Q})$?
(On basis of BSD and related conjectures, we would expect these quantities to "small" in some sense. Explicit computation in SAGE gives that $J^-(p)(\mathbb{Q})$ is finite for all but 38 of the primes less than 3000.)
 A: Well, J_0(p) itself is known to have analytic rank at most (6.5) dim J_0(p), by a result of Kowalski and Michel:
http://www.math.u-bordeaux1.fr/~kowalski/explicit-rank.pdf
so that's an upper bound to start with, at least if you are willing to condition on BSD.  An unconditional upper bound on the rank seems hard -- I'm not sure how you would hope to rule out the existence of (e.g.) some elliptic curve of conductor p whose Mordell-Weil rank is gigantic.
The dimension of the Zariski closure is just the sum of all the A_f with positive Mordell-Weil rank, right?  Here you might be able to make slightly more progress.  What you are looking for is an lower bound on the number of cuspforms f in S_2(Gamma_0(p)) such that L(f,1) is nonzero.  (This is unconditional, since we know that nonvanishing implies rank 0.)  Of course, it's not even obvious that there is one such cuspform!  One way to show the existence is to compute a suitable weighted average of the L(f,1) via Petersson formula.  The average will be nonzero, which means one of the special values is nonzero.  By being more clever about the many choices of average you can take, you can get lower bounds; I think Amir Akbary knows a lot about this.
But you may want something much stronger; e.g., that the sum of dim A_f over all f with L(f,1)=0 is o(dim J_0(p)).  That's what one would expect.  I don't know that anyone has proved anything of this kind.
