Showing 1–46 of 46 results for author: Howe, E W

Enumerating places of $\mathbf P^1$ up to automorphisms of $\mathbf P^1$ in quasilinear time

Authors: Everett W. Howe

Abstract: We present an algorithm that, for every fixed degree $n\ge 3$, will enumerate all degree-$n$ places of the projective line over a finite field $k$ up to the natural action of $\operatorname{PGL}_2(k)$ using $O(\log q)$ space and $\widetilde{O}(q^{n-3})$ time, where $q=\#k$. Since there are $Θ(q^{n-3})$orbits of $\operatorname{PGL}_2(k)$ acting on the set of degree-$n$ places, the algorithm is quas… ▽ More We present an algorithm that, for every fixed degree $n\ge 3$, will enumerate all degree-$n$ places of the projective line over a finite field $k$ up to the natural action of $\operatorname{PGL}_2(k)$ using $O(\log q)$ space and $\widetilde{O}(q^{n-3})$ time, where $q=\#k$. Since there are $Θ(q^{n-3})$orbits of $\operatorname{PGL}_2(k)$ acting on the set of degree-$n$ places, the algorithm is quasilinear in the size of its output. The algorithm is probabilistic unless we assume the extended Riemann hypothesis, because its complexity depends on that of polynomial factorization: for odd $n$, it involves factoring $Θ(q^{n-3})$ polynomials over $k$ of degree up to ${1 + ((n-1)/2)^n}$. For composite degrees $n$, earlier work of the author gives an algorithm for enumerating $\operatorname{PGL}_2(k)$ orbit representatives for degree-$n$ places of $\mathbf{P}^1$ over $k$ that runs in time $\widetilde{O}(q^{n-3})$ independent of the extended Riemann hypothesis, but that uses $O(q^{n-3})$ space. We also present an algorithm for enumerating orbit representatives for the action of $\operatorname{PGL}_2(k)$ on the degree-$n$ effective divisors of $\mathbf{P}^1$ over finite fields $k$. The two algorithms depend on one another; our method of enumerating orbits of places of odd degree $n$ depends on enumerating orbits of effective divisors of degree $(n+1)/2$. △ Less

Submitted 7 July, 2024; originally announced July 2024.

Comments: 23 pages

MSC Class: 11G20 (Primary) 11Y16; 14G15

Doubly isogenous curves of genus two with a rational action of $D_6$

Authors: Jeremy Booher, Everett W. Howe, Andrew V. Sutherland, José Felipe Voloch

