Average analytic ranks of elliptic curves over number fields
Tristan Phillips
TL;DR
The paper establishes a conditional upper bound for the average analytic rank of isomorphism classes of elliptic curves over a number field $K$, ordered by naive height, under the assumptions that all curves are modular and satisfy GRH. The author recasts counting elliptic curves as counting points on the moduli stack $\mathcal{X}_{GL_2(\mathbb{Z})}$, identified with the weighted projective stack $\mathcal{P}(4,6)$, and develops a general theory for counting points of bounded height on weighted projective stacks with prescribed local conditions. A robust weighted geometry-of-numbers framework over number fields is established, including o-minimal definability and a Box Lemma, to obtain asymptotics with explicit constants for local-condition counts. These counting results feed into the explicit formula for $L$-functions of elliptic curves, enabling bounds on the average analytic rank that culminate in the unconditional bound $(9\deg(K)+1)/2$ under the stated hypotheses. The work extends prior Q-based results to arbitrary number fields and provides tools for counting elliptic curves with local data, which may have independent interest in arithmetic geometry and Diophantine geometry.
Abstract
A conditional bound is given for the average analytic rank of elliptic curves over an arbitrary number field. In particular, under the assumptions that all elliptic curves over a number field $K$ are modular and have $L$-functions which satisfy the Generalized Riemann Hypothesis, it is shown that the average analytic rank of isomorphism classes of elliptic curves over $K$ is bounded above by $(9\ \text{deg}(K)+1)/2$, when ordered by naive height. A key ingredient in the proof is giving asymptotics for the number of elliptic curves over an arbitrary number field with a prescribed local condition; these results are obtained by proving general results for counting points of bounded height on weighted projective stacks with a prescribed local condition, which may be of independent interest.
