Let X be a smooth quasi-projective variety over the algebraic closure of the rational number field. We show that the cycle map of the higher Chow group to Deligne cohomology is injective and the higher Hodge cycles are generated by the image of the cycle map as conjectured by Beilinson and Jannsen, if the cycle map to Deligne cohomology is injective and the Hodge conjecture is true for certain smooth projective varieties over the algebraic closure of the rational number field. We also verify the conjecture on the surjectivity in the case of the complement of a union of general hypersurfaces in a smooth projective variety.
We bound from below the complexity of the top Chern class of the Hodge bundle in the Chow ring of the moduli space of curves: no formulas in terms of classes of degrees 1 and 2 can exist. As a consequence of the Torelli map, the 0-section over the second Voronoi compactification of the moduli of principally polarized abelian varieties also can not be expressed in terms of classes of degree 1 and 2. Along the way, we establish new cases of Pixton's conjecture for tautological relations. In the log Chow ring of the moduli space of curves, however, we prove that the top Chern class of the Hodge b…
In this article we prove a fundamental inequality between Artin-Mazur heights and Yobuko heights of certain proper log smooth schemes of Cartier type over a fine log scheme whose underlying scheme is the spectrum of a perfect field $κ$ of characteristic $p>0$. We also prove that the cohomologies of Witt-sheaves of them are finitely generated ${\cal W}(κ)$-modules if the Yobuko heights of them are finite. As an application, we prove that the $p$-primary torsion parts of the Chow groups of codimension $2$ of proper smooth threefolds over $κ$ is of finite cotype if the Yobuko heights of them are …
For a smooth complex projective variety X defined over a number field, we have filtrations on the Chow groups depending of the choice of realizations. If the realization consists of mixed Hodge structure without any additional structure, we can show that the obtained filtration coincides with the filtration of Green and Griffiths, assuming the Hodge conjecture. In the case the realizations contain Hodge structure and etale cohomology, we prove that if the second graded piece of the filtration does not vanish, it contains a nonzero element which is represented by a cycle defined over a field of…
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.
We consider proper, algebraic semismall maps f from a complex algebraic manifold X. We show that the topological Decomposition Theorem implies a "motivic" decomposition theorem for the rational algebraic cycles of X and, in the case X is compact, for the Chow motive of X.The result is a Chow-theoretic analogue of Borho-MacPherson's observation concerning the cohomology of the fibers and their relation to the relevant strata for f. Under suitable assumptions on the stratification, we prove an explicit version of the motivic decomposition theorem. The assumptions are fulfilled in many cases of i…
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 chow group of $p$-cycles with rational coefficients are isomorphic to the corresponding rational homology groups for smooth complex projective varieties carrying a holomorphic vector field with an isolated zero locus. As applications, we obtain Chow groups and Lawson homology groups with rational coefficients and verify the Friedlander-Mazur conjecture and the Generalized Hodge conjecture for those 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 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 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…
Fatighenti and Mongardi have defined Fano varieties of type S6 as zero loci of a certain vector bundle on the Grassmannian $\hbox{Gr}(2,10)$. These varieties have 3 Hodge structures of K3 type in their cohomology. We show that the Chow ring of these varieties also displays "K3 type" behaviour.
The additive invariants of an algebraic variety is calculated in terms of those of the fixed point set under the action of additive and multiplicative groups, by using Bialynicki-Birula's fixed point formula for a projective algebraicset with a G_m-action or G_a-action. The method is also generalized to calculate certain additive invariants for Chow varieties. As applications, we obtain the Hodge polynomial of Chow varieties in characteristic zero and the number of points for Chow varieties over finite fields. As applications, we obtain the l-adic Euler-Poincare characteristic for the Chow var…
We explain intersection multiplicity defined by J. P. Serre, in terms of the Poincare product in Hodge theory by a modification of the chern character map. We also discuss a formulation of the Euler characteristic via the action of correspondences on the Chow groups of projective varieties, assuming the Grothendieck Standard conjectures over $Q_l$.
The normal function associated to algebraic cycles in higher Chow groups defines a differential equation. This Picard-Fuchs equation defines an extension of $D$-modules as well as an extension of local systems. In this paper, we show that both extensions define the same extension of mixed Hodge modules determined by the normal function.
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.
For certain product varieties, Murre's conjecture on Chow groups is investigated. In particular, it is proved that Murre's conjecture (B) is true for two kinds of four-folds. Precisely, if $C$ is a curve and $X$ is an elliptic modular threefold over $k$ (an algebraically closed field of characteristic 0) or an abelian variety of dimension 3, then Murre's conjecture (B) is true for the fourfold $X\times C.$
Motivated by the generalized Bloch conjecture, we formulate a conjecture about the Chow groups of Plücker hypersurfaces in Grassmannians. We prove weak versions of this conjecture.
We define the Chow ring of the classifying space of a linear algebraic group. In all the examples where we can compute it, such as the symmetric groups and the orthogonal groups, it is isomorphic to a natural quotient of the complex cobordism ring of the classifying space, a topological invariant. We apply this to get torsion information on the Chow groups of varieties defined as quotients by finite groups. This generalizes Atiyah and Hirzebruch's use of such varieties to give counterexamples to the Hodge conjecture with integer coefficients.
We prove an absolute Chow-Kuenneth decomposition for the motive of universal families A of abelian varieties over some compact Shimura surface. We furthermore prove the Hodge conjecture for general fibres of A, extending results of Ribet.
We prove that there exists a pencil of Enriques surfaces defined over $\mathbb{Q}$ with non-algebraic integral Hodge classes of non-torsion type. This gives the first example of a threefold with the trivial Chow group of zero-cycles on which the integral Hodge conjecture fails. As an application, we construct a fourfold which gives the negative answer to a classical question of Murre on the universality of the Abel-Jacobi maps in codimension three.
We compute explicitly the Chow motive of any generalized Kummer variety associated to any abelian surface. In fact, it lies in the rigid tensor subcategory of the category of Chow motives generated by the Chow motive of the underlying abelian surface. One application of this calculation is to show that the Hodge conjecture holds for arbitrary products of generalized Kummer varieties. As another application, all numerically trivial 1-cycles on arbitrary products of generalized Kummer varieties are smash-nipotent.
We use the universal generation of algebraic cycles to relate (stable) rationality to the integral Hodge conjecture. We show that the Chow group of 1-cycles on a cubic hypersurface is universally generated by lines. Applications are mainly in cubic hypersurfaces of low dimensions. For example, we show that if a generic cubic fourfold is stably rational then the Beauville--Bogomolov form on its variety of lines, viewed as an integral Hodge class on the self product of its variety of lines, is algebraic. In dimension $3$ and $5$, we relate stable rationality with the geometry of the associated i…
We study the relations between the finite generation of Cox ring, the rationality of Euler-Chow series and Poincaré series and Zariski's conjecture on dimensions of linear systems. We prove that if the Cox ring of a smooth projective variety is finitely generated, then all Poincaré series of the variety are rational. We also prove that the multi-variable Poincaré series associated to big divisors on a smooth projective surface are rational, assuming the rationality of multi-variable Poincare series on curves.
Let X be a complex surface with no nontrivial 2-forms. Then we show that Bloch's conjecture is true (i.e. the Albanese map in this case is injective) if and only if any homologically trivial idempotent in the ring of correspondences vanishes. Furthermore the cube of the ideal of homologically trivial correspondences is zero if these equivalent conditions are satisfied (e.g. if X is not of general type).
Consider the Fano surface of a conic bundle embedded in $\mathbb P^5$. Let $i$ denote the natural involution acting on this surface. In this note we provide an obstruction to the identity action of the involution on the group of algebraically trivial zero cycles modulo rational equivalence on the surface.
A conjecture of Beauville and Voisin states that for an irreducible symplectic variety X, any polynomial relation between classes of divisors and the Chern classes of X which holds in cohomology already holds in the Chow groups. We verify the conjecture for a very general double EPW sextic.
We prove the integral Hodge conjecture for one-cycles on a principally polarized complex abelian variety whose minimal class is algebraic. In particular, any product of Jacobians of smooth projective curves over the complex numbers satisfies the integral Hodge conjecture for one-cycles. The main ingredient is a lift of the Fourier transform to integral Chow groups. Similarly, we prove the integral Tate conjecture for one-cycles on the Jacobian of a proper curve of compact type over the separable closure of a finitely generated field. Furthermore, abelian varieties satisfying such a conjecture …
We propose a "Bloch type" conjecture for surfaces: if the cup product map in coherent cohomology is zero, then all intersections of homologically trivial divisors should be zero in the Chow group of zero-cycles. We prove this conjecture for Sicilian surfaces.
The Bloch-Beilinson-Murre conjectures predict the existence of a descending filtration on Chow groups of smooth projective varieties which is functorial with respect to the action of correspondences and whose graded parts depend solely on the topology -- i.e. the cohomology -- of $X$. In this paper, we wish to explore, at the cost of having to assume general conjectures about algebraic cycles, how the coniveau filtration on the cohomology of $X$ has an incidence on the Chow groups of $X$. However, by keeping such assumptions minimal, we are able to prove some of these conjectures either in low…
Let U be a smooth quasiprojective complex variety and CH^r(U,1) a special instance of Bloch's higher Chow groups. Jannsen was the first to show that the cycle class map cl_{r,1} from CH^r(U,1) (tensored with Q) to hom_{MHS}(Q(0), H^{2r-1}(U,Q(r)) is not in general surjective, contradicting an earlier conjecture of Beilinson. In this paper, we give a refinement of Jannsen's counterexample, and further show that the aforementioned cycle class map becomes surjective at the generic point.
The paper provides a version of the rational Hodge conjecture for $\3\dg$ categories. The noncommutative Hodge conjecture is equivalent to the version proposed in \cite{perry2020integral} for admissible subcategories. We obtain examples of evidence of the Hodge conjecture by techniques of noncommutative geometry. Finally, we show that the noncommutative Hodge conjecture for smooth proper connective $\3\dg$ algebras is true.
In this paper, we define a certain Hodge-theoretic structure for an arbitrary variety X over the complex number field by using the theory of mixed Hodge module due to Morihiko Saito. We call it an arithmetic Hodge structure of X. It is shown that extension groups of arithmetic Hodge structure do not vanish even for degree $\geq2$. Moreover, we define higher Abel-Jacobi maps from Bloch's higher Chow groups of X to these extension groups. These maps essentially involve the classical Abel-Jacobi maps by Weil and Griffiths, and Mumford's infinitesimal invariants of 0-cycles on surfaces.
Given any smooth toric surface S, we prove a SYM-HILB correspondence which relates the 3-point, degree zero, extended Gromov-Witten invariants of the n-fold symmetric product stack [Sym^n(S)] of S to the 3-point extremal Gromov-Witten invariants of the Hilbert scheme Hilb^n(S) of n points on S. As we do not specialize the values of the quantum parameters involved, this result proves a strengthening of Ruan's Cohomological Crepant Resolution Conjecture for the Hilbert-Chow morphism from Hilb^n(S) to Sym^n(S) and yields a method of reconstructing the cup product for Hilb^n(S) from the orbifold i…
Let $X$ be a hyperkähler variety. Voisin has conjectured that the classes of Lagrangian constant cycle subvarieties in the Chow ring of $X$ should lie in a subring injecting into cohomology. We study this conjecture for the Fano variety of lines on a very general cubic fourfold.
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.
As an application of our previous work on CM liftings of K3 surfaces and the Tate conjecture, we prove the Hodge standard conjecture for squares of K3 surfaces. We also deduce the Hodge standard conjecture for all the powers of certain K3 surfaces.
Consider the cycle class map cl_{r,m} : CH^r(U,m;\Q) \to ΓH^{2r-m}(U,\Q(r)), where CH^r(U,m;\Q) is Bloch's higher Chow group (tensored with \Q) of a smooth complex quasi-projective variety U, and H^{2r-m}(U,\Q(r)) is singular cohomology. We study the image of cl_{r,m} in terms of kernels of Abel-Jacobi maps. When r=m, we deduce from the Bloch-Kato theorem that the cokernel of cl_{r,m} at the generic point of U is the same for integral or rational coefficients.
We formulate the "real integral Hodge conjecture", a version of the integral Hodge conjecture for real varieties, and raise the question of its validity for cycles of dimension 1 on uniruled and Calabi-Yau threefolds and on rationally connected varieties. We relate it to the problem of determining the image of the Borel-Haefliger cycle class map for 1-cycles, with the problem of deciding whether a real variety with no real point contains a curve of even geometric genus and with the problem of computing the torsion of the Chow group of 1-cycles of real threefolds. New results about these proble…
Despite the failure of the integral Hodge conjecture, we show that the rational Hodge conjecture implies an integral version (modulo torsion) of the absolute Hodge conjecture.
The Hodge conjecture is a major open problem in complex algebraic geometry. In this survey, we discuss the main cases where the conjecture is known, and also explain an approach by Griffiths-Green to solve the problem.
In this paper we prove the Hodge conjecture for products of the form $S_1 \times ... S_n$, where $S_i$ are smooth projective surfaces such that $p_g(S_i)=1, q(S_i)=2$. We also prove the Hodge conjecture for arbitrary self-products of a K3 surface $X$ such that $End_{hodge}(T(X))$ is a CM number field.
We present a conjecture on the geometry of the Hodge locus of a (graded polarizable, admissible) variation of mixed Hodge structure over a complex smooth quasi-projective base, generalizing to this context the Zilber-Pink Conjecture for mixed Shimura varieties (in particular the André-Oort conjecture).
The Hodge conjecture is shown to hold for rationally connected fivefolds, or more generally for fivefolds for which the base of the maximal rationally connected fibration is at most 3 dimensional.
Using morphic cohomology, we produce a sequence of conjectures, called morphic conjectures, which terminates at the Grothendieck standard conjecture A. A refinement of Hodge structures is given, and with the assumption of morphic conjectures, we prove a Hodge index theorem. We answer a question of Friedlander and Lawson by assuming the Grothendieck standard conjecture B and prove that the topological filtration from morphic cohomology is equal to the Grothendieck arithmetic filtration for some cases.
In this paper we discuss an obstruction to the integral Hodge conjecture, which arises from certain behavior of vanishing cycles. This allows us to construct new counter-examples to the integral Hodge conjecture. One typical such counter-example is the product of a very general hypersurface of odd dimension and an Enriques surface. Our approach generalizes the degeneration argument of Benoist-Ottem.
The Hodge conjecture is shown to be equivalent to a question about the homology of very ample divisors with ordinary double point singularities. The infinitesimal version of the result is also discussed.
