Title: Indecomposable Higher Chow Cycles on Low Dimensional Jacobians Authors: Alberto Collino Comments: AMS-TeX, 10 pages Subj-class: Algebraic Geometry MSC-class: 14C30 ;19E15 There is a basic indecomposable higher cycle K in Bloch's higher Chow group CH^{g}(J(C),1) on the Jacobian J(C) of a general hyperelliptic curve C of genus g. Consider K(t) the translation of K associated with a point t in C, we prove that in general K - K(t) is indecomposable if the genus is at least 3. Our tool is Lewis' condition for indecomposability. We show next that on the jacobian J(C) of a general curve C of genus 3 there is a geometrically natural family of higher cycles, when C becomes hyperelliptic the family in the limit contains a component of indecomposable cycles of type K - K(t).
I construct regulator indecomposable higher Chow cycles in elliptic surfaces satisfying certain conditions. As an application I give an alternative proof of a theorem of Gordon and Lewis, which asserts that there is a real regulator indecomposable cycles in a product of general elliptic curves.
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.
Let $J$ be the Jacobian of a smooth projective curve. We define a natural action of the Lie algebra of polynomial Hamiltonian vector fields on the plane, vanishing at the origin, on the Chow group of $J$ with rational coefficients. Using this action we obtain some relations between tautological cycles on $J$.
In this article we generalize the injectivity of the push-forward homomorphism at the level of Chow groups, induced by the closed embedding of $\Sym^m C$ into $\Sym^n C$ for $m\leq n$, where $C$ is a smooth projective curve, to symmetric powers of a smooth projective variety of higher dimension. We also prove the analog of this theorem for product of symmetric powers of smooth projective varieties. As an application we prove the injectivity of the push-forward homomorphism at the level of Chow groups, induced by the closed embedding of self product of theta divisor into the self product of the…
The Beilinson-Bloch type conjectures predict that the low degree rational Chow groups of intersections of quadrics are one dimensional. This conjecture was proved by Otwinowska. Making use of homological projective duality and the recent theory of (Jacobians of) noncommutative Chow motives, we give an alternative proof of this conjecture in the case of a complete intersection of either two quadrics or three odd-dimensional quadrics. Moreover, without the use of the powerful Lefschetz theorem, we prove that in these cases the unique non-trivial algebraic Jacobian is the middle one. As an applic…
We prove that the group of normalized cohomological invariants of degree 3 modulo the subgroup of semidecomposable invariants of a semisimple split linear algebraic group G is isomorphic to the torsion part of the Chow group of codimension 2 cycles of the respective versal G-flag. In particular, if G is simple, we show that this factor group is isomorphic to the group of indecomposable invariants of G. As an application, we construct nontrivial cohomological classes for indecomposable central simple algebras.
We prove the Hodge-D-conjecture for general K3 and Abelian surfaces. Some consequences of this result, e.g., on the levels of higher Chow groups of products of elliptic curves, are discussed.
We show that Mildenhall's theorem implies that the indecomposable higher Chow group of a self-product of an elliptic curve over the complex number field is infinite dimensional, if the elliptic curve is modular and defined over rational numbers. For the moment we cannot prove even the nontriviality of the indecomposable higher Chow group by a complex analytic method in this case.
We describe a method to construct indecomposable classes in Bloch's higher Chow group $CH^2(X,1)$ on algebraic surfaces over the complex numbers via transcendental methods and apply it to obtain examples on K3-surfaces and some surfaces of general type.
Let $X$ be a complex smooth projective variety of dimension $d$. Under some assumption on the cohomology of $X$, we construct mutually orthogonal idempotents in $CH_d(X \times X) \otimes \Q$ whose action on algebraically trivial cycles coincides with the Abel-Jacobi map. Such a construction generalizes Murre's construction of the Albanese and Picard idempotents and makes it possible to give new examples of varieties admitting a self-dual Chow-Künneth decomposition satisfying the motivic Lefschetz conjecture as well as new examples of varieties having a Kimura finite dimensional Chow motive. Fo…
We explicitly describe cycle-class maps c_H from motivic cohomology to absolute Hodge cohomology, for smooth quasi-projective and (some) proper singular varieties, and compute special cases of the latter. For smooth projective varieties, we also study Hodge-theoretically defined "higher Abel-Jacobi maps" on the kernel of c_H; this leads to new results on nontrivial indecomposable higher Chow cycles in the regulator kernel.
For a curve C, viewed as a cycle in its Jacobian, we study its image n_*C under multiplication by n on JC. We prove that the subgroup generated by these cycles, in the Chow group modulo algebraic equivalence, has rank at most d-1, where d is the gonality of C. We also discuss some general facts on the action of n_* on the Chow groups.
In this paper, we consider the moduli space $\cSU_C(r,\cO_C)$ of rank $r$ semistable vector bundles with trivial determinant on a smooth projective curve $C$ of genus $g$. When the rank $r=2$, F. Kirwan constructed a smooth log resolution $\ov{X}\rar \cSU_C(2,\cO_C)$. Based on earlier work of M. Kerr and J. Lewis, Lewis explains in the Appendix the notion of a relative Chow group (w.r.to the normal crossing divisor), and a subsequent Abel-Jacobi map on the relative Chow group of null-homologous one cycles (tensored with $\Q$). This map takes values in the intermediate Jacobian of the compactly…
In this note we prove that the kernel of the push-forward homomorphism on $d$-cycles modulo rational equivalence, induced by the closed embedding of an ample divisor linearly equivalent to some multiple of the theta divisor inside the Jacobian variety $J(C)$ is trivial. Here $C$ is a smooth projective curve of genus $g$.
We study tautological cycle classes on the Jacobian of a curve. We prove a new result about the ring of tautological classes on a general curve that allows, among other things, easy dimension calculations and leads to some general results about the structure of this ring. Next we obtain a vanishing result for some of the generating classes p_i; this gives an improvement of an earlier result of Herbaut. Finally we lift a result of Herbaut and van der Geer-Kouvidakis to the Chow ring (as opposed to its quotient modulo algebraic equivalence) and we give a method to obtain further explicit cycle r…
Let C be a curve over a non-singular base variety S. We study algebraic cycles on the symmetric powers C^[n] and on the Jacobian J. The Chow homology of C^[*], the sum of all C^[n], is a ring using the Pontryagin product. We prove that this ring is isomorphic to CH(J)[t]<u>, the PD-polynomial algebra (variable: u) over the usual polynomial ring (variable: t) over the Chow ring CH(J). We give two such isomorphisms that over a general base are different. Further we give some precise results on how CH(J) sits embedded in CH(C^[*]) and we give an explicit geometric description of how the derivatio…
For every $n$-dimensional smooth projective variety $X$ over ${\bf C}$, the motive $M(X)$ is expected to admit a Chow-Künneth decomposition $M_0(X)\oplus\cdots \oplus M_{2n}(X)$. Inspired by the slice filtration of $M(X)$ we propose the definitions of $M_2(X)$ and $M_{2n-2}(X)$.
We prove Welter's trisecant conjecture: an indecomposable principally polarized abelian variety $X$ is the Jacobian of a curve if and only if there exists a trisecant of its Kummer variety $K(X)$.
We construct new indecomposable elements in the higher Chow group CH2(A,1) of a principally polarized Abelian surface over a non Archimedean local field, which generalize an element constructed by Collino. These elements are constructed using a generalization, due to Birkenhake and Wilhelm, of a classical construction of Humbert, along with some recent work of Bogomolov, Hassett and Tschinkel on deformations of rational curves on a K3 surface. They can be used to prove the non-Archimedean Hodge-D-conjecture - namely, the surjectivity of the boundary map in the localization sequence - in the ca…
In this text we prove that if an abelian variety $A$ admits of an embedding into the Jacobian of a smooth projective curve $C$, and if we consider $\Th_A$ to be the divisor $\Th_C\cap A$, where $\Th_C$ denotes the theta divisor of $J(C)$, then the embedding of $\Th_A$ into $A$ induces an injective push-forward homomorphism at the level of Chow groups. We show that this is the case for every principally polarized abelian varieties.
Consider an external product of a higher cycle and a usual cycle which is algebraically equivalent to zero. Assume there exists an algebraically closed subfield k such that the higher cycle and its ambient variety are defined over k, but the image of the usual cycle by the Abel-Jacobi map is not. Then we prove that the external product is nonzero if the image of the higher cycle by the cycle map to the reduced Deligne cohomology does not vanish. We also give examples of indecomposable higher cycles on even dimensional hypersurfaces of degree at least four in a projective space such that the la…
We consider the Chow ring with rational coefficients of the Jacobian of a curve. Assume D is a divisor in a base point free g^r_d of the curve such that the canonical divisor K is a multiple of the divisor D. We find relations between tautological cycles. We give applications for curves having a degree d covering of P^1 whose ramification points are all of order d, and then for hyperelliptic curves.
We study the locus of intermediate Jacobians of cubic threefolds within the moduli space of complex principally polarized abelian fivefolds, and its generalization to arbitrary genus - the locus of abelian varieties with a singular odd two-torsion point on the theta divisor. Assuming that this locus has expected codimension (which we show to be true for genus up to 5), we compute the class of this locus, and of is closure in the perfect cone toroidal compactification, in the Chow, homology, and the tautological ring. We work out the cases of genus up to 5 in detail, obtaining explicit expressi…
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.
In this note, we revisit the modified diagonal cycle of Gross and Schoen. We look at degenerations of this cycle, induced by a degeneration of the curve C, and explain how the specialization map with respect to the central fiber produces a higher Chow cycle. When C is non-hyperelliptic of genus three, and degenerates to a nodal curve, the degeneration of the cycle corresponds to an indecomposable higher Chow cycle on a curve of genus two.
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 construct and study the actions of certain deformations of the Lie algebra of Hamiltonians on the plane on the Chow groups (resp., cohomology) of the relative symmetric powers ${\cal C}^{[\bullet]}$ and the relative Jacobian ${\cal J}$ of a family of curves ${\cal C}/S$. As one of the applications, we show that in the case of a single curve $C$ this action induces a integral form of a Lefschetz $\operatorname{sl}_2$-action on the Chow groups of $C^{[N]}$. Another application gives a new grading on the ring of 0-cycles on the Jacobian $J$ of $C$ (with respect to the Pontryagin …
We study the structure of various invariants of the symmetric powers of a smooth projective curve in terms of that of the Jacobian of the curve. We generalise the results of Macdonald and Collino to various invariants including the Weil-cohomology theory, the higher Chow groups, the additive higher Chow groups and the rational $K$-groups.
Let X be a smooth projective variety of dimension n. If $p+q=n+1$ then Bloch has defined a ${\bf G}_m$-biextension E over the product of the Chow groups $CH^p_0(X)$ and $CH^q_0(X)$ of homologically trivial cycles. We prove that E is the pullback of the Poincare biextension over the product of intermediate Jacobians in characteristic zero. This is used to study various equivalence relations for algebraic cycles. In particular we reprove Murres result that Griffiths conjecture holds for codimension two cycles, i.e. every codim. two cycle algebraically and incidence equivalent to zero has torsion…
Let $X$ be a cubic fourfold in $P^5_{C}$. We prove that, assuming the Hodge conjecture for the product $S \times S$, where $S$ is a complex surface, and the finite dimensionality of the Chow motive $h(S)$, there are at most a countable number of decomposable integral polarized Hodge structures, arising from the fibers of a family of smooth projective surfaces. According to the results in [ABB] this is related to a conjecture proving the irrationality of a very general $X$. If $X$ is special, in the sense of B.Hasset, and $F(X) \simeq S^{[2]}$, with $S$ a K3 surface associated to $X$, then we s…
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.
Let $Θ$ be a symmetric theta divisor on an indecomposable principally polarized complex abelian variety $X$. The linear system $|2Θ|$ defines a morphism $K:X\ra |2Θ|^*$, whose image is the Kummer variety $K(X)$ of $X$. When $(X,θ)$ is the Jacobian of an algebraic curve, there are infinitely many trisecants lines to $K(X)$. Welters has conjectured that the existence of one trisecant line to the Kummer variety should characterize Jacobians. The purpose of this article is to show the following weak version of Welters conjecture: $X$ is a Jacobian if and only if there exist points $a,b,c$ of $X$ s…
The notion of modulus is a striking feature of Rosenlicht-Serre's theory of generalized Jacobian varieties of curves. It was carried over to algebraic cycles on general varieties by Bloch-Esnault, Park, Rülling, Krishna-Levine. Recently, Kerz-Saito introduced a notion of Chow group of $0$-cycles with modulus in connection with geometric class field theory with wild ramification for varieties over finite fields. We study the non-homotopy invariant part of the Chow group of $0$-cycles with modulus and show their torsion and divisibility properties. Modulus is being brought to sheaf theory by Kah…
We consider the moduli space $\cSU_C^s(r,\cO_C)$ of rank r stable vector bundles with trivial determinant on a smooth projective curve $C$ of genus $g$. We show that the Abel-Jacobi map on the rational Chow group $CH_1(\cSU_C^s(r,\cO_C))_{hom}\otimes \Q$ of one cycles which are homologous to zero, is an isomorphism onto the bottom weight intermediate Jacobian, which is identified with the Jacobian $Jac(C)\otimes \Q$. The result holds whenever $r\geq 2$ and $g\geq 4$.
Let X be a separated scheme of finite type over a field k and D a non-reduced effective Cartier divisor on it. We attach to the pair (X, D) a cycle complex with modulus, whose homotopy groups - called higher Chow groups with modulus - generalize additive higher Chow groups of Bloch-Esnault, Rülling, Park and Krishna-Levine, and that sheafified on $X_{Zar}$ gives a candidate definition for a relative motivic complex of the pair, that we compute in weight 1. When X is smooth over k and D is such that $D_{red}$ is a normal crossing divisor, we construct a fundamental class in the cohomology of re…
We study the Chow ring of the boundary of the partial compactification of the universal family of principally polarized abelian varieties (ppav). We describe the subring generated by divisor classes, and compute the class of the partial compactification of the universal zero section, which turns out to lie in this subring. Our formula extends the results for the zero section of the universal uncompactified family. The partial compactification of the universal family of ppav can be thought of as the first two boundary strata in any toroidal compactification of the moduli space of ppav. Our form…
We give a formalism of arithmetic mixed sheaves including the case of arithmetic mixed Hodge structures, and show the nonvanishing of certain higher extension groups, and also the nontriviality of the second Abel-Jacobi map for zero cycles on a smooth proper complex variety of any dimension under the existence of a nontrivial global two-form. For two codimensional cycles, the injectivity of the cycle map is reduced to that of the Abel-Jacobi map for smooth projective varieties over number fields. (This shows that Asakura's additional hypothesis is unnecessary). Here it is also possible to use …
We consider the variation of tropical Hodge structure (TVHS) associated to families of tropical varieties. The family of the tropical intermediate Jacobians of the associated tropical Hodge structure defines a bundle of tropical Jacobians, whose sections we call the tropical normal functions. We define formal sequential derivatives of these functions on the base with respect to the natural Gauss-Manin connection as the Hodge theoretic invariants detecting tropical cycles in the fibers. The associated invariants which are defined inductively are the higher Abel-Jacobi invariants in the tropical…
We survey the geometry of the theta divisor and discuss various loci of principally polarized abelian varieties (ppav) defined by imposing conditions on its singularities. The loci defined in this way include the (generalized) Andreotti-Mayer loci, but also other geometrically interesting cycles such as the locus of intermediate Jacobians of cubic threefolds. We shall discuss questions concerning the dimension of these cycles as well as the computation of their class in the Chow or the cohomology ring. In addition we consider the class of their closure in suitable toroidal compactifications an…
