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.
We analyze the distribution of unitarized L-polynomials Lp(T) (as p varies) obtained from a hyperelliptic curve of genus g <= 3 defined over Q. In the generic case, we find experimental agreement with a predicted correspondence (based on the Katz-Sar
nak random matrix model) between the distributions of Lp(T) and of characteristic polynomials of random matrices in the compact Lie group USp(2g). We then formulate an analogue of the Sato-Tate conjecture for curves of genus 2, in which the generic distribution is augmented by 22 exceptional distributions, each corresponding to a compact subgroup of USp(4). In every case, we exhibit a curve closely matching the proposed distribution, and can find no curves unaccounted for by our classification.
By constructing suitable Borcherds forms on Shimura curves and using Schofers formula for norms of values of Borcherds forms at CM-points, we determine all the equations of hyperelliptic Shimura curves $X_0^D(N)$. As a byproduct, we also address the
problem of whether a modular form on Shimura curves $X_0^D(N)/W_{D,N}$ with a divisor supported on CM-divisors can be realized as a Borcherds form, where $X_0^D(N)/W_{D,N}$ denotes the quotient of $X_0^D(N)$ by all the Atkin-Lehner involutions. The construction of Borcherds forms is done by solving certain integer programming problems.
We give an explicit description of the stable reduction of superelliptic curves of the form $y^n=f(x)$ at primes $p$ whose residue characteristic is prime to the exponent $n$. We then use this description to compute the local $L$-factor of the curve and the exponent of conductor at $p$.
Given a hyperelliptic curve $C$ of genus $g$ over a number field $K$ and a Weierstrass model $mathscr{C}$ of $C$ over the ring of integers ${mathcal O}_K$ (i.e. the hyperelliptic involution of $C$ extends to $mathscr{C}$ and the quotient is a smooth
model of ${mathbb P}^1_K$ over ${mathcal O}_K$), we give necessary and sometimes sufficient conditions for $mathscr{C}$ to be defined by a global Weierstrass equation. In particular, if $C$ has everywhere good reduction, we prove that it is defined by a global Weierstrass equation with invertible discriminant if the class number $h_K$ is prime to $2(2g+1)$, confirming a conjecture of M. Sadek.
Let $K$ be a field of characteristic different from $2$, $bar{K}$ its algebraic closure. Let $n ge 3$ be an odd prime such that $2$ is a primitive root modulo $n$. Let $f(x)$ and $h(x)$ be degree $n$ polynomials with coefficients in $K$ and without r
epeated roots. Let us consider genus $(n-1)/2$ hyperelliptic curves $C_f: y^2=f(x)$ and $C_h: y^2=h(x)$, and their jacobians $J(C_f)$ and $J(C_h)$, which are $(n-1)/2$-dimensional abelian varieties defined over $K$. Suppose that one of the polynomials is irreducible and the other reducible. We prove that if $J(C_f)$ and $J(C_h)$ are isogenous over $bar{K}$ then both jacobians are abelian varieties of CM type with multiplication by the field of $n$th roots of $1$.