English
Related papers

Related papers: Counting points on hyperelliptic curves with expli…

200 papers

We present a probabilistic Las Vegas algorithm for computing the local zeta function of a hyperelliptic curve of genus $g$ defined over $\mathbb{F}_q$. It is based on the approaches by Schoof and Pila combined with a modeling of the…

Number Theory · Mathematics 2018-06-08 Simon Abelard , Pierrick Gaudry , Pierre-Jean Spaenlehauer

We propose a Las Vegas probabilistic algorithm to compute the zeta function of a genus-3 hyperelliptic curve defined over a finite field $\mathbb F_q$, with explicit real multiplication by an order $\mathbb Z[\eta]$ in a totally real cubic…

Number Theory · Mathematics 2019-02-13 Simon Abelard , Pierrick Gaudry , Pierre-Jean Spaenlehauer

Let C/Q be a curve of genus three, given as a double cover of a plane conic. Such a curve is hyperelliptic over the algebraic closure of Q, but may not have a hyperelliptic model of the usual form over Q. We describe an algorithm that…

Number Theory · Mathematics 2017-01-03 David Harvey , Maike Massierer , Andrew V. Sutherland

Let g >= 1 and let Q be a monic, squarefree polynomial of degree 2g + 1 in Z[x]. For an odd prime p not dividing the discriminant of Q, let Z_p(T) denote the zeta function of the hyperelliptic curve of genus g over the finite field F_p…

Number Theory · Mathematics 2013-09-27 David Harvey

Let E_G be a family of hyperelliptic curves defined by Y^2=Q(X,G), where Q is defined over a small finite field of odd characteristic. Then with g in an extension degree n field over this small field, we present a deterministic algorithm…

Number Theory · Mathematics 2007-05-23 H. Hubrechts

We present an algorithm that, for every fixed genus $g$, will enumerate all hyperelliptic curves of genus $g$ over a finite field $k$ of odd characteristic in quasilinear time; that is, the time required for the algorithm is…

Number Theory · Mathematics 2024-06-24 Everett W. Howe

Let $k,p\in \mathbb{N}$ with $p$ prime and let $f\in\mathbb{Z}[x_1,x_2]$ be a bivariate polynomial with degree $d$ and all coefficients of absolute value at most $p^k$. Suppose also that $f$ is variable separated, i.e., $f=g_1+g_2$ for…

Number Theory · Mathematics 2021-02-03 Caleb Robelle , J. Maurice Rojas , Yuyu Zhu

Let E_G be a family of hyperelliptic curves over F2^(alg cl) with general Weierstrass equation given over a very small field F. We describe in this paper an algorithm to compute the zeta function of E_g for g in a degree n extension field…

Number Theory · Mathematics 2007-05-23 Hendrik Hubrechts

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$,…

Algebraic Geometry · Mathematics 2019-07-02 Momonari Kudo , Shushi Harashita

In this paper we present a p-adic algorithm to compute the zeta function of a nondegenerate curve over a finite field using Monsky-Washnitzer cohomology. The paper vastly generalizes previous work since all known cases, e.g. hyperelliptic,…

Number Theory · Mathematics 2007-05-23 Wouter Castryck , Jan Denef , Frederik Vercauteren

In this work we consider constructions of genus three curves $X$ such that $\mathrm{End}(\mathrm{Jac}(X)) \otimes Q$ contains the totally real cubic number field $Q(\zeta _ 7 + \overline{\zeta}_7)$. We construct explicit two-dimensional…

Algebraic Geometry · Mathematics 2014-11-11 J. William Hoffman , Zhibin Liang , Yukiko Sakai , Haohao Wang

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.

Number Theory · Mathematics 2022-05-31 Kiran S. Kedlaya , Andrew V. Sutherland

Curves over finite fields are of great importance in cryptography and coding theory. Through studying their zeta-functions, we would be able to find out vital arithmetic and geometric information about them and their Jacobians, including…

Number Theory · Mathematics 2024-05-10 Kin Wai Chan

Let E be an elliptic curve without complex multiplication (CM) over a number field K, and let G_E(ell) be the image of the Galois representation induced by the action of the absolute Galois group of K on the ell-torsion subgroup of E. We…

Number Theory · Mathematics 2022-05-23 Andrew V. Sutherland

Let $C$ be a smooth plane quartic curve over $\mathbb{Q}$. Costa, Harvey and Sutherland provide an algorithm with an implementation, improving Harvey's average polynomial-time algorithm, to compute the $\bmod \ p$ reduction of the numerator…

Number Theory · Mathematics 2026-02-03 Jia Shi

This article concerns the computational complexity of a fundamental problem in number theory: counting points on curves and surfaces over finite fields. There is no subexponential-time algorithm known and it is unclear if it can be…

Computational Complexity · Computer Science 2025-11-05 Diptajit Roy , Nitin Saxena , Madhavan Venkatesh

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…

Number Theory · Mathematics 2020-09-30 Semyon Novoselov

We present an algorithm that, for every fixed degree $n\ge 3$, will enumerate all degree-$n$ places of the projective line over a finite field $k$ up to the natural action of $\operatorname{PGL}_2(k)$ using $O(\log q)$ space and…

Number Theory · Mathematics 2025-10-23 Everett W. Howe

We present an accelerated Schoof-type point-counting algorithm for curves of genus 2 equipped with an efficiently computable real multiplication endomorphism. Our new algorithm reduces the complexity of genus 2 point counting over a finite…

Number Theory · Mathematics 2011-06-06 Pierrick Gaudry , David Kohel , Benjamin Smith

We describe an algorithm to compute the zeta function of any non-hyperelliptic genus 3 plane curve $C$ over a finite field with automorphism group $G = \mathbb{Z} / 2 \mathbb{Z}$. This algorithm computes in the Monsky-Washnitzer cohomology…

Algebraic Geometry · Mathematics 2016-03-03 Yih-Dar Shieh
‹ Prev 1 2 3 10 Next ›