Search

A Howe curve is a curve of genus $4$ obtained as the fiber product over $\mathbf{P}^1$ of two elliptic curves. Any Howe curve is canonical. This paper provides an efficient algorithm to find superspecial Howe curves and that to enumerate their isomorphism classes. We discuss not only an algorithm to test the superspeciality but also an algorithm to test isomorphisms for Howe curves. Our algorithms are much more efficient than conventional ones proposed by the authors so far for general canonical curves. We show the existence of a superspecial Howe curve in characteristic $7, Comment: 18 pages. Magma codes used to obtain the main results will be appear at the website of the first author

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., Corrected version; an error in Section 2.5 has been fixed

We show that for every integer $m > 0$, there is an ordinary abelian variety over ${\mathbb F}_2$ that has exactly $m$ rational points., Comment: 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

The Oesterl\'e 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.$, Comment: 8 pages, 3 tables. Minor changes. To appear in J. Number Theory

International audience

Accepted for the Proceedings of ANTS-13; International audience; 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.

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., Comment: Made a number of clarifications and corrected some typographical errors

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., 27 pages, 3 figures. V2 incorporates new data courtesy of Andrew Sutherland

A code \(\mathcal{C}\) of length n over a finite field F q is a subset of the linear space F q n . The code is called linear if it forms a linear subspace of F q n . The minimum distance d of a code is the minimum pairwise separation between two distinct elements of \(\mathcal{C}\) in the Hamming metric, and if the code \(\mathcal{C}\) is linear, then d is equal to the minimum Hamming weight of a nonzero codeword of \(\mathcal{C}\). We use the notation (n, k, d) to refer to the parameters of a linear k-dimensional code of length n and minimum distance d.

We present algorithms for constructing and tabulating degree-‘ dihedral extensions of Fq.x/, where q 1 mod 2‘. We begin with a Kummer-theoretic algorithm for constructing these function fields with prescribed ramification and fixed quadratic resolvent field. This algorithm is based on the proof of our main theorem, which gives an exact count for such fields. We then use this construction method in a tabulation algorithm to construct all degree-‘ dihedral extensions of Fq.x/ up to a given discriminant bound, and we present tabulation data. We also give a formula for the number of degree-‘ dihedral extensions of Fq.x/ with discriminant divisor of degree 2.‘ 1/, the minimum possible.

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.

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., Comment: Version 2: Improved exposition. Version 3: Corrected a typographical error in a covering map

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}]., 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

For any finite field {\small $k=\fq$}, we explicitly describe the k-isogeny classes of abelian surfaces defined over k and their behavior under finite field extension. In particular, we determine the absolutely simple abelian surfaces. Then, we analyze numerically what surfaces are k-isogenous to the Jacobian of a smooth projective curve of genus 2 defined over k. We prove some partial results suggested by these numerical data. For instance, we show that every absolutely simple abelian surface is k-isogenous to a Jacobian. Other facts suggested by these numerical computations are that the polynomials {\small $t^4+(1-2q)t^2+q^2$} (for all q) and {\small $t^4+(2-2q)t^2+q^2$} (for q odd) are never the characteristic polynomial of Frobenius of a Jacobian. These statements have been proved by E. Howe. The proof for the first polynomial is attached in an appendix.

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\'evost 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\"oker, Lauter, and Stevenhagen., Comment: Updated references to include a paper of Platonov, Zhgun, and Petrunin that gives two curves we had thought had not been found before

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., Comment: 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

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., Comment: 11 pages, AMS-LaTeX

Let C be a geometrically irreducible curve over a field k, let k be an algebraic closure of k, and let m be any positive integer not divisible by the characteristic of k. The Jacobian variety J of C comes equipped with a principal p~ar ization A, which is in particular an isomorphism from J to its dual variety J . The polarization A gives us an isomorphism between the m-torsion J m of J and its Cartier dual, and this isomorphism turns the natural pairing Jm • Jm ~ l~m into the Weilpairing em:Jm • ~ I~,n. Suppose D and E are k-divisors on C whose mth powers are principal, say m D = d i v f and mE = div g, where f and y are k-functions on C. The following well-known theorem tells how the Weil pairing on the classes of D and E in Jm(k) can be calculated.

Deligne has shown that there is an equivalence from the category of ordinary abelian varieties over a finite field k k to a category of Z {\mathbf {Z}} -modules with additional structure. We translate several geometric notions, including that of a polarization, into Deligne’s category of Z {\mathbf {Z}} -modules. We use Deligne’s equivalence to characterize the finite group schemes over k k that occur as kernels of polarizations of ordinary abelian varieties in a given isogeny class over k k . Our result shows that every isogeny class of simple odd-dimensional ordinary abelian varieties over a finite field contains a principally polarized variety. We use our result to completely characterize the Weil numbers of the isogeny classes of two-dimensional ordinary abelian varieties over a finite field that do not contain principally polarized varieties. We end by exhibiting the Weil numbers of several isogeny classes of absolutely simple four-dimensional ordinary abelian varieties over a finite field that do not contain principally polarized varieties.

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., Comment: LaTeX, 11 pages

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., LaTeX, 38 pages. Intermediate results in Section 13 have been generalized. Minor changes elsewhere

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., LaTeX, 18 pages

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., 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

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., Comment: LaTeX, 13 pages

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 t 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 p2. We note that for every odd prime p and every number field k, there exist 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.

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.

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., 20 pages, AMS-TeX. Theorem 1.2 and Proposition 3.2.1 are corrected

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., Comment: 9 pages, AMS-LaTeX

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., 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

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., 17 pages, AMS-LaTeX

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., LaTeX, 32 pages. Further references added to the discussion in Section 10

We show that the hyperelliptic curvesy2=x5+x3+x2−x−1 andy2=x5−x3+x2−x−1 over the field with three elements are not geometrically isomorphic, and yet they have isomorphic Jacobian varieties. Furthermore, their Jacobians are absolutely simple. We present a method for constructing further such examples. We also present two curves of genus three, one hyperelliptic and one a plane quartic, that have isomorphic absolutely simple Jacobians

Si f est une fonction croissante, completement multiplicative, alors il existe une constante α telle que f(n)=n + pour tout n≥1. Toute fonction croissante multiplicative est completement multiplicative. On donne une nouvelle demonstration de cette forme equivalente du theoreme d'Erdos

International audience; We study several methods for the numerical computation of Petersson scalar products, and in particular we prove a generalization of Haberland's formula to any subgroup of finite index G of Gamma = PSL_2 (Z), which gives a fast method to compute these scalar products when a Hecke eigenbasis is not necessarily available.

International audience; We present a generalization to genus~2 of the probabilistic algorithm of Sutherland for computing Hilbert class polynomials. The improvement over the Br{ö}ker-Gruenewald-Lauter algorithm for the genus~2 case is that we do not need to find a curve in the isogeny class whose endomorphism ring is the maximal order; rather, we present a probabilistic algorithm for ''going up'' to a maximal curve (a curve with maximal endomorphism ring), once we find any curve in the right isogeny class. Then we use the structure of the Shimura class group and the computation of $(\ell,\ell)$-isogenies to compute all isogenous maximal curves from an initial one. This is an extended version of the article published at ANTS~X.

International audience; We explain how to compute the equations of the abelian coverings of any curve defined over a finite field. Then we describe an algorithm which computes curves with many rational points with respect to their genus. The implementation of the algorithm provides 7 new records over F 2 .

In 1976, Onabe discovered that, in contrast to the Neukirch-Uchida results that were proved around the same time, a number field $K$ is not completely characterized by its absolute abelian Galois group $A_K$. The first examples of non-isomorphic $K$ having isomorphic $A_K$ were obtained on the basis of a classification by Kubota of idele class character groups in terms of their infinite families of Ulm invariants, and did not yield a description of $A_K$. In this paper, we provide a direct `computation' of the profinite group $A_K$ for imaginary quadratic $K$, and use it to obtain many different $K$ that all have the same minimal absolute abelian Galois group., Comment: 17 pages; to appear in the proceedings volume of ANTS-X, San Diego 2012