Heuristics for the arithmetic of elliptic curves
This is an introduction to a probabilistic model for the arithmetic of elliptic curves, a model developed in a series of articles of the author with Bhargava, Kane, Lenstra, Park, Rains, Voight, and Wood. We discuss the theoretical evidence for the model, and we make predictions about elliptic curves based on corresponding theorems proved about the model. In particular, the model suggests that all but finitely many elliptic curves over $\mathbb{Q}$ have rank $\le 21$, which would imply that the rank is uniformly bounded.
\section{Introduction}\label{S:introduction}

Let $E$ be an elliptic curve over $\mathbb{Q}$ 
(see \cite{SilvermanAEC2009} for basic definitions).
Let $E(\mathbb{Q})$ be the set of rational points on $E$.
The group law on $E$ gives $E(\mathbb{Q})$ the structure of an abelian group,
and Mordell proved that $E(\mathbb{Q})$ is finitely generated \cite{Mordell1922};
let $\rk E(\mathbb{Q})$ denote its rank.
The present survey article, 
based primarily on articles of the author
with Eric Rains~\cite{Poonen-Rains2012-selmer},
with Manjul Bhargava, Daniel M. Kane, Hendrik Lenstra, and Eric Rains~\cite{Bhargava-Kane-Lenstra-Poonen-Rains2015}, and 
with Jennifer Park, John Voight, and Melanie Matchett Wood~\cite{Park-Poonen-Voight-Wood-preprint}
is concerned with the following question:

\begin{question}
\label{Q:bounded rank}
Is $\rk E(\mathbb{Q})$ bounded as $E$ varies over all elliptic curves over $\mathbb{Q}$?
\end{question}

Question~\ref{Q:bounded rank} was implicitly asked 
by Poincar\'e in 1901~\cite{Poincare1901}*{p.~173},
even before $E(\mathbb{Q})$ was known to be finitely generated! 
Since then, many authors have put forth guesses,
and the folklore expectation has flip-flopped at least once;
see \cite{Poincare1950-Oeuvres5}*{p.~495, end of footnote~(${}^3$)}, 
\cite{Honda1960}*{p.~98}, 
\cite{Cassels1966-diophantine}*{p.~257}, 
Tate~\cite{Tate1974}*{p.~194}, 
\cite{Mestre1982}, 
\cite{Mestre1986}*{II.1.1 and II.1.2}, 
\cite{Brumer1992}*{Section~1}, 
\cite{Ulmer2002}*{Conjecture~10.5}, 
and \cite{Farmer-Gonek-Hughes2007}*{(5.20)}, 
or see \cite{Park-Poonen-Voight-Wood-preprint}*{Section~3.1} 
for a summary.

The present survey 
describes a probabilistic model for the arithmetic of elliptic curves, 
and presents theorems about the model that suggest that $\rk E(\mathbb{Q}) \le 21$ 
for all but finitely many elliptic curves $E$,
and hence that $\rk E(\mathbb{Q})$ is bounded.
Ours is not the first heuristic for boundedness: 
there is one by Rubin and Silverberg for a family of quadratic twists 
\cite{Rubin-Silverberg2000}*{Remarks 5.1 and~5.2}, 
and another by Granville, 
discussed in \cite{Watkins-et-al2014}*{Section~11} 
and developed further in \cite{Watkins-discursus}.
Interestingly, the latter also suggests a bound of $21$.

Modeling ranks directly is challenging 
because there are few theorems about the distribution of ranks.
Also, although there exists extensive computational data that suggests answers 
to some questions 
(e.g., \cite{Balakrishnan-Ho-Kaplan-Spicer-Stein-Weigandt2016}),
it seems that far more data would be needed to suggest answers to others.
Therefore, instead of modeling ranks in isolation,
we model ranks, Selmer groups, and Shafarevich--Tate groups
simultaneously, so that we can calibrate and corroborate the model 
using a diverse collection of known results.

\section{The arithmetic of elliptic curves}

\subsection{Counting elliptic curves by height}

Every elliptic curve $E$ over $\mathbb{Q}$ is isomorphic to the projective closure 
of a unique curve $y^2=x^3+Ax+B$ in which $A$ and $B$
are integers with $4A^3+27B^2 \ne 0$ (the smoothness condition)
such that there is no prime $p$ such that $p^4|A$ and $p^6|B$.
Let $\mathscr{E}$ be the set of elliptic curves of this form,
so $\mathscr{E}$ contains one curve in each isomorphism class.
Define the \defi{height} of $E \in \mathscr{E}$ by
\[
	\height E \colonequals \max(|4A^3|,|27B^2|).
\]
(This definition is specific to the ground field $\mathbb{Q}$,
but it has analogues over other number fields.)
Define 
\[
	\mathscr{E}_{\le H} \colonequals \{E \in \mathscr{E} : \height E \le H\}.
\]

Ignoring constant factors, 
we have about $H^{1/3}$ integers $A$ with $|4A^3| \le H$,
and $H^{1/2}$ integers $B$ with $|27B^2| \le H$.
A positive fraction of such pairs $(A,B)$
satisfy the smoothness condition and divisibility conditions,
so one should expect $\#\mathscr{E}_{\le H}$ to be about $H^{1/3} H^{1/2} = H^{5/6}$.
In fact, an elementary sieve argument \cite{Brumer1992}*{Lemma~4.3} 
proves the following:

\begin{proposition}
\label{P:elliptic curves of bounded height}
We have 
\[
	\#\mathscr{E}_{\le H} = (2^{4/3} 3^{-3/2} \zeta(10)^{-1} + o(1)) \; H^{5/6}
\]
as $H \to \infty$.
\end{proposition}

Define the \defi{density} of a subset $S \subseteq \mathscr{E}$ as
\[
	\lim_{H\rightarrow\infty}
	\frac{\#(S\cap \mathscr{E}_{\le H})}{\# \mathscr{E}_{\le H}},
\]
if the limit exists.
For example, it is a theorem that 100\% of elliptic curves $E$ over $\mathbb{Q}$
have no nontrivial rational torsion points;
this statement is to be interpreted as saying that the density of the set
$S \colonequals \{E \in \mathscr{E}: E(\mathbb{Q})_{{\operatorname{tors}}} = 0\}$ is $1$
(even though there do exist $E$ with $E(\mathbb{Q})_{{\operatorname{tors}}} \ne 0$).

\subsection{Elliptic curves over local fields}

Our model will be inspired by theorems and conjectures about
the arithmetic of elliptic curves over $\mathbb{Q}$.
But before studying elliptic curves over $\mathbb{Q}$,
we should thoroughly understand elliptic curves over local fields.

Let $\mathbb{Q}_v$ be the completion of $\mathbb{Q}$ at a place $v$.
There is a natural injective homomorphism 
$\inv \colon {\operatorname{H}}^2(\mathbb{Q}_v,\mathbb{G}_m) \to \mathbb{Q}/\mathbb{Z}$
that is an isomorphism if $v$ is nonarchimedean.

Let $E$ be an elliptic curve over $\mathbb{Q}_v$.
Fix $n \ge 1$.
Taking Galois cohomology in the exact sequence
\[
	0 \longrightarrow E[n] \longrightarrow E \stackrel{n}\longrightarrow E \longrightarrow 0
\]
yields a homomorphism $E(\mathbb{Q}_v)/n E(\mathbb{Q}_v) \to {\operatorname{H}}^1(\mathbb{Q}_v,E[n])$.
Let $W_v$ be its image.
If $v$ is a nonarchimedean place not dividing $n$
and $E$ has good reduction, 
then $W_v$ equals the subgroup of unramified classes in ${\operatorname{H}}^1(\mathbb{Q}_v,E[n])$ 
\cite{Poonen-Rains2012-selmer}*{Proposition~4.13}.

The theory of the Heisenberg group \cite{MumfordTheta3}*{pp.~44--46}
yields an exact sequence
\[
	1 \longrightarrow \mathbb{G}_m \longrightarrow \mathcal{H} \longrightarrow E[n] \longrightarrow 1,
\]
which induces a map of sets
\[
	q_v \colon {\operatorname{H}}^1(\mathbb{Q}_v,E[n]) \longrightarrow {\operatorname{H}}^2(\mathbb{Q}_v,\mathbb{G}_m) \stackrel{\inv}\hookrightarrow \mathbb{Q}/\mathbb{Z}.
\]
It turns out that $q_v$ is a quadratic form in the sense that
$q_v(x+y)-q_v(x)-q_v(y)$ is bi-additive~\cite{Zarhin1974}*{\S2}.
Moreover, $q_v|_{W_v}=0$ \cite{O'Neil2002}*{Proposition~2.3}.
In fact, using Tate local duality one can show that 
$W_v$ is a maximal isotropic subgroup of ${\operatorname{H}}^1(\mathbb{Q}_v,E[n])$
with respect to $q_v$ \cite{Poonen-Rains2012-selmer}*{Proposition~4.11}.

\subsection{Selmer groups and Shafarevich--Tate groups}

Now let $E$ be an elliptic curve over $\mathbb{Q}$.
Let $\mathbf{A} = \prod'_v (\mathbb{Q}_v,\mathbb{Z}_v)$ be the ad\`ele ring of $\mathbb{Q}$;
here $v$ ranges over nontrivial places of $\mathbb{Q}$,
Write $E(\mathbf{A})$ for $\prod_v E(\mathbb{Q}_v)/nE(\mathbb{Q}_v)$,
and write ${\operatorname{H}}^1(\mathbf{A},E[n])$ for 
the restricted product $\prod'_v ({\operatorname{H}}^1(\mathbb{Q}_v,E[n]),W_v)$.
We have a commutative diagram
\[
\xymatrix{
E(\mathbb{Q})/nE(\mathbb{Q}) \ar[r] \ar[d] & {\operatorname{H}}^1(\mathbb{Q},E[n]) \ar[d]^{\beta} \\
E(\mathbf{A})/nE(\mathbf{A}) \ar[r]^{\alpha} & {\operatorname{H}}^1(\mathbf{A},E[n]). \\
}
\]
The \defi{$n$-Selmer group} is defined by
$\Sel_n E \colonequals \beta^{-1}(\im \alpha) \subseteq {\operatorname{H}}^1(\mathbb{Q},E[n])$.
(This is equivalent to the classical definition; we have only replaced
$\prod_v {\operatorname{H}}^1(\mathbb{Q}_v,E[n])$ with a subgroup ${\operatorname{H}}^1(\mathbf{A},E[n])$
into which $\alpha$ and $\beta$ map.)
The reason for defining $\Sel_n E$ is that 
it is a computable finite upper bound for (the image of) $E(\mathbb{Q})/nE(\mathbb{Q})$.
On the other hand, the \defi{Shafarevich--Tate group} is defined by
\[
	\Sha = \Sha(E) \colonequals \ker\left( {\operatorname{H}}^1(\mathbb{Q},E) \to \prod_v {\operatorname{H}}^1(\mathbb{Q}_v,E) \right).
\]
It is a torsion abelian group with an alternating pairing 
\[
	[\;,\;] \colon \Sha \times \Sha \to \mathbb{Q}/\mathbb{Z}
\]
defined by Cassels.
Conjecturally, $\Sha$ is finite; in this case, $[\;,\;]$ is nondegenerate 
and $\#\Sha$ is a square \cite{Cassels1962-IV}.
The definitions easily yield an exact sequence
\begin{equation}
\label{E:Selmer-Sha}
	0 \longrightarrow \frac{E(\mathbb{Q})}{nE(\mathbb{Q})} \longrightarrow \Sel_n E \longrightarrow \Sha[n] \longrightarrow 0,
\end{equation}
so $\Sha[n]$ is measuring the difference between $\Sel_n E$
and the group $E(\mathbb{Q})/nE(\mathbb{Q})$ it is trying to approximate.

Each group in \eqref{E:Selmer-Sha} decomposes according to 
the factorization of $n$ into powers of distinct primes,
so let us restrict to the case in which $n=p^e$ for some prime $p$
and nonnegative integer $e$.
Taking the direct limit over $e$ yields an exact sequence 
\[
	0 \longrightarrow E(\mathbb{Q}) \tensor \frac{\mathbb{Q}_p}{\mathbb{Z}_p} \longrightarrow \Sel_{p^\infty} E 
	\longrightarrow \Sha[p^\infty] \longrightarrow 0
\]
of $\mathbb{Z}_p$-modules in which 
$\Sel_{p^\infty} E \colonequals \varinjlim \Sel_{p^e} E$
and $\Sha[p^\infty] \colonequals \Union_{e \ge 0} \Sha[p^e]$.
Moreover, one can show that if $E(\mathbb{Q})[p]=0$ (as holds for 100\% of curves), 
then $\Sel_{p^e} E \to (\Sel_{p^\infty} E)[p^e]$ is an isomorphism 
(cf.~\cite{Bhargava-Kane-Lenstra-Poonen-Rains2015}*{Proposition~5.9(b)}),
so no information about the individual $p^e$-Selmer groups
has been lost in passing to the limit.


\subsection{The Selmer group as an intersection of maximal isotropic direct summands}
\label{S:Selmer group is intersection}

If $\xi = (\xi_v) \in {\operatorname{H}}^1(\mathbf{A},E[n])$, 
then for all but finitely many $v$
we have $\xi_v \in W_v$ and hence $q_v(\xi_v)=0$,
so we may define $Q(\xi) \colonequals \sum_v q_v(\xi_v)$.
This defines a quadratic form $Q \colon {\operatorname{H}}^1(\mathbf{A},E[n]) \to \mathbb{Q}/\mathbb{Z}$.

\begin{theorem}
\label{T:intersection of maximal isotropic subgroups}
\hfill
\begin{enumerate}[\upshape (a)]
\item Each of $\im \alpha$ and $\im \beta$ 
is a maximal isotropic subgroup of ${\operatorname{H}}^1(\mathbf{A},E[n])$
with respect to $Q$ \cite{Poonen-Rains2012-selmer}*{Theorem~4.14(a)}.
\item\label{I:beta injective} 
If $n$ is prime 
or $G_\mathbb{Q} \to \operatorname{GL}_2(\mathbb{Z}/n\mathbb{Z})$ is surjective
then $\beta$ is injective.
(See \cite{Poonen-Rains2012-selmer}*{Proposition~3.3(e)} 
and \cite{Bhargava-Kane-Lenstra-Poonen-Rains2015}*{Proposition~6.1}.)
\end{enumerate}
\end{theorem}

By definition, $\beta(\Sel_n E) = (\im \alpha) \intersect (\im \beta)$.
Thus, under either hypothesis in~\eqref{I:beta injective},
$\Sel_n E$ is isomorphic to 
an intersection of maximal isotropic subgroups of ${\operatorname{H}}^1(\mathbf{A},E[n])$.

Moreover, $\im \alpha$ is a direct summand of ${\operatorname{H}}^1(\mathbf{A},E[n])$ 
\cite{Bhargava-Kane-Lenstra-Poonen-Rains2015}*{Corollary~6.8}.
It is conjectured that $\im \beta$ is a direct summand as well,
at least for asymptotically 100\% of elliptic curves over $\mathbb{Q}$
\cite{Bhargava-Kane-Lenstra-Poonen-Rains2015}*{Conjecture~6.9}, 
and it could hold for all of them.

\subsection{The Birch and Swinnerton-Dyer conjecture}

See \cite{Wiles2006} 
for an introduction to the Birch and Swinnerton-Dyer
conjecture more detailed than what we present here,
and see \cite{Stein-Wuthrich2013}*{Section~8} 
for some more recent advances towards it.

Let $E \in \mathscr{E}$.
To $E$ one can associate its \defi{$L$-function} $L(E,s)$,
a holomorphic function initially defined when $\re s$ is sufficiently large,
but known to extend to a holomorphic function on $\mathbb{C}$
(this is proved using the modularity of $E$).
Just as the Dirichlet analytic class number formula 
expresses the residue at $s=1$ 
of the Dedekind zeta function of a number field $k$ in terms of 
the arithmetic of $k$,
the Birch and Swinnerton-Dyer conjecture expresses the leading term
in the Taylor expansion of $L(E,s)$ around $s=1$
in terms of the arithmetic of $E$.
We will state it only in the case that $\rk E(\mathbb{Q})=0$
since that is all that we will need.
In addition to the quantities previously associated to $E$, we need 
\begin{itemize}
\item the \defi{real period} $\Omega$, 
defined as the integral over $E(\mathbb{R})$ of a certain $1$-form; and 
\item the \defi{Tamagawa number} $c_p$ for each finite prime $p$, 
a $p$-adic volume analogous to the real period.
\end{itemize}
Also define 
\[
	\Sha_0(E) \colonequals 
	\begin{cases}
		\#\Sha(E), &\textup{if $\rk E(\mathbb{Q}) = 0$;} \\
		0, &\textup{if $\rk E(\mathbb{Q}) > 0$.}
	\end{cases}
\]

\begin{conjecture}[The rank~0 part of the Birch and Swinnerton-Dyer conjecture]
\label{C:BSD}
If $E \in \mathscr{E}$, then
\begin{equation}
\label{E:BSD}
	L(E,1) = \frac{\Sha_0 \; \Omega \; \prod_p c_p}{\#E(\mathbb{Q})_{{\operatorname{tors}}}^2}.
\end{equation}
\end{conjecture}

\begin{remark}
In the case where the rank $r \colonequals \rk E(\mathbb{Q})$ is greater than $0$, 
Conjecture~\ref{C:BSD} states only that $L(E,1)=0$, 
whereas the full Birch and Swinnerton-Dyer conjecture 
predicts that $\ord_{s=1} L(E,s)=r$ and predicts the leading coefficient
in the Taylor expansion of $L(E,s)$ at $s=1$.
\end{remark}

Let $H = \height E$.
Following Lang~\cite{Lang1983}
(see also \cite{Goldfeld-Szpiro1995}, \cite{deWeger1998}, \cite{Hindry2007}, 
\cite{Watkins2008-ExpMath}, and \cite{Hindry-Pacheco2016}),
we estimate the typical size of $\Sha_0$ 
by estimating all the other quantities in \eqref{E:BSD} as $H \to \infty$;
see \cite{Park-Poonen-Voight-Wood-preprint}*{Section~6} for details.
The upshot is that if we average over $E$ 
and ignore factors that are $H^{o(1)}$,
then \eqref{E:BSD} simplifies to $1 \sim \Sha_0 \, \Omega$
and we obtain $\Sha_0 \sim \Omega^{-1} \sim H^{1/12}$.
More precisely:
\begin{itemize}
\item $\prod_p c_p = H^{o(1)}$ \cite{deWeger1998}*{Theorem~3}, \cite{Hindry2007}*{Lemma~3.5}, \cite{Watkins2008-ExpMath}*{pp.~114--115}, \cite{Park-Poonen-Voight-Wood-preprint}*{Lemma~6.2.1}; 
\item $\#E(\mathbb{Q})_{{\operatorname{tors}}} \le 16$ \cite{Mazur1977};
\item $\Omega = H^{-1/12 + o(1)}$ \cite{Hindry2007}*{Lemma 3.7}, \cite{Park-Poonen-Voight-Wood-preprint}*{Corollary~6.1.3}; and
\item
the Riemann hypothesis for $L(E,s)$ implies that $L(E,1) \le H^{o(1)}$ 
\cite{Iwaniec-Sarnak2000}*{p.~713}.
In fact, it is reasonable to expect 
$\underset{E \in \mathscr{E}_{\le H}}{\Average}\; L(E,1) \asymp 1$.
(The symbol $\asymp$ means that the left side is bounded above and 
below by positive constants times the right side.)
\end{itemize}
Thus we expect
\begin{equation}
\label{E:average Sha0}
	\underset{E \in \mathscr{E}_{\le H}}{\Average}\; \Sha_0(E) = H^{1/12+o(1)}
\end{equation}
as $H \to \infty$.


\section{Modeling elliptic curves over \texorpdfstring{$\mathbb{Q}$}{Q}}

\subsection{Modeling the \texorpdfstring{$p$}{p}-Selmer group}

According to Theorem~\ref{T:intersection of maximal isotropic subgroups},
$\Sel_p E$ is isomorphic to an intersection of maximal isotropic subspaces
in an infinite-dimensional quadratic space over $\mathbb{F}_p$.
So one might ask whether one could make sense of 
choosing maximal isotropic subspaces 
in an infinite-dimensional quadratic space at random,
so that one could intersect two of them to obtain 
a space whose distribution is conjectured to be that of $\Sel_p E$.
This can be done by equipping an infinite-dimensional quadratic space
with a locally compact topology \cite{Poonen-Rains2012-selmer}*{Section~2},
but the resulting distribution can be obtained more simply
by working within a $2n$-dimensional quadratic space 
and taking the limit as $n \to \infty$.
Now every nondegenerate $2n$-dimensional quadratic space 
with a maximal isotropic subspace is isomorphic to
the quadratic space $V_n=(\mathbb{F}_p^{2n},Q)$, where $Q$ is the quadratic form
\[
Q(x_1,\ldots,x_n,y_1,\ldots,y_n) \colonequals x_1 y_1 + \cdots + x_n y_n.
\]
Therefore we conjecture that the distribution of $\dim_{\mathbb{F}_p} \Sel_p E$
as $E$ varies over $\mathscr{E}$ equals the limit as $n \to \infty$
of the distribution of the dimension of the intersection 
of two maximal isotropic subspaces in $V_n$
chosen uniformly at random from the finitely many possibilities.
The limit exists and can be computed explicitly;
this yields the formula on the right in the following:

\begin{conjecture}[\cite{Poonen-Rains2012-selmer}*{Conjecture~1.1}]
For each $s \ge 0$, 
the density of $\{E \in \mathscr{E}: \dim_{\mathbb{F}_p} \Sel_p E = s\}$ equals
\begin{equation}
\label{E:Sel_p distribution}
	\prod_{j \ge 0} (1+p^{-j})^{-1} \prod_{j=1}^s \frac{p}{p^j-1}.
\end{equation}
\end{conjecture}

\begin{remark}
Let $E_d$ be the elliptic curve $dy^2=x^3-x$ over $\mathbb{Q}$.
Heath-Brown proved that the density of integers $d$
such that $\dim_{\mathbb{F}_2} \Sel_2 E_d - 2 = s$ equals
\[
	\prod_{j \ge 0} (1+2^{-j})^{-1} \prod_{j=1}^s \frac{2}{2^j-1},
\]
matching~\eqref{E:Sel_p distribution} for $p=2$ 
\cites{Heath-Brown1993,Heath-Brown1994}.
(The $-2$ is there to remove the ``causal'' contribution to $\dim \Sel_2 E_d$
coming from $E_d(\mathbb{Q})[2]$.)
As we have explained, this result is a natural consequence
of the theory of Section~\ref{S:Selmer group is intersection},
but in fact Heath-Brown's result came first
and the theory was reverse engineered from it \cite{Poonen-Rains2012-selmer}!
Heath-Brown's result was extended by 
Swinnerton-Dyer \cite{Swinnerton-Dyer2008} and Kane \cite{Kane2013}
to the family of quadratic twists of any $E \in \mathscr{E}$
with $E[2] \subseteq E(\mathbb{Q})$ and no cyclic $4$-isogeny.
\end{remark}

\subsection{Modeling the \texorpdfstring{$p^e$}{p to the e}-Selmer group}

If $p$ is replaced by $p^e$, then we should replace $\mathbb{F}_p^{2n}$
by $V_n \colonequals ((\mathbb{Z}/p^e\mathbb{Z})^{2n},Q)$.
But now there are different types of maximal isotropic subgroups
up to isomorphism.
For example, if $e=2$, then 
$(\mathbb{Z}/p^2\mathbb{Z})^n \times \{0\}^n$ and $(p\mathbb{Z}/p^2\mathbb{Z})^{2n}$ are both
maximal isotropic subgroups;
of these, only the first is a direct summand of $V_n$.
In what follows, we will use only direct summands,
for reasons to be explained at the end of this section.

\begin{conjecture}
\label{C:Sel p^e}
If we intersect two random maximal isotropic direct summands of 
$V_n \colonequals ((\mathbb{Z}/p^e\mathbb{Z})^{2n},Q)$
and take the limit as $n \to \infty$ of the resulting distribution,
we obtain the distribution of $\Sel_{p^e} E$
as $E$ varies over $\mathscr{E}$.
\end{conjecture}

For $m \ge 1$, let $\sigma(m)$ denote the sum of the positive divisors of $m$.
One can prove that the limit as $n \to \infty$
of the average size of the random intersection equals $\sigma(p^e)$,
and there is an analogous result 
for positive integers $m$ not of the form $p^e$ 
\cite{Bhargava-Kane-Lenstra-Poonen-Rains2015}*{Proposition~5.20}.
This suggests the following:

\begin{conjecture}[\cite{Poonen-Rains2012-selmer}*{Conjecture~1(b)}, \cite{Bhargava-Kane-Lenstra-Poonen-Rains2015}*{Section~5.7}, \cite{Bhargava-Shankar-4selmer}*{Conjecture~4}]
\label{C:average Sel_m}
For each positive integer $m$,
\[
	\underset{E \in \mathscr{E}}\Average\; \#\Sel_m E = \sigma(m).
\]
(The average is interpreted as the limit as $H \to \infty$
of the average over $\mathscr{E}_{\le H}$.)
\end{conjecture}

One could similarly compute the higher moments of the conjectural distribution;
see \cite{Poonen-Rains2012-selmer}*{Proposition~2.22(a)}
and \cite{Bhargava-Kane-Lenstra-Poonen-Rains2015}*{Section~5.5}.

There are several reasons why insisting upon direct summands 
in Conjecture~\ref{C:Sel p^e} seems right:
\begin{itemize}
\item
Conjecturally, both of the maximal isotropic subgroups arising in the 
arithmetic of the elliptic curve \emph{are} direct summands:
see the last paragraph of Section~\ref{S:Selmer group is intersection}.
\item
Requiring direct summands is essentially the only way to make the 
model for $\Sel_{p^e} E$ consistent with the model for $\Sel_p E$,
given that $\Sel_p E \simeq (\Sel_{p^e} E)[p]$ for 100\% of curves 
\cite{Bhargava-Kane-Lenstra-Poonen-Rains2015}*{Remark~6.12}.
\item 
It leads to Conjecture~\ref{C:average Sel_m}, which has been proved
for $m \le 5$ \cites{Bhargava-Shankar-2selmer,Bhargava-Shankar-3selmer,Bhargava-Shankar-4selmer,Bhargava-Shankar-5selmer}.
\end{itemize}

\subsection{Modeling the \texorpdfstring{$p^\infty$}{p to the infty}-Selmer group and the Shafarevich--Tate group}

Choosing a maximal isotropic direct summand of $((\mathbb{Z}/p^e\mathbb{Z})^{2n},Q)$
compatibly for all $e$ is equivalent to choosing a maximal isotropic
direct summand of the quadratic $\mathbb{Z}_p$-module $V_n \colonequals (\mathbb{Z}_p^{2n},Q)$.
This observation will lead us to a process that models
$\Sel_{p^e} E$ for all $e$ simultaneously,
or equivalently, that models $\Sel_{p^\infty} E$ directly.
To simplify notation, for any $\mathbb{Z}_p$-module $X$, 
let $X'$ denote $X \tensor \frac{\mathbb{Q}_p}{\mathbb{Z}_p}$;
if $X$ is a $\mathbb{Z}_p$-submodule of $V_n$,
then $X'$ is a $\mathbb{Z}_p$-submodule of $V_n'$.

Now choose maximal isotropic direct summands $Z$ and $W$ of $V_n$
with respect to the measure arising from taking
the inverse limit over $e$ of the uniform measure on the set of
maximal isotropic direct summands of $(\mathbb{Z}/p^e\mathbb{Z})^{2n}$ 
\cite{Bhargava-Kane-Lenstra-Poonen-Rains2015}*{Sections 2 and~4};
then we conjecture that the limiting distribution of $Z' \intersect W'$
as $n \to \infty$ equals the distribution of $\Sel_{p^\infty} E$
as $E$ varies over $\mathscr{E}$.
Again, the point is that this limiting distribution is compatible
with the the previously conjectured distribution for $\Sel_{p^e} E$
for each nonnegative integer $e$,
and the conjecture for $\Sel_{p^e} E$ 
was based on \emph{theorems} about Selmer groups of elliptic curves
(see Section~\ref{S:Selmer group is intersection}).

Even better, using the same ingredients, 
we can model $\rk E(\mathbb{Q})$ and $\Sha[p^\infty]$ at the same time:
\begin{conjecture}[\cite{Bhargava-Kane-Lenstra-Poonen-Rains2015}*{Conjecture~1.3}]
\label{C:RST}
If we choose maximal isotropic direct summands $Z$ and $W$ 
of $(\mathbb{Z}_p^{2n},Q)$ at random as above,
and we define
\[
	R \colonequals (Z \intersect W)', \qquad 
	S \colonequals Z' \intersect W', \qquad
	T \colonequals S/R,
\]
then the limit as $n \to \infty$ of the distribution of the exact sequence
\[
	0 \longrightarrow R \longrightarrow S \longrightarrow T \longrightarrow 0
\]
equals the distribution of the sequence
\[
	0 \longrightarrow E(\mathbb{Q}) \tensor \frac{\mathbb{Q}_p}{\mathbb{Z}_p} \longrightarrow \Sel_{p^\infty} E 
	\longrightarrow \Sha[p^\infty] \longrightarrow 0
\]
as $E$ varies over $\mathscr{E}$.
\end{conjecture}

There are several pieces of indirect evidence for 
the rank and $\Sha$ predictions of Conjecture~\ref{C:RST}: 
\begin{itemize}
\item Each of $R$ and $E(\mathbb{Q}) \tensor \frac{\mathbb{Q}_p}{\mathbb{Z}_p}$ is isomorphic to $(\mathbb{Q}_p/\mathbb{Z}_p)^r$
for some nonnegative integer $r$, called the \defi{$\mathbb{Z}_p$-corank}
of the module.
\item The $\mathbb{Z}_p$-corank of $R$ is $0$ or $1$, with probability $1/2$ each 
\cite{Bhargava-Kane-Lenstra-Poonen-Rains2015}*{Proposition~5.6}.
Likewise, a variant of a conjecture of Goldfeld 
(see \cite{Goldfeld1979}*{Conjecture~B} 
and \cites{Katz-Sarnak1999a,Katz-Sarnak1999b})
predicts that $\rk E(\mathbb{Q})$ 
(which equals the $\mathbb{Z}_p$-corank of $E(\mathbb{Q}) \tensor \frac{\mathbb{Q}_p}{\mathbb{Z}_p}$) 
is $0$, $1$, $\ge 2$
with densities $1/2$, $1/2$, $0$, respectively.
\item The group $T$ is finite and carries a 
nondegenerate alternating pairing with values in $\mathbb{Q}_p/\mathbb{Z}_p$,
just as $\Sha[p^\infty]$ conjecturally does 
(the $p$-part of the Cassels pairing).
In particular, $\#T$ is a square.
\item 
Smith has proved a result analogous to Conjecture~\ref{C:RST} 
for the family of quadratic twists of any $E \in \mathscr{E}$ 
with $E[2] \subseteq E(\mathbb{Q})$ and no cyclic $4$-isogeny \cite{Smith-preprint}.
\end{itemize}

Further evidence is that there are in fact \emph{three} distributions
that have been conjectured to be the distribution of $\Sha[p^\infty]$
as $E$ varies over rank~$r$ elliptic curves,
and these three distributions coincide \cite{Bhargava-Kane-Lenstra-Poonen-Rains2015}*{Theorems 1.6(c) and~1.10(b)}.
This is so even in the cases with $r \ge 2$, 
which conjecturally occur with density $0$.
For a fixed nonnegative integer $r$, the three distributions are as follows:
\begin{enumerate}[\upshape 1.]
\item A distribution defined by Delaunay 
\cites{Delaunay2001,Delaunay2007,Delaunay-Jouhet2014a}, 
who adapted the Cohen--Lenstra heuristics for class groups 
\cite{Cohen-Lenstra1984}.
\item The limit as $n \to \infty$ of the distribution of 
$T \colonequals (Z' \intersect W')/(Z \intersect W)'$
when $(Z,W)$ is sampled from 
the set of pairs of maximal isotropic direct summands of $(\mathbb{Z}_p^{2n},Q)$ 
satisfying $\rk_{\mathbb{Z}_p}(Z \intersect W)=r$.
(This set of pairs is the set of $\mathbb{Z}_p$-points of a scheme of finite
type, so it carries a natural measure 
\cite{Bhargava-Kane-Lenstra-Poonen-Rains2015}*{Sections 2 and~4}.)
\item The limit as $n \to \infty$ through integers of the same parity as $r$
of the distribution of $(\coker A)_{{\operatorname{tors}}}$ when $A$ is sampled from the
space of matrices in $\operatorname{M}_n(\mathbb{Z}_p)$ satisfying $A^T=-A$ and $\rk_{\mathbb{Z}_p}(\ker A)=r$;
here $\ker A$ and $\coker A$ are defined by viewing $A$ as 
a $\mathbb{Z}_p$-linear homomorphism $\mathbb{Z}_p^n \to \mathbb{Z}_p^n$.
\end{enumerate}
The last of these is inspired by 
the theorem of Friedman and Washington \cite{Friedman-Washington1989}
that for each odd prime $p$, 
the limit as $n \to \infty$ of the distribution $\coker A$
for $A \in \operatorname{M}_n(\mathbb{Z}_p)$ chosen at random with respect to Haar measure
equals the distribution conjectured by Cohen and Lenstra to be
the distribution of the $p$-primary part of the class group 
of a varying imaginary quadratic field.

\subsection{Modeling the rank of an elliptic curve}

In the previous section, we saw in the third construction 
that conditioning on $\rk_{\mathbb{Z}_p}(\ker A)=r$
yields the conjectural distribution of $\Sha[p^\infty]$ for rank~$r$ curves.
The simplest possible explanation for this would be that 
sampling $A$ at random from 
$\operatorname{M}_n(\mathbb{Z}_p)_{\alt} \colonequals \{ A \in \operatorname{M}_n(\mathbb{Z}_p) : A^T=-A\}$
\emph{without} conditioning on $\rk_{\mathbb{Z}_p}(\ker A)$
caused $\rk_{\mathbb{Z}_p}(\ker A)$ to be distributed like 
the rank of an elliptic curve.

What is the distribution of $\rk_{\mathbb{Z}_p}(\ker A)$?
If $n$ is even,
then the locus in $\operatorname{M}_n(\mathbb{Z}_p)_{\alt}$
defined by $\det A=0$ is the set of $\mathbb{Z}_p$-points of 
a hypersurface, which has Haar measure~$0$,
so $\rk_{\mathbb{Z}_p}(\ker A) = 0$ with probability~$1$.
If $n$ is odd, however, 
then $\rk_{\mathbb{Z}_p}(\ker A)$ cannot be $0$,
because $n-\rk_{\mathbb{Z}_p}(\ker A)$ is the rank of $A$,
which is even for an alternating matrix.
For $n$ odd, it turns out that 
$\rk_{\mathbb{Z}_p}(\ker A)=1$ with probability~$1$.
If we imagine that $n$ was chosen large and with random parity,
then the result is that $\rk_{\mathbb{Z}_p}(\ker A)$ is $0$ or $1$,
with probability $1/2$ each.
This result agrees with the variant of Goldfeld's conjecture
mentioned above.
This model cannot, however, distinguish the relative frequencies
of curves of various ranks $\ge 2$, because in the model
the event $\rk_{\mathbb{Z}_p}(\ker A) \ge 2$ occurs with probability~$0$.

Therefore we propose a refined model
in which instead of sampling $A$ from $\operatorname{M}_n(\mathbb{Z}_p)_{\alt}$,
we sample $A$ from the set $\operatorname{M}_n(\mathbb{Z})_{\alt,\le X}$ 
of matrices in $\operatorname{M}_n(\mathbb{Z})_{\alt}$
with entries bounded by a number $X$ 
\emph{depending on the height $H$ of the elliptic curve being modeled},
tending to $\infty$ as $H \to \infty$.
This way, for elliptic curves of a given height $H$,
the model predicts a potentially positive but diminishing probability
of each rank $\ge 2$ (the probability that an integer point in a box 
lies on a certain subvariety), and we can quantify the rate at which this
probability tends to $0$ as $H \to \infty$ 
in order to count curves of height up to $H$ having each given rank.
In fact, we let $n$ grow with $H$ as well.

Here, more precisely, is the refined model.
To model an elliptic curve $E$ of height $H$,
using functions $\eta(H)$ and $X(H)$ to be specified later, 
we do the following:
\begin{enumerate}[\upshape 1.]
\item Choose $n$ to be an integer of size about $\eta(H)$
of random parity
(e.g., we could choose $n$ uniformly at random from
$\{\lceil \eta(H) \rceil,\lceil \eta(H) \rceil+1\}$).
\item Choose $A_E \in \operatorname{M}_n(\mathbb{Z})_{\alt, \le X(H)}$ uniformly at random,
independently for each $E$.
\item Define random variables $\Sha_E' \colonequals (\coker A)_{{\operatorname{tors}}}$
and $\rk_E' \colonequals \rk_\mathbb{Z}(\ker A)$.
\end{enumerate}
Think of $\Sha_E'$ as the ``pseudo-Shafarevich--Tate group'' of $E$
and $\rk_E'$ as the ``pseudo-rank'' of $E$;
their behavior is intended to model the actual $\Sha$ and rank.

To complete the description of the model, 
we must specify the functions $\eta(H)$ and $X(H)$.
We do this by asking ``How large is $\Sha_0$ on average?'',
both in the model and in reality.
Recall from \eqref{E:average Sha0} that we expect
\begin{equation}
\label{E:average Sha0 redux}
	\underset{E \in \mathscr{E}_{\le H}}{\Average}\; \Sha_0(E) = H^{1/12+o(1)}.
\end{equation}
Define 
\[
	\Sha_{E,0}' \colonequals 
	\begin{cases}
		\#\Sha_E', &\textup{if $\rk'_E = 0$;} \\
		0, &\textup{if $\rk'_E > 0$.}
	\end{cases}
\]
Using that the determinant of an $n \times n$ matrix 
is given by a polynomial of degree~$n$ in the entries,
we can prove that 
\begin{equation}
\label{E:average pseudo-Sha}
	\underset{E \in \mathscr{E}_{\le H}}{\Average}\; \Sha_{E,0}' = X(H)^{\eta(H)(1+o(1))},
\end{equation}
assuming that $\eta(H)$ does not grow too quickly with $H$.
Comparing \eqref{E:average Sha0 redux} and \eqref{E:average pseudo-Sha}
suggests choosing $\eta(H)$ and $X(H)$ so that $X(H)^{\eta(H)} = H^{1/12+o(1)}$.
We assume this from now on.
It turns out that we will not need to know any more about $\eta(H)$
and $X(H)$ than this.

\subsection{Consequences of the model}

To see what distribution of ranks is predicted by the refined model,
we must calculate the distribution of ranks of alternating matrices
whose entries are integers with bounded absolute value;
the relevant result, 
whose proof is adapted from \cite{Eskin-Katznelson1995},
is the following:

\begin{theorem}[cf.~\cite{Park-Poonen-Voight-Wood-preprint}*{Theorem~9.1.1}]
\label{thm:EskinKatznelsonAlternating}
If $1 \leq r \leq n$ and $n-r$ is even, 
and $A \in \operatorname{M}_n(\mathbb{Z})_{\alt, \le X}$ is chosen uniformly at random,
then 
\[
	\Prob(\rk(\ker A ) \ge r) \asymp_n (X^n)^{-(r-1)/2}.
\]
(The subscript $n$ on the symbol $\asymp$ means that the implied
constants depend on $n$.)
\end{theorem}

Theorem~\ref{thm:EskinKatznelsonAlternating} 
implies that for fixed $r \ge 1$ and $E \in \mathscr{E}$ of height $H$,
\begin{equation}
\label{E:Prob of rank >=r}
	\Prob(\rk_E' \ge r) 
	= (X(H)^{\eta(H)})^{-(r-1)/2 + o(1)} 
	= H^{-(r-1)/24 + o(1)}.
\end{equation}
Using this, and the fact $\#\mathscr{E}_{\le H} \asymp H^{5/6} = H^{20/24}$ 
(Proposition~\ref{P:elliptic curves of bounded height}),
we can now sum \eqref{E:Prob of rank >=r} over $E \in \mathscr{E}_{\le H}$
to prove the following theorem about our model:

\begin{theorem}[\cite{Park-Poonen-Voight-Wood-preprint}*{Theorem~7.3.3}]
\label{T:rank 21}
The following hold with probability~$1$:
\begin{align*}
	\#\{ E \in \mathscr{E}_{\le H} : \rk'_E = 0 \} &= H^{20/24+o(1)} \\
	\#\{ E \in \mathscr{E}_{\le H} : \rk'_E = 1 \} &= H^{20/24+o(1)} \\
	\#\{ E \in \mathscr{E}_{\le H} : \rk'_E \ge 2 \} &= H^{19/24+o(1)} \\
	\#\{ E \in \mathscr{E}_{\le H} : \rk'_E \ge 3 \} &= H^{18/24+o(1)} \\
	&\vdots \\
	\#\{ E \in \mathscr{E}_{\le H} : \rk'_E \ge 20 \} &= H^{1/24+o(1)} \\
	\#\{ E \in \mathscr{E}_{\le H} : \rk'_E \ge 21 \} &\le H^{o(1)}, \\
	\#\{ E \in \mathscr{E} : \rk'_E > 21 \} &\textup{ is finite}.
\end{align*}
\end{theorem}

This suggests the conjecture that the same statements hold for 
the \emph{actual} ranks of elliptic curves over $\mathbb{Q}$.
In particular, we conjecture that $\rk E(\mathbb{Q})$ is uniformly bounded,
bounded by the maximum of the ranks of the 
conjecturally finitely many elliptic curves of rank $>21$.

\begin{remark}
Elkies has found infinitely many elliptic curves over $\mathbb{Q}$ of rank $\ge 19$,
and one of rank $\ge 28$; 
these have remained the records since 2006 \cite{Elkies2006}.
\end{remark}


\section{Generalizations}

\subsection{Elliptic curves over global fields}

What about elliptic curves over other global fields $K$?
Let $\mathscr{E}_K$ be a set of representatives for the isomorphism classes
of elliptic curves over $K$.
Let $B_K \colonequals \limsup_{E \in \mathscr{E}_K} \rk E(K)$.
For example, the conjecture suggested by Theorem~\ref{T:rank 21}
predicts that $20 \le B_{\mathbb{Q}} \le 21$.

\begin{theorem}[\cite{Tate-Shafarevich1967}, \cite{Ulmer2002}]
\label{T:global function field}
If $K$ is a global function field, then $B_K = \infty$.
\end{theorem} 

Even for number fields, $B_K$ can be arbitrarily large 
(but maybe still always finite):

\begin{theorem}[\cite{Park-Poonen-Voight-Wood-preprint}*{Theorem~12.4.2}]
\label{T:number fields}
There exist number fields $K$ of arbitrarily high degree 
such that $B_K \ge [K:\mathbb{Q}]$.
\end{theorem} 

Examples of number fields $K$ for which $B_K$ is large include fields 
in anticyclotomic towers and certain multiquadratic fields;
see \cite{Park-Poonen-Voight-Wood-preprint}*{Section~12.4}.

A naive adaptation of our heuristic 
(see \cite{Park-Poonen-Voight-Wood-preprint}*{Sections 12.2 and~12.3})
would suggest $20 \le B_K \le 21$ for every global field $K$, 
but Theorems \ref{T:global function field} and~\ref{T:number fields}
contradict this conclusion.
Our rationalization of this is that the elliptic curves of high rank 
in Theorems \ref{T:global function field} and~\ref{T:number fields} 
are special in that they are definable over a proper subfield of $K$,
and these special curves exhibit arithmetic phenomena 
that our model does not take into account.
To exclude these curves, let $\mathscr{E}_K^\circ$ be the set of $E \in \mathscr{E}_K$
such that $E$ is not a base change of a curve from a proper subfield,
and let $B_K^\circ \colonequals \limsup_{E \in \mathscr{E}_K^\circ} \rk E(K)$.
It is possible that $B_K^\circ < \infty$ for every global field $K$.

\begin{remark}
On the other hand, it is not true that $B_K^\circ \le 21$ for all number fields,
as we now explain.
Shioda proved that $y^2=x^3+t^{360}+1$ 
has rank $68$ over $\mathbb{C}(t)$ \cite{Shioda1992}.
In fact, it has rank $68$ also over $K(t)$ for a suitable number field $K$.
For this $K$, specialization yields 
infinitely many elliptic curves in $\mathscr{E}_K^{\circ}$ of rank $\ge 68$.
Thus $B_K^\circ \ge 68$.
See \cite{Park-Poonen-Voight-Wood-preprint}*{Remark~12.3.1} for details.
\end{remark}

\subsection{Abelian varieties}

\begin{question}
\label{Q:abelian varieties}
For abelian varieties $A$ over number fields $K$,
is there a bound on $\rk A(K)$ depending only on $\dim A$ and $[K:\mathbb{Q}]$?
\end{question}

By restriction of scalars, we can reduce to the case $K=\mathbb{Q}$
at the expense of increasing the dimension.
By ``Zarhin's trick'' that 
$A^4 \times (A^\vee)^4$ is principally polarized \cite{Zarhin1974-trick}, 
we can reduce to the case that $A$ is principally polarized,
again at the expense of increasing the dimension.
For fixed $g \ge 0$,
one can write down a family of projective varieties including
all $g$-dimensional principally polarized abelian varieties over $\mathbb{Q}$, 
probably with each isomorphism class represented infinitely many times.
We can assume that each abelian variety $A$ is defined by 
a system of homogeneous polynomials with integer coefficients,
in which the number of variables, the number of polynomials,
and their degrees are bounded in terms of $g$.
Define the height of $A$ to be the maximum of the absolute
values of the coefficients.
Then the number of $g$-dimensional principally polarized abelian varieties 
over $\mathbb{Q}$ of height $\le H$ is bounded by a polynomial in $H$.
If there is a model involving a pseudo-rank $\rk_A'$ 
whose probability of exceeding $r$ 
gets divided by at least a fixed fractional power of $H$
each time $r$ is incremented by $1$, 
as we had for elliptic curves,
then the pseudo-ranks are bounded with probability~$1$.
This might suggest a positive answer to Question~\ref{Q:abelian varieties},
though the evidence is much flimsier than in the case of elliptic curves.


\section*{Acknowledgments} 

I thank Nicolas Billerey, Serge Cantat, Andrew Granville, Eric Rains, Michael Stoll, and John Voight for comments.

\begin{bibdiv}
\begin{biblist}


\bib{Balakrishnan-Ho-Kaplan-Spicer-Stein-Weigandt2016}{article}{
  author={Balakrishnan, Jennifer S.},
  author={Ho, Wei},
  author={Kaplan, Nathan},
  author={Spicer, Simon},
  author={Stein, William},
  author={Weigandt, James},
  title={Databases of elliptic curves ordered by height and distributions of Selmer groups and ranks},
  journal={LMS J. Comput. Math.},
  volume={19},
  date={2016},
  number={suppl. A},
  pages={351--370},
  issn={1461-1570},
  review={\MR {3540965}},
}

\bib{Bhargava-Kane-Lenstra-Poonen-Rains2015}{article}{
  author={Bhargava, Manjul},
  author={Kane, Daniel M.},
  author={Lenstra, Hendrik W., Jr.},
  author={Poonen, Bjorn},
  author={Rains, Eric},
  title={Modeling the distribution of ranks, Selmer groups, and Shafarevich-Tate groups of elliptic curves},
  journal={Camb. J. Math.},
  volume={3},
  date={2015},
  number={3},
  pages={275--321},
  issn={2168-0930},
  review={\MR {3393023}},
  label={BKLPR15},
}

\bib{Bhargava-Shankar-2selmer}{article}{
  author={Bhargava, Manjul},
  author={Shankar, Arul},
  title={Binary quartic forms having bounded invariants, and the boundedness of the average rank of elliptic curves},
  journal={Ann. of Math. (2)},
  volume={181},
  date={2015},
  number={1},
  pages={191--242},
  issn={0003-486X},
  review={\MR {3272925}},
  doi={10.4007/annals.2015.181.1.3},
}

\bib{Bhargava-Shankar-3selmer}{article}{
  author={Bhargava, Manjul},
  author={Shankar, Arul},
  title={Ternary cubic forms having bounded invariants, and the existence of a positive proportion of elliptic curves having rank 0},
  journal={Ann. of Math. (2)},
  volume={181},
  date={2015},
  number={2},
  pages={587--621},
  issn={0003-486X},
  review={\MR {3275847}},
  doi={10.4007/annals.2015.181.2.4},
}

\bib{Bhargava-Shankar-4selmer}{misc}{
  author={Bhargava, Manjul},
  author={Shankar, Arul},
  title={The average number of elements in the 4-Selmer groups of elliptic curves is 7},
  date={2013-12-27},
  note={Preprint, \texttt {arXiv:1312.7333v1}\phantom {i}},
}

\bib{Bhargava-Shankar-5selmer}{misc}{
  author={Bhargava, Manjul},
  author={Shankar, Arul},
  title={The average size of the 5-Selmer group of elliptic curves is 6, and the average rank is less than 1},
  date={2013-12-30},
  note={Preprint, \texttt {arXiv:1312.7859v1}\phantom {i}},
}

\bib{Brumer1992}{article}{
  author={Brumer, Armand},
  title={The average rank of elliptic curves.~I},
  journal={Invent. Math.},
  volume={109},
  date={1992},
  number={3},
  pages={445--472},
  issn={0020-9910},
  review={\MR {1176198 (93g:11057)}},
  doi={10.1007/BF01232033},
}

\bib{Cassels1962-IV}{article}{
  author={Cassels, J. W. S.},
  title={Arithmetic on curves of genus $1$. IV. Proof of the Hauptvermutung},
  journal={J. Reine Angew. Math.},
  volume={211},
  date={1962},
  pages={95--112},
  issn={0075-4102},
  review={\MR {0163915 (29 \#1214)}},
}

\bib{Cassels1966-diophantine}{article}{
  author={Cassels, J. W. S.},
  title={Diophantine equations with special reference to elliptic curves},
  journal={J. London Math. Soc.},
  volume={41},
  date={1966},
  pages={193--291},
  issn={0024-6107},
  review={\MR {0199150 (33 \#7299)}},
}

\bib{Cohen-Lenstra1984}{article}{
  author={Cohen, H.},
  author={Lenstra, H. W., Jr.},
  title={Heuristics on class groups of number fields},
  conference={ title={Number theory, Noordwijkerhout 1983}, address={Noordwijkerhout}, date={1983}, },
  book={ series={Lecture Notes in Math.}, volume={1068}, publisher={Springer}, place={Berlin}, },
  date={1984},
  pages={33--62},
  review={\MR {756082 (85j:11144)}},
  doi={10.1007/BFb0099440},
}

\bib{Delaunay2001}{article}{
  author={Delaunay, Christophe},
  title={Heuristics on Tate-Shafarevitch groups of elliptic curves defined over $\mathbb {Q}$},
  journal={Experiment. Math.},
  volume={10},
  date={2001},
  number={2},
  pages={191--196},
  issn={1058-6458},
  review={\MR {1837670 (2003a:11065)}},
}

\bib{Delaunay2007}{article}{
  author={Delaunay, Christophe},
  title={Heuristics on class groups and on Tate-Shafarevich groups: the magic of the Cohen-Lenstra heuristics},
  conference={ title={Ranks of elliptic curves and random matrix theory}, },
  book={ series={London Math. Soc. Lecture Note Ser.}, volume={341}, publisher={Cambridge Univ. Press}, place={Cambridge}, },
  date={2007},
  pages={323--340},
  review={\MR {2322355 (2008i:11089)}},
}

\bib{Delaunay-Jouhet2014a}{article}{
  author={Delaunay, Christophe},
  author={Jouhet, Fr{\'e}d{\'e}ric},
  title={$p^\ell $-torsion points in finite abelian groups and combinatorial identities},
  journal={Adv. Math.},
  volume={258},
  date={2014},
  pages={13--45},
  issn={0001-8708},
  review={\ \MR {3190422}},
  doi={10.1016/j.aim.2014.02.033},
}

\bib{Elkies2006}{misc}{
  author={Elkies, Noam D.},
  title={$\mathbb {Z}^{28}$ in $E(\mathbb {Q})$, etc.},
  date={2006-05-03},
  note={Email to the \texttt {NMBRTHRY@LISTSERV.NODAK.EDU} mailing list},
}

\bib{Eskin-Katznelson1995}{article}{
  author={Eskin, Alex},
  author={Katznelson, Yonatan R.},
  title={Singular symmetric matrices},
  journal={Duke Math. J.},
  volume={79},
  date={1995},
  number={2},
  pages={515--547},
  issn={0012-7094},
  review={\MR {1344769 (96h:11099)}},
  doi={10.1215/S0012-7094-95-07913-7},
}

\bib{Farmer-Gonek-Hughes2007}{article}{
  author={Farmer, David W.},
  author={Gonek, S. M.},
  author={Hughes, C. P.},
  title={The maximum size of {$L$}-functions},
  journal={J. Reine Angew. Math.},
  volume={609},
  year={2007},
  pages={215--236},
  issn={0075-4102},
  review={\MR {2350784 (2009b:11140)}},
  doi={10.1515/CRELLE.2007.064},
}

\bib{Friedman-Washington1989}{article}{
  author={Friedman, Eduardo},
  author={Washington, Lawrence C.},
  title={On the distribution of divisor class groups of curves over a finite field},
  conference={ title={Th\'eorie des nombres}, address={Quebec, PQ}, date={1987}, },
  book={ publisher={de Gruyter}, place={Berlin}, },
  date={1989},
  pages={227--239},
  review={\MR {1024565 (91e:11138)}},
}

\bib{Goldfeld1979}{article}{
  author={Goldfeld, Dorian},
  title={Conjectures on elliptic curves over quadratic fields},
  conference={ title={Number theory, Carbondale 1979 (Proc. Southern Illinois Conf., Southern Illinois Univ., Carbondale, Ill., 1979)}, },
  book={ series={Lecture Notes in Math.}, volume={751}, publisher={Springer}, place={Berlin}, },
  date={1979},
  pages={108--118},
  review={\MR {564926 (81i:12014)}},
}

\bib{Goldfeld-Szpiro1995}{article}{
  author={Goldfeld, Dorian},
  author={Szpiro, Lucien},
  title={Bounds for the order of the Tate-Shafarevich group},
  note={Special issue in honour of Frans Oort},
  journal={Compositio Math.},
  volume={97},
  date={1995},
  number={1-2},
  pages={71--87},
  issn={0010-437X},
  review={\MR {1355118 (97a:11102)}},
}

\bib{Heath-Brown1993}{article}{
  author={Heath-Brown, D. R.},
  title={The size of Selmer groups for the congruent number problem},
  journal={Invent. Math.},
  volume={111},
  date={1993},
  number={1},
  pages={171--195},
  issn={0020-9910},
  review={\MR {1193603 (93j:11038)}},
  doi={10.1007/BF01231285},
}

\bib{Heath-Brown1994}{article}{
  author={Heath-Brown, D. R.},
  title={The size of Selmer groups for the congruent number problem. II},
  note={With an appendix by P. Monsky},
  journal={Invent. Math.},
  volume={118},
  date={1994},
  number={2},
  pages={331--370},
  issn={0020-9910},
  review={\MR {1292115 (95h:11064)}},
  doi={10.1007/BF01231536},
}

\bib{Hindry2007}{article}{
  author={Hindry, Marc},
  title={Why is it difficult to compute the Mordell-Weil group?},
  conference={ title={Diophantine geometry}, },
  book={ series={CRM Series}, volume={4}, publisher={Ed. Norm., Pisa}, },
  date={2007},
  pages={197--219},
  review={\MR {2349656 (2008i:11074)}},
}

\bib{Hindry-Pacheco2016}{article}{
  author={Hindry, Marc},
  author={Pacheco, Am\'\i lcar},
  title={An analogue of the Brauer--Siegel theorem for abelian varieties in positive characteristic},
  journal={Mosc. Math. J.},
  volume={16},
  date={2016},
  number={1},
  pages={45--93},
  issn={1609-3321},
  review={\MR {3470576}},
}

\bib{Honda1960}{article}{
  author={Honda, Taira},
  title={Isogenies, rational points and section points of group varieties},
  journal={Japan. J. Math.},
  volume={30},
  date={1960},
  pages={84--101},
  review={\MR {0155828 (27 \#5762)}},
}

\bib{Iwaniec-Sarnak2000}{article}{
  author={Iwaniec, H.},
  author={Sarnak, P.},
  title={Perspectives on the analytic theory of $L$-functions},
  note={GAFA 2000 (Tel Aviv, 1999)},
  journal={Geom. Funct. Anal.},
  date={2000},
  number={Special Volume},
  pages={705--741},
  issn={1016-443X},
  review={\MR {1826269 (2002b:11117)}},
}

\bib{Kane2013}{article}{
  author={Kane, Daniel},
  title={On the ranks of the 2-Selmer groups of twists of a given elliptic curve},
  journal={Algebra Number Theory},
  volume={7},
  date={2013},
  number={5},
  pages={1253--1279},
  issn={1937-0652},
  review={\MR {3101079}},
  doi={10.2140/ant.2013.7.1253},
}

\bib{Katz-Sarnak1999a}{book}{
  author={Katz, Nicholas M.},
  author={Sarnak, Peter},
  title={Random matrices, Frobenius eigenvalues, and monodromy},
  series={American Mathematical Society Colloquium Publications},
  volume={45},
  publisher={Amer.\ Math.\ Soc.},
  place={Providence, RI},
  date={1999},
  pages={xii+419},
  isbn={0-8218-1017-0},
  review={\MR { 2000b:11070}},
}

\bib{Katz-Sarnak1999b}{article}{
  author={Katz, Nicholas M.},
  author={Sarnak, Peter},
  title={Zeroes of zeta functions and symmetry},
  journal={Bull. Amer. Math. Soc. (N.S.)},
  volume={36},
  date={1999},
  number={1},
  pages={1--26},
  issn={0273-0979},
  review={\MR {1640151 (2000f:11114)}},
  doi={10.1090/S0273-0979-99-00766-1},
}

\bib{Lang1983}{article}{
  author={Lang, William E.},
  title={On Enriques surfaces in characteristic $p$. I},
  journal={Math. Ann.},
  volume={265},
  date={1983},
  number={1},
  pages={45--65},
  issn={0025-5831},
  review={\MR {719350 (86c:14031)}},
}

\bib{Mazur1977}{article}{
  author={Mazur, B.},
  title={Modular curves and the Eisenstein ideal},
  journal={Inst. Hautes \'Etudes Sci. Publ. Math.},
  number={47},
  date={1977},
  pages={33--186 (1978)},
  issn={0073-8301},
  review={\MR {488287 (80c:14015)}},
}

\bib{Mestre1982}{article}{
  author={Mestre, Jean-Fran{\c {c}}ois},
  title={Construction d'une courbe elliptique de rang $\geq 12$},
  language={French, with English summary},
  journal={C. R. Acad. Sci. Paris S\'er. I Math.},
  volume={295},
  date={1982},
  number={12},
  pages={643--644},
  issn={0249-6321},
  review={\MR {688896 (84b:14019)}},
}

\bib{Mestre1986}{article}{
  author={Mestre, Jean-Fran{\c {c}}ois},
  title={Formules explicites et minorations de conducteurs de vari\'et\'es alg\'ebriques},
  language={French},
  journal={Compositio Math.},
  volume={58},
  date={1986},
  number={2},
  pages={209--232},
  issn={0010-437X},
  review={\MR {844410 (87j:11059)}},
}

\bib{Mordell1922}{article}{
  author={Mordell, L. J.},
  title={On the rational solutions of the indeterminate equations of the third and fourth degrees},
  journal={Proc. Cambridge Phil. Soc.},
  volume={21},
  date={1922},
  pages={179--192},
}

\bib{MumfordTheta3}{book}{
  author={Mumford, David},
  title={Tata lectures on theta. III},
  series={Progress in Mathematics},
  volume={97},
  note={With the collaboration of Madhav Nori and Peter Norman},
  publisher={Birkh\"auser Boston Inc.},
  place={Boston, MA},
  date={1991},
  pages={viii+202},
  isbn={0-8176-3440-1},
  review={\MR {1116553 (93d:14065)}},
}

\bib{O'Neil2002}{article}{
  author={O'Neil, Catherine},
  title={The period-index obstruction for elliptic curves},
  journal={J. Number Theory},
  volume={95},
  date={2002},
  number={2},
  pages={329--339},
  issn={0022-314X},
  review={\MR {1924106 (2003f:11079)}},
  doi={10.1016/S0022-314X(01)92770-2},
  note={Erratum in {\em J. Number Theory} \textbf {109} (2004), no.~2, 390},
}

\bib{Park-Poonen-Voight-Wood-preprint}{misc}{
  author={Park, Jennifer},
  author={Poonen, Bjorn},
  author={Voight, John},
  author={Wood, Melanie Matchett},
  title={A heuristic for boundedness of ranks of elliptic curves},
  date={2016-02-03},
  note={Preprint, \texttt {arXiv:1602.01431v1}, to appear in \emph {J.\ Europ.\ Math.\ Soc.}},
}

\bib{Poincare1901}{article}{
  author={Poincar\'e, H.},
  title={Sur les propri\'et\'es arithm\'etiques des courbes alg\'ebriques},
  journal={J.\ Pures Appl.\ Math.\ (5)},
  volume={7},
  date={1901},
  pages={161--234},
}

\bib{Poincare1950-Oeuvres5}{book}{
  author={Poincar\'e, Henri},
  title={{\OE }uvres d'Henri Poincar\'e, Volume~5},
  editor={Ch\^atelet, Albert},
  publisher={Gauthier-Villars},
  address={Paris},
  date={1950},
}

\bib{Poonen-Rains2012-selmer}{article}{
  author={Poonen, Bjorn},
  author={Rains, Eric},
  title={Random maximal isotropic subspaces and Selmer groups},
  journal={J. Amer. Math. Soc.},
  volume={25},
  date={2012},
  number={1},
  pages={245--269},
  issn={0894-0347},
  review={\MR {2833483}},
  doi={10.1090/S0894-0347-2011-00710-8},
}

\bib{Rubin-Silverberg2000}{article}{
  author={Rubin, Karl},
  author={Silverberg, Alice},
  title={Ranks of elliptic curves in families of quadratic twists},
  journal={Experiment. Math.},
  volume={9},
  date={2000},
  number={4},
  pages={583--590},
  issn={1058-6458},
  review={\MR {1806293 (2001k:11105)}},
}

\bib{Shioda1992}{article}{
  author={Shioda, Tetsuji},
  title={Some remarks on elliptic curves over function fields},
  note={Journ\'ees Arithm\'etiques, 1991 (Geneva)},
  journal={Ast\'erisque},
  number={209},
  date={1992},
  pages={12, 99--114},
  issn={0303-1179},
  review={\MR {1211006 (94d:11046)}},
}

\bib{SilvermanAEC2009}{book}{
  author={Silverman, Joseph H.},
  title={The arithmetic of elliptic curves},
  series={Graduate Texts in Mathematics},
  volume={106},
  edition={2},
  publisher={Springer, Dordrecht},
  date={2009},
  pages={xx+513},
  isbn={978-0-387-09493-9},
  review={\MR {2514094 (2010i:11005)}},
  doi={10.1007/978-0-387-09494-6},
}

\bib{Smith-preprint}{misc}{
  author={Smith, Alexander},
  title={$2^\infty $-Selmer groups, $2^\infty $-class groups, and Goldfeld's conjecture},
  date={2017-06-07},
  note={Preprint, \texttt {arXiv:1702.02325v2}},
}

\bib{Stein-Wuthrich2013}{article}{
  author={Stein, William},
  author={Wuthrich, Christian},
  title={Algorithms for the arithmetic of elliptic curves using Iwasawa theory},
  journal={Math. Comp.},
  volume={82},
  date={2013},
  number={283},
  pages={1757--1792},
  issn={0025-5718},
  review={\MR {3042584}},
  doi={10.1090/S0025-5718-2012-02649-4},
}

\bib{Swinnerton-Dyer2008}{article}{
  author={Swinnerton-Dyer, Peter},
  title={The effect of twisting on the 2-Selmer group},
  journal={Math. Proc. Cambridge Philos. Soc.},
  volume={145},
  date={2008},
  number={3},
  pages={513--526},
  issn={0305-0041},
  review={\MR {2464773 (2010d:11059)}},
  doi={10.1017/S0305004108001588},
}

\bib{Tate1974}{article}{
  author={Tate, John T.},
  title={The arithmetic of elliptic curves},
  journal={Invent. Math.},
  volume={23},
  date={1974},
  pages={179--206},
  issn={0020-9910},
  review={\MR {0419359 (54 \#7380)}},
}

\bib{Tate-Shafarevich1967}{article}{
  author={T{\`e}{\u \i }t, D. T.},
  author={{\v {S}}afarevi{\v {c}}, I. R.},
  title={The rank of elliptic curves},
  language={Russian},
  journal={Dokl. Akad. Nauk SSSR},
  volume={175},
  date={1967},
  pages={770--773},
  issn={0002-3264},
  review={\MR {0237508 (38 \#5790)}},
}

\bib{Ulmer2002}{article}{
  author={Ulmer, Douglas},
  title={Elliptic curves with large rank over function fields},
  journal={Ann. of Math. (2)},
  volume={155},
  date={2002},
  number={1},
  pages={295--315},
  issn={0003-486X},
  review={\MR {1888802 (2003b:11059)}},
  doi={10.2307/3062158},
}

\bib{Watkins2008-ExpMath}{article}{
  author={Watkins, Mark},
  title={Some heuristics about elliptic curves},
  journal={Experiment. Math.},
  volume={17},
  date={2008},
  number={1},
  pages={105--125},
  issn={1058-6458},
  review={\MR {2410120 (2009g:11076)}},
}

\bib{Watkins-discursus}{misc}{
  author={Watkins, Mark},
  title={A discursus on $21$ as a bound for ranks of elliptic curves over $\mathbf {Q}$, and sundry related topics},
  date={2015-08-20},
  note={Available at \url {http://magma.maths.usyd.edu.au/~watkins/papers/DISCURSUS.pdf}\phantom {i}},
}

\bib{Watkins-et-al2014}{article}{
  author={Watkins, Mark},
  author={Donnelly, Stephen},
  author={Elkies, Noam D.},
  author={Fisher, Tom},
  author={Granville, Andrew},
  author={Rogers, Nicholas F.},
  title={Ranks of quadratic twists of elliptic curves},
  language={English, with English and French summaries},
  journal={Publ.\ math.\ de Besan\c {c}on},
  volume={2014/2},
  date={2014},
  pages={63--98},
  label={Wat${}^+$14},
}

\bib{deWeger1998}{article}{
  author={de Weger, Benjamin M.~M.},
  title={$A+B=C$ and big $\Sha $'s},
  language={English},
  journal={Quart.\ J.\ Math.\ Oxford Ser.\ (2)},
  volume={49},
  date={1998},
  number={193},
  pages={105--128},
  issn={0033-5606},
  review={\MR {1617347 (99j:11065)}},
  doi={10.1093/qjmath/49.193.105},
}

\bib{Wiles2006}{article}{
  author={Wiles, Andrew},
  title={The Birch and Swinnerton-Dyer conjecture},
  conference={ title={The millennium prize problems}, },
  book={ publisher={Clay Math. Inst., Cambridge, MA}, },
  date={2006},
  pages={31--41},
  review={\MR {2238272}},
}

\bib{Zarhin1974-trick}{article}{
  author={Zarhin, Ju. G.},
  title={A remark on endomorphisms of abelian varieties over function fields of finite characteristic},
  language={Russian},
  journal={Izv. Akad. Nauk SSSR Ser. Mat.},
  volume={38},
  date={1974},
  pages={471--474},
  issn={0373-2436},
  review={\MR {0354689 (50 \#7166)}},
}

\bib{Zarhin1974}{article}{
  author={Zarhin, Ju. G.},
  title={Noncommutative cohomology and Mumford groups},
  language={Russian},
  journal={Mat. Zametki},
  volume={15},
  date={1974},
  pages={415--419},
  issn={0025-567X},
  review={\MR {0354612 (50 \#7090)}},
}

\end{biblist}
\end{bibdiv}

\end{document}

2017-12-04T02:01:06.000
1711
1711.10112
en
https://arxiv.org/abs/1711.10112
This is an introduction to a probabilistic model for the arithmetic of elliptic curves, a model developed in a series of articles of the author with Bhargava, Kane, Lenstra, Park, Rains, Voight, and Wood. We discuss the theoretical evidence for the model, and we make predictions about elliptic curves based on corresponding theorems proved about the model. In particular, the model suggests that all but finitely many elliptic curves over $\mathbb{Q}$ have rank $\le 21$, which would imply that the rank is uniformly bounded.
Number Theory (math.NT); Algebraic Geometry (math.AG)
Heuristics for the arithmetic of elliptic curves
Qwen/Qwen-72B
1. YES
2. YES