Abstract: Let $C$ and $C'$ be curves over a finite field $K$, provided with embeddings $ι$ and $ι'$ into their Jacobian varieties. Let $D\to C$ and $D'\to C'$ be the pullbacks (via these embeddings) of the multiplication-by-$2$ maps on the Jacobians. We say that $(C,ι)$ and $(C',ι')$ are \emph{doubly isogenous} if $\mathrm{Jac}(C)$ and $\mathrm{Jac}(C')$ are isogenous over $K$ and $\mathrm{Jac}(D)$ and… ▽ More Let $C$ and $C'$ be curves over a finite field $K$, provided with embeddings $ι$ and $ι'$ into their Jacobian varieties. Let $D\to C$ and $D'\to C'$ be the pullbacks (via these embeddings) of the multiplication-by-$2$ maps on the Jacobians. We say that $(C,ι)$ and $(C',ι')$ are \emph{doubly isogenous} if $\mathrm{Jac}(C)$ and $\mathrm{Jac}(C')$ are isogenous over $K$ and $\mathrm{Jac}(D)$ and $\mathrm{Jac}(D')$ are isogenous over~$K$. When we restrict attention to the case where $C$ and $C'$ are curves of genus $2$ whose groups of $K$-rational automorphisms are isomorphic to the dihedral group $D_6$ of order $12$, we find many more doubly isogenous pairs than one would expect from reasonable heuristics. Our analysis of this overabundance of doubly isogenous curves over finite fields leads to the construction of a pair of doubly isogenous curves over a number field. That such a global example exists seems extremely surprising. We show that the Zilber--Pink conjecture implies that there can only be finitely many such examples. When we exclude reductions of this pair of global curves in our counts, we find that the data for the remaining curves is consistent with our original heuristic. Computationally, we find that doubly isogenous curves in our family of $D_6$ curves can be distinguished from one another by considering the isogeny classes of the Prym varieties of certain unramified covers of exponent $3$ and $4$. We discuss how our family of curves can be potentially be used to obtain a deterministic polynomial-time algorithm to factor univariate polynomials over finite fields via an argument of Kayal and Poonen. △ Less

Submitted 5 March, 2025; v1 submitted 13 February, 2024; originally announced February 2024.

Comments: 40 pages, 5 tables; minor edits

MSC Class: 11G20; 11M38; 14H40; 14K02; 14Q05 (Primary); 11G10; 11Y40; 14H25; 14H30; 14Q25 (Secondary)

Enumerating hyperelliptic curves over finite fields in quasilinear time

Authors: Everett W. Howe

Abstract: We present an algorithm that, for every fixed genus $g$, will enumerate all hyperelliptic curves of genus $g$ over a finite field $k$ of odd characteristic in quasilinear time; that is, the time required for the algorithm is $\widetilde{O}(q^{2g-1})$, where $q=\#k$. Such an algorithm already exists in the case $g=2$, thanks to work of Mestre and Cardona and Quer, and in the case $g=3$, thanks to w… ▽ More We present an algorithm that, for every fixed genus $g$, will enumerate all hyperelliptic curves of genus $g$ over a finite field $k$ of odd characteristic in quasilinear time; that is, the time required for the algorithm is $\widetilde{O}(q^{2g-1})$, where $q=\#k$. Such an algorithm already exists in the case $g=2$, thanks to work of Mestre and Cardona and Quer, and in the case $g=3$, thanks to work of Lercier and Ritzenthaler. Experimentally, it appears that our new algorithm is about two orders of magnitude faster in practice than ones based on their work. △ Less

Submitted 20 June, 2024; v1 submitted 26 January, 2024; originally announced January 2024.

Comments: 23 pages. Corrected small typos, added a reference to a paper of Nart, and added links to Internet Archive library copies of two books

MSC Class: 11G20 (Primary) 11Y16; 14G15; 14H10; 14H25 (Secondary)

Refinements of Katz-Sarnak theory for the number of points on curves over finite fields

Authors: Jonas Bergström, Everett W. Howe, Elisa Lorenzo García, Christophe Ritzenthaler

Abstract: This paper goes beyond Katz-Sarnak theory on the distribution of curves over finite fields according to their number of rational points, theoretically, experimentally and conjecturally. In particular, we give a formula for the limits of the moments measuring the asymmetry of this distribution for (non-hyperelliptic) curves of genus $g \geq 3$. The experiments point to a stronger notion of converge… ▽ More This paper goes beyond Katz-Sarnak theory on the distribution of curves over finite fields according to their number of rational points, theoretically, experimentally and conjecturally. In particular, we give a formula for the limits of the moments measuring the asymmetry of this distribution for (non-hyperelliptic) curves of genus $g \geq 3$. The experiments point to a stronger notion of convergence than the one provided by the Katz-Sarnak framework for all curves of genus $\geq 3$. However, for elliptic curves and for hyperelliptic curves of every genus we prove that this stronger convergence cannot occur. △ Less

Submitted 13 December, 2023; v1 submitted 31 March, 2023; originally announced March 2023.

Comments: 24 pages, 5 figures. We reformulated one of our main results (Theorem 3.1) and added remark 2.6 after one of the referees' questions

On the Maximum Gonality of a Curve over a Finite Field

Authors: Xander Faber, Jon Grantham, Everett W. Howe

Abstract: The gonality of a smooth geometrically connected curve over a field $k$ is the smallest degree of a nonconstant $k$-morphism from the curve to the projective line. In general, the gonality of a curve of genus $g \ge 2$ is at most $2g - 2$. Over finite fields, a result of F.K. Schmidt from the 1930s can be used to prove that the gonality is at most $g+1$. Via a mixture of geometry and computation,… ▽ More The gonality of a smooth geometrically connected curve over a field $k$ is the smallest degree of a nonconstant $k$-morphism from the curve to the projective line. In general, the gonality of a curve of genus $g \ge 2$ is at most $2g - 2$. Over finite fields, a result of F.K. Schmidt from the 1930s can be used to prove that the gonality is at most $g+1$. Via a mixture of geometry and computation, we improve this bound: for a curve of genus $g \ge 5$ over a finite field, the gonality is at most $g$. For genus $g = 3$ and $g = 4$, the same result holds with exactly $217$ exceptions: There are two curves of genus $4$ and gonality $5$, and $215$ curves of genus $3$ and gonality $4$. The genus-$4$ examples were found in other papers, and we reproduce their equations here; in supplementary material, we provide equations for the genus-$3$ examples. △ Less

Submitted 4 March, 2024; v1 submitted 28 July, 2022; originally announced July 2022.

Comments: 23 pages; supporting code and scripts can be found at https://github.com/RationalPoint/excessive; small typos fixed since previous version

Journal ref: Alg. Number Th. 19 (2025) 1637-1662

Lower bounds on the maximal number of rational points on curves over finite fields

Authors: Jonas Bergström, Everett W. Howe, Elisa Lorenzo García, Christophe Ritzenthaler

Abstract: For a given genus $g \geq 1$, we give lower bounds for the maximal number of rational points on a smooth projective absolutely irreducible curve of genus $g$ over ${\mathbb F}_q$. As a consequence of Katz-Sarnak theory, we first get for any given $g>0$, any $\varepsilon>0$ and all $q$ large enough, the existence of a curve of genus $g$ over ${\mathbb F}_q$ with at least… ▽ More For a given genus $g \geq 1$, we give lower bounds for the maximal number of rational points on a smooth projective absolutely irreducible curve of genus $g$ over ${\mathbb F}_q$. As a consequence of Katz-Sarnak theory, we first get for any given $g>0$, any $\varepsilon>0$ and all $q$ large enough, the existence of a curve of genus $g$ over ${\mathbb F}_q$ with at least $1+q+ (2g-\varepsilon) \sqrt{q}$ rational points. Then using sums of powers of traces of Frobenius of hyperelliptic curves, we get a lower bound of the form $1+q+1.71 \sqrt{q}$ valid for $g \geq 3$ and odd $q \geq 11$. Finally, explicit constructions of towers of curves improve this result, with a bound of the form $1+q+4 \sqrt{q} -32$ valid for all $g\ge 2$ and for all $q$. △ Less

Submitted 29 April, 2022; v1 submitted 18 April, 2022; originally announced April 2022.

Comments: Minor revisions

MSC Class: 11G20 (Primary) 14H25; 14H30; 11R45 (Secondary)

Deducing information about curves over finite fields from their Weil polynomials

Authors: Everett W. Howe

Abstract: We discuss methods for using the Weil polynomial of an isogeny class of abelian varieties over a finite field to determine properties of the curves (if any) whose Jacobians lie in the isogeny class. Some methods are strong enough to show that there are no curves with the given Weil polynomial, while other methods can sometimes be used to show that a curve with the given Weil polynomial must have n… ▽ More We discuss methods for using the Weil polynomial of an isogeny class of abelian varieties over a finite field to determine properties of the curves (if any) whose Jacobians lie in the isogeny class. Some methods are strong enough to show that there are no curves with the given Weil polynomial, while other methods can sometimes be used to show that a curve with the given Weil polynomial must have nontrivial automorphisms, or must come provided with a map of known degree to an elliptic curve with known trace. Such properties can sometimes lead to efficient methods for searching for curves with the given Weil polynomial. Many of the techniques we discuss were inspired by methods that Serre used in his 1985 Harvard class on rational points on curves over finite fields. The recent publication of the notes for this course gives an incentive for reviewing the developments in the field that have occurred over the intervening years. △ Less

Submitted 27 October, 2022; v1 submitted 8 October, 2021; originally announced October 2021.

Comments: 43 pages. Clarified some exposition, corrected minor errors. This paper is based on an invited talk presented at the conference "Curves over finite fields: Past, present, and future" that was held May 24--28, 2021

MSC Class: 11G20 (Primary) 11G10; 14G10; 14G15; 14H40; 14K02; 14K15 (Secondary)

Powers of 3 with few nonzero bits and a conjecture of Erdős

Authors: Vassil S. Dimitrov, Everett W. Howe

Abstract: Using completely elementary methods, we find all powers of 3 that can be written as the sum of at most twenty-two distinct powers of 2, as well as all powers of 2 that can be written as the sum of at most twenty-five distinct powers of 3. The latter result is connected to a conjecture of Erdős, namely, that 1, 4, and 256 are the only powers of 2 that can be written as a sum of distinct powers of 3… ▽ More Using completely elementary methods, we find all powers of 3 that can be written as the sum of at most twenty-two distinct powers of 2, as well as all powers of 2 that can be written as the sum of at most twenty-five distinct powers of 3. The latter result is connected to a conjecture of Erdős, namely, that 1, 4, and 256 are the only powers of 2 that can be written as a sum of distinct powers of 3. We present this work partly as a reminder that for certain exponential Diophantine equations, elementary techniques based on congruences can yield results that would be difficult or impossible to obtain with more advanced techniques involving, for example, linear forms in logarithms. △ Less

Submitted 3 July, 2023; v1 submitted 13 May, 2021; originally announced May 2021.

Comments: Corrected typos. Final version, 18 pages. To appear in the Rocky Mountain Journal of Mathematics

MSC Class: 11D61 (Primary) 11A63; 11D72; 11D79 (Secondary)

Every positive integer is the order of an ordinary abelian variety over ${\mathbb F}_2$

Authors: Everett W. Howe, Kiran S. Kedlaya

Abstract: We show that for every integer $m > 0$, there is an ordinary abelian variety over ${\mathbb F}_2$ that has exactly $m$ rational points. We show that for every integer $m > 0$, there is an ordinary abelian variety over ${\mathbb F}_2$ that has exactly $m$ rational points. △ Less

Submitted 28 June, 2021; v1 submitted 30 March, 2021; originally announced March 2021.

Comments: 6 pages. Edited introduction. Changed statement of main theorem to include the observation (due to Marseglia and Springer) that our construction produces squarefree varieties. Included discussion of followup work by other groups of authors

MSC Class: 11A67; 11G10 (Primary) 14G15; 14K15 (Secondary)

Doubly isogenous genus-2 curves with $D_4$-action

Authors: Vishal Arul, Jeremy Booher, Steven R. Groen, Everett W. Howe, Wanlin Li, Vlad Matei, Rachel Pries, Caleb Springer

Abstract: We study the extent to which curves over finite fields are characterized by their zeta functions and the zeta functions of certain of their covers. Suppose C and C' are curves over a finite field K, with K-rational base points P and P', and let D and D' be the pullbacks (via the Abel-Jacobi map) of the multiplication-by-2 maps on their Jacobians. We say that (C,P) and (C',P') are *doubly isogenous… ▽ More We study the extent to which curves over finite fields are characterized by their zeta functions and the zeta functions of certain of their covers. Suppose C and C' are curves over a finite field K, with K-rational base points P and P', and let D and D' be the pullbacks (via the Abel-Jacobi map) of the multiplication-by-2 maps on their Jacobians. We say that (C,P) and (C',P') are *doubly isogenous* if Jac(C) and Jac(C') are isogenous over K and Jac(D) and Jac(D') are isogenous over K. For curves of genus 2 whose automorphism groups contain the dihedral group of order eight, we show that the number of pairs of doubly isogenous curves is larger than naive heuristics predict, and we provide an explanation for this phenomenon. △ Less

Submitted 26 January, 2023; v1 submitted 22 February, 2021; originally announced February 2021.

Comments: 34 pages. Introduction updated, minor corrections and clarifications added throughout. Included Magma code as ancillary files

MSC Class: 11G20; 11M38; 14H40; 14K02; 14Q05 (Primary) 11G10; 11Y40; 14H25; 14H30; 14Q25 (Secondary)

Algorithms to enumerate superspecial Howe curves of genus 4

Authors: Momonari Kudo, Shushi Harashita, Everett W. Howe

Abstract: A Howe curve is a curve of genus $4$ obtained as the fiber product of two genus-$1$ double covers of $\mathbf{P}^1$. In this paper, we present a simple algorithm for testing isomorphism of Howe curves, and we propose two main algorithms for finding and enumerating these curves: One involves solving multivariate systems coming from Cartier--Manin matrices, while the other uses Richelot isogenies of… ▽ More A Howe curve is a curve of genus $4$ obtained as the fiber product of two genus-$1$ double covers of $\mathbf{P}^1$. In this paper, we present a simple algorithm for testing isomorphism of Howe curves, and we propose two main algorithms for finding and enumerating these curves: One involves solving multivariate systems coming from Cartier--Manin matrices, while the other uses Richelot isogenies of curves of genus $2$. Comparing the two algorithms by implementation and by complexity analyses, we conclude that the latter enumerates curves more efficiently. Using these algorithms, we show that there exist superspecial curves of genus $4$ in characteristic $p$ for every prime $p$ with $7 < p < 20000$. △ Less

Submitted 2 August, 2020; v1 submitted 20 June, 2020; originally announced June 2020.

Comments: 15 pages. ANTS 2020. The previous version assumed a hypothesis that we verified computationally for each input prime p. Recently Jordan and Zaytman proved that this hypothesis holds in general, and the revised paper reflects this. There are other more minor edits as well

MSC Class: 11G20 (Primary) 14G15; 14H45 (Secondary)

Journal ref: pp. 301-316 in ANTS XIV: Proceedings of the Fourteenth Algorithmic Number Theory Symposium (S. Galbraith, ed.), the Open Book Series 4, Mathematical Sciences Publishers, Berkeley, 2020

Variations in the distribution of principally polarized abelian varieties among isogeny classes

Authors: Everett W. Howe

Abstract: We show that for a large class of rings $R$, the number of principally polarized abelian varieties over a finite field in a given simple ordinary isogeny class and with endomorphism ring $R$ is equal either to 0, or to a ratio of class numbers associated to $R$, up to some small computable factors. This class of rings includes the maximal order of the CM field $K$ associated to the isogeny class (… ▽ More We show that for a large class of rings $R$, the number of principally polarized abelian varieties over a finite field in a given simple ordinary isogeny class and with endomorphism ring $R$ is equal either to 0, or to a ratio of class numbers associated to $R$, up to some small computable factors. This class of rings includes the maximal order of the CM field $K$ associated to the isogeny class (for which the result was already known), as well as the order $R$ generated over $\mathbf{Z}$ by Frobenius and Verschiebung. For this latter order, we can use results of Louboutin to estimate the appropriate ratio of class numbers in terms of the size of the base field and the Frobenius angles of the isogeny class. The error terms in our estimates are quite large, but the trigonometric terms in the estimate are suggestive: Combined with a result of Vladut on the distribution of Frobenius angles of isogeny classes, they give a heuristic argument in support of the theorem of Katz and Sarnak on the limiting distribution of the multiset of Frobenius angles for principally polarized abelian varieties of a fixed dimension over finite fields. △ Less

Submitted 28 May, 2020; originally announced May 2020.

Comments: 21 pages

MSC Class: 11G10 (Primary) 11G15; 11G25; 14G15; 14K15; 14K22 (Secondary)

The maximum number of points on a curve of genus eight over the field of four elements

Authors: Everett W. Howe

Abstract: The Oesterlé bound shows that a curve of genus 8 over the finite field $\mathbb{F}_4$ can have at most 24 rational points, and Niederreiter and Xing used class field theory to show that there exists such a curve with 21 points. We improve both of these results: We show that a genus-8 curve over $\mathbb{F}_4$ can have at most 23 rational points, and we provide an example of such a curve with 22 po… ▽ More The Oesterlé bound shows that a curve of genus 8 over the finite field $\mathbb{F}_4$ can have at most 24 rational points, and Niederreiter and Xing used class field theory to show that there exists such a curve with 21 points. We improve both of these results: We show that a genus-8 curve over $\mathbb{F}_4$ can have at most 23 rational points, and we provide an example of such a curve with 22 points, namely the curve defined by the two equations $y^2 + (x^3 + x + 1)y = x^6 + x^5 + x^4 + x^2$ and $z^3 = (x+1)y + x^2.$ △ Less

Submitted 14 August, 2020; v1 submitted 16 April, 2020; originally announced April 2020.

Comments: 8 pages, 3 tables. Minor changes. To appear in J. Number Theory

MSC Class: 11G20 (Primary) 14G05; 14G10; 14G15 (Secondary)

Purely inseparable Richelot isogenies

Authors: Bradley W. Brock, Everett W. Howe

Abstract: We show that if $C$ is a supersingular genus-$2$ curve over an algebraically-closed field of characteristic $2$, then there are infinitely many Richelot isogenies starting from $C$. This is in contrast to what happens with non-supersingular curves in characteristic $2$, or to arbitrary curves in characteristic not $2$: In these situations, there are at most fifteen Richelot isogenies starting from… ▽ More We show that if $C$ is a supersingular genus-$2$ curve over an algebraically-closed field of characteristic $2$, then there are infinitely many Richelot isogenies starting from $C$. This is in contrast to what happens with non-supersingular curves in characteristic $2$, or to arbitrary curves in characteristic not $2$: In these situations, there are at most fifteen Richelot isogenies starting from a given genus-$2$ curve. More specifically, we show that if $C_1$ and $C_2$ are two arbitrary supersingular genus-$2$ curves over an algebraically-closed field of characteristic $2$, then there are exactly sixty Richelot isogenies from $C_1$ to $C_2$, unless either $C_1$ or $C_2$ is isomorphic to the curve $y^2 + y = x^5$. In that case, there are either twelve or four Richelot isogenies from $C_1$ to $C_2$, depending on whether $C_1$ is isomorphic to $C_2$. (Here we count Richelot isogenies up to isomorphism.) We give explicit constructions that produce all of the Richelot isogenies between two supersingular curves. △ Less

Submitted 26 March, 2025; v1 submitted 6 February, 2020; originally announced February 2020.

Comments: 31 pages. We simplified some proofs and calculations by changing the model we use for generic supersingular genus-2 curves. We also include as an ancillary file a collection of Magma routines that the reader can use to verify some calculations made in the paper

MSC Class: 14K02 (Primary) 14H40; 14H45 (Secondary)

Kernels of polarizations of abelian varieties over finite fields

Authors: Everett W. Howe

Abstract: Suppose $C$ is an isogeny class of abelian varieties over a finite field $k$. In this paper we give a partial answer to the question of which finite group schemes over $k$ occur as kernels of polarizations of varieties in $C$. We show that there is an element $I_C$ of a finite two-torsion group that determines which Jordan-Hölder isomorphism classes of finite commutative group schemes over $k$ con… ▽ More Suppose $C$ is an isogeny class of abelian varieties over a finite field $k$. In this paper we give a partial answer to the question of which finite group schemes over $k$ occur as kernels of polarizations of varieties in $C$. We show that there is an element $I_C$ of a finite two-torsion group that determines which Jordan-Hölder isomorphism classes of finite commutative group schemes over $k$ contain kernels of polarizations. We indicate how the two-torsion group can be computed from the characteristic polynomial of the Frobenius endomorphism of the varieties in $C$, and we give some relatively weak sufficient conditions for the element $I_C$ to be zero. Using these conditions, we show that every isogeny class of simple odd-dimensional abelian varieties over a finite field contains a principally polarized variety. As a step in the proofs of these theorems, we prove that if $K$ is a CM-field and $A$ is a central simple $K$-algebra with an involution of the second kind, then every totally positive real element of $K$ is the reduced norm of a positive symmetric element of $A$. △ Less

Submitted 16 January, 2020; v1 submitted 14 January, 2020; originally announced January 2020.

Comments: This is a reproduction of a preprint, dated 27 August 1995, of a paper that appeared in the Journal of Algebraic Geometry in 1996

MSC Class: 14K15 (Primary) 11G25; 14G15; 14K02 (Secondary)

Journal ref: J. Algebraic Geom. 5 (1996) 583-608

Principally polarized squares of elliptic curves with field of moduli equal to Q

Authors: Alexandre Gélin, Everett W. Howe, Christophe Ritzenthaler

Abstract: We give equations for 13 genus-2 curves over $\overline{\mathbb{Q}}$, with models over $\mathbb{Q}$, whose unpolarized Jacobians are isomorphic to the square of an elliptic curve with complex multiplication by a maximal order. If the Generalized Riemann Hypothesis is true, there are no further examples of such curves. More generally, we prove under the Generalized Riemann Hypothesis that there exi… ▽ More We give equations for 13 genus-2 curves over $\overline{\mathbb{Q}}$, with models over $\mathbb{Q}$, whose unpolarized Jacobians are isomorphic to the square of an elliptic curve with complex multiplication by a maximal order. If the Generalized Riemann Hypothesis is true, there are no further examples of such curves. More generally, we prove under the Generalized Riemann Hypothesis that there exist exactly 46 genus-2 curves over $\overline{\mathbb{Q}}$ with field of moduli $\mathbb{Q}$ whose Jacobians are isomorphic to the square of an elliptic curve with complex multiplication by a maximal order. △ Less

Submitted 12 June, 2018; v1 submitted 11 June, 2018; originally announced June 2018.

MSC Class: 11G15; 14H25; 14H45

Journal ref: Open Book Series 2 (2019) 257-274

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

Locally recoverable codes from algebraic curves and surfaces

Authors: Alexander Barg, Kathryn Haymaker, Everett W. Howe, Gretchen L. Matthews, Anthony Várilly-Alvarado

Abstract: A locally recoverable code is a code over a finite alphabet such that the value of any single coordinate of a codeword can be recovered from the values of a small subset of other coordinates. Building on work of Barg, Tamo, and Vlăduţ, we present several constructions of locally recoverable codes from algebraic curves and surfaces. A locally recoverable code is a code over a finite alphabet such that the value of any single coordinate of a codeword can be recovered from the values of a small subset of other coordinates. Building on work of Barg, Tamo, and Vlăduţ, we present several constructions of locally recoverable codes from algebraic curves and surfaces. △ Less

Submitted 18 January, 2017; originally announced January 2017.

Comments: 27 pages

MSC Class: 94B27; 14G50

Journal ref: pp. 95-127 in: Algebraic Geometry for Coding Theory and Cryptography (E. W. Howe, K. E. Lauter, and J. L. Walker, eds.), Springer, Cham, 2017

Curves of medium genus with many points

Authors: Everett W. Howe

Abstract: The defect of a curve over a finite field is the difference between the number of rational points on the curve and the Weil-Serre upper bound for the number of points on the curve. We present algorithms for constructing curves of genus 5, 6, and 7 with small defect. Our aim is to be able to produce, in a reasonable amount of time, curves that can be used to populate the online table of curves with… ▽ More The defect of a curve over a finite field is the difference between the number of rational points on the curve and the Weil-Serre upper bound for the number of points on the curve. We present algorithms for constructing curves of genus 5, 6, and 7 with small defect. Our aim is to be able to produce, in a reasonable amount of time, curves that can be used to populate the online table of curves with many points found at http://www.manypoints.org. △ Less

Submitted 30 March, 2017; v1 submitted 7 September, 2016; originally announced September 2016.

Comments: 13 pages; revised to improve exposition

MSC Class: 11G20 (Primary); 14G05; 14G10; 14G15 (Secondary)

Journal ref: Finite Fields Appl. 47 (2017) 145-160

Split abelian surfaces over finite fields and reductions of genus-2 curves

Authors: Jeff Achter, Everett W. Howe

Abstract: For prime powers q, let s(q) denote the probability that a randomly-chosen principally-polarized abelian surface over the finite field F_q is not simple. We show that there are positive constants B and C such that for all q, B (log q)^{-3}(log log q)^{-4} < s(q)sqrt(q) < C (log q)^4(log log q)^2, and we obtain better estimates under the assumption of the generalized Riemann hypothesis. If A is… ▽ More For prime powers q, let s(q) denote the probability that a randomly-chosen principally-polarized abelian surface over the finite field F_q is not simple. We show that there are positive constants B and C such that for all q, B (log q)^{-3}(log log q)^{-4} < s(q)sqrt(q) < C (log q)^4(log log q)^2, and we obtain better estimates under the assumption of the generalized Riemann hypothesis. If A is a principally-polarized abelian surface over a number field K, let pi_split(A/K, z) denote the number of prime ideals p of K of norm at most z such that A has good reduction at p and A_p is not simple. We conjecture that for sufficiently general A, the counting function pi_split(A/K, z) grows like sqrt(z)/log z. We indicate why our theorem on the rate of growth of s(q) gives us reason to hope that our conjecture is true. △ Less

Submitted 5 October, 2016; v1 submitted 1 October, 2015; originally announced October 2015.

Comments: 27 pages, 3 figures. V2 incorporates new data courtesy of Andrew Sutherland

MSC Class: 14K15; 11G10; 11G20; 11G30

Journal ref: Alg. Number Th. 11 (2017) 39-76

Quickly constructing curves of genus 4 with many points

Authors: Everett W. Howe

Abstract: The "defect" of a curve over a finite field is the difference between the number of rational points on the curve and the Weil-Serre bound for the curve. We present a construction for producing genus-4 double covers of genus-2 curves over finite fields such that the defect of the double cover is not much more than the defect of the genus-2 curve. We give an algorithm that uses this construction to… ▽ More The "defect" of a curve over a finite field is the difference between the number of rational points on the curve and the Weil-Serre bound for the curve. We present a construction for producing genus-4 double covers of genus-2 curves over finite fields such that the defect of the double cover is not much more than the defect of the genus-2 curve. We give an algorithm that uses this construction to produce genus-4 curves with small defect. Heuristically, for all sufficiently large primes and for almost all prime powers q, the algorithm is expected to produce a genus-4 curve over F_q with defect at most 4 in time q^{3/4}, up to logarithmic factors. As part of the analysis of the algorithm, we present a reinterpretation of results of Hayashida on the number of genus-2 curves whose Jacobians are isomorphic to the square of a given elliptic curve with complex multiplication by a maximal order. We show that a category of principal polarizations on the square of such an elliptic curve is equivalent to a category of right ideals in a certain quaternion order. △ Less

Submitted 15 June, 2015; originally announced June 2015.

MSC Class: 11G20 (Primary) 14G05; 14G10; 14G15 (Secondary)

Journal ref: pp. 149-173 in: Frobenius Distributions: Sato-Tate and Lang-Trotter conjectures (D. Kohel and I. Shparlinski, eds.), Contemporary Mathematics 663, American Mathematical Society, Providence, RI, 2016

Optimal quotients and surjections of Mordell-Weil groups

Authors: Everett W. Howe

Abstract: Answering a question of Ed Schaefer, we show that if J is the Jacobian of a curve C over a number field, if s is an automorphism of J coming from an automorphism of C, and if u lies in the subring Z[s] of End J and has connected kernel, then it is not necessarily the case that u gives a surjective map from the Mordell-Weil group of J to the Mordell-Weil group of its image. Answering a question of Ed Schaefer, we show that if J is the Jacobian of a curve C over a number field, if s is an automorphism of J coming from an automorphism of C, and if u lies in the subring Z[s] of End J and has connected kernel, then it is not necessarily the case that u gives a surjective map from the Mordell-Weil group of J to the Mordell-Weil group of its image. △ Less

Submitted 10 February, 2016; v1 submitted 26 May, 2015; originally announced May 2015.

Comments: Version 2: Improved exposition. Version 3: Corrected a typographical error in a covering map

MSC Class: Primary 11G10; Secondary 11G05; 11G30; 11G35

Journal ref: J. Number Theory 166 (2016) 85-92

Genus-2 Jacobians with torsion points of large order

Authors: Everett W. Howe

Abstract: We produce new explicit examples of genus-2 curves over the rational numbers whose Jacobian varieties have rational torsion points of large order. In particular, we produce a family of genus-2 curves over Q whose Jacobians have a rational point of order 48, parametrized by a rank-2 elliptic curve over Q, and we exhibit a single genus-2 curve over Q whose Jacobian has a rational point of order 70,… ▽ More We produce new explicit examples of genus-2 curves over the rational numbers whose Jacobian varieties have rational torsion points of large order. In particular, we produce a family of genus-2 curves over Q whose Jacobians have a rational point of order 48, parametrized by a rank-2 elliptic curve over Q, and we exhibit a single genus-2 curve over Q whose Jacobian has a rational point of order 70, the largest order known. We also give new examples of genus-2 Jacobians with rational points of order 27, 28, and 39. Most of our examples are produced by `gluing' two elliptic curves together along their n-torsion subgroups, where n is either 2 or 3. The 2-gluing examples arise from techniques developed by the author in joint work with Leprévost and Poonen 15 years ago. The 3-gluing examples are made possible by an algorithm for explicit 3-gluing over non-algebraically closed fields recently developed by the author in joint work with Bröker, Lauter, and Stevenhagen. △ Less

Submitted 10 December, 2014; v1 submitted 9 July, 2014; originally announced July 2014.

Comments: Updated references to include a paper of Platonov, Zhgun, and Petrunin that gives two curves we had thought had not been found before

MSC Class: 14G05 (Primary) 11G30; 14H25; 14H45 (Secondary)

Journal ref: Bull. London Math. Soc. 47 (2015) 127-135

Genus-2 curves and Jacobians with a given number of points

Authors: Reinier Bröker, Everett W. Howe, Kristin E. Lauter, Peter Stevenhagen

Abstract: We study the problem of efficiently constructing a curve C of genus 2 over a finite field F for which either the curve C itself or its Jacobian has a prescribed number N of F-rational points. In the case of the Jacobian, we show that any `CM-construction' to produce the required genus-2 curves necessarily takes time exponential in the size of its input. On the other hand, we provide an algorit… ▽ More We study the problem of efficiently constructing a curve C of genus 2 over a finite field F for which either the curve C itself or its Jacobian has a prescribed number N of F-rational points. In the case of the Jacobian, we show that any `CM-construction' to produce the required genus-2 curves necessarily takes time exponential in the size of its input. On the other hand, we provide an algorithm for producing a genus-2 curve with a given number of points that, heuristically, takes polynomial time for most input values. We illustrate the practical applicability of this algorithm by constructing a genus-2 curve having exactly 10^2014 + 9703 (prime) points, and two genus-2 curves each having exactly 10^2013 points. In an appendix we provide a complete parametrization, over an arbitrary base field k of characteristic neither 2 nor 3, of the family of genus-2 curves over k that have k-rational degree-3 maps to elliptic curves, including formulas for the genus-2 curves, the associated elliptic curves, and the degree-3 maps. △ Less

Submitted 10 August, 2014; v1 submitted 26 March, 2014; originally announced March 2014.

Comments: Made a number of clarifications and corrected some typographical errors

MSC Class: Primary 14K22; Secondary 11G15; 11G20; 14G15

Journal ref: LMS J. Comput. Math. 18 (2015) 170-197

New methods for bounding the number of points on curves over finite fields

Authors: Everett W. Howe, Kristin E. Lauter

Abstract: We provide new upper bounds on N_q(g), the maximum number of rational points on a smooth absolutely irreducible genus-g curve over F_q, for many values of q and g. Among other results, we find that N_4(7) = 21 and N_8(5) = 29, and we show that a genus-12 curve over F_2 having 15 rational points must have characteristic polynomial of Frobenius equal to one of three explicitly given possibilities.… ▽ More We provide new upper bounds on N_q(g), the maximum number of rational points on a smooth absolutely irreducible genus-g curve over F_q, for many values of q and g. Among other results, we find that N_4(7) = 21 and N_8(5) = 29, and we show that a genus-12 curve over F_2 having 15 rational points must have characteristic polynomial of Frobenius equal to one of three explicitly given possibilities. We also provide sharp upper bounds for the lengths of the shortest vectors in Hermitian lattices of small rank and determinant over the maximal orders of small imaginary quadratic fields of class number 1. Some of our intermediate results can be interpreted in terms of Mordell-Weil lattices of constant elliptic curves over one-dimensional function fields over finite fields. Using the Birch and Swinnerton-Dyer conjecture for such elliptic curves, we deduce lower bounds on the orders of certain Shafarevich-Tate groups. △ Less

Submitted 29 February, 2012; v1 submitted 28 February, 2012; originally announced February 2012.

Comments: LaTeX, 35 pages

MSC Class: 11G20 (Primary) 14G05; 14G10; 14G15 (Secondary)

Journal ref: pp. 173--212 in: Geometry and Arithmetic (C. Faber, G. Farkas, and R. de Jong, eds.), European Mathematical Society, 2012

New bounds on the maximum number of points on genus-4 curves over small finite fields

Authors: Everett W. Howe

Abstract: For prime powers q<100, we compute new upper and lower bounds on N_q(4), the maximal number of points on a genus-4 curve over a finite field with q elements. We determine the exact value of N_q(4) for 17 prime powers q for which the value was previously unknown. For prime powers q<100, we compute new upper and lower bounds on N_q(4), the maximal number of points on a genus-4 curve over a finite field with q elements. We determine the exact value of N_q(4) for 17 prime powers q for which the value was previously unknown. △ Less

Submitted 8 March, 2012; v1 submitted 26 August, 2011; originally announced August 2011.

Comments: 18 pages. Differences from preceding version: Did some general copyediting; fixed broken links; added argument for a case that had been inadvertently omitted from the write-up

MSC Class: 11G20 (Primary) 14G05; 14G10; 14G15 (Secondary)

Genus bounds for curves with fixed Frobenius eigenvalues

Authors: Noam D. Elkies, Everett W. Howe, Christophe Ritzenthaler

Abstract: For every finite collection C of abelian varieties over F_q, we produce an explicit upper bound on the genus of curves over F_q whose Jacobians are isogenous to a product of powers of elements of C. For every finite collection C of abelian varieties over F_q, we produce an explicit upper bound on the genus of curves over F_q whose Jacobians are isogenous to a product of powers of elements of C. △ Less

Submitted 9 January, 2012; v1 submitted 4 June, 2010; originally announced June 2010.

Comments: 14 pages. The new version includes new references to papers with related results; also, the main result has been greatly improved, thanks to an argument suggested by Zeev Rudnick and Sergei Konyagin

MSC Class: 14G10; 11G20; 14G15; 14H25

Journal ref: Proc. Amer. Math. Soc. 142 (2014) 71-84

Lower bounds on the lengths of double-base representations

Authors: Vassil S. Dimitrov, Everett W. Howe

Abstract: A double-base representation of an integer n is an expression n = n_1 + ... + n_r, where the n_i are (positive or negative) integers that are divisible by no primes other than 2 or 3; the length of the representation is the number r of terms. It is known that there is a constant a > 0 such that every integer n has a double-base representation of length at most a log n / log log n. We show that the… ▽ More A double-base representation of an integer n is an expression n = n_1 + ... + n_r, where the n_i are (positive or negative) integers that are divisible by no primes other than 2 or 3; the length of the representation is the number r of terms. It is known that there is a constant a > 0 such that every integer n has a double-base representation of length at most a log n / log log n. We show that there is a constant c > 0 such that there are infinitely many integers n whose shortest double-base representations have length greater than c log n / (log log n log log log n). Our methods allow us to find the smallest positive integers with no double-base representations of several lengths. In particular, we show that 103 is the smallest positive integer with no double-base representation of length 2, that 4985 is the smallest positive integer with no double-base representation of length 3, that 641687 is the smallest positive integer with no double-base representation of length 4, and that 326552783 is the smallest positive integer with no double-base representation of length 5. △ Less

Submitted 2 February, 2011; v1 submitted 23 January, 2010; originally announced January 2010.

Comments: 8 pages, LaTeX. Added DOIs for most references; corrected a minor error in arithmetic; made small copy-editing changes. To appear in Proc. Amer. Math. Soc

MSC Class: 11A67; 11A63

Journal ref: Proc. Amer. Math. Soc. 139 (2011), 3423-3430

Characteristic polynomials of automorphisms of hyperelliptic curves

Authors: Robert M. Guralnick, Everett W. Howe

Abstract: Let alpha be an automorphism of a hyperelliptic curve C of genus g, and let alpha' be the automorphism of P^1 induced by alpha. Let n be the order of alpha and let n' be the order of alpha'. We show that the triple (g,n,n') completely determines the characteristic polynomial of the automorphism alpha^* of the Jacobian of C, unless n is even, n=n', and (2g+2)/n is even, in which case there are tw… ▽ More Let alpha be an automorphism of a hyperelliptic curve C of genus g, and let alpha' be the automorphism of P^1 induced by alpha. Let n be the order of alpha and let n' be the order of alpha'. We show that the triple (g,n,n') completely determines the characteristic polynomial of the automorphism alpha^* of the Jacobian of C, unless n is even, n=n', and (2g+2)/n is even, in which case there are two possibilities. We give explicit formulas for the characteristic polynomial in all cases. △ Less

Submitted 3 April, 2008; originally announced April 2008.

Comments: LaTeX, 11 pages

MSC Class: 14H37 (Primary); 14H40 (Secondary)

Journal ref: pp. 101-112 in: Arithmetic, Geometry, Cryptography and Coding Theory (G. Lachaud, C. Ritzenthaler, and M. A. Tsfasman, eds.), Contemporary Mathematics 487, American Mathematical Society, Providence, RI, 2009

Nonisomorphic curves that become isomorphic over extensions of coprime degrees

Authors: Daniel Goldstein, Robert M. Guralnick, Everett W. Howe, Michael E. Zieve

Abstract: We show that one can find two nonisomorphic curves over a field K that become isomorphic to one another over two finite extensions of K whose degrees over K are coprime to one another. More specifically, let K_0 be an arbitrary prime field and let r and s be integers greater than 1 that are coprime to one another. We show that one can find a finite extension K of K_0, a degree-r extension L of… ▽ More We show that one can find two nonisomorphic curves over a field K that become isomorphic to one another over two finite extensions of K whose degrees over K are coprime to one another. More specifically, let K_0 be an arbitrary prime field and let r and s be integers greater than 1 that are coprime to one another. We show that one can find a finite extension K of K_0, a degree-r extension L of K, a degree-s extension M of K, and two curves C and D over K such that C and D become isomorphic to one another over L and over M, but not over any proper subextensions of L/K or M/K. We show that such C and D can never have genus 0, and that if K is finite, C and D can have genus 1 if and only if {r,s} = {2,3} and K is an odd-degree extension of F_3. On the other hand, when {r,s}={2,3} we show that genus-2 examples occur in every characteristic other than 3. Our detailed analysis of the case {r,s} = {2,3} shows that over every finite field K there exist nonisomorphic curves C and D that become isomorphic to one another over the quadratic and cubic extensions of K. Most of our proofs rely on Galois cohomology. Without using Galois cohomology, we show that two nonisomorphic genus-0 curves over an arbitrary field remain nonisomorphic over every odd-degree extension of the base field. △ Less

Submitted 19 May, 2008; v1 submitted 30 January, 2008; originally announced January 2008.

Comments: LaTeX, 32 pages. Further references added to the discussion in Section 10

MSC Class: 14H37 (Primary) 14H25; 14H45 (Secondary)

Journal ref: J. Algebra 320 (2008) 2526-2558

Jacobians in isogeny classes of abelian surfaces over finite fields

Authors: Everett W. Howe, Enric Nart, Christophe Ritzenthaler

Abstract: We give a complete answer to the question of which polynomials occur as the characteristic polynomials of Frobenius for genus-2 curves over finite fields. We give a complete answer to the question of which polynomials occur as the characteristic polynomials of Frobenius for genus-2 curves over finite fields. △ Less

Submitted 3 April, 2007; v1 submitted 20 July, 2006; originally announced July 2006.

Comments: LaTeX, 38 pages. Intermediate results in Section 13 have been generalized. Minor changes elsewhere

MSC Class: 11G20 (Primary) 14G10; 14G15 (Secondary)

Journal ref: Ann. Inst. Fourier (Grenoble) 59 (2009) 239-289

Supersingular genus-two curves over fields of characteristic three

Authors: Everett W. Howe

Abstract: Let C be a supersingular genus-2 curve over an algebraically closed field of characteristic 3. We show that if C is not isomorphic to the curve y^2 = x^5 + 1 then up to isomorphism there are exactly 20 degree-3 maps phi from C to the elliptic curve E with j-invariant 0. We study the coarse moduli space of triples (C,E,phi), paying particular attention to questions of rationality. The results we… ▽ More Let C be a supersingular genus-2 curve over an algebraically closed field of characteristic 3. We show that if C is not isomorphic to the curve y^2 = x^5 + 1 then up to isomorphism there are exactly 20 degree-3 maps phi from C to the elliptic curve E with j-invariant 0. We study the coarse moduli space of triples (C,E,phi), paying particular attention to questions of rationality. The results we obtain allow us to determine, for every finite field k of characteristic 3, the polynomials that occur as Weil polynomials of supersingular genus-2 curves over k. △ Less

Submitted 19 April, 2006; originally announced April 2006.

Comments: 20 pages, LaTeX

MSC Class: 11G20 (Primary) 14G10; 14G15 (Secondary)

Journal ref: pp. 49-69 in: Computational Arithmetic Geometry (K. E. Lauter and K. A. Ribet, eds.), Contemporary Mathematics 463, American Mathematical Society, Providence, RI, 2008

Principally polarizable isogeny classes of abelian surfaces over finite fields

Authors: Everett W. Howe, Daniel Maisner, Enric Nart, Christophe Ritzenthaler

Abstract: Let A be an isogeny class of abelian surfaces over F_q with Weil polynomial x^4 + ax^3 + bx^2 + aqx + q^2. We show that A does not contain a surface that has a principal polarization if and only if a^2 - b = q and b < 0 and all prime divisors of b are congruent to 1 modulo 3. We use this result in a forthcoming paper in which we determine which isogeny classes of abelian surfaces over finite fie… ▽ More Let A be an isogeny class of abelian surfaces over F_q with Weil polynomial x^4 + ax^3 + bx^2 + aqx + q^2. We show that A does not contain a surface that has a principal polarization if and only if a^2 - b = q and b < 0 and all prime divisors of b are congruent to 1 modulo 3. We use this result in a forthcoming paper in which we determine which isogeny classes of abelian surfaces over finite fields contain Jacobians. △ Less

Submitted 27 February, 2006; originally announced February 2006.

MSC Class: 11G10; 11G25; 14G15

Journal ref: Math. Res. Lett. 15 (2008) 121-127

Pointless curves of genus three and four

Authors: Everett W. Howe, Kristin E. Lauter, Jaap Top

Abstract: A curve over a field k is pointless if it has no k-rational points. We show that there exist pointless genus-3 hyperelliptic curves over a finite field F_q if and only if q < 26, that there exist pointless smooth plane quartics over F_q if and only if either q < 24 or q = 29 or q = 32, and that there exist pointless genus-4 curves over F_q if and only if q < 50. A curve over a field k is pointless if it has no k-rational points. We show that there exist pointless genus-3 hyperelliptic curves over a finite field F_q if and only if q < 26, that there exist pointless smooth plane quartics over F_q if and only if either q < 24 or q = 29 or q = 32, and that there exist pointless genus-4 curves over F_q if and only if q < 50. △ Less

Submitted 10 March, 2004; originally announced March 2004.

Comments: LaTeX, 15 pages

MSC Class: 11G20; 14G05; 14G10; 14G15

Journal ref: pp. 125-141 in: Algebra, Geometry, and Coding Theory (AGCT 2003) (Y. Aubry and G. Lachaud, eds.), Seminaires et Congres 11, Societe Mathematique de France, Paris, 2005

Infinite families of pairs of curves over Q with isomorphic Jacobians

Authors: Everett W. Howe

Abstract: We present three families of pairs of geometrically non-isomorphic curves whose Jacobians are isomorphic to one another as unpolarized abelian varieties. Each family is parametrized by an open subset of P^1. The first family consists of pairs of genus-2 curves whose equations are given by simple expressions in the parameter; the curves in this family have reducible Jacobians. The second family a… ▽ More We present three families of pairs of geometrically non-isomorphic curves whose Jacobians are isomorphic to one another as unpolarized abelian varieties. Each family is parametrized by an open subset of P^1. The first family consists of pairs of genus-2 curves whose equations are given by simple expressions in the parameter; the curves in this family have reducible Jacobians. The second family also consists of pairs of genus-2 curves, but generically the curves in this family have absolutely simple Jacobians. The third family consists of pairs of genus-3 curves, one member of each pair being a hyperelliptic curve and the other a plane quartic. Examples from these families show that in general it is impossible to tell from the Jacobian of a genus-2 curve over Q whether or not the curve has rational points -- or indeed whether or not it has real points. Our constructions depend on earlier joint work with Franck Leprevost and Bjorn Poonen, and on Peter Bending's explicit description of the curves of genus 2 whose Jacobians have real multiplication by Z[\sqrt{2}]. △ Less

Submitted 13 May, 2003; v1 submitted 28 April, 2003; originally announced April 2003.

Comments: LaTex, 20 pages. Excluded some degenerate cases from Theorem 2, improved the exposition, simplified some examples, added an application, and included links to Magma code

MSC Class: 14H40; 11G30; 14H45

Journal ref: J. London Math. Soc. 72 (2005) 327-350

Curves of every genus with many points, II: Asymptotically good families

Authors: Noam D. Elkies, Everett W. Howe, Andrew Kresch, Bjorn Poonen, Joseph L. Wetherell, Michael E. Zieve

Abstract: We resolve a 1983 question of Serre by constructing curves with many points of every genus over every finite field. More precisely, we show that for every prime power q there is a positive constant c_q with the following property: for every non-negative integer g, there is a genus-g curve over F_q with at least c_q * g rational points over F_q. Moreover, we show that there exists a positive cons… ▽ More We resolve a 1983 question of Serre by constructing curves with many points of every genus over every finite field. More precisely, we show that for every prime power q there is a positive constant c_q with the following property: for every non-negative integer g, there is a genus-g curve over F_q with at least c_q * g rational points over F_q. Moreover, we show that there exists a positive constant d such that for every q we can choose c_q = d * (log q). We show also that there is a constant c > 0 such that for every q and every n > 0, and for every sufficiently large g, there is a genus-g curve over F_q that has at least c*g/n rational points and whose Jacobian contains a subgroup of rational points isomorphic to (Z/nZ)^r for some r > c*g/n. △ Less

Submitted 7 August, 2002; originally announced August 2002.

Comments: LaTeX, 18 pages

MSC Class: 14G05 (Primary) 11G20; 14G15 (Secondary)

Journal ref: Duke Math. J. 122, no. 2 (2004), 399--422

Improved upper bounds for the number of points on curves over finite fields

Authors: Everett W. Howe, Kristin E. Lauter

Abstract: We give new arguments that improve the known upper bounds on the maximal number N_q(g) of rational points of a curve of genus g over a finite field F_q for a number of pairs (q,g). Given a pair (q,g) and an integer N, we determine the possible zeta functions of genus-g curves over F_q with N points, and then deduce properties of the curves from their zeta functions. In many cases we can show tha… ▽ More We give new arguments that improve the known upper bounds on the maximal number N_q(g) of rational points of a curve of genus g over a finite field F_q for a number of pairs (q,g). Given a pair (q,g) and an integer N, we determine the possible zeta functions of genus-g curves over F_q with N points, and then deduce properties of the curves from their zeta functions. In many cases we can show that a genus-g curve over F_q with N points must have a low-degree map to another curve over F_q, and often this is enough to give us a contradiction. In particular, we able to provide eight previously unknown values of N_q(g), namely: N_4(5) = 17, N_4(10) = 27, N_8(9) = 45, N_{16}(4) = 45, N_{128}(4) = 215, N_3(6) = 14, N_9(10) = 54, and N_{27}(4) = 64. Our arguments also allow us to give a non-computer-intensive proof of the recent result of Savitt that there are no genus-4 curves over F_8 having exactly 27 rational points. Furthermore, we show that there is an infinite sequence of q's such that for every g with 0 < g < log_2 q, the difference between the Weil-Serre bound on N_q(g) and the actual value of N_q(g) is at least g/2. △ Less

Submitted 24 January, 2007; v1 submitted 11 July, 2002; originally announced July 2002.

Comments: LaTex, 40 pages. There was a mistake in Section 7 that invalidated the proofs of two of our results. We correct the error in Section 7, and add an appendix with new proofs of the two results

MSC Class: 11G20 (Primary) 14G05; 14G10; 14G15 (Secondary)

Journal ref: Ann. Inst. Fourier (Grenoble) 53, fasc. 6 (2003), 1677-1737; Corrigendum, Ann. Inst. Fourier (Grenoble) 57 (2007) 1019-1021

On the nonexistence of certain curves of genus two

Authors: Everett W. Howe

Abstract: We prove that if q is a power of an odd prime then there is no genus-2 curve over F_q whose Jacobian has characteristic polynomial of Frobenius equal to x^4 + (2-2q)x^2 + q^2. Our proof uses the Brauer relations in a biquadratic extension of Q to show that every principally polarized abelian surface over F_q with the given characteristic polynomial splits over F_{q^2} as a product of polarized e… ▽ More We prove that if q is a power of an odd prime then there is no genus-2 curve over F_q whose Jacobian has characteristic polynomial of Frobenius equal to x^4 + (2-2q)x^2 + q^2. Our proof uses the Brauer relations in a biquadratic extension of Q to show that every principally polarized abelian surface over F_q with the given characteristic polynomial splits over F_{q^2} as a product of polarized elliptic curves. △ Less

Submitted 31 January, 2002; originally announced January 2002.

Comments: LaTeX, 13 pages

MSC Class: 11G20 (Primary); 11G10; 11R65; 14G15; 14H25 (Secondary)

Journal ref: Compos. Math. 140 (2004) 581--592

Appendix to a paper of Maisner and Nart

Authors: Everett W. Howe

Abstract: We prove that there is no genus-2 curve over F_q whose Jacobian has characteristic polynomial of Frobenius equal to x^4 + (1 - 2q) x^2 + q^2. Maisner and Nart had observed (by direct computation) that this was true for all q less than 65. We prove that there is no genus-2 curve over F_q whose Jacobian has characteristic polynomial of Frobenius equal to x^4 + (1 - 2q) x^2 + q^2. Maisner and Nart had observed (by direct computation) that this was true for all q less than 65. △ Less

Submitted 1 November, 2001; originally announced November 2001.

Comments: 2 pages, Latex. To appear in Experiment. Math

MSC Class: 11G20; 14G15 (Primary) 11G10; 14H25 (Secondary)

Journal ref: Experiment. Math. 11 (2002) 321--337.

On the group orders of elliptic curves over finite fields

Authors: Everett W. Howe

Abstract: Given a prime power q, for every pair of positive integers m and n with m dividing the GCD of n and q-1, we construct a modular curve over F_q that parametrizes elliptic curves over F_q along with F_q-defined points P and Q of order m and n, respectively, with P and (n/m)Q having a given Weil pairing. Using these curves, we estimate the number of elliptic curves over F_q that have a given intege… ▽ More Given a prime power q, for every pair of positive integers m and n with m dividing the GCD of n and q-1, we construct a modular curve over F_q that parametrizes elliptic curves over F_q along with F_q-defined points P and Q of order m and n, respectively, with P and (n/m)Q having a given Weil pairing. Using these curves, we estimate the number of elliptic curves over F_q that have a given integer N dividing the number of their F_q-defined points. △ Less

Submitted 24 October, 2001; originally announced October 2001.

Comments: 18 pages, LaTeX. This is a preprint version from 1992

MSC Class: 11G20 (Primary) 14G15; 14H52 (Secondary)

Journal ref: Compositio Math. 85 (1993) 229--247

Isogeny classes of abelian varieties with no principal polarizations

Authors: Everett W. Howe

Abstract: We provide a simple method of constructing isogeny classes of abelian varieties over certain fields $k$ such that no variety in the isogeny class has a principal polarization. In particular, given a field $k$, a Galois extension $\ell$ of $k$ of odd prime degree $p$, and an elliptic curve $E$ over $k$ that has no complex multiplication over $k$ and that has no $k$-defined $p$-isogenies to another… ▽ More We provide a simple method of constructing isogeny classes of abelian varieties over certain fields $k$ such that no variety in the isogeny class has a principal polarization. In particular, given a field $k$, a Galois extension $\ell$ of $k$ of odd prime degree $p$, and an elliptic curve $E$ over $k$ that has no complex multiplication over $k$ and that has no $k$-defined $p$-isogenies to another elliptic curve, we construct a simple $(p-1)$-dimensional abelian variety $X$ over $k$ such that every polarization of every abelian variety isogenous to $X$ has degree divisible by $p^2$. We note that for every odd prime $p$ and every number field $k$, there exist $\ell$ and $E$ as above. We also provide a general framework for determining which finite group schemes occur as kernels of polarizations of abelian varieties in a given isogeny class. Our construction was inspired by a similar construction of Silverberg and Zarhin; their construction requires that the base field $k$ have positive characteristic and that there be a Galois extension of $k$ with a certain non-abelian Galois group. Note: Theorem 3.2 in this paper is incorrect. The current version of the paper includes comments explaining the mistake. △ Less

Submitted 10 December, 2022; v1 submitted 28 February, 2000; originally announced February 2000.

Comments: This version highlights an error in the paper, and includes marginal notes pointing out the incorrect result and the error in the proof

MSC Class: 14K02 (Primary) 11G10; 14K15 (Secondary)

Journal ref: pp. 203--216 in: Moduli of Abelian Varieties (Carel Faber, Gerard van der Geer, and Frans Oort, eds.), Progr. Math 195, Birkhäuser, Basel, 2001

On the existence of absolutely simple abelian varieties of a given dimension over an arbitrary field

Authors: Everett W. Howe, Hui June Zhu

Abstract: We prove that for every field k and every positive integer n, there exists an absolutely simple n-dimensional abelian variety over k. We also prove an asymptotic result for finite fields: For every finite field k and positive integer n, we let S(k,n) denote the fraction of the isogeny classes of n-dimensional abelian varieties over k that consist of absolutely simple ordinary abelian varieties.… ▽ More We prove that for every field k and every positive integer n, there exists an absolutely simple n-dimensional abelian variety over k. We also prove an asymptotic result for finite fields: For every finite field k and positive integer n, we let S(k,n) denote the fraction of the isogeny classes of n-dimensional abelian varieties over k that consist of absolutely simple ordinary abelian varieties. Then for every n, the quantity S(F_q,n) approaches 1 as q approaches infinity over the prime powers. △ Less

Submitted 24 February, 2000; originally announced February 2000.

Comments: 17 pages, AMS-LaTeX

MSC Class: 14G15 (Primary) 11G10; 14K15 (Secondary)

Journal ref: J. Number Theory 92 (2002) 139--163.

Higher-order Carmichael numbers

Authors: Everett W. Howe

Abstract: We define a Carmichael number of order m to be a composite integer n such that nth-power raising defines an endomorphism of every Z/nZ-algebra that can be generated as a Z/nZ-module by m elements. We give a simple criterion to determine whether a number is a Carmichael number of order m, and we give a heuristic argument (based on an argument of Erdos for the usual Carmichael numbers) that indica… ▽ More We define a Carmichael number of order m to be a composite integer n such that nth-power raising defines an endomorphism of every Z/nZ-algebra that can be generated as a Z/nZ-module by m elements. We give a simple criterion to determine whether a number is a Carmichael number of order m, and we give a heuristic argument (based on an argument of Erdos for the usual Carmichael numbers) that indicates that for every m there should be infinitely many Carmichael numbers of order m. The argument suggests a method for finding examples of higher-order Carmichael numbers; we use the method to provide examples of Carmichael numbers of order 2. △ Less

Submitted 16 December, 1998; originally announced December 1998.

Comments: 9 pages, AMS-LaTeX

MSC Class: 11A51 (Primary) 11N25; 11Y11; 13B40 (Secondary)

Journal ref: Math. Comp. 69 (2000) 1711--1719.

Large torsion subgroups of split Jacobians of curves of genus two or three

Authors: Everett W. Howe, Franck Leprevost, Bjorn Poonen

Abstract: We construct examples of families of curves of genus 2 or 3 over Q whose Jacobians split completely and have various large rational torsion subgroups. For example, the rational points on a certain elliptic surface over P^1 of positive rank parameterize a family of genus-2 curves over Q whose Jacobians each have 128 rational torsion points. Also, we find the genus-3 curve 15625(X^4 + Y^4 + Z^4) -… ▽ More We construct examples of families of curves of genus 2 or 3 over Q whose Jacobians split completely and have various large rational torsion subgroups. For example, the rational points on a certain elliptic surface over P^1 of positive rank parameterize a family of genus-2 curves over Q whose Jacobians each have 128 rational torsion points. Also, we find the genus-3 curve 15625(X^4 + Y^4 + Z^4) - 96914(X^2 Y^2 + X^2 Z^2 + Y^2 Z^2) = 0, whose Jacobian has 864 rational torsion points. This paper has appeared in Forum Math. 12 (2000) 315-364. △ Less

Submitted 7 September, 1998; originally announced September 1998.

Report number: ANT-0057

Journal ref: Forum Math. 12, no. 3 (2000), 315--364

Plane quartics with Jacobians isomorphic to a hyperelliptic Jacobian

Authors: Everett W. Howe

Abstract: We show how for every integer n one can explicitly construct n distinct plane quartics and one hyperelliptic curve over the complex numbers all of whose Jacobians are isomorphic to one another as abelian varieties without polarization. When we say that the curves can be constructed ``explicitly'', we mean that the coefficients of the defining equations of the curves are simple rational expressio… ▽ More We show how for every integer n one can explicitly construct n distinct plane quartics and one hyperelliptic curve over the complex numbers all of whose Jacobians are isomorphic to one another as abelian varieties without polarization. When we say that the curves can be constructed ``explicitly'', we mean that the coefficients of the defining equations of the curves are simple rational expressions in algebraic numbers in R whose minimal polynomials over Q can be given exactly and whose decimal approximations can be given to as many places as is necessary to distinguish them from their conjugates. We also prove a simply-stated theorem that allows one to decide whether or not two plane quartics over the complex numbers, each with a pair of commuting involutions, are isomorphic to one another. △ Less

Submitted 27 May, 1998; originally announced May 1998.

Comments: 11 pages, AMS-LaTeX

MSC Class: 14H40; 14H45

Journal ref: Proc. Amer. Math. Soc. 129 (2001) 1647--1657.

Real polynomials with all roots on the unit circle and abelian varieties over finite fields

Authors: Stephen A. DiPippo, Everett W. Howe

Abstract: In this paper we prove several theorems about abelian varieties over finite fields by studying the set of monic real polynomials of degree 2n all of whose roots lie on the unit circle. In particular, we consider a set V_n of vectors in R^n that give the coefficients of such polynomials. We calculate the volume of V_n and we find a large easily-described subset of V_n. Using these results, we fin… ▽ More In this paper we prove several theorems about abelian varieties over finite fields by studying the set of monic real polynomials of degree 2n all of whose roots lie on the unit circle. In particular, we consider a set V_n of vectors in R^n that give the coefficients of such polynomials. We calculate the volume of V_n and we find a large easily-described subset of V_n. Using these results, we find an asymptotic formula --- with explicit error terms --- for the number of isogeny classes of n-dimensional abelian varieties over F_q. We also show that if n>1, the set of group orders of n-dimensional abelian varieties over F_q contains every integer in an interval of length roughly q^{n-1/2} centered at q^n+1. Our calculation of the volume of V_n involves the evaluation of the integral over the simplex {(x_1,...,x_n) | 0 < x_1 < ... < x_n < 1} of the determinant of the n-by-n matrix whose (i,j)th entry is x_j^{e_i-1}, where the e_i are positive real numbers. △ Less

Submitted 12 June, 2000; v1 submitted 21 March, 1998; originally announced March 1998.

Comments: 20 pages, AMS-TeX. Theorem 1.2 and Proposition 3.2.1 are corrected

MSC Class: 11G10 (Primary) 11G25 14G15 33B15 (Secondary)

Journal ref: J. Number Theory 73 (1998) 426--450; Corrigendum, J. Number Theory 83 (2000) 182