On the instability of the Riemann hypothesis for curves over finite fields

We show that it is possible to approximate the zeta-function of a curve over a finite field by meromorphic functions which satisfy the same functional equation and moreover satisfy (respectively do not satisfy) an analog of the Riemann hypothesis. In the other direction, it is possible to approximate holomorphic functions by simple manipulations of such a zeta-function. No number theory is required to understand the theorems and their proofs, for it is known that the zeta-functions of curves over finite fields are very explicit meromorphic functions. We study the approximation properties of these meromorphic functions.     

On the size of the Jacobians of curves over finite fields

Abdract  Given a smooth curve of genus g ≥ 1 which admits a smooth projective embedding of dimension m over the ground field of q elements, we obtain the asymptotic formula q ^g+o(g) for the size of set of the -rational points on its Jacobian in the case when m and q are bounded and g → ∞. We also obtain a similar result for curves of bounded gonality. For example, this applies to the Jacobian of a hyperelliptic curve of genus g → ∞.      

Non-hyperelliptic curves of genus three over finite fields of characteristic two

Let k be a finite field of even characteristic. We obtain in this paper a complete classification, up to k-isomorphism, of non-singular quartic plane curves defined over k. We find explicit rational models and closed formulas for the total number of k-isomorphism classes. We deduce from these computations the number of k-rational points of the different strata by the Newton polygon of the non-hyperelliptic locus of the moduli space M₃ of curves of genus 3. By adding to these computations the results of Oort [Moduli of abelian varieties and Newton polygons, C.R. Acad. Sci. Paris 312 (1991) 385-389] and Nart and Sadornil [Hyperelliptic curves of genus three over finite fields of characteristic two, Finite Fields Appl. 10 (2004) 198-200] on the hyperelliptic locus we obtain a complete picture of these strata for M₃.     

On the isomorphism classes of Legendre elliptic curves over finite fields

In this paper,the number of isomorphism classes of Legendre elliptic curves over finite field is enumerated.     

On isogeny graphs of supersingular elliptic curves over finite fields

We study the isogeny graphs of supersingular elliptic curves over finite fields, with an emphasis on the vertices corresponding to elliptic curves of j-invariant 0 and 1728.     

Maximality of Ciani curves over finite fields

In this paper, we will study Ciani curves in characteristic $p\ge 3$, in particular their standard forms $C:x^4+y^4+z^4+r{x}^2{y}^2+s{y}^2{z}^2+t{z}^2{x}^2=0$. It is well-known that any Ciani curve is a non-hyperelliptic curve of genus 3, and its Jacobian variety is isogenous to the product of three elliptic curves. As a main result, we will show that if C is superspecial, then $r,s,t$ belong to ${\mathbb{F}}_{p^2}$ and C is maximal or minimal over ${\mathbb{F}}_{p^2}$. Moreover, in this case we will provide a simple criterion in terms of $r,s,t,p$ that tells whether C is maximal (resp. minimal) over ${\mathbb{F}}_{p^2}$.     

Orchards in elliptic curves over finite fields

Consider a set of n points on a plane. A line containing exactly 3 out of the n points is called a 3-rich line. The classical orchard problem asks for a configuration of the n points on the plane that maximizes the number of 3-rich lines. In this note, using the group law in elliptic curves over finite fields, we exhibit several (infinitely many) group models for orchards wherein the number of 3-rich lines agrees with the expected number given by Green-Tao (or, Burr, Grünbaum and Sloane) formula for the maximum number of lines. We also show, using elliptic curves over finite fields, that there exist infinitely many point-line configurations with the number of 3-rich lines exceeding the expected number given by Green-Tao formula by two, and this is the only other optimal possibility besides the case when the number of 3-rich lines agrees with the Green-Tao formula.     

Lattices from elliptic curves over finite fields

In their well known book [6] Tsfasman and Vladut introduced a construction of a family of function field lattices from algebraic curves over finite fields, which have asymptotically good packing density in high dimensions. In this paper we study geometric properties of lattices from this construction applied to elliptic curves. In particular, we determine the generating sets, conditions for well-roundedness and a formula for the number of minimal vectors. We also prove a bound on the covering radii of these lattices, which improves on the standard inequalities.     

On generalizations of Fermat curves over finite fields and their automorphisms

