English
Related papers

Related papers: Some explicit arithmetic on curves of genus three …

200 papers

Given a principally polarized abelian variety $A$ of dimension $g$ over an algebraically closed field $k$ of characteristic $p$, the $p$ torsion $A[p]$ is a finite flat $p$-torsion group scheme of rank $p^{2g}$. There are exactly $2^g$…

Algebraic Geometry · Mathematics 2017-12-14 Sanath Devalapurkar , John Halliday

Let $K$ be a field of characteristic different from $2$, $\bar{K}$ its algebraic closure. Let $n \ge 3$ be an odd integer. Let $f(x)$ and $h(x)$ be degree $n$ polynomials with coefficients in $K$ and without repeated roots. Let us consider…

Number Theory · Mathematics 2022-12-12 Yuri G. Zarhin

Given a compact Riemann surface X with an action of a finite group G, the group algebra Q[G] provides an isogenous decomposition of its Jacobian variety JX, known as the group algebra decomposition of JX. We obtain a method to concretely…

Algebraic Geometry · Mathematics 2016-03-14 Leslie Jiménez

We consider the question of when a Jacobian of a curve of genus $2g$ admits a $(2,2)$-isogeny to two polarized dimension $g$ abelian varieties. We find that one of them must be a Jacobian itself and, if the associated curve is…

Algebraic Geometry · Mathematics 2025-09-17 Nils Bruin , Avinash Kulkarni

In this article, we present a method for computing rational points on hyperelliptic curves of genus~3 and isolated quadratic points on hyperelliptic curves of genus~2 and~3 whose Jacobians have rank~0. Our approach begins by computing the…

Number Theory · Mathematics 2025-09-25 Brice Miayoka Moussolo

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

Genus 5 curves can be hyperelliptic, trigonal, or non-hyperelliptic non-trigonal, whose model is a complete intersection of three quadrics in $\mathbb{P}^4$. We present and explain algorithms we used to determine, up to isomorphism over…

Algebraic Geometry · Mathematics 2022-02-17 Dušan Dragutinović

We construct an infinite number of Shimura curves contained in the locus of hyperelliptic Jacobians of genus 3. In the opposite direction, we show that in genus 3 the only possible non-complete (in the moduli space of abelian threefolds)…

Algebraic Geometry · Mathematics 2013-12-19 Samuel Grushevsky , Martin Moeller

The Ekedahl-Oort type is a combinatorial invariant of a principally polarized abelian variety $A$ defined over an algebraically closed field of characteristic $p > 0$. It characterizes the $p$-torsion group scheme of $A$ up to isomorphism.…

Number Theory · Mathematics 2013-11-25 Rachel Pries , Colin Weir

We construct three-dimensional families of hyperelliptic curves of genus 6, 12, and 14, two-dimensional families of hyperelliptic curves of genus 3, 6, 7, 10, 20, and 30, and one-dimensional families of hyperelliptic curves of genus 5, 10…

Number Theory · Mathematics 2010-12-20 Benjamin Smith

Given a canonical genus three curve $X=\{F=0\}$, we construct, emulating Mumford discussion for hyperelliptic curves, a set of equations for an affine open subset of the jacobian $JX$. We give explicit algorithms describing the law group in…

Algebraic Geometry · Mathematics 2009-04-30 Jesus Romero-Valencia , Alexis G. Zamora

We generalize the group law of curves of degree three by chords and tangents to the Jacobi variety of a hyperelliptic curve. In the case of genus 2 we accomplish the construction by a cubic parabola. We derive explicit rational formulas for…

Algebraic Geometry · Mathematics 2007-05-23 Frank Leitenberger

An isogeny between elliptic curves is an algebraic morphism which is a group homomorphism. Many applications in cryptography require evaluating large degree isogenies between elliptic curves efficiently. For ordinary curves of the same…

Number Theory · Mathematics 2014-02-12 David Jao , Vladimir Soukharev

A \textit{Humbert-Edge curve of type} $n$ is a non-degenerate smooth complete intersection of $n-1$ diagonal quadrics. Such a curve has an interesting geometry since it has a natural action of the group $(\mathbb{Z}/2\mathbb{Z})^n$. We…

Algebraic Geometry · Mathematics 2023-06-02 Robert Auffarth , Giancarlo Lucchini Arteche , Anita M. Rojas

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

Given a genus two curve $X: y^2 = x^5 + a x^3 + b x^2 + c x + d$, we give an explicit parametrization of all other such curves $Y$ with a specified symplectic isomorphism on three-torsion of Jacobians $\mbox{Jac}(X)[3] \cong…

Number Theory · Mathematics 2020-03-03 Frank Calegari , Shiva Chidambaram , David P. Roberts

We show how to efficiently compute functions on jacobian varieties and their quotients. We deduce a quasi-optimal algorithm to compute $(l,l)$ isogenies between jacobians of genus two curves.

Algebraic Geometry · Mathematics 2015-04-07 Jean-Marc Couveignes , Tony Ezome

We use methods for computing Picard numbers of reductions of K3 surfaces in order to study the decomposability of Jacobians over number fields and the variance of Mordell-Weil ranks of families of Jacobians over different ground fields. For…

Algebraic Geometry · Mathematics 2018-01-23 Soohyun Park

An isogeny graph is a graph whose vertices are principally polarized abelian varieties and whose edges are isogenies between these varieties. In his thesis, Kohel described the structure of isogeny graphs for elliptic curves and showed that…

Number Theory · Mathematics 2019-02-20 Sorina Ionica , Emmanuel Thomé

Given a smooth non-hyperelliptic curve C of genus 3 and a maximal isotropic subgroup (w.r.t. the Weil pairing) L in Jac(C)[2], there exists a smooth curve C' s.t. Jac(C')=Jac(C)/L. This construction is symmetric. i.e. if we start with C'…

Algebraic Geometry · Mathematics 2007-05-23 D. Lehavi