English
Related papers

Related papers: Lifting low-gonal curves for use in Tuitman's algo…

200 papers

The discrete logarithm problem in Jacobians of curves of high genus $g$ over finite fields $\FF_q$ is known to be computable with subexponential complexity $L_{q^g}(1/2, O(1))$. We present an algorithm for a family of plane curves whose…

Cryptography and Security · Computer Science 2015-06-25 Andreas Enge , Pierrick Gaudry

Obus-Wewers and Pop recently resolved a long-standing conjecture by Oort that says: every cyclic cover of a curve in characteristic $p>0$ lifts to characteristic zero. Sa\"idi further asks whether these covers are also "liftable in towers".…

Algebraic Geometry · Mathematics 2023-12-21 Huy Dang

We provide an algorithm for computing an effective basis of homology of elliptic surfaces over the complex projective line on which integration of periods can be carried out. This allows the heuristic recovery of several algebraic…

Algebraic Geometry · Mathematics 2025-05-07 Eric Pichon-Pharabod

In this short note, we present a trick to ensure that the Jacobian of a given smooth curve over a number field has strictly positive Mordell-Weil rank. More explicitly, we prove that a smooth curve with no rational non-trivial 2-torsion and…

Number Theory · Mathematics 2026-03-17 Thibaut Misme

It is well known that an irreducible algebraic curve is rational (i.e. parametric) if and only if its genus is zero. In this paper, given a tolerance $\epsilon>0$ and an $\epsilon$-irreducible algebraic affine plane curve $\mathcal C$ of…

Algebraic Geometry · Mathematics 2014-01-08 Sonia Perez-Diaz , Sonia L. Rueda , Juana Sendra , J. Rafael Sendra

We present various improvements to the deformation method for computing the zeta function of smooth projective hypersurfaces over finite fields using $p$-adic cohomology. This includes new bounds for the $p$-adic and $t$-adic precisions…

Number Theory · Mathematics 2014-09-11 Sebastian Pancratz , Jan Tuitman

The zeta function of a curve $C$ over a finite field may be expressed in terms of the characteristic polynomial of a unitary matrix $\Theta_C$. We develop and present a new technique to compute the expected value of…

Number Theory · Mathematics 2025-07-28 Alina Bucur , Edgar Costa , Chantal David , João Guerreiro , David Lowry-Duda

In this paper we describe a generalisation and adaptation of Kedlaya's 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…

Number Theory · Mathematics 2011-05-31 Michael C. Harrison

Currently, the best upper bounds on the number of rational points on an absolutely irreducible, smooth, projective algebraic curve of genus g defined over a finite field F_q come either from Serre's refinement of the Weil bound if the genus…

Algebraic Geometry · Mathematics 2007-05-23 Kristin Lauter , Jean-Pierre Serre

Let C be a smooth projective curve over a discretely valued field K, defined by an affine equation f(x,y)=0. We construct a model of C over the ring of integers of K using a toroidal embedding associated to the Newton polygon of f. We show…

Number Theory · Mathematics 2026-01-13 Tim Dokchitser

Let $\zeta_K(s)$ denote the Dedekind zeta-function associated to a number field $K$. In this paper, we give an effective upper bound for the height of first non-trivial zero other than $1/2$ of $\zeta_K(s)$ under the generalized Riemann…

Number Theory · Mathematics 2025-07-29 Sushant Kala

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

Let $X$ be a (projective, geometrically irreducible, nonsingular) algebraic curve of genus $g \ge 2$ defined over an algebraically closed field $K$ of odd characteristic $p$. Let $Aut(X)$ be the group of all automorphisms of $X$ which fix…

Algebraic Geometry · Mathematics 2018-05-16 Massimo Giulietti , Gabor Korchmaros

We present a general and effective algebraic framework for enumerating finite-length quotients of a torsion-free sheaf of arbitrary rank (the Quot zeta function) and finite-length coherent sheaves (the Coh zeta function) over reduced…

Algebraic Geometry · Mathematics 2025-11-11 Yifeng Huang , Ruofan Jiang

We consider a finite analytic morphism $\varphi =(f,g)$ defined from a complex analytic normal surface $(Z,z)$ to ${\mathbb C}^2$. We describe the topology of the image by $\varphi$ of a reduced curve on $(Z,z)$ by means of iterated pencils…

Algebraic Geometry · Mathematics 2024-12-19 F. Delgado , H. Maugendre

An exact algorithm is presented for solving edge weighted graph partitioning problems. The algorithm is based on a branch and bound method applied to a continuous quadratic programming formulation of the problem. Lower bounds are obtained…

Optimization and Control · Mathematics 2009-12-10 William Hager , Dzung Phan , Hongchao Zhang

We prove quantitative upper bounds for the number of quadratic twists of a given elliptic curve $E/\Fp_q(C)$ over a function field over a finite field that have rank $\geq 2$, and for their average rank. The main tools are constructions and…

Number Theory · Mathematics 2007-05-23 Emmanuel Kowalski

We present a sublinear query algorithm for outputting a near-optimal low-rank approximation to any positive semidefinite Toeplitz matrix $T \in \mathbb{R}^{d \times d}$. In particular, for any integer rank $k \leq d$ and $\epsilon,\delta >…

Data Structures and Algorithms · Computer Science 2022-11-22 Michael Kapralov , Hannah Lawrence , Mikhail Makarov , Cameron Musco , Kshiteej Sheth

Let $\rho: G \to \operatorname{GL}(V)$ be a rational representation of a reductive linear algebraic group $G$ defined over $\mathbb C$ on a finite dimensional complex vector space $V$. We show that, for any generic smooth (resp. $C^M$)…

Representation Theory · Mathematics 2012-03-19 Mark Losik , Peter W. Michor , Armin Rainer

We find equations for the higher dimensional analogue of the modular curve X_0(3) using Mumford's algebraic formalism of algebraic theta functions. As a consequence, we derive a method for the construction of genus 2 hyperelliptic curves…

Number Theory · Mathematics 2008-01-16 R. Carls , D. Kohel , D. Lubicz