Related papers: Some explicit arithmetic on curves of genus three …
Let $\mathcal{E}$ be a $\mathbb{Q}$-isogeny class of elliptic curves defined over $\mathbb{Q}$ without CM. The isogeny graph associated to $\mathcal{E}$ is a graph which has a vertex for each elliptic curve in $\mathcal{E}$ and an edge for…
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 +\bar{\zeta}_7 )$. We construct explicit three-dimensional…
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…
Let $\phi:\,X\rightarrow Y$ be a (possibly ramified) cover between two algebraic curves of positive genus. We develop tools that may identify the Prym variety of $\phi$, up to isogeny, as the Jacobian of a quotient curve $C$ in the Galois…
In this expository paper, we show how to use in practice 3-descent with a 3-isogeny to find an estimate for the rank of an elliptic curve having a rational 3-torsion subgroup, and we also give a geometric interpretation of these…
A rigid isotopy of real algebraic curves of a certain class is a path in the space of curves of this class. The paper's study completes the rigid isotopic classification of nonsingular real algebraic curves of bidegree (4,3) on a…
Schoof's classic algorithm allows point-counting for elliptic curves over finite fields in polynomial time. This algorithm was subsequently improved by Atkin, using factorizations of modular polynomials, and by Elkies, using a theory of…
Let $X$ be a smooth projective curve over a finite field of characteristic $p$. We describe and implement a practical algorithm for computing the $p$-divisible group $Jac(X)[p^\infty]$ via computing its Dieudonn\'{e} module, or equivalently…
Let $X$ (resp. $Y$) be a curve of genus 1 (resp. 2) over a base field $k$ whose characteristic does not equal 2. We give criteria for the existence of a curve $Z$ over $k$ whose Jacobian is up to twist (2,2,2)-isogenous to the products of…
In this paper, we present two related results on curves of genus 3. The first gives a bijection between the classes of the following objects: * Smooth non-hyperelliptic curves C of genus 3, with a choice of an element a in Jac(C)[2]-{0},…
Let $A/\overline{\mathbb{F}}\_p$ and $A'/\overline{\mathbb{F}}\_p$ be supersingular principally polarized abelian varieties of dimension $g>1$. For any prime $\ell \ne p$, we give an algorithm that finds a path $\phi \colon A \rightarrow…
We propose an algorithm that calculates isogenies between elliptic curves defined over an extension $K$ of $\mathbb{Q}_2$. It consists in efficiently solving with a logarithmic loss of $2$-adic precision the first order differential…
Up to isomorphism over C, every simple principally polarized abelian variety of dimension 3 is the Jacobian of a smooth projective curve of genus 3. Furthermore, this curve is either a hyperelliptic curve or a plane quartic. Given a sextic…
Given an abelian surface, the number of its distinct decompositions into a product of elliptic curves has been described by Ma. Moreover, Ma himself classified the possible decompositions for abelian surfaces of Picard number $1 \leq \rho…
We present an efficient endomorphism for the Jacobian of a curve $C$ of genus 2 (hyperelliptic) for divisors having a Non disjoint support. This extends the work of Costello and Lauter in [12] who calculated explicit formulae for divisor…
We present an algorithm for the computation of the topological type of a real compact Riemann surface associated to an algebraic curve, i.e., its genus and the properties of the set of fixed points of the anti-holomorphic involution $\tau$,…
In his previous papers (Math. Res. Letters 7 (2000), 123--13; Progress in Math. 195 (2001), 473--490; Math. Res. Letters 8 (2001), 429--435; Moscow Math. J. 2 (2002), issue 2, 403-431; Proc. Amer. Math. Soc. 131 (2003), no. 1, 95--102) the…
In this short note, we study the Jacobian variety of the Accola-Maclachlan curve of genus four and obtain explicitly its Poincar\'e isogeny decomposition. More precisely, we show that its Jacobian variety is isomorphic to the product of two…
Let ell be a prime, and H a curve of genus 2 over a field k of characteristic not 2 or ell. If S is a maximal Weil-isotropic subgroup of Jac(H)[ell], then Jac(H)/S is isomorphic to the Jacobian of some (possibly reducible) curve X. We…
We apply classical invariant theory of binary forms to explicitly characterize isomorphism classes of hyperelliptic curves of small genus and, conversely, propose algorithms for reconstructing hyperelliptic models from given invariants. We…