We formulate a conjectural hard Lefschetz property for Chow groups, and prove this in some special cases: roughly speaking, for varieties with finite-dimensional motive, and for varieties whose self-product has vanishing middle-dimensional Griffiths group. An appendix includes related statements that follow from results of Vial.
We propose two conjectures of Hard Lefschetz type on Chow groups and prove them for some special cases. For abelian varieties, we shall show they are equivalent to well-known conjectures of Beauville and Murre.
The main result of this note is a hard Lefschetz theorem for the Chow groups of generalized Kummer varieties. The same argument also proves hard Lefschetz for Chow groups of Hilbert schemes of abelian surfaces. As a consequence, we obtain new information about certain pieces of the Chow groups of generalized Kummer varieties, and Hilbert schemes of abelian surfaces. The proofs are based on work of Shen-Vial and Fu-Tian-Vial on multiplicative Chow-Künneth decompositions.
Motivated by the Bloch-Beilinson conjectures, we formulate a certain covariant weak Lefschetz property for Chow groups. We prove this property in some special cases, using Kimura's nilpotence theorem.
We propose an explicit conjectural lift of the Neron-Severi Lie algebra of a hyperkähler variety $X$ of $K3^{[2]}$-type to the Chow ring of correspondences ${\rm CH}^\ast(X \times X)$ in terms of a canonical lift of the Beauville-Bogomolov class obtained by Markman. We give evidence for this conjecture in the case of the Hilbert scheme of two points of a $K3$ surface and in the case of the Fano variety of lines of a very general cubic fourfold. Moreover, we show that the Fourier decomposition of the Chow ring of $X$ of Shen and Vial agrees with the eigenspace decomposition of a canonical lift …
Let X be the quotient of a smooth projective variety over a field by a finite group action (in which case we say X is pseudo-smooth), such that the singularities of X are isolated k-rational points. Let Y be obtained by blowing up these points on X. Assume further that Y is pseudo-smooth, and that the components of the exceptional divisor are projective spaces. Then, without invoking the theory of finite-dimensional motives or assuming any of the standard conjectures, we show that a Chow-Kunneth decomposition on either X or Y gives rise, by means of an explicit construction, to a Chow-Kunneth …
Let $X$ be a smooth projective variety over a field of characteristic $0$ and $L$ an ample divisor. In this paper we study the Weak Lefschetz conjecture for Chow groups using the technique employed by Grothendieck in his study of the problem for Picard groups, and using Bloch's formula to interpret Chow groups in terms of Milnor $K$- theory we prove the infinitesimal part of the conjecture.
Let X be an abelian scheme over a base variety S with endomorphism algebra D. We prove that the relative Chow motive R(X/S) has a canonical decomposition as a direct sum of motives R^(ξ)$ where ξruns over an explicitly determined finite set of irreducible representations of the group D^{opp,*}, such that R^(ξ), seen as a functor from Chow motives to D^{\opp,*}-representations, is ξ-isotypic. Our decomposition refines the motivic decomposition of Deninger and Murre, as well as Beauville's decomposition of the Chow group. The second main result is that we construct a canonical generalized motivi…
Let $k$ be a field and let $Ω$ be a universal domain over $k$. Let $f:X \r S$ be a dominant morphism defined over $k$ from a smooth projective variety $X$ to a smooth projective variety $S$ of dimension $\leq 2$ such that the general fibre of $f_Ω$ has trivial Chow group of zero-cycles. For example, $X$ could be the total space of a two-dimensional family of varieties whose general member is rationally connected. Suppose that $X$ has dimension $\leq 4$. Then we prove that $X$ has a self-dual Murre decomposition, i.e. that $X$ has a self-dual Chow--Kuenneth decomposition which satisfies Murre's…
We introduce a homological Lefschetz conjecture on (rational) Chow groups, which can be deduced from some well known conjectures, and illustrate it by a series of key examples. We then prove the injectivity of the push-forward morphism on Chow groups, induced by the closed embedding of the Theta divisor in it's Jacobian $J(C)$. Here $C$ is a smooth irreducible complex projective curve.
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 study the deformations of the Chow group of zero-cycles of the special fibre of a smooth scheme over a henselian discrete valuation ring. Our main tools are Bloch's formula and differential forms. As a corollary we get an algebraization theorem for thickened zero-cycles previously obtained using idelic techniques. In the course of the proof we develop moving lemmata and Lefschetz theorems for cohomology groups with coefficients in differential forms.
In this paper, we investigate Murre's conjectures on the structure of rational Chow groups and exhibit explicit Chow--Kuenneth projectors for some examples. More precisely, the examples we study are the varieties which have a nef tangent bundle. For surfaces and threefolds which have a nef tangent bundle explicit Chow--Kuenneth projectors are obtained which satisfy Murre's conjectures and the motivic Hard Lefschetz theorem is verified.
In this note we relate the notions of Lefschetz type, decomposability, and isomorphism, on Chow motives with the notions of unit type, decomposability, and isomorphism, on noncommutative motives. Examples, counter-examples, and applications are also described.
A theorem of Esnault, Srinivas and Viehweg asserts that if the Chow group of 0-cycles of a smooth complete complex variety decomposes, then the top-degree coherent cohomology group decomposes similarly. In this note, we prove a similar statement for Chow groups of arbitrary codimension, provided the variety satisfies the Lefschetz standard conjecture.
Let $X$ be a complete intersection inside a variety $M$ with finite dimensional motive and for which the Lefschetz-type conjecture $B(M)$ holds. We show how conditions on the niveau filtration on the homology of $X$ influence directly the niveau on the level of Chow groups. This leads to a generalization of Voisin's result. The latter states that if $M$ has trivial Chow groups and if $X$ has non-trivial variable cohomology parametrized by $c$-dimensional algebraic cycles, then the cycle class maps $A_k(X) \to H_{2k}(X)$ are injective for $k<c$. We give variants involving group actions which le…
Let $X$ be a smooth complex projective variety with trivial Chow groups. (By trivial, we mean that the cycle class is injective.) We show (assuming the Lefschetz standard conjecture) that if the vanishing cohomology of a general complete intersection $Y$ of ample hypersurfaces in $X$ has geometric coniveau $\geq c$, then the Chow groups of cycles of dimension $\leq c-1$ of $Y$ are trivial. The generalized Bloch conjecture for $Y$ is this statement with "geometric coniveau" replaced by "Hodge coniveau".
We show that the algebraic group SL(2) acts on any polarized abelian variety A through correspondences. As a consequence we recover the action of SL(2) on the Chow group CH(A) (with rational coefficients), and this gives rise to Lefschetz type properties for algebraic cycles on A .
We express the kernel of Griffiths' Abel-Jacobi map by using the inductive limit of Deligne cohomology in the generalized sense (i.e. the absolute Hodge cohomology of A. Beilinson). This generalizes a result of L. Barbieri-Viale and V. Srinivas in the surface case. We then show that the Abel-Jacobi map for codimension 2 cycles and the Albanese map are bijective if a general hyperplane section is a surface for which Bloch's conjecture is proved. In certain cases we verify Nori's conjecture on the Griffiths group. We also prove a weak Lefschetz-type theorem for (higher) Chow groups, generalize a…
A theorem of Esnault, Srinivas and Viehweg asserts that if the Chow group of 0-cycles of a smooth complete complex variety decomposes, then the top-degree coherent cohomology group decomposes similarly. In this note, we prove that (a weak version of) the converse holds for varieties of dimension at most 5 that have finite-dimensional motive and satisfy the Lefschetz standard conjecture. The proof is based on Vial's construction of a refined Chow-Kunneth decomposition for these varieties.
We prove an unconditional (but slightly weakened) version of the main result of our earlier paper with the same title, which was, starting from dimension $4$, conditional to the Lefschetz standard conjecture. Let $X$ be a variety with trivial Chow groups, (i.e. the cycle class map to cohomology is injective on $CH(X)_\mathbb{Q}$). We prove that if the cohomology of a general very ample hypersurface $Y$ in $X$ is ``parameterized by cycles of dimension $c$'', then the Chow groups $CH_{i}(Y)_\mathbb{Q}$ are trivial for $i\leq c-1$.
We give a new proof of a slightly weaker form of a theorem of P. Colmez. This theorem gives a formula for the Faltings height of abelian varieties with complex multiplication by a C.M. field whose Galois group over $\bf Q$ is abelian; it reduces to the formula of Chowla and Selberg in the case of elliptic curves. We show that the formula can be deduced from the arithmetic fixed point formula proved in the first paper of the series. Our proof is intrinsic in the sense that it does not rely on the computation of the periods of any particular abelian variety.
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…
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 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 …