Related papers: Computing a Selmer group of a Jacobian using funct…
Fix a prime number $\ell \geq 5$. Let $K = \mathbb{F}_q(t)$ be a global function field of characteristic $p$ coprime to $2,3$, and $q \equiv 1 \text{ mod } \ell$. Let $C:y^\ell = F(x)$ be a non-isotrivial superelliptic curve over $K$ such…
In this paper we give a method for calculating the rank of a general elliptic curve over the field of rational functions in two variables. We reduce this problem to calculating the cohomology of a singular hypersurface in a weighted…
We study the Jacobian $J$ of the smooth projective curve $C$ of genus $r-1$ with affine model $y^r = x^{r-1}(x + 1)(x + t)$ over the function field $\mathbb{F}_p(t)$, when $p$ is prime and $r\ge 2$ is an integer prime to $p$. When $q$ is a…
Let $p$ be a prime, let $r$ and $q$ be powers of $p$, and let $a$ and $b$ be relatively prime integers not divisible by $p$. Let $C/\mathbb F_{r}(t)$ be the superelliptic curve with affine equation $y^b+x^a=t^q-t$. Let $J$ be the Jacobian…
We extend our method to compute division polynomials of Jacobians of curves over Q to curves over Q(t), in view of computing mod ell Galois representations occurring in the \'etale cohomology of surfaces over Q. Although the division…
We provably compute the full set of rational points on 1403 Picard curves defined over $\mathbb{Q}$ with Jacobians of Mordell-Weil rank $1$ using the Chabauty-Coleman method. To carry out this computation, we extend Magma code of…
We classify elliptic curves over the rationals whose N\'eron model over the integers is semi-abelian, with good reduction at p=2, and whose Mordell--Weil group contains an element of order two that stays non-trivial at p=2. Furthermore, we…
A survey on algorithms for computing discrete logarithms in Jacobians of curves over finite fields.
Numerical tools for computation of $\wp$-functions, also known as Kleinian, or multiply periodic, are proposed. In this connection, computation of periods of the both first and second kinds is reconsidered. An analytical approach to…
We present an algorithm solving the following problem: given two genus 2 curves over a field k with isogenous Jacobians, compute such an isogeny explicitly. This isogeny can be either an l-isogeny or, in the real multiplication case, an…
In this paper, we extend the ideas of Feng [F1], Feng-Xiong [FX] and Faulkner-James [FJ] to calculate the Selmer groups of elliptic curves $ y^{2} = x (x + \varepsilon p D) (x + \epsilon q D). $
Let $p$ be a prime number and let $k$ be an algebraically closed field of characteristic $p$. A $BT_1$ group scheme over $k$ is a finite commutative group scheme which arises as the kernel of $p$ on a $p$-divisible (Barsotti--Tate) group.…
We consider the identity component of the Sato-Tate group of the Jacobian of curves of the form $$C_1\colon y^2=x^{2g+2}+c, C_2\colon y^2=x^{2g+1}+cx, C_3\colon y^2=x^{2g+1} +c,$$ where $g$ is the genus of the curve and $c\in\mathbb Q^*$ is…
We approach the Torelli problem of recostructing a curve from its Jacobian from a computational point of view. Following Dubrovin, we design a machinery to solve this problem effectively, which builds on methods in numerical algebraic…
On the rank of Jacobians over function fields.} Let $f:\mathcal{X}\to C$ be a projective surface fibered over a curve and defined over a number field $k$. We give an interpretation of the rank of the Mordell-Weil group over $k(C)$ of the…
We present algorithms which, given a genus 2 curve $C$ defined over a finite field and a quartic CM field $K$, determine whether the endomorphism ring of the Jacobian $J$ of $C$ is the full ring of integers in $K$. In particular, we present…
We extend the method of Cassels for computing the Cassels-Tate pairing on the 2-Selmer group of an elliptic curve, to the case of 3-Selmer groups. This requires significant modifications to both the local and global parts of the…
This article gives an introduction for mathematicians interested in numerical computations in algebraic geometry and number theory to some recent progress in algorithmic number theory, emphasising the key role of approximate computations…
We determine what isogeny classes of supersingular abelian surfaces over a finite field k of characteristic 2 contain jacobians. We deal with this problem in a direct way by computing explicitly the zeta function of all supersingular curves…
We give a general framework for uniform, constant-time one-and two-dimensional scalar multiplication algorithms for elliptic curves and Jacobians of genus 2 curves that operate by projecting to the x-line or Kummer surface, where we can…