Let $\C$ be a genus 2 curve defined over $k$, $char (k) =0$. If $\C$ has a $(3,3)$-split Jacobian then we show that the automorphism group $Aut(\C)$ is isomorphic to one of the following: $\bZ_2, V_4, D_8$, or $D_{12}$. There are exactly six $\bC$-isomorphism classes of genus two curves $\C$ with $Aut(\C)$ isomorphic to $D_8$ (resp., $D_{12}$). %We compute their absolute invariants $i_1, i_2, i_3$. We show that exactly four (resp., three) of these classes with group $D_8$ (resp., $D_{12}$) have representatives defined over $\bQ$. We discuss some of these curves in detail and find their rational points.
We give a closed formula for recovering a non-hyperelliptic genus three curve from its period matrix, and derive some identities between Jacobian Nullwerte in dimension three.
Let $p$ be an odd prime number and be an integer coprime to $p$. We survey an algorithm for computing explicit rational representations of $(\ell,...,\ell)$-isogenies between Jacobians of hyperelliptic curves of arbitrary genus over an extension $K$ of the field of $p$-adic numbers $\mathbb{Q}\_p$. The algorithm has a quasi-linear complexity in $\ell$ as well as in the genus of the curves.
In this note, an analogous statement to the Nagell-Lutz theorem does not hold for the Jacobian of a certain curve of genus 2 over $\mathbb{C}(t)$. As a by-product, we give a (2, 3, 6) quasi-torus decomposition for the dual curve of a smooth cubic.
We give a criterion to distinguish between a genus three Jacobian and its [-1] twist in terms of the product of the 36 even theta nulls. We also express the product of the 36 theta nulls in terms of the discriminant of a genus three curve. The results are arithmetic in nature and thus add to previous work over C on the product of the even theta nulls. They generalize previous work of Ritzenthaler and Lachaud for Abelian threefolds which are (2,2,2) isogenous to a product of elliptic curves. This answers a 2003 of letter of Jean-Pierre Serre to Jaap Top.
In this paper we study genus 2 curves whose Jacobians admit a polarized (4,4)-isogeny to a product of elliptic curves. We consider base fields of characteristic different from 2 and 3, which we do not assume to be algebraically closed. We obtain a full classification of all principally polarized abelian surfaces that can arise from gluing two elliptic curves along their 4-torsion and we derive the relation their absolute invariants satisfy. As an intermediate step, we give a general description of Richelot isogenies between Jacobians of genus 2 curves, where previously only Richelot isogenies …
Mazur proved that any element xi of order three in the Shafarevich-Tate group of an elliptic curve E over a number field k can be made visible in an abelian surface A in the sense that xi lies in the kernel of the natural homomorphism between the cohomology groups H^1(k,E) -> H^1(k,A). However, the abelian surface in Mazur's construction is almost never a jacobian of a genus 2 curve. In this paper we show that any element of order three in the Shafarevich-Tate group of an elliptic curve over a number field can be visualized in the jacobians of a genus 2 curve. Moreover, we describe how to get …
Given a sextic CM field $K$, we give an explicit method for finding all genus 3 hyperelliptic curves defined over $\mathbb{C}$ whose Jacobians are simple and have complex multiplication by the maximal order of this field, via an approximation of their Rosenhain invariants. Building on the work of Weng, we give an algorithm which works in complete generality, for any CM sextic field $K$, and computes minimal polynomials of the Rosenhain invariants for any period matrix of the Jacobian. This algorithm can be used to generate genus 3 hyperelliptic curves over a finite field $\mathbb{F}_p$ with a …
We describe an algorithm, based on the properties of the characteristic polynomials of Frobenius, to compute $\operatorname{End}_{\overline{K}}(A)$ when $A$ is the Jacobian of a nice genus-2 curve over a number field $K$. We use this algorithm to confirm that the description of the structure of the geometric endomorphism ring of $\operatorname{Jac}(C)$ given in the LMFDB ($L$-functions and modular forms database) is correct for all the genus 2 curves $C$ currently listed in it. We also discuss the determination of the field of definition of the endomorphisms in some special cases.
We describe a method to determine all the isomorphism classes of principal polarizations of the modular abelian surfaces $A_f$ with quaternionic multiplication attached to a normalized newform $f$ without complex multiplication. We include an example of $A_f$ with quaternionic multiplication for which we find numerically a curve $C$ whose Jacobian is $A_f$ up to numerical approximation, and we prove that it has quaternionic multiplication and is isogenous to $A_f$.
We introduce an algorithm to compute the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a Magma implementation of our algorithm to a database of curves with low discriminant due to Sutherland as well as a list of curves with small coefficients. In the process, we find several torsion structures not previously described in the literature. The algorithm is a generalisation of an algorithm for genus 2 due to Stoll, which we extend to abelian varieties satisfying certain conditions. The idea is to compute p-adic torsion lifts of points ov…
We study the problem of efficiently constructing a curve C of genus 2 over a finite field F for which either the curve C itself or its Jacobian has a prescribed number N of F-rational points. In the case of the Jacobian, we show that any `CM-construction' to produce the required genus-2 curves necessarily takes time exponential in the size of its input. On the other hand, we provide an algorithm for producing a genus-2 curve with a given number of points that, heuristically, takes polynomial time for most input values. We illustrate the practical applicability of this algorithm by constructing…
We consider the problem of finding cryptographically suitable Jacobians. By applying a probabilistic generic algorithm to compute the zeta functions of low genus curves drawn from an arbitrary family, we can search for Jacobians containing a large subgroup of prime order. For a suitable distribution of curves, the complexity is subexponential in genus 2, and O(N^{1/12}) in genus 3. We give examples of genus 2 and genus 3 hyperelliptic curves over prime fields with group orders over 180 bits in size, improving previous results. Our approach is particularly effective over low-degree extension fi…
Let $k$ be a field of characteristic zero containing a primitive fifth root of unity. Let $X/k$ be a smooth cubic threefold with an automorphism of order five, then we observe that over a finite extension of the field actually the dihedral group $D_5$ is a subgroup of ${\rm Aut}(X)$. We find that the intermediate Jacobian $J(X)$ of $X$ is isogenous to the product of an elliptic curve $E$ and the self-product of an abelian surface $B$ with real multiplication by $\mathbb{Q}(\sqrt{5})$. We give explicit models of some algebraic curves related to the construction of $J(X)$ as a Prym variety. This…
We develop an explicit theory of Kummer varieties associated to Jacobians of hyperelliptic curves of genus 3, over any field $k$ of characteristic $\neq 2$. In particular, we provide explicit equations defining the Kummer variety $\mathcal K$ as a subvariety of $\mathbb P^7$, together with explicit polynomials giving the duplication map on $\mathcal K$. A careful study of the degenerations of this map then forms the basis for the development of an explicit theory of heights on such Jacobians when $k$ is a number field. We use this input to obtain a good bound on the difference between naive an…
Consider the Jacobian of a hyperelliptic genus two curve defined over a prime field of characteristic p and with complex multiplication. In this paper we show that the p-Sylow subgroup of the Jacobian is either trivial or of order p.
We present three families of pairs of geometrically non-isomorphic curves whose Jacobians are isomorphic to one another as unpolarized abelian varieties. Each family is parametrized by an open subset of P^1. The first family consists of pairs of genus-2 curves whose equations are given by simple expressions in the parameter; the curves in this family have reducible Jacobians. The second family also consists of pairs of genus-2 curves, but generically the curves in this family have absolutely simple Jacobians. The third family consists of pairs of genus-3 curves, one member of each pair being a…
We prove that there is only a finite number of genus 2 curves C defined over Q such that there exists a nonconstant morphism pi:X_1(N) --->C defined over Q and the jacobian of C, J(C), is a Q-factor of the new part of the jacobian of X_1(N), J_1(N)^{new}. Moreover, we prove that there are only 149 genus two curves of this kind with the additional requeriment that their jacobians are Q-simple. We determine the corresponding newforms and present equations for all these curves.
We present a treatment of the algebraic description of the Jacobian of a generic genus two plane curve which exploits an SL2(k) equivariance and clarifes the structure of E.V.Flynn's 72 defining quadratic relations. The treatment is also applied to the Kummer variety.
We present a quasi-linear algorithm to compute isogenies between Jacobians of curves of genus 2 and 3 starting from the equation of the curve and a maximal isotropic subgroup of the l-torsion, for l an odd prime number, generalizing the Vélu's formula of genus 1. This work is based from the paper "Computing functions on Jacobians and their quotients" of Jean-Marc Couveignes and Tony Ezome. We improve their genus 2 case algorithm, generalize it for genus 3 hyperelliptic curves and introduce a way to deal with the genus 3 non-hyperelliptic case, using algebraic theta functions.
We prove that the geometric genus p of a curve in a very generic Jacobian of dimension g>3 satisfies either p=g or p>2g-3. This gives a positive answer to a conjecture of Naranjo and Pirola. For low values of g the second inequality can be further improved to p>2g-2.
The aim of this note is to describe the restriction map from the moduli space of stable rank 2 bundle with small $c_2$ on a jacobian $X$ of dimension 2, to the moduli space of stable rank 2 bundles on the corresponding genus 2 curve $C$ embedded in $X$.
We prove that in most cases relevant to cryptography, the Frobenius endomorphism on the Jacobian of a genus two curve is represented by a diagonal matrix with respect to an appropriate basis of the subgroup of l-torsion points. From this fact we get an explicit description of the Weil-pairing on the subgroup of l-torsion points. Finally, the explicit description of the Weil-pairing provides us with an efficient, probabilistic algorithm to find generators of the subgroup of l-torsion points on the Jacobian of a genus two curve.
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 $JX$. Finally we introduce a related construction by means of an imbedding of the open set previously described in a Grassmanian variety.
We study the set of isomorphism classes of principal polarizations on abelian varieties of GL2-type. As applications of our results, we construct examples of curves C, C'/\Q of genus two which are nonisomorphic over \bar \Q and share isomorphic unpolarized modular Jacobian varieties over \Q ; we also show a method to obtain genus two curves over \Q whose Jacobian varieties are isomorphic to Weil's restriction of quadratic \Q-curves, and present examples.
We give an algorithm to compute $(\ell,\ell,\ell)$-isogenies from the Jacobians of genus three hyperelliptic curves to the Jacobians of non-hyperelliptic curves. An important application is to reduce the discrete logarithm problem in the Jacobian of a hyperelliptic curve to the corresponding problem in the Jacobian of a non-hyperelliptic curve.
For a nonsingular projective curve $C$ of genus 3 defined over an algebraically closed field of characteristic $p > 2$, we give a necessary and sufficient condition that the Jacobian variety $J(C)$ has a decomposed Richelot isogeny outgoing from it and we determine the structures of decomposed ones.
L. Moret-Bailly constructed families $\mathfrak{C}\rightarrow \mathbb{P}^1$ of genus 2 curves with supersingular jacobian. In this paper we first classify the reducible fibers of a Moret-Bailly family using linear algebra over a quaternion algebra. The main result is an algorithm that exploits properties of two reducible fibers to compute a hyperelliptic model for any irreducible fiber of a Moret-Bailly family.
In this paper we classify curves of genus 2 with group of automorphisms isomorphic to D_8 or D_12 over an arbitrary field k (of characteristic different from 2 in the D_8 case and from 2 and 3 in the D_{12} case) up to k-isomorphism. As an application of the classification of curves of genus 2 obtained, we get precise arithmetic information on their elliptic quotients and on their jacobians. Over the field k=Q, we show that the elliptic quotients of the curves with automorphisms D_8 and D_{12} are precisely the Q-curves of degrees 2 and 3, respectively, and we determine which curves have jacob…
Let $J$ be the Jacobian of a smooth projective complex curve $C$ which admits non-trivial automorphisms, and let $A(J)$ be the ring of algebraic cycles on $J$ with rational coefficients modulo algebraic equivalence. We present new tautological rings in $A(J)$ which extend in a natural way the tautological ring studied by Beauville (Compos Math 140(3):683-688, 2004). We then show there exist tautological rings induced on special complementary abelian subvarieties of $J$.
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) Kuga curves contained in the hyperelliptic locus have the same degeneration data as that of the examples we construct. The locus of genus 3 hyperelliptic Jacobians is a divisor within the moduli space of principally polarized abelian threefolds, and our result demonstrates the techniques we develop more generally for dealing with Shimura curves contained withi…
It is well-known that abelian varieties are projective, and so that there exist explicit polynomial and rational functions which define both the variety and its group law. It is however difficult to find any explicit polynomial and rational functions describing these varieties or their group laws in dimensions greater than two. One exception can be found in Mumford's classic "Lectures on Theta", where he describes how to obtain an explicit model for hyperelliptic Jacobians as the union of several affine pieces described as the vanishing locus of explicit polynomial equations. In this article, …
In this paper, we will first show that, the homogeneous polynomials which satisfy the Jacobian condition are injective on the lines that pass through the origin. Secondly, we will show that $F$ and $G'$ are paired, where $F$ is a Druzkowski map and $G'$ is a cubic homogeneous polynomial which related to $F$. Finally, we will find a more exactly bound for the degree of $F^{-1}$, where $F$ is a invertible map.
In arithmetic and algebraic geometry, superspecial (s.sp.\ for short) curves are one of the most important objects to be studied, with applications to cryptography and coding theory. If $g \geq 4$, it is not even known whether there exists such a curve of genus $g$ in general characteristic $p > 0$, and in the case of $g=4$, several computational approaches to search for those curves have been proposed. In the genus-$4$ hyperelliptic case, Kudo-Harashita proposed a generic algorithm to enumerate all s.sp.\ curves, and recently Ohashi-Kudo-Harashita presented an algorithm specific to the case w…
Let X be an irreducible smooth projective curve, of genus at least two, defined over an algebraically closed field of characteristic different from two. If X admits a nontrivial automorphism σthat fixes pointwise all the order two points of Pic}^0(X), then we prove that X is hyperelliptic with σbeing the unique hyperelliptic involution. As a corollary, if a nontrivial automorphisms σ' of X fixes pointwise all the theta characteristics on X, then X is hyperelliptic with σ' being its hyperelliptic involution.
A set of multi-homogeneous equations for the Jacobian of a genus two curve is given. The approach used is to write down affine equations for the Jacobian minus various tranlations of the Theta-divisor by [2]-division points, and then to write down affine glue equations for the overlaps. Taking multi-projective completions for all of these then yields a complete multi-projective two-dimensional variety whose points are in one-to-one correspondence with degree zero divisor classes on the curve (i.e. the Picard group). This multi-projective variety then becomes a complete projective two-dimension…
In this paper we prove a conjecture of Hershel Farkas that if a 4-dimensional principally polarized abelian variety has a vanishing theta-null, and the hessian of the theta function at the corresponding point of order two is degenerate, the abelian variety is a Jacobian. We also discuss possible generalizations to higher genera, and an interpretation of this condition as an infinitesimal version of Andreotti and Mayer's local characterization of Jacobians by the dimension of the singular locus of the theta divisor.
We present explicit models for Shimura curves X_D and Atkin-Lehner quotients X_D/w_m of them of genus 2. We show that several equations conjectured by Kurihara are correct and compute for them the kernel of Ribet's isogeny J_0(D)^{new} --> J_D between the new part of the Jacobian of the modular curve X_0(D) and the Jacobian of X_D.
We introduce a general abstract notion of fine compactified Jacobian for nodal curves of arbitrary genus. We focus on genus 1 and prove combinatorial classification results for fine compactified Jacobians in the case of a single nodal curve and in the case of the universal family over the moduli space of stable pointed curves. We show that if the fine compactified Jacobian of a nodal curve of genus 1 can be extended to a smoothing of the curve, then it can be described as the moduli space of stable sheaves with respect to some polarisation. In the universal case we construct new examples of ge…
Let E be an elliptic curve defined over a finite field. Balasubramanian and Koblitz have proved that if the l-th roots of unity m_l is not contained in the ground field, then a field extension of the ground field contains m_l if and only if the l-torsion points of E are rational over the same field extension. We generalize this result to Jacobians of genus two curves with complex multiplication. In particular, we show that the Weil- and the Tate-pairing on such a Jacobian are non-degenerate over the same field extension of the ground field.
We produce new explicit examples of genus-2 curves over the rational numbers whose Jacobian varieties have rational torsion points of large order. In particular, we produce a family of genus-2 curves over Q whose Jacobians have a rational point of order 48, parametrized by a rank-2 elliptic curve over Q, and we exhibit a single genus-2 curve over Q whose Jacobian has a rational point of order 70, the largest order known. We also give new examples of genus-2 Jacobians with rational points of order 27, 28, and 39. Most of our examples are produced by `gluing' two elliptic curves together along t…
The purpose of this review paper is the collection, systematization and discussion of recent results concerning the quantization approach to the Jacobian conjecture, as well as certain related topics.
Let E be an elliptic curve defined over a finite field. Balasubramanian and Koblitz have proved that if the l-th roots of unity m_l is not contained in the ground field, then a field extension of the ground field contains m_l if and only if the l-torsion points of E are rational over the same field extension. We generalize this result to Jacobians of genus two curves. In particular, we show that the Weil- and the Tate-pairing are non-degenerate over the same field extension of the ground field. From this generalization we get a complete description of the l-torsion subgroups of Jacobians of su…
For each universal genus-$g$ polarization $μ$ of degree $d$, we construct a universal tropical Jacobian $J_{μ,g}^{trop}$ as a generalized cone complex over the moduli space of stable pointed genus-$g$ tropical curves. We show several properties of the space $J_{μ,g}^{trop}$. In particular, we prove that the natural compactification of $J_{μ,g}^{trop}$ is the tropicalization of the Esteves' compactified universal Jacobian over the moduli space of stable pointed genus-$g$ curves.
