Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAn extension of Kedlayas algorithm for hyperelliptic curves
131
0
0.0
(
0
)
Authors
Michael C. Harrison
Ask ChatGPT about the research
No Arabic abstract
In this paper we describe a generalisation and adaptation of Kedlayas algorithm for computing the zeta function of a hyperelliptic curve over a finite field of odd characteristic that the author used for the implementation of the algorithm in the Magma library. We generalise the algorithm to the case of an even degree model. We also analyse the adaptation of working with the $x^idx/y^3$ rather than the $x^idx/y$ differential basis. This basis has the computational advantage of always leading to an integral transformation matrix whereas the latter fails to in small genus cases. There are some theoretical subtleties that arise in the even degree case where the two differential bases actually lead to different redundant eigenvalues that must be discarded.
rate research
Read More
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 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.
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.
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-Sarnak 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.
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 repeated 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$.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
