369 research outputs found
Group law computations on Jacobians of hyperelliptic curves
We derive an explicit method of computing the composition step in Cantor’s algorithm for group operations on Jacobians of hyperelliptic curves. Our technique is inspired by the geometric description of the group law and applies to hyperelliptic curves of arbitrary genus. While Cantor’s general composition involves arithmetic in the polynomial ring F_q[x], the algorithm we propose solves a linear system over the base field which can be written down directly from the Mumford coordinates of the group elements. We apply this method to give more efficient formulas for group operations in both affine and projective coordinates for cryptographic systems based on Jacobians of genus 2 hyperelliptic curves in general form
Computing N\'eron-Tate heights of points on hyperelliptic Jacobians
It was shown by Faltings and Hriljac that the N\'eron-Tate height of a point
on the Jacobian of a curve can be expressed as the self-intersection of a
corresponding divisor on a regular model of the curve. We make this explicit
and use it to give an algorithm for computing N\'eron-Tate heights on Jacobians
of hyperelliptic curves. To demonstrate the practicality of our algorithm, we
illustrate it by computing N\'eron-Tate heights on Jacobians of hyperelliptic
curves of genus from 1 to 9.Comment: 13 pages. v5: As kindly pointed out by Raymond van Bommel, the height
is computed in this paper with respect to twice the theta divisor, not the
theta divisor itself (as written in v4
Discrete logarithms in curves over finite fields
A survey on algorithms for computing discrete logarithms in Jacobians of
curves over finite fields
A Generic Approach to Searching for Jacobians
We consider the problem of finding cryptographically suitable Jacobians. By
applying a probabilistic generic algorithm to compute the zeta functions of low
genus curves drawn from an arbitrary family, we can search for Jacobians
containing a large subgroup of prime order. For a suitable distribution of
curves, the complexity is subexponential in genus 2, and O(N^{1/12}) in genus
3. We give examples of genus 2 and genus 3 hyperelliptic curves over prime
fields with group orders over 180 bits in size, improving previous results. Our
approach is particularly effective over low-degree extension fields, where in
genus 2 we find Jacobians over F_{p^2) and trace zero varieties over F_{p^3}
with near-prime orders up to 372 bits in size. For p = 2^{61}-1, the average
time to find a group with 244-bit near-prime order is under an hour on a PC.Comment: 22 pages, to appear in Mathematics of Computatio
The arithmetic of Prym varieties in genus 3
Given a curve of genus 3 with an unramified double cover, we give an explicit
description of the associated Prym-variety. We also describe how an unramified
double cover of a non-hyperelliptic genus 3 curve can be mapped into the
Jacobian of a curve of genus 2 over its field of definition and how this can be
used to do Chabauty- and Brauer-Manin type calculations for curves of genus 5
with an unramified involution. As an application, we determine the rational
points on a smooth plane quartic with no particular geometric properties and
give examples of curves of genus 3 and 5 violating the Hasse-principle. We also
show how these constructions can be used to design smooth plane quartics with
specific arithmetic properties. As an example, we give a smooth plane quartic
with all 28 bitangents defined over Q(t).Comment: 21 page
The arithmetic of hyperelliptic curves
We summarise recent advances in techniques for solving Diophantine problems on hyperelliptic curves; in particular, those for finding the rank of the Jacobian, and the set of rational points on the curve
Computing isogenies between Jacobian of curves of genus 2 and 3
We present a quasi-linear algorithm to compute isogenies between Jacobians of
curves of genus 2 and 3 starting from the equation of the curve and a maximal
isotropic subgroup of the l-torsion, for l an odd prime number, generalizing
the V\'elu's formula of genus 1. This work is based from the paper "Computing
functions on Jacobians and their quotients" of Jean-Marc Couveignes and Tony
Ezome. We improve their genus 2 case algorithm, generalize it for genus 3
hyperelliptic curves and introduce a way to deal with the genus 3
non-hyperelliptic case, using algebraic theta functions.Comment: 34 page
- …