Abstract
Let be a nontrivial one-parameter family of elliptic curves over , with . Consider the kth moments of the Dirichlet coefficients . Rosen and Silverman proved Nagao’s conjecture relating the first moment to the family’s rank over , and Michel proved if j(T) is not constant then the second moment equals . Cohomological arguments show the lower order terms are of sizes and 1. In every case, we can analyze in closed form, the largest lower order term in the second moment expansion that does not average to zero is on average negative, though numerics suggest this may fail for families of moderate rank. We prove this Bias Conjecture for several large classes of families, including families with rank, complex multiplication, and constant j(T)-invariant. We also study the analogous Bias Conjecture for families of Dirichlet characters, holomorphic forms on GL, and their symmetric powers and Rankin-Selberg convolutions. We identify all lower order terms in large classes of families, shedding light on the arithmetic objects controlling these terms. The negative bias in these lower order terms has implications toward the excess rank conjecture and the behavior of zeros near the central point.
2010 Mathematics Subject Classification:
Carnegie Mellon University, Princeton University, Williams College, the Eureka Program, the Finnerty Fund, and the Clare Boothe Luce Program of the Henry Luce Foundation. We thank to the referee for numerous helpful comments, and Matija Kazalicki and Bartosz Naskrecki for sharing their preprints.
Notes
1 Note the 1-level density is well-defined even if GRH fails, though if there are zeros off the line then we lose the spectral interpretation of the zeros. If we adjust the rescaling of the zeros slightly we can remove the big-Oh error term, but its presence does not matter for calculating the main term, and is only important when we look at the 2 or higher level densities.
2 The Satake parameters are bounded by for some δ; conjecturally δ = 0. There has been significant progress toward these bounds with some ; see [17, 18]. Any implies the terms do not contribute to the main term.
3 We need to divide the p sum to have a moment, as we are averaging over p terms; some works include this division in the definition, others have it separate. We choose not to divide by p so that our sums are integer polynomials in p.
4 An elliptic surface is rational if and only if one of the following is true: (1) ; (2) and .