Related papers: Computing N\'eron-Tate heights of points on hypere…

We define a new canonical height pairing on the rational points of elliptic curves over global function fields which takes values in the multiplicative group of a completion of the function field. This height serves as an analogue of both…

We propose a solution to the hyperelliptic Schottky problem, based on the use of Jacobian Nullwerte and symmetric models for hyperelliptic curves. Both ingredients are interesting on its own, since the first provide period matrices which…

On an abelian scheme over a smooth curve over $\overline{\mathbb Q}$ a symmetric relatively ample line bundle defines a fiberwise N\'eon-Tate height. If the base curve is inside a projective space, we also have a height on its…

It follows from the Grothendieck-Ogg-Shafarevich formula that the rank of an abelian variety (with trivial trace) defined over the function field of a curve is bounded by a quantity which depends on the genus of the base curve and on bad…

We compute the rational points on certain members of the following family of hyperelliptic curves \[C_a \colon y^2 = x^8 + (4-4a^4) x^6 + (8a^4 + 6)x^4 + (4-4a^4)x^2 + 1\] via the method first developed by Dem'yanenko \cite{dem1966rational}…

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…

In this work, we investigate hyperelliptic curves of type $C: y^2 = x^{2g+1} + ax^{g+1} + bx$ over the finite field $\mathbb{F}_q, q = p^n, p > 2$. For the case of $g = 3$ and $4$ we propose algorithms to compute the number of points on the…

Let $\rho$ be a mod $\ell$ Galois representation. We show how to compute $\rho$, given the characteristic polynomial of the image of the Frobenius at one prime $p$ and a curve $C$ whose Jacobian contains $\rho$ in its $\ell$-torsion. The…

Let $C/\mathbb{Q}$ be a genus $2$ curve whose Jacobian $J/\mathbb{Q}$ has real multiplication by a quadratic order in which $7$ splits. We describe an algorithm which outputs twists of the Klein quartic curve which parametrise elliptic…

We give upper and lower bounds on the number of points on abelian varieties over finite fields, and lower bounds specific to Jacobian varieties. We also determine exact formulas for the maximum and minimum number of points on Jacobian…

We present an efficient endomorphism for the Jacobian of a curve $C$ of genus 2 (hyperelliptic) for divisors having a Non disjoint support. This extends the work of Costello and Lauter in [12] who calculated explicit formulae for divisor…

Using original ideas from J.-B. Bost and S. David, we provide an explicit comparison between the Theta height and the stable Faltings height of a principally polarized abelian variety. We also give as an application an explicit upper bound…

We give a geometric interpretation of the group law for Jacobian varieties by extending the geometric construction of chords and tangents on an elliptic curve. For any given algebraic curve $\mathcal X$ and reduced divisors $D_1, D_2 \in…

This note explains how to obtain, install, and use the ratpoints program. The program finds rational points up to a specified height on hyperelliptic curves using a highly optimized quadratic sieving algorithm.

Given a family of abelian varieties over a quasiprojective smooth curve $T^0$ over a global field and a point $P$ on the generic fiber, we show that the N\'eron-Tate canonical height $h_{X_t}(P_t)$ of $P_t$ along each fiber is exactly equal…

The discrete logarithm problem in Jacobians of curves of high genus $g$ over finite fields $\FF_q$ is known to be computable with subexponential complexity $L_{q^g}(1/2, O(1))$. We present an algorithm for a family of plane curves whose…

We prove that N\'eron models of jacobians of generically-smooth nodal curves over bases of arbitrary dimension are quasi-compact (hence of finite type) whenever they exist. We give a simple application to the orders of torsion subgroups of…

We give two characterizations of Jacobians of curves with involution having fixed points in the framework of two particular cases of Welter's trisecant conjecture. The geometric form of each of these characterizations is the statement that…

For the hyperelliptic curve C_p with equation y^2=x(x-2p)(x-p)(x+p)(x+2p) with p a prime number, we discuss bounds for the rank of its Jacobian over Q, find many cases having 2-torsion in the associated Shafarevich-Tate group, and we…

We develop a cohomological description of various explicit descents in terms of generalized Jacobians, generalizing the known description for hyperelliptic curves. Specifically, given an integer $n$ dividing the degree of some reduced…