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 Jacobian of the curve with complexity $\tilde{O}(\log^4{p})$ and $\tilde{O}(\log^8{p})$. For curves of genus $2-7$ we give a complete list of the characteristic polynomials of Frobenius endomorphism modulo $p$.
In this paper, we construct some families of infinitely many hyperelliptic curves of genus $2$ with exactly two rational points. In the proof, we first show that the Mordell-Weil ranks of these hyperelliptic curves are $0$ and then determine the sets of rational points by using the Lutz-Nagell type theorem for hyperelliptic curves which was proven by Grant.
For a square-free integer $N$, we present a procedure to compute $\mathbb{Q}$-curves parametrized by rational points of the modular curve $X_0^*(N)$ when this is hyperelliptic.
In this paper we give a passage formula between different invariants of genus 3 hyperelliptic curves: in particular between Tsuyumine and Shioda invariants. This is needed to get modular expressions for Shioda invariants, that is, for example, useful for proving the correctness of numerically computed equations of CM genus 3 hyperelliptic curves. On the other hand, we also get Shioda invariants described in terms of differences of roots of the equation defining the hyperelliptic curve, that has applications for studying the reduction type of the curve. Under certain conditions on its jacobian,…
Up to isomorphism over C, every simple principally polarized abelian variety of dimension 3 is the Jacobian of a smooth projective curve of genus 3. Furthermore, this curve is either a hyperelliptic curve or a plane quartic. Given a sextic CM field K, we show that if there exists a hyperelliptic Jacobian with CM by K, then all principally polarized abelian varieties that are Galois conjugated to it are hyperelliptic. Using Shimura's reciprocity law, we give an algorithm for computing approximations of the invariants of the initial curve, as well as their Galois conjugates. This allows us ton d…
We study how Tamagawa numbers of Jacobians of hyperelliptic curves vary as one varies the base field or the curve, in the case of semistable reduction. We find that there are strong constraints on the behaviour that appears, some of which are unexpected and specific to hyperelliptic curves. Our methods are explicit and allow one to write down formulae for Tamagawa numbers of infinite families of hyperelliptic curves, of the kind used in proofs of the parity conjecture for Jacobians of curves of small genus.
We study a class of semistable ordinary hyperelliptic curves over 2-adic fields and the special fibre of their minimal regular model. We show that these curves can be controlled using `cluster pictures', similarly to the case of odd residue characteristic.
Guo and Yang give defining equations for all geometrically hyperelliptic Shimura curves $X_0(D,N)$. In this paper we compute the $\mathbb{Q}$-rational points on the Atkin-Lehner quotients of these curves using a variety of techniques. We also determine which rational points are CM for many of these curves.
In this paper, we are going to compute the average size of 2-Selmer groups of families of even hyperelliptic curves over function fields. The result will be obtained by a geometric method which is based on a Vinberg representation of the group $G=\text{PSO}(2n+2)$ and a Hitchin fibration. Consistent with the result over Q of Arul Shankar and Xiaoheng Wang [Rational points on hyperelliptic curves having a marked non-Weierstrass point, in Compos. Math., 154(1):188-222, 2018], we provide an upper bound and a lower bound of the average. However, if we restrict to the family of transversal hyperell…
We give a condition for a hyperelliptic curve $C$ over a local field $K$ to be locally soluble, on the condition that $C$ obtains semistable reduction after a tame extension of $K$, and that the residue field $k$ is sufficiently large relative to the genus of the curve. The condition is presented in terms of the cluster picture of $C$, a combinatorial object which determines much of the local arithmetic of $C$.
Let $f(x)$ be a nonconstant polynomial with integer coefficients and nonzero discriminant. We study the distribution modulo primes of the set of squarefree integers $d$ such that the curve $dy^2=f(x)$ has a nontrivial rational or integral point.
Let $K$ be a complete discretely valued field of residue characteristic not $2$ and $O_K$ its ring of integers. We explicitly construct a regular model over $O_K$ with strict normal crossings of any hyperelliptic curve $C/K:y^2=f(x)$. For this purpose, we introduce the new notion of ''MacLane cluster picture'', that aims to be a link between clusters and MacLane valuations.
We discuss the computation of coefficients of the L-series associated to a hyperelliptic curve over Q of genus at most 3, using point counting, generic group algorithms, and p-adic methods.
This paper presents algorithmic approaches to study superspecial hyperelliptic curves. The algorithms proposed in this paper are: an algorithm to enumerate superspecial hyperelliptic curves of genus $g$ over finite fields $\mathbb{F}_q$, and an algorithm to compute the automorphism group of a (not necessarily superspecial) hyperelliptic curve over finite fields. The first algorithm works for any $(g,q)$ such that $q$ and $2g+2$ are coprime and $q>2g+1$. As an application, we enumerate superspecial hyperelliptic curves of genus $g=4$ over $\mathbb{F}_{p}$ for $11 \leq p \leq 23$ and over $\math…
Let $p$ be an odd prime number. We propose an algorithm for computing rational representations of isogenies between Jacobians of hyperelliptic curves via-adic differential equations with a sharp analysis of the loss of precision. Consequently, after having possibly lifted the problem in the $p$-adics, we derive fast algorithms for computing explicitly Cantor's division polynomials of hyperelliptic curves defined over finite fields.
