Let J be the Jacobian of a smooth curve C of genus g, and let A(J) be the ring of algebraic cycles modulo algebraic equivalence on J, tensored with Q. We study in this paper the smallest Q-vector subspace R of A(J) which contains C and is stable under the natural operations of A(J) : intersection and Pontryagin products, pull back and push down under multiplication by integers. We prove that this "tautological subring" is generated (over Q) by the classes of the subvarieties W_1=C, W_2=C+C, ..., W_{g-1}. If C admits a morphism of degree d onto P^1, we prove that the last d-1 classes suffice.
We give upper and lower bounds on the number of points on abelian varieties over finite fields, and lower bounds specific to Jacobian varieties. We also determine exact formulas for the maximum and minimum number of points on Jacobian surfaces.
This paper provides a formula for the Mather-Jacobian multiplier ideals of torus invariant ideals on (not necessarily normal) toric varieties that generalizes Howald's formula for the multiplier ideal of monomial ideals in a polynomial ring.
In this short paper we generalise a theorem due to Kani and Rosen on decomposition of Jacobian varieties of Riemann surfaces with group action. This generalisation extends the set of Jacobians for which it is possible to obtain an isogeny decomposition where all the factors are Jacobians.
We present a new technique to study Jacobian variety decompositions using subgroups of the automorphism group of the curve and the corresponding intermediate covers. In particular, this new method allows us to produce many new examples of genera for which there is a curve with completely decomposable Jacobian. These examples greatly extend the list given by Ekedahl and Serre of genera containing such curves, and provide more evidence for a positive answer to two questions they asked. Additionally, we produce new examples of families of curves, all of which have completely decomposable Jacobian…
We give some bounds on the numbers of rational points on abelian varieties and jacobians varieties over finite fields. The main result is that we determine the maximum and minimum number of rational points on jacobians varieties of dimension 2.
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 …
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.
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 …
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…
By using the Grothendieck-Riemann-Roch theorem we derive cycle relations modulo algebraic equivalence in the Jacobian of a curve. The relations generalize the relations found by Colombo and van Geemen and are analogous to but simpler than the relations recently found by Herbaut. In an appendix due to Zagier it is shown that these sets of relations are equivalent.
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 C be a complex curve of genus g, let J(C) be its Jacobian and let R(C) be its tautological ring, that is, the group of algebraic cycles modulo algebraic equivalence. We study the algebraic structure of R(C). In particular, we give a detailed description of all the possibilities that may occur for g<9: we construct convenient basis and we determine the matrices representing the Fourier transform and both intersection and Pontryagin products explicitly. In particular, we estimate the dimension of R(C).
Let $X_1, ..., X_m$ denote smooth projective curves of genus $g_i \geq 2$ over an algebraically closed field of characteristic 0 and let $n$ denote any integer at least equal to $1+\max_{i=1}^m g_i$. We show that the product $JX_1 \times ... \times JX_m$ of the corresponding Jacobian varieties admits the structure of a Prym-Tyurin variety of exponent $n^{m-1}$. This exponent is considerably smaller than the exponent of the structure of a Prym-Tyurin variety known to exist for an arbitrary principally polarized abelian variety. Moreover it is given by explicit correspondences.
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 note, we examine the Jacobian ring description of the Hodge structure of zero loci of vector bundle sections on a class of ambient varieties. We consider a set of cohomological vanishing conditions that imply such a description, and we verify these conditions for some new cases. We also observe that the method can be directly extended to log homogeneous varieties. We apply the Jacobian ring to study the null varieties of period integrals and their derivatives, generalizing a result in [9] for projective spaces. As an additional application, we prove the Hodge conjecture for very generi…
Consider a finite group $G$ acting on a Riemann surface $S$, and the associated branched Galois cover $π_G:S \to Y=S/G$. We introduce the concept of geometric signature for the action of $G$, and we show that it captures the information of the geometric structure of the lattice of intermediate covers, the information about the isotypical decomposition of the rational representation of the group $G$ acting on the Jacobian variety $JS$ of $S$, and the dimension of the subvarieties of the isogeny decomposition of $JS$. We also give a version of Riemann's existence theorem, adjusted to the present…
We describe the isotypical decomposition of the Jacobian variety JW of the Galois extension W-->T of any fourfold cover of smooth connected irreducible projective complex curves X-->T, in terms of Prym's of intermediate covers. We also compute the degree of the isogenies involved and as a result we obtain new proofs of the bigonal and trigonal constructions. Furthermore, we give examples of families of Jacobians isogenous to a product of Jacobians and of families of Prym varieties isogenous to the product of elliptic curves.
We prove that for any two integers $g\geq 4$ and $g'\leq 2g-1$, there exist abelian varieties over $\overline{\mathbb{Q}}$ which are not quotients of a Jacobian of dimension $g'$. Our method in fact proves that most Abelian varieties satisfy this property, when counting by height relative to a fixed finite map to projective space.
We obtain the trace map image of the values of certain harmonic volumes for some quotients of Fermat curves. This provides the algorithm that the algebraic cycles called by the k-th Ceresa cycles are not algebraically equivalent to zero in the Jacobian varieties.
We construct an infinitesimal invariant for cycles in a family with cohomology class in the total space lying in a given level of the Leray filtration. This infinitesimal invariant detects cycles modulo algebraic equivalence in the fibers. We apply this construction to the Ikeda family, which gives optimal results for the Beauville decomposition of the 1-cycle of a very general plane curve in its Jacobian.
On tropical geometry in $\rr^2$, the divisor and the Jacobian variety are defined in analogy to algebraic geometry. For study of these objects, it is important to think of the `bunch' of a tropical curve. In this paper, we will show that if the bunch is a bouquet, then the Jacobian is a higher-dimensional torus.
In this paper we define the notion of a hyperkähler manifold (potentially) of Jacobian type. If we view hyperkähler manifolds as "abelian varieties", then those of Jacobian type should be viewed as "Jacobian varieties". Under a minor assumption on the polarization, we show that a very general polarized hyperkähler fourfold $F$ of $K3^{[2]}$-type is not of Jacobian type. As a potential application, we conjecture that if a cubic fourfold is rational then its variety of lines is of Jacobian type. Under some technical assumption, it is proved that the variety of lines on a rational cubic fourfold …
This is a slightly revised version of the author's 2010 diploma thesis. It is concerned with the interplay between real multiplication on Jacobian varieties, as the title suggests, and complex geodesics in the moduli space of curves. Large parts are expository and may hopefully serve as a very incomplete introduction to Teichmueller disks and curves, the moduli space of abelian differentials with its SL2(R)-operation and variations of Hodge structure.
We show that the infinitesimal deformations of the Brill--Noether locus $W_d$ attached to a smooth non-hyperelliptic curve $C$ are in one-to-one correspondence with the deformations of $C$. As an application, we prove that if a Jacobian $J$ deforms together with a minimal cohomology class out the Jacobian locus, then $J$ is hyperelliptic. In particular, this provides an evidence to a conjecture of Debarre on the classification of ppavs carrying a minimal cohomology class. Finally, we also study simultaneous deformations of Fano surfaces of lines and intermediate Jacobians.
We construct some natural cycles with trivial regulator in the higher Chow groups of Jacobians. For hyperelliptic curves we use a criterion due to J. Lewis to prove that the cycles we construct are indecomposable, and then use a specialization argument to prove indecomposability for more general curves. Please note that math.AG/9909062 has become an obsolete version of some of the results in the present paper.
Our goal in this note is to give a number of examples of abelian varieties over function fields k(t) which have bounded ranks in towers of extensions such as k(t^{1/d}) for varying d. Along the way we prove some new results on Fermat curves which may be of independent interest.
We study the Selmer variety associated to a canonical quotient of the $\Q_p$-pro-unipotent fundamental group of a smooth projective curve of genus at least two defined over $\Q$ whose Jacobian decomposes into a product of abelian varieties with complex multiplication. Elementary multi-variable Iwasawa theory is used to prove dimension bounds, which, in turn, lead to a new proof of Diophantine finiteness over $\Q$ for such curves.
We explicitly construct the Kummer variety associated to the Jacobian of a hyperelliptic curve of genus 3 that is defined over a field of characteristic not equal to 2 and has a Weierstraß point defined over the same field. We also construct homogeneous quartic polynomials on the Kummer variety and show that they represent the duplication map.
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.
For a class of non-hyperelliptic genus 3 curves C which are 2-fold coverings of elliptic curves E, we give an explicit algebraic description of all birationally non-equivalent genus 2 curves whose Jacobians are degree 2 isogeneous to the Prym varieties associated to such coverings. Our description is based on previous studies of Prym varieties with polarization (1,2) in connection with separation of variables in a series of classical and new algebraic integrable systems linearized on such varieties. We also consider some special cases of the covering C -> E, in particular, when the correspondi…
We present a collection of algebraic equivalences between tautological cycles on the Jacobian $J$ of a curve, i.e., cycles in the subring of the Chow ring of $J$ generated by the classes of certain standard subvarieties of $J$. These equivalences are universal in the sense that they hold for all curves of given genus. We show also that they are compatible with the action of the Fourier transform on tautological cycles and compute this action explicitly.
Let $X$ be a regular geometrically integral variety over an imperfect field $K$. Unlike the case of characteristic $0$, $X':=X\times_{\mathrm{Spec}\,K}\mathrm{Spec}\,K'$ may have singular points for a (necessarily inseparable) field extension $K'/K$. In this paper, we define new invariants of the local rings of codimension $1$ points of $X'$, and use these invariants for the calculation of $δ$-invariants (, which relate to genus changes,) and conductors of such points. As a corollary, we give refinements of Tate's genus change theorem and the Patakfalvi-Waldron Theorem. Moreover, when $X$ is a…
Let $C$ be a smooth projective curve defined over a number field $k$, $X/k(C)$ a smooth projective curve of positive genus, $J_X$ the Jacobian variety of $X$ and $(τ,B)$ the $k(C)/k$-trace of $J_X$. We estimate how the rank of $J_X(k(C))/τB(k)$ varies when we take an unramified abelian cover $π:C'\to C$ defined over $k$.
This is (mostly) a survey article. We use an information about Galois properties of points of small order on an abelian variety in order to describe its endomorphism algebra over an algebraic closure of the ground field. We discuss in detail applications to jacobians of cyclic covers of the projective line.
We show that any polarized abelian variety over a finite field is covered by a Jacobian whose dimension is bounded by an explicit constant. We do this by first proving an effective version of Poonen's Bertini theorem over finite fields, which allows us to show the existence of smooth curves arising as hypersurface sections of bounded degree and genus. Additionally, we show that for simple abelian varieties a better bound is possible. As an application of these results we show that if $E$ is an elliptic curve over a finite field then for any $n\in \mathbb{N}$ there exist smooth curves of bounde…
We study families of Galois covers of curves of positive genus. It is known that under a numerical condition these families yield Shimura subvarieties generically contained in the Jacobian locus. We prove that there are only 6 families satisfying this condition, all of them in genus 2,3 or 4. We also show that these families admit two fibrations in totally geodesic subvarieties, generalizing a result of Grushevsky and Möller. Countably many of these fibres are Shimura. Thus the Jacobian locus contains infinitely many Shimura subvarieties of positive dimension of any $g \leq 4$.
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.
In the paper M. Somekawa, {\it{On Milnor $K$-groups attached at semi-Abelian varieties}}, K-theory, \textbf{4} (1990) p.105, Somekawa conjectures that his Milnor K-group $K(k,G_1,...,G_r)$ attached to semi-abelian varieties $G_1$,...,$G_r$ over a field $k$ is isomorphic to ${\rm Ext}_{\mathcal{M}_k}^r(\mathbb{Z},G_1[-1] \otimes ... \otimes G_r[-1])$ where $\mathcal{M}_k$ is a certain category of motives over $k$. The purpose of this note is to give remarks on this conjecture, when we take $\mathcal{M}_k$ as Voevodsky's category of motives ${\rm DM}^{eff}_{-}(k)$ .
Using the compactified universal jacobian over the moduli space of stable marked curves, we give an expression in terms of natural classes of the zero section of the compactified universal jacobian the (rational) Chow ring. After extending variants of the Abel-Jacobi map to a locus containing curves of treelike type we give a formula for the pullback of the said zero section along these extensions. The same approach is also applied to recover known formulas for the pullback of theta divisors to the moduli space of marked stable curves.
In this paper we study principally polarized complex abelian varieties that admit an automorphism of order 3. It turns out that certain natural conditions on the multiplicities of its action on the differentials of the first kind do guarantee that those polarized varieties are not jacobians of curves. As an application, we get another proof of the already known (thanks to Clemens and Griffiths) fact that intermediate jacobians of certain cubic threefolds are not jacobians of curves.
Looking for a geometric framework to study plectic Heegner points, we define a collection of abelian varieties - called plectic Jacobians - using the middle degree cohomology of quaternionic Shimura varieties (QSVs). The construction is inspired by the definition of Griffiths' intermediate Jacobians and rests on Nekovar-Scholl's notion of plectic Hodge structures. Moreover, we construct exotic Abel-Jacobi maps sending certain zero-cycles on QSVs to plectic Jacobians.
Inspired by several works on jet schemes and motivic integration, we consider an extension to singular varieties of the classical definition of discrepancy for morphisms of smooth varieties. The resulting invariant, which we call Jacobian discrepancy, is closely related to the jet schemes and the Nash blow-up of the variety. This notion leads to a framework in which adjunction and inversion of adjunction hold in full generality, and several consequences are drawn from these properties. The main result of the paper is a formula measuring the gap between the dualizing sheaf and the Grauert-Rieme…
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…
An abelian variety defined over an algebraically closed field k of positive characteristic is supersingular if it is isogenous to a product of supersingular elliptic curves and is superspecial if it is isomorphic to a product of supersingular elliptic curves. In this paper, the superspecial condition is generalized by defining the superspecial rank of an abelian variety, which is an invariant of its p-torsion. The main results in this paper are about the superspecial rank of supersingular abelian varieties and Jacobians of curves. For example, it turns out that the superspecial rank determines…
The Torelli group of a compact non-orientable Klein surface is the subgroup of the modular group consisting of the mapping classes that act trivially on the first homology group of the surface. We prove that if a surface has genus at least $3$, then the Torelli group acts fixed points free on the Teichmüller space of the surface. That gives an embedding of the Torelli space of a Klein surface in the Torelli space of its complex double. We also construct real tori associated to Klein surfaces, which we call the Jacobian of the surface. We prove that this Jacobian is isomorphic to a component of…
Let C be a generic smooth curve of genus g\geqslant 4. We study normal functions and infinitesimal invariants associated to Ceresa cycles W_{k}-W_{k}^{-}, k=2,...,g-2. We show how they can be obtained from the normal function associated to the basic cycle C-C^{-} and, for k=2, we also explicitely determine the zero locus of the infinitesimal invariant. For C hyperelliptic of genus g=3, we define the K-theoretic counterpart of W_{2}-W_{2}^{-}, generalizing a construction of A. Collino, and show that it is indecomposable.
