This paper is devoted to constructing an explicit efficient representation for the Jacobian variety of a nonsingular curve of genus greater than 1, and its group law. We describe an algorithm for executing the group law on the Jacobian elements, consisting of several steps. Finally we exhibit two examples. The first example exhibits an explicit formulation for the Jacobian of a well known non singular elliptic curve of genus 1, that is, the Weierstrass curve. The second example introduces an explicit computation of the group law for a non singular curve of genus 3, $C : ω_2^4 = ω_1 (ω_1-ω_0)(ω_1-2ω_0)(ω_1-3ω_0)$, where $ω_0, ω_1, ω_2$ are homogeneous coordinates of the projective plane $\mathbb{P}^2$. These examples are highly detailed for the convenience of the reader.
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.
Let $X$ be a nonsingular variety defined over an algebraically closed field of characteristic $0$, and $D$ be a free divisor with Jacobian ideal of linear type. We compute the Chern class of the sheaf of logarithmic derivations along $D$ and compare it with the Chern-Schwartz-MacPherson class of the hypersurface complement. Our result establishes a conjecture by Aluffi raised in \cite{hyparr}.
Classification of curves in a projective space occupies minds of many mathematicians. First step in doing so is classification of curves on a given surface. This brings us to consideration of the nonsingular Del Pezzo Surface in $P^4_k.$ We describe conditions for a divisor to be very ample and condition for a divisor class to contain an irreducible curve.
Our concern is a nonsingular plane curve defined over a finite field of q elements which includes all the rational points of the projective plane over the field. The possible degree of such a curve is at least q+2. We prove that nonsingular plane curves of degree q+2 having the property actually exist. More precisely, we write down explicitly all of those curves. Actually, Giuseppe Tallini studied such curves in his old paper in 1961. We explain the connection between his work and ours. Moreover we give another proof of his result on the automorphism group of such a curve, from the viewpoint o…
In this paper, we consider rational cuspidal plane curves having at least three cusps. We give an upper bound of the self-intersection number of the proper transforms of such curves via the minimal embedded resolution of the cusps. For a curve having exactly three cusps, we show that the self-intersection number is equal to the bound if and only if the curve coincides with the quartic curve having three cusps.
In recent years, the equations defining secant varieties and their syzygies have attracted considerable attention. The purpose of the present paper is to conduct a thorough study on secant varieties of curves by settling several conjectures and revealing interaction between singularities and syzygies. The main results assert that if the degree of the embedding line bundle of a nonsingular curve of genus $g$ is greater than $2g+2k+p$ for nonnegative integers $k$ and $p$, then the $k$-th secant variety of the curve has normal Du Bois singularities, is arithmetically Cohen--Macaulay, and satisfie…
We introduce deformation theoretic methods for determining when a curve $X$ in a non-hyperelliptic jacobian $JC$ will deform with $JC$ to a non-jacobian. We apply these methods to a particular class of curves in the second symmetric power $C^{(2)}$ of $C$. More precisely, given a pencil $g^1_d$ of degree $d$ on $C$, let $X$ be the curve parametrizing pairs of points in divisors of $g^1_d$ (see the paper for the precise scheme-theoretical definition). We prove that if $X$ deforms infinitesimally out of the jacobian locus with $JC$ then either $d=4$ or $d=5$, dim$H^0 (g^1_5) = 3$ and $C$ has gen…
We construct a modification of Vassiliev's method of calculating cohomology groups of spaces of nonsingular algebraic hypersurfaces. We use this modified method to calculate the real cohomology groups of the space of nonsingular plane quintics.
We introduce deformation theoretic methods for determining when a curve $X$ in a non-hyperelliptic jacobian $JC$ will deform with $JC$ to a non-jacobian. We apply these methods to a particular class of curves in symmetric powers $C^{(e)}$ of $C$ where $3\leq e\leq g-3$. More precisely, given a pencil $g^1_d$ of degree $d$ on $C$, let $X$ be the curve parametrizing divisors of degree $e$ in divisors of $g^1_d$ (see the paper for the precise scheme-theoretical definition). Under certain genericity assumptions on the pair $(C, g^1_d)$, we prove that if $X$ deforms infinitesimally out of the jacob…
To every singular reduced projective curve X one can associate many fine compactified Jacobians, depending on the choice of a polarization on X, each of which yields a modular compactification of a disjoint union of the generalized Jacobian of X. We investigate the geometric properties of fine compactified Jacobians focusing on curves having locally planar singularities. We give examples of nodal curves admitting non isomorphic (and even non homeomorphic over the field of complex numbers) fine compactified Jacobians. We study universal fine compactified Jacobians, which are relative fine compa…
For each nonsingular hyperelliptic curve of arbitrary genus, we construct a natural injection from the Galois cohomology of 2-torsion subgroups of Jacobian varieties of the curve to the set of isomorphism classes of nonsingular complete intersections of two quadrics. This gives a generalization of the result of Flynn and Skorobogatov.
We relate the equianalytic and the equisingular deformations of a reduced complex plane curve to the Jacobian syzygies of its defining equation. Several examples and conjectures involving rational cuspidal curves are discussed.
We investigate the decomposition of Jacobians of superelliptic curves based on their automorphisms. For curve with equation $y^n=f(x^m)$ we provide an necessary and sufficient condition in terms of $m$ and $n$ for the decomposition of the Jacobian induced by the automorphisms of the curve. Moreover, we generalize a construction in \cite{Ya} of a family of non-hyperelliptic curves $\mathcal X_{r,s} $ and determine arithmetic conditions on $r$ and $s$ that the Jacobians $\mbox{Jac} (\mathcal X_{r, s})$ decomposes.
We construct a new compactification of the moduli space of maps from pointed nonsingular projective stable curves to a nonsingular projective variety with prescribed ramification indices at the points. It is shown to be a proper Deligne-Mumford stack equipped with a natural virtual fundamental class.
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.
Recently, Barraza-Rojas have described the action of the full automorphisms group on the Fermat curve of degree $p$, for $p$ a prime integer, and obtained the group algebra decomposition of the corresponding Jacobian variety. In this short note we observe that the factors in such a decomposition are given by the Jacobian varieties of certain $p$-gonal curves.
We present relations between cycles with rational coefficients modulo algebraic equivalence on the Jacobian of a curve. These relations depend on the linear systems the curve admits. They are obtained in the tautological ring, the smallest subspace containing (an embedding of) the curve and closed under the basic operations of intersection, Pontryagin product and the pullback and pushdown induced by homotheties.
We identify several classes of curves $C:f=0$, for which the Hilbert vector of the Jacobian module $N(f)$ can be completely determined, namely the 3-syzygy curves, the maximal Tjurina curves and the nodal curves, having only rational irreducible components. A result due to Hartshorne, on the cohomology of some rank 2 vector bundles on $\mathbb{P}^2$, is used to get a sharp lower bound for the initial degree of the Jacobian module $N(f)$, under a semistability condition.
Let C be an integral projective curve with planar singularities. Consider its Jacobian J and the compactified Jacobian J'. We construct a flat family P of Cohen-Macaulay sheaves on J' parametrized by J'; over J, the family P is the Poincare line bundle. We prove that the Fourier-Mukai transform given by P is an auto-equivalence of the derived category of J'.
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.
We introduce the notion of an approximate jacobian Newton diagram which is the jacobian Newton diagram of the morphism $(f^{(k)},f)$, where $f$ is a branch and $f^{(k)}$ is a characteristic approximate root of $f$. We prove that the set of all approximate jacobian Newton diagrams is a complete topological invariant. This generalizes theorems of Merle and Ephraim about the decomposition of the polar curve of a branch.
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.
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.
In [5], without giving a detailed proof, Yamauchi provided a formula to calculate the genus of a certain family of smooth complete intersection algebraic curves. That formula is used extensively in [1] to study the algebraic curves for which their Jacobian has superelliptic components. In this note, we determine the correct version of the genus formula with an algebraic proof. Then, we show that the formula given in [5] works only under certain conditions.
In recent years there has been an interest in constructing examples of closed Riemann surfaces whose jacobian varieties are isogenous to a product of many elliptic factors and some other jacobian varieties. The first ones, provided by Ekedahl and Serre, are examples for which the isogenous decomposition has all factors being elliptic curves. It is well known that given two elliptic curves $E_{1}$ and $E_{2}$, there is a closed Riemann surface $X$ of genus two, with equations in terms of the elliptic curves, and whose jacobian variety $JX$ is isogenous to $E_{1} \times E_{2}$. In this paper, gi…
The compactified Jacobian of any projective curve $X$ is defined as the Simpson moduli space of torsion free rank one degree $d$ sheaves that are semistable with respect to a fixed polarization $H$ on $X$. In this paper we give explicitly the structure of this compactified Simpson Jacobian in the case where $X$ is a generalized tree-like curve, i.e., a projective, reduced and connected curve such that the intersection points of its irreducible components are disconnecting ordinary double points. We prove that it is isomorphic to the product of the compactified Jacobians of a certain degree $d_…
The main purpose of this paper is to give an overview over the theory of abelian varieties, with main focus on Jacobian varieties of curves reaching from well-known results till to latest developments and their usage in cryptography. In the first part we provide the necessary mathematical background on abelian varieties, their torsion points, Honda-Tate theory, Galois representations, with emphasis on Jacobian varieties and hyperelliptic Jacobians. In the second part we focus on applications of abelian varieties on cryptography and treating separately, elliptic curve cryptography, genus 2 and …
We consider two cycles on the moduli space of compact type curves and prove that they coincide. The first is defined by pushing forward the virtual fundamental classes of spaces of relative stable maps to an unparameterized rational curve, while the second is obtained as the intersection of the Abel section of the universal Jacobian with the zero section. Our comparison extends results of Cavalieri-Marcus-Wise where the same identity was proved over on the locus of rational tails curves.
This paper addresses the following question of Oort: "Are there any postive dimensional locally symmetric subvarieties of the moduli space of abelian varieties that are contained in the jacobian locus and contain the jacobian of at least one smooth curve? Some partial results are given.
Many finite dimensional integrable systems qre expressed with the help of the Lax equation which highlights a spectral parameter and therefore a spectral curve. These spectral curves are the starting point of an algebro-geometric investigation. The algebraic aspect of this investigation will be expressed using the Jacobians of smooth spectral curves and generalized jacobians of singular spectral curves and in the other hand the geometrical aspect will be attributed to the vector fields which are defined by the Lax equation. In this article will be dedicated only to singular hyperelliptic spect…
Let $K$ be a number field and $O_K$ the ring of integers of $K$. In the spirit of Siegel's theorem on integral points on affine algebraic curves, the plane Jacobian conjecture over $K$ is equivalent to the following statement: if $P,Q\in O_K[x,y]$ and $P_xQ_y-P_yQ_x\equiv 1$, then the curve $P=0$ has more than one integral point.
We give uniformizations of the Klein quartic curve and the Fermat septic curve as Shimura curves parametrizing Abelian $6$-folds with endomorphisms $\ZZ[\z_7]$.
For any projective curve $X$ let $\bar{M}^d(X)$ be the Simpson moduli space of pure dimension one rank 1 degree $d$ sheaves that are semistable with respect to a fixed polarization $H$ on $X$. When $X$ is a reduced curve the connected component of $\bar{M}^d(X)$ that contains semistable line bundles can be considered as the compactified Jacobian of $X$. In this paper we give explicitly the structure of this compactified Simpson Jacobian for the following projective curves: tree-like curves and all reduced and reducible curves that can appear as Kodaira singular fibers of an elliptic fibration,…
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.
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 consider the set of equisymmetric Riemann surfaces $\mathcal{M}(2n-1, D_{2n}, θ)$ for all $n\geq 2$. We study the group algebra decomposition of the Jacobian $JX$ of every curve $X\in \mathcal{M}(2n-1, D_{2n},θ)$ for all admissible actions, and we provide affine models for them. We use the topological equivalence of actions on the curves to obtain facts regarding its Jacobians. We …
Given a family of nodal curves, a semistable modification of it is another family made up of curves obtained by inserting chains of rational curves of any given length at certain nodes of certain curves of the original family. We give comparison theorems between torsion-free, rank-1 sheaves in the former family and invertible sheaves in the latter. We apply them to show that there are functorial isomorphisms between the compactifications of relative Jacobians of families of nodal curves constructed through Caporaso's approach and those constructed through Pandharipande's approach.
We connect two notions of tautological ring: one for the moduli space of curves (after Mumford, Faber, etc.), and the other for the Jacobian of a curve (after Beauville, Polishchuk, etc.). The motivic Lefschetz decomposition on the Jacobian side produces relations between tautological classes, leading to results about Faber's Gorenstein conjecture on the curve side. We also relate certain Gorenstein properties on both sides and verify them for small genera. Further, we raise the question whether all tautological relations are motivic, giving a possible explanation why the Gorenstein properties…
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…
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$.
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 study the theta divisor of the compactified jacobian of a nodal, possibly reducible, curve. We compute its irreducible components and give it a geometric interpretation consistent with the classical Brill-Noether theory of smooth curves. Some applications on hyperelliptic stable curves are appended.
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…
Let $f:X \to \mathbb{P}^1$ be a non-isotrivial family of semi-stable curves of genus $g\geq 1$ defined over an algebraically closed field $k$ with $s_{nc}$ singular fibers whose Jacobians are non-compact. We prove that $s_{nc}\geq 5$ if $k=\mathbb C$ and $g\geq 5$; we also prove that $s_{nc}\geq 4$ if ${\rm char}~k>0$ and the relative Jacobian of $f$ is non-smooth.
