Searcharxiv⌕ Search

arXiv subjects

David Zureick-Brown

Publications and source records attributed to David Zureick-Brown.

24 records · Page 2Linked to original sources
arXiv2014

A heuristic for the distribution of point counts for random curves over a finite field

How many rational points are there on a random algebraic curve of large genus $g$ over a given finite field $\mathbb{F}_q$? We propose a heuristic for this question motivated by a (now proven) conjecture of Mumford on the cohomology of moduli spaces of curves; this heuristic suggests a Poisson distribution with mean $q+1+1/(q-1)$. We prove a weaker version of this statement in which $g$ and $q$ tend to infinity, with $q$ much larger than $g$.

math.NT↗
arXiv2014

Cohomology with closed support on the overconvergent site

Using the notions of open/closed subtopoi of SGA, we define a notion of cohomology with support in a closed subscheme on the overconvergent site, and show that this agrees with the classic notion of rigid cohomology support in a closed subscheme.

math.AG↗
arXiv2013

Integral Monsky-Washnitzer cohomology and the overconvergent de Rham-Witt complex

In their paper which introduced Monsky-Washnitzer cohomology, Monsky and Washnitzer described conditions under which the definition can be adapted to give integral cohomology groups. It seems to be well-known among experts that their construction always gives well-defined integral cohomology groups, but this fact also does not appear to be explicitly written down anywhere. In this paper, we prove that the integral Monsky-Washnitzer cohomology groups are well-defined, for any nonsingular affine variety over a perfect field of characteristic p. We then compare these cohomology groups with overconvergent de Rham-Witt cohomology. It was shown earlier that if the affine variety has small dimension relative to the characteristic of the ground field, then the cohomology groups are isomorphic. We extend this result to show that for any nonsingular affine variety, regardless of dimension, we have an isomorphism between integral Monsky-Washnitzer cohomology and overconvergent de Rham-Witt cohomology in degrees which are small relative to the characteristic.

math.AG↗
arXiv2013

The Chabauty-Coleman bound at a prime of bad reduction and clifford bounds for geometric rank functions

Let X be a curve over a number field K with genus g>=2, $\pp$ a prime of O_K over an unramified rational prime p>2r, J the Jacobian of X, r=rank J(K), and $\scrX$ a regular proper model of X at $\pp$. Suppose r<g. We prove that #X(K)<=#\scrX(F_{\pp})+2r, extending the refined version of the Chabauty-Coleman bound to the case of bad reduction. The new technical insight is to isolate variants of the classical rank of a divisor on a curve which are better suited for singular curves and which satisfy Clifford's theorem.

math.NT↗
arXiv2012

Random Dieudonne modules, random p-divisible groups, and random curves over finite fields

We describe a probability distribution on isomorphism classes of principally quasi-polarized p-divisible groups over a finite field k of characteristic p which can reasonably be thought of as "uniform distribution," and we compute the distribution of various statistics (p-corank, a-number, etc.) of p-divisible groups drawn from this distribution. It is then natural to ask to what extent the p-divisible groups attached to a randomly chosen hyperelliptic curve (resp. curve, resp. abelian variety) over k are uniformly distributed in this sense. For instance, one can ask whether the proportion of genus-g curves over F_p whose Jacobian is ordinary approaches the limit that such a heuristic would predict. This heuristic is analogous to conjectures of Cohen-Lenstra type for fields k of characteristic other than p, in which case the random p-divisible group is defined by a random matrix recording the action of Frobenius. Extensive numerical investigation reveals some cases of agreement with the heuristic and some interesting discrepancies. For example, plane curves over F_3 appear substantially less likely to be ordinary than hyperelliptic curves over F_3.

math.NT↗