Explicit upper bound for the (analytic) rank of \(J_0(q)\) (Q5932015)

In [`The analytic rank of \(J_0(q)\) and zeros of automorphic \(L\)-functions', Duke Math. J. 100, 503-542 (1999; Zbl 1161.11359)] the authors have shown that the analytic rank of the Jacobian variety \(J_0(q)\) of the modular curve \(X_0(q)\) satisfies \(\text{rank}_a(J_0(q))\leq C\dim(J_0(q))\) for all prime numbers \(q\), where \(C\) is an absolute constant. In the present paper, the authors show how to compute an admissible value of \(C\). Based on considerations of the sign of the functional equation of automorphic \(L\)-functions, it was conjectured in \textit{A. Brumer} [Astérisque 228, 41-68 (1995; Zbl 0851.11035)] that \(\text{rank}(J_0(q))=\text{rank}_a(J_0(q))\sim\frac 12\dim(J_0(q))\). The first equality is the Birch and Swinnerton-Dyer conjecture in the present context. Assuming the Birch and Swinnerton-Dyer conjecture for \(J_0(q)\), \(q\) being a prime number, the authors prove that for \(q\) large enough \(\text{rank}(J_0(q))\leq 6.5\dim(J_0(q))\). The Eichler-Shimura theory gives a factorization \(L(J_0(q),s)=\prod_{f\in S_2(q)^*}L(f,s)\), where \(S_2(q)^*\) denotes the space of all primitive weight 2 forms and \(|S_2(q)^*|=\dim(J_0(q))\). Under the above hypothesis, their first result is equivalent to \[ \sum_{f\in S_2(q)^*}\text{ord}_{s=1/2}(L(f,s))\leq 6.5|S_2(q)^*|. \] The proof follows that of their paper cited above, however more technical arguments are needed.