Showing 1–3 of 3 results for author: Achter, J D

Hasse-Witt and Cartier-Manin matrices: A warning and a request

Authors: Jeffrey D. Achter, Everett W. Howe

Abstract: Let X be a curve in positive characteristic. A Hasse--Witt matrix for X is a matrix that represents the action of the Frobenius operator on the cohomology group H^1(X,O_X) with respect to some basis. A Cartier--Manin matrix for X is a matrix that represents the action of the Cartier operator on the space of holomorphic differentials of X with respect to some basis. The operators that these matrice… ▽ More Let X be a curve in positive characteristic. A Hasse--Witt matrix for X is a matrix that represents the action of the Frobenius operator on the cohomology group H^1(X,O_X) with respect to some basis. A Cartier--Manin matrix for X is a matrix that represents the action of the Cartier operator on the space of holomorphic differentials of X with respect to some basis. The operators that these matrices represent are adjoint to one another, so Hasse--Witt matrices and the Cartier--Manin matrices are related to one another, but there seems to be a fair amount of confusion in the literature about the exact nature of this relationship. This confusion arises from differences in terminology, from differing conventions about whether matrices act on the left or on the right, and from misunderstandings about the proper formulae for iterating semilinear operators. Unfortunately, this confusion has led to the publication of incorrect results. In this paper we present the issues involved as clearly as we can, and we look through the literature to see where there may be problems. We encourage future authors to clearly distinguish between Hasse--Witt and Cartier--Manin matrices, in the hope that further errors can be avoided. △ Less

Submitted 7 February, 2020; v1 submitted 29 October, 2017; originally announced October 2017.

Comments: Corrected version; an error in Section 2.5 has been fixed

MSC Class: 11G20 (Primary) 14G17 (Secondary)

Journal ref: Arithmetic Geometry: Computation and Applications (Y. Aubry, E. W. Howe, and C. Ritzenthaler, eds.), Contemporary Mathematics 722, American Mathematical Society, Providence, RI, 2019, pp. 1--18

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

Authors: Jeffrey D. Achter, Daniel Erman, Kiran S. Kedlaya, Melanie Matchett Wood, David Zureick-Brown

Abstract: 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$ te… ▽ More 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$. △ Less

Submitted 21 November, 2014; v1 submitted 27 October, 2014; originally announced October 2014.

Comments: 16 pages; v2: refereed version, Philosophical Transactions of the Royal Society A 2015

Report number: AIM 2014-83

Notes on an analogue of the Fontaine-Mazur conjecture

Authors: Jeffrey D. Achter, Joshua Holden

Abstract: We estimate the proportion of function fields satisfying certain conditions which imply a function-field analogue of the Fontaine-Mazur conjecture. As a byproduct, we compute the fraction of abelian varieties (or even Jacobians) over a finite field which have a rational point of order l. We estimate the proportion of function fields satisfying certain conditions which imply a function-field analogue of the Fontaine-Mazur conjecture. As a byproduct, we compute the fraction of abelian varieties (or even Jacobians) over a finite field which have a rational point of order l. △ Less

Submitted 27 March, 2004; v1 submitted 10 May, 2001; originally announced May 2001.

Comments: 12 pages; minor revisions according to referees' comments

Journal ref: Journal de Theorie des Nombres de Bordeaux, 15:627--637, 2003