Related papers: Computing the Cassels-Tate Pairing for Genus Two J…

Cassels has described a pairing on the 2-Selmer group of an elliptic curve which shares some properties with the Cassels-Tate pairing. In this article, we prove that the two pairings are the same.

Let $X$ (resp. $Y$) be a curve of genus 1 (resp. 2) over a base field $k$ whose characteristic does not equal 2. We give criteria for the existence of a curve $Z$ over $k$ whose Jacobian is up to twist (2,2,2)-isogenous to the products of…

Using Galois cohomology, Schmoyer characterizes cryptographic non-trivial self-pairings of the $\ell$-Tate pairing in terms of the action of the Frobenius on the $\ell$-torsion of the Jacobian of a genus 2 curve. We apply similar techniques…

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…

We describe a general algorithm for computing intersection pairings on arithmetic surfaces. We have implemented our algorithm for curves over $\mathbb Q$, and we show how to use it to compute regulators for a number of Jacobians of smooth…

In this article, we present a method for computing rational points on hyperelliptic curves of genus~3 and isolated quadratic points on hyperelliptic curves of genus~2 and~3 whose Jacobians have rank~0. Our approach begins by computing the…

In this paper, we describe the construction of superelliptic curves with a rational point of prescribed order on their jacobians. The construction is based on Hensel's Lemma and produces for a given integer $N$ a superelliptic curve of…

Let E be an elliptic curve defined over a finite field. Balasubramanian and Koblitz have proved that if the l-th roots of unity m_l is not contained in the ground field, then a field extension of the ground field contains m_l if and only if…

We prove a completely explicit and effective upper bound for the N\'eron--Tate height of rational points of curves of genus at least $2$ over number fields, provided that they have enough automorphisms with respect to the Mordell--Weil rank…

In general, algorithms for computing the Selmer group of the Jacobian of a curve have relied on either homogeneous spaces or functions on the curve. We present a theoretical analysis of algorithms which use functions on the curve, and show…

We investigate Selmer groups of Jacobians of curves that admit an action of a non-trivial group of automorphisms, and give applications to the study of the parity of Selmer ranks. Under the Shafarevich--Tate conjecture, we give an…

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 describe a practical algorithm for computing Brauer-Manin obstructions to the existence of rational points on hyperelliptic curves defined over number fields. This offers advantages over descent based methods in that its correctness does…

An important problem in computational arithmetic geometry is to find changes of coordinates to simplify a system of polynomial equations with rational coefficients. This is tackled by a combination of two techniques, called minimisation and…

We describe an algorithm that provably computes the rational torsion subgroup of the Jacobian of a curve without relying on height bounds. Instead, the strategy is to find upper bounds for the torsion subgroup using reduction modulo primes,…

Given a genus $2$ curve $C$ with a rational Weierstrass point defined over a number field, we construct a family of genus $5$ curves that realize descent by maximal unramified abelian two-covers of $C$, and describe explicit models of the…

Combining $2$-descent techniques with Riemann-Roch and B\'ezout's theorems, we give an upper bound on the number of rational points of bounded height on elliptic and hyperelliptic curves over function fields of characteristic $\neq 2$. We…

Let $p$ and $q$ be distinct primes. Consider the Shimura curve $\mathcal{X}$ associated to the indefinite quaternion algebra of discriminant $pq$ over $\mathbb{Q}$. Let $J$ be the Jacobian variety of $\mathcal{X}$, which is an abelian…

We present a method for computing the Mordell-Weil rank of the jacobian of a curve of genus 2 with multiplication by a square root of 2, based on descent via isogenies of degree 2, and apply it to a family of curves.

We determine the isogeny classes of abelian surfaces over F_q whose group of F_q-rational points has order divisible by q^2. We also solve the same problem for Jacobians of genus-2 curves.