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.     

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 Jacquet-Langlands isogeny over function fields

We propose a conjectural explicit isogeny from the Jacobians of hyperelliptic Drinfeld modular curves to the Jacobians of hyperelliptic modular curves of D-elliptic sheaves. The kernel of the isogeny is a subgroup of the cuspidal divisor group constructed by examining the canonical maps from the cuspidal divisor group into the component groups.     

Torsion on elliptic curves in isogeny classes

Let be an elliptic curve over a number field and its -isogeny class. We are interested in determining the orders and the types of torsion groups in . For a prime , we give the range of possible types of -primary parts of when runs over . One of our results immediately gives a simple proof of a theorem of Katz on the order of maximal -primary torsion in .

     

Linearizing torsion classes in the Picard group of algebraic curves over finite fields

We address the problem of computing in the group of ${?}^k$-torsion rational points of the jacobian variety of algebraic curves over finite fields, with a view toward computing modular representations.     

Isomorphism classes of hyperelliptic curves of genus 2 over finite fields with characteristic 2

In this paper we study the computation of the number of isomorphism classes of hyperelliptic curves of genus 2 over finite fields Fq with q even. We show the formula of the number of isomorphism classes, that is, for q = 2m, if 4 m, then the formula is 2q3 q2 - q; if 4 | m, then the formula is 2q3 q2 - q 8. These results can be used in the classification problems and the hyperelliptic curve cryptosystems.     

Equivalence classes of matrices over finite fields

Let F=GF(q) denote the finite field of order q, and F_mn the ring of m×n matrices over F. Let Ω be a group of permutations of F. If A,B∈F_mn, then A is equivalent to B relative to Ω if there exists ?∈Ω such that ?(a_ij) = b_ij. Formulas are given for the number of equivalence classes of a given order and for the total number of classes induced by various permutation groups. In particular, formulas are given if Ω is the symmetric group on q letters, a cyclic group, or a direct sum of cyclic groups.     

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}$.     

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 → ∞.      

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.     

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.     

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.     

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.