FROM THE BIRCH AND SWINNERTON-DYER CONJECTURE TO NAGAO'S CONJECTURE SEOYOUNG KIM AND M. RAM MURTY WITH AN APPENDIX BY ANDREW V. SUTHERLAND Abstract. Let E be an elliptic curve over Q with discriminant ∆E. For primes p of good reduction, let Np be the number of points modulo p and write Np = p+1−ap. In 1965, Birch and Swinnerton-Dyer formulated a conjecture which implies 1 ap log p 1 lim Q = −r + ; x→∞ log x p≤x p 2 p∤∆E where r is the order of the zero of the L-function LE(s) of E at s = 1, which is predicted to be the Mordell-Weil rank of E(Q). We show that if the above limit exits, then the limit equals −r + 1~2. We also relate this to Nagao's conjecture. 1. Introduction Let E be an elliptic curve over Q with discriminant ∆E and conductor NE. For each prime p ∆E, we write the number of points of E mod p as N #E p 1 a ; (1.1) ∤ p Fp( ) p where a satisfies Hasse's inequality a 2 p. For p ∆ , we define a 0; 1; or 1 ac- p ∶= p ( ) = + − E p cording as E has additive reduction, split multiplicative√ reduction, or non-split multiplicative reduction at p (For precise definitionsS ofS this≤ terminology,S we refer the reader= to [14− , p. 449]). The L-function attached to E, denoted as LE s is then defined as an Euler product using this datum: a 1 a p 1 L s 1 p ( ) 1 p ; (1.2) E ps − ps p2s − p ∆E p ∆E which converges absolutely( for) = ReMS s −3 2 by∤M virtue − of Hasse's+ inequality. Expanding the Euler product into a Dirichlet series, we write arXiv:2105.10805v3 [math.NT] 1 Jun 2021 ( ) > ~ an LE s : (1.3) ∞ s n 1 n If we write αp; βp as the eigenvalues of the( ) Frobenius= Q= morphism at p, for p ∆E, we can write ap αp βp, and our L-function can be re-written as ∤ a 1 α 1 β 1 = + L s 1 p 1 p 1 p ; (1.4) E ps − ps − ps − p ∆E p ∆E ( ) = M − M − − Date: June 3, 2021. S ∤ Research of the first author partially supported by a Coleman Postdoctoral Fellowship. Research of the second author partially supported by NSERC Discovery grant. 1 and by Hasse's inequality αp βp p. √ By the elliptic modularityS theoremS = S S = for semistable elliptic curves over Q by Wiles [19], and its complete extension to all elliptic curves over Q by Breuil, Conrad, Diamond, and Taylor [1], LE s extends to an entire function and satisfies a functional equation which relates LE s to LE 2 s . More precisely, if we define ( ) Λ s N s 2 2π sΓ s L s ; (1.5) ( ) ( − ) E E E then Λ s is entire and satisfies the following~ functional− equation: E ( ) = ( ) ( ) ( ) Λ s w Λ 2 s ; (1.6) ( ) E E E where w 1; 1 is the root number of E. Since Γ s has simple poles at s 0; 1;:::, E ( ) = ( − ) LE s has trivial zeros at s 0; 1;:::. Thus, for m 0; 1; 2; , we have ∈ { − } ( ) = − L s Λ s Γ s ( ) =Res− E Res E = ⋯ : (1.7) ′ ′ s m LE s s m ΛE s Γ′ s ( ) ( ) ( ) This summarises our study=− of E from= the=− analytic perspective.− ( ) ( ) ( ) From the algebraic perspective, a celebrated theorem of Mordell states that the group of rational points E Q is a finitely generated abelian group with rank rM . In 1965, Birch and Swinnerton-Dyer [2] conjectured that LE s has a zero of order r at s 1. In other words, the algebraic rank( r)M equals the \analytic rank" reflected as the order of zero at s 1 of LE s . This conjecture is often referred to( as) the Birch and Swinnerton-Dyer= conjecture. = However,( ) before they formulated this conjecture in this form, Birch and Swinnerton-Dyer stated a stronger conjecture motivated by a heuristic \local-global" principle: the rank should be reflected by \modulo p" information for many primes p. More precisely, they conjectured that there is a constant CE such that Np r CE log x ; (1.8) p x p p ∆E M< ∼ ( ) as x . We refer to this as the original∤ Birch and Swinnerton-Dyer conjecture (or OBSD for short). → ∞ Several authors have noted that the \severity" of this conjecture in that it implies the analog of the Riemann hypothesis for LE s , and much more. This was first announced by Goldfeld [7]. Kuo and Murty [8, Theorem 2, Theorem 3], and K. Conrad [3, Theorem 1.3] independently noticed that (1.8) goes well( beyond) the analog of the Riemann hypothesis for LE s . They proved that (1.8) is true if and only if αk βk ( ) p p o x ; (1.9) k k p x + p ∆E Q≤ = ( ) as x , or equivalently ∤ k k αp βp log p o x log x ; (1.10) → ∞ pk x p ∆E Q≤ ( + ) 2 = ( ) ∤ as x , whereas, the Riemann hypothesis for LE s is equivalent to the weaker assertion αk βk log p x log x 2 ; (1.11) → ∞ p p ( ) pk x p ∆E Q≤ ( + ) = O( ( ) ) as x . ∤ If→ we∞ return to the heuristic \local-global" principle that perhaps motivated Birch and Swinnerton-Dyer to make their OBSD conjecture, we are led to formulate several gradations of their conjecture. The first is that (1.8) is equivalent to αk βk p p r log log x A o 1 ; (1.12) k k kp p x + p ∆E Q≤ = − + + ( ) k for some constant A, as x ∤ . If we weight each prime power p by log p (following Chebysheff), we have that (1.8) implies → ∞αk βk p p log p r log x 1 ; (1.13) k k kp p x + p ∆E Q≤ = − + O( ) as x . In fact, this is equivalent∤ to (1.8). However, the weaker assertion αk βk → ∞ p p log p r log x o log x (1.14) k k kp p x + p ∆E Q≤ = − + ( ) already implies the analog of∤ the Riemann hypothesis for LE s and still leads to an analytic determination of the rank r using the \local" data ap. ( ) There are good reasons to believe that (1.11) is not the optimal estimate. Montgomery [10] and Gallagher [6] have suggested in the context of the Riemann zeta function (but here applied to our context) that the error in (1.11) should be x log log log x 2 (1.15) or even the \weaker" x log log x 2 . O( ( ) ) In either cases, it isO conceivable( ( ) that) OBSD is true, even though it goes well beyond the analog of the Riemann hypothesis for LE s . The purpose of this note is to show that( ) if the limit 1 αk βk lim p p log p (1.16) x k log x k kp p x + →∞ p ∆E Q≤ exists, then the limit is r. Moreover, this∤ implies that if the limit 1 a log p lim p (1.17) − x log x p x p →∞ 3 Q< exists, then the Riemann hypothesis for LE s is true, and the limit is r 1 2. We apply a technique of Cram´er[4] to prove our theorem. ( ) − + ~ 2. Preliminaries For an elliptic curve E defined over Q with discriminant ∆E and conductor NE, we defined its L-function LE s in (1.2). Hence, we can write its logarithmic derivative as L s c Λ n ( ) E n ; (2.1) ′ ∞ s LE s n 1 n ( ) ( ) where Λ n is the von Mangoldt function,− and= Q= ( ) m m m αp βp ; if n p and p N, ( ) m m cn ap ; if n p and p N, (2.2) ⎧ 0; + otherwise.= ∤ ⎪ = ⎨ = S Let be the (oriented) rectangle⎪ with vertices c iR; c iR; U iR; U iR, and its edges are ⎩⎪ denoted by I1;I2;I3, and I4 respectively, with c 2, an odd positive integer R (R is chosen so thatC it is not the ordinate of a zero of LE s −), and+U a− positive+ − non-integral− number, we have by the Cauchy residue theorem, = s ( ) ρ s 1 LE s x x LE s x ds nρ Res ; (2.3) ′ s m ′ 2πi LE s s ρ m U LE s s ( ) γ R ( ) =− SC − = −S QS< − Q< where the sum is over all zeros( ρ) β iγ of LE s , and nρ is the multiplicity( ) of each ρ. For any n 1, Hence, by (truncated) Perron's formula, for x not an integer, we get = + ( ) 2 iR s 2 1 LE s x x 1 c≥nΛ n ds cnΛ n min 1; (2.4) + ′ ∞ x n x 2πi 2 iR LE s s n 1 n R log n ρ ( ) s s Q≤ ( ) = S − x − LE+ Os x Q= 1 S (L)SE ⋅s x nρ (Res) ds S S (2.5) s m ′ ′ ρ m U LE s s 2πi I1 LE s s γ R ( ) ( ) =− 2 = −S QS< − Q< + x SC 1 ( ) cnΛ n( )min 1; ; (2.6) ∞ x n 1 n R log n ρ m s x x 1+ O QL= E sxS ( )S ⋅ nρ ds E x; U; R ; S S (2.7) − ′ ρ m U m 2πi I1 LE s s γ R ( ) = −S QS< + Q< + SC + ( ) where the first sum is over all nontrivial zeros ρ 1( )iγ of LE s , and nρ is the multiplicity of each ρ.