9
$\begingroup$

By "nice curve", I mean a smooth, projective, geometrically integral curve over $\newcommand{\Q}{\mathbb{Q}}\newcommand{\Jac}{\operatorname{Jac}}\Q$ with at least one $\Q$-rational point. The Mordell–Weil rank $r(C)$ of a nice curve $C$ is the rank (as an abelian group) of $\Jac(C)(\mathbb{Q})$, the group of $\Q$-rational points of the Jacobian of $C$.

Let $g$ be a positive integer, and consider the distribution of $r(C)$ among nice curves $C$ of genus $g$. For $g = 1$, the well-known "minimalist conjecture" says that $r(C) \leq 1$ for $100\%$ of elliptic curves, with $0$ and $1$ each having $50\%$ probability.

For fixed $g \geq 2$, what conjectures are there about the distribution of $r(C)$ among nice curves of genus $g$? What heuristics or evidence support such conjectures? (And, if it's not too speculative, what if we replace $\Q$ with some other number field?)

$\endgroup$
2
  • 2
    $\begingroup$ For the elliptic curve case it is conjectured (a comment by Henri Darmon at this conference: crm.umontreal.ca/Counting14/index.php) that the average rank over a number field should increase with the degree of the number field uniformly over all fields of a fixed degree. Thus, one should expect that higher rank curves become more ubiquitous as the fields get larger. $\endgroup$ Jun 7, 2015 at 2:12
  • 1
    $\begingroup$ It strikes me that this and the question it links could be relevant: mathoverflow.net/questions/35060/… although the dimension of the space of $g$-fold products of elliptic curves is small compared to the dimension of moduli of $g$-dimensional PPAV, and still small compared to the dimension of moduli of genus $g$ curves. Still perhaps enough to get a heuristic from. $\endgroup$
    – Joe Berner
    Jun 8, 2015 at 13:01

1 Answer 1

6
$\begingroup$

General Katz-Sarnak heuristics suggest that the analogue of the minimalist conjecture should still be true. Let me sketch the reason why from two perspectives - the function field model, where we can establish a version of the conjecture, and the Sarnak-Shin-Templier conjectures on families of automorphic forms.

First note that it is not obvious what you mean by a random nice curve of genus $g$, because there is not always a clear height function on the moduli space of smooth curves of genus $g$. Moreover it is not always rational, so we do not always know how to count curves of bounded height!

It's safer to choose some parameterized family of curves, like hyperelliptic curves or plane curves, and ask for the distribution in that. However, my answers will not depend too much on the family.

In both cases, we will assume the truth of BSD and show that 50% of abelian varieties have analytic rank 0 and 50% have analytic rank 1 (under some heuristic.)

In a function field, an abelian variety $A$ over $\mathbb F_q(T)$ has analytic rank equal to the dimension of the Frobenius-invariant subspace of $H^1(\mathbb P^1_{\overline{\mathbb F_q}}, T_\ell(A))$ where $T_\ell(A)$ is the $\ell$-adic Tate module of $A$. Our family of curves will be parameterized by a space like $Maps(\mathbb P^1, \mathbb P^n)$ where $\mathbb P^n$ parameterizes our family of curves over $\mathbb F_q$. This cohomology group $H^1(\mathbb P^1_{\overline{\mathbb F_q}}, T_\ell(A))$ forms a sheaf on this mapping space and we may compute its monodromy group.

If the monodromy group on a component is the full orthogonal group, the minimalist conjecture is true in the $q \to \infty$ limit for that component, because the distribution of Frobenius is as a random element in the monodromy group, and a random orthogonal matrix has a $0$-dimensional invariant subspace with probability $1/2$ and a $1$-dimensional invariant subspace with probability $1/2$. This argument is explained in Katz's book Twisted L-Functions and Monodromy.

For an explicit family it's not too hard to show that the monodromy group is orthogonal using the moment method. To show the monodromy group contains the special orthogonal group, it's sufficient to show that the first few moments agree with the moments of the orthogonal one. This can be done for sufficiently large degree maps from $\mathbb P^1$ to $\mathbb P^n$ using an independence argument, as long as $H^{2n-1}(\mathbb P^n_{\overline{\mathbb F_q}}, T_\ell(A))$ vanishes, which can be checked for the universal families of hyperelliptic and complete intersection curves by another independence argument. This sort of argument is explained in Katz's book Moments, Monodromy and Perversity.

In the note "Families of L-Functions and their Symmetry", Sarnak, Shin, and Templier conjecture equidistribution results for the L-functions of certain families of automorphic forms. Given any family of curves parameterized by an open subset of $\mathbb A^n$ (e.g. hyperelliptic, plane curves, complete intersection) the (conjectural) automorphic forms associated to their first etale cohomology groups are clearly a "geometric family" by the definition of the authors. In any of these families the local factors will be equidistributed in $SP_{2g}$, because a hyperelliptic/plane/complete intersection curve over a finite field has characteristic polynomial of Frobenius equidistributed in $SP_{2g}$.

Furthermore in their notation the rank of the family will be $0$ - this is actually the same $H^{2n-1}(\mathbb P^n_{\overline{\mathbb F_q}}, T_\ell(A))$ vanishing condition as before and can be checked in the same way.

Also, the $\epsilon$ factors should be equidistributed between $+1$ and $-1$ - I don't immediately see a reason for this but I don't see a reason why not.

Hence assuming Conjecture 2, the distribution of the low-lying zeroes follow the $SO_{even}(\infty)$ law half the time and the $SO_{odd}(\infty)$ law half the time. The first one has average analytic rank $0$ and the second has average analytic rank $1$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.