Let 𝒳 be an irreducible algebraic curve defined over a finite field 𝔽_q of characteristic p>2. Assume that the 𝔽_q-automorphism group of 𝒳 admits a subgroup isomorphic to the direct product of two cyclic groups C_m and C_n of orders m and n prime to p, such that both quotient curves 𝒳∕C_n and 𝒳∕C_m are rational. In this paper, we provide a complete classification of such curves as well as a characterization of their full automorphism groups.     

Nonsingular plane cubic curves over finite fields

We determine the number of projectively inequivalent nonsingular plane cubic curves over a finite field F_q with a fixed number of points defined over F_q. We count these curves by counting elliptic curves over F_q together with a rational point which is annihilated by 3, up to a certain equivalence relation.     

Weak approximation over function fields of curves over large or finite fields

Let K = k(C) be the function field of a curve over a field k and let X be a smooth, projective, separably rationally connected K-variety with ${X(K)\neq\emptyset}Let K = k(C) be the function field of a curve over a field k and let X be a smooth, projective, separably rationally connected K-variety with X(K) 1 ?{X(K)\neq\emptyset}. Under the assumption that X admits a smooth projective model p: X? C{\pi: \mathcal{X}\to C}, we prove the following weak approximation results: (1) if k is a large field, then X(K) is Zariski dense; (2) if k is an infinite algebraic extension of a finite field, then X satisfies weak approximation at places of good reduction; (3) if k is a nonarchimedean local field and R-equivalence is trivial on one of the fibers X_p{\mathcal{X}_p} over points of good reduction, then there is a Zariski dense subset W í C(k){W\subseteq C(k)} such that X satisfies weak approximation at places in W. As applications of the methods, we also obtain the following results over a finite field k: (4) if |k| > 10, then for a smooth cubic hypersurface X/K, the specialization map X(K)? ?_{p ? P}X_p(k(p)){X(K)\longrightarrow \prod_{p\in P}\mathcal{X}_p(\kappa(p))} at finitely many points of good reduction is surjective; (5) if char k 1 2, 3{\mathrm{char}\,k\neq 2,\,3} and |k| > 47, then a smooth cubic surface X over K satisfies weak approximation at any given place of good reduction.     

Bounds for the number of points on curves over finite fields

Let U be a bounded open subset of ?^d, d ≥ 2 and f ∈ C(?U). The Dirichlet solution f^CU of the Dirichlet problem associated with the Laplace equation with a boundary condition f is not continuous on the closure ū of U in general if U is not regular but it is always Baire-one.Let H(U) be the space of all functions continuous on the closure ū and harmonic on U and F(H(U)) be the space of uniformly bounded absolutely convergent series of functions in H(U). We prove that f^CU can be obtained as a uniform limit of a sequence of functions in F(H(U)). Thus f^CU belongs to the subclass B_1/2 of Baire-one functions studied for example in [8]. This is not only an improvement of the result obtained in [10] but it also shows that the Dirichlet solution on the closure ū can share better properties than to be only a Baire-one function. Moreover, our proof is more elementary than that in [10].A generalization to the abstract context of simplicial function space on a metrizable compact space is provided.We conclude the paper with a brief discussion on the solvability of the abstract Dirichlet problem with a boundary condition belonging to the space of differences of bounded semicontinuous functions complementing the results obtained in [17].     

Twists of genus three curves over finite fields

In this article we recall how to describe the twists of a curve over a finite field and we show how to compute the number of rational points on such a twist by methods of linear algebra. We illustrate this in the case of plane quartic curves with at least 16 automorphisms. In particular we treat the twists of the Dyck–Fermat and Klein quartics. Our methods show how in special cases non-Abelian cohomology can be explicitly computed. They also show how questions which appear difficult from a function field perspective can be resolved by using the theory of the Jacobian variety.     

Efficient CM-constructions of elliptic curves over finite fields

We present an algorithm that, on input of an integer together with its prime factorization, constructs a finite field and an elliptic curve over for which has order . Although it is unproved that this can be done for all , a heuristic analysis shows that the algorithm has an expected run time that is polynomial in , where is the number of distinct prime factors of . In the cryptographically relevant case where is prime, an expected run time can be achieved. We illustrate the efficiency of the algorithm by constructing elliptic curves with point groups of order and nextprime.

     

Optimal curves of low genus over finite fields

We investigate maximal and minimal curves of genus 4 and 5 over finite fields with discriminant −11 and −19. As a result the Hasse–Weil–Serre bound is improved.     

Statistics about elliptic curves over finite prime fields

We derive formulas for the probabilities of various properties (cyclicity, squarefreeness, generation by random points) of the point groups of randomly chosen elliptic curves over random prime fields.