The goal of this paper is to introduce Hodge 1-motives of algebraic varieties and to state a corresponding cohomological Grothendieck-Hodge conjecture, generalizing the classical Hodge conjecture to arbitrarily singular proper schemes.
We introduce the categories of geometric mixed Hodge modules on algebraic varieties over a subfield $k\subset\mathbb C$, and for a prime number $p$, the categories of geometric $p$-adic mixed Hodge modules on algebraic varieties over a subfield $k\subset K\subset\mathbb C_p$ of a p-adic field $K$. We then give an Hodge realization functor on the de derived category of relative motives over $k\subset\mathbb C$, and for a prime number $p$ a $p$-adic Hodge realization functor on the derived category of relative motives over $k\subset K\subset\mathbb C_p$.
In this article, we will give the Deligne 1-motives up to isogeny corresponding to the $\mathbb{Q}$-limiting mixed Hodge structures of semi-stable degenerations of curves, by using logarithmic structures and Steenbrink's cohomological mixed Hodge complexes associated to semi-stable degenerations of curves.
We prove that the embedding of the derived category of 1-motives into the triangulated category of effective Voevodsky motives, as well as its left adjoint functor $LAlb$, commute with the Hodge realization.
We give, for a complex algebraic variety $S$, a Hodge realization functor $\mathcal F_S^{Hdg}$ from the derived category of constructible motives $DA_c(S)$ to the derived category $D(MHM(S))$ of algebraic mixed Hodge modules over $S$. Moreover, for $f:T\to S$ a morphism of complex quasi-projective algebraic varieties, $\mathcal F_{-}^{Hdg}$ commutes with the four operation $f^*$,$f_*$,$f_!$,$f^!$ on $DA_c(-)$ and $D(MHM(-))$, making the Hodge realization functor a morphism of 2-functor wich for a given $S$ sends $DA_c(S)$ to $D(MHM(S)$, moreover $\mathcal F_S^{Hdg}$ commutes with tensor produc…
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.
Let $C$ be a smooth projective curve of genus $g\geq 2$ over $\mathbb C$. Fix $n\geq 1$, $d\in {\mathbb Z}$. A pair $(E,ϕ)$ over $C$ consists of an algebraic vector bundle $E$ of rank $n$ and degree $d$ over $C$ and a section $ϕ\in H^0(E)$. There is a concept of stability for pairs which depends on a real parameter $τ$. Let ${\mathfrak M}_τ(n,d)$ be the moduli space of $τ$-polystable pairs of rank $n$ and degree $d$ over $C$. Here we prove that for a generic curve $C$, the moduli space ${\mathfrak M}_τ(n,d)$ satisfies the Hodge Conjecture for $n \leq 4$. For obtaining this, we prove first that…
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…
An abelian category of relative pure motives is constructed along the lines of André (over a field of characteristic 0). An algebraic stack is shown to possess a motive in this sense. This motive is studied for the moduli stack of G-bundles over the universal curve for appropriate G, and a motivic Atiyah-Bott formula is obtained. By taking Hodge realization, a description of the corresponding variations of Hodge structures over M_g is given. In particular, it follows that these lie in the tensor category generated by the variation of Hodge structure associated to the curve itself. Similar resu…
We prove that a variation of mixed Hodge structure is embedded in a logarithmic variation of pure Hodge structure, and a generalized version of this result. These results suggest some simple construction of the category of mixed motives by using log pure motives.
We describe algebraically defined cohomological and homological Albanese and Picard 1-motives (or mixed motives) of any algebraic variety in characteristic zero, generalizing the classical Albanese and Picard varieties. We compute Hodge, l-adic and De Rham realizations proving Deligne's conjecture for the concerned mixed Hodge structures. We investigate functoriality, universality, homotopical invariance and invariance under formation of projective bundles. We compare our cohomological and homological 1-motives for normal schemes. For proper schemes, we obtain an Abel-Jacobi map from the (Levi…
We study certain 'weights' for triangulated categories endowed with $t$-structures. Our results axiomatize and describe in detail the relations between the Chow weight structure (introduced in a preceding paper), the (conjectural) motivic t-structure for Voevodsky's motives, and the conjectural weight filtration for them. This picture becomes non-conjectural when restricted to the derived categories of 1-motives (over a smooth base) and of Artin-Tate motives over number fields; other examples include Beilinson's derived category of graded polarizable mixed Hodge complexes and Saito's derived c…
We show that the pairing on de Rham realizations of 1-motives in "Theorie di Hodge III", IHES 44, can be defined over any base scheme and we prove that it gives rise to a perfect duality if one is working with a 1-motive and its Cartier dual. Furthermore we study universal extensions of 1-motives and their relation with $\natural$-extensions.
Deligne has conjectured that certain mixed Hodge theoretic invariants of complex algebraic invariants are motivic. This conjecture specializes to an algebraic construction of the Jacobian for smooth projective curves, which was done by A. Weil. The conjecture (and one-motives) are motivated by means of Jacobians, generalized Jacobians of Rosenlicht, and Serre's generalized Albanese varieties. We discuss the connections with the Hodge and the generalized Hodge conjecture. We end with some applications to number theory by providing partial answers to questions of Serre, Katz and Jannsen.
We reformulate a conjecture of Deligne on 1-motives by using the integral weight filtration of Gillet and Soulé on cohomology, and prove it. This implies the original conjecture up to isogeny. If the degree of cohomology is at most two, we can prove the conjecture for the Hodge realization without isogeny, and even for 1-motives with torsion.
We study links between algebraic cycles on threefolds and finite-dimensionality of their motives with coefficients in Q. We decompose the motive of a non-singular projective threefold X with representable algebraic part of CH_0(X) into Lefschetz motives and the Picard motive of a certain abelian variety, isogenous to the corresponding intermediate Jacobian J^2(X) when the ground field is C. In particular, it implies motivic finite-dimensionality of Fano threefolds over a field. We also prove representability of zero-cycles on several classes of threefolds fibered by surfaces with algebraic H^2…
Formal (mixed) Hodge structures FHS are introduced in such a way that the Hodge realization of Deligne's 1-motives extends to a realization from Laumon's 1-motives to formal Hodge structures of level 1, providing an equivalence of categories. For the sake of exposition we here confine our study to level 1 mixed Hodge structures. However, it is conceivable and suitable to consider formal mixed Hodge structures with arbitrary Hodge numbers: generalizing our definition herebelow it's not that difficult and we will treat such a matter nextly.
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…
We define, in a purely algebraic way, 1-motives $Alb^{+}(X)$, $Alb^{-}(X)$, $Pic^{+}(X)$ and $Pic^{-}(X)$ associated with any algebraic scheme $X$ over an algebraically closed field of characteristic zero. For $X$ over $\C$ of dimension $n$ the Hodge realizations are, respectively, $H^{2n-1}(X)(n)$, $H_{1}(X)$, $H^{1}(X)(1)$ and $H_{2n-1}(X)(1-n)$.
In this paper, we prove a motivic enhancement of the theorem of the fixed part in Hodge theory due to Deligne. In the pure motivic case, this was done for the first time by André in [And96]. Our main result is an extension to the mixed case, which strengthens a result by Arapura [Ara13] and also provides an alternative and simpler proof, in the framework of Nori motives, of a result by Ayoub [Ayo14].
We show how the notion of the transcendence degree of a zero-cycle on a smooth projective variety X is related to the structure of the motive M(X). This can be of particular interest in the context of Bloch's conjecture, especially for Godeaux surfaces, when the surface is given as a finite quotient of a suitable quintic in P^3.
We consider the Pfaffian-Grassmannian equivalence from the motivic point of view. The main result is that under certain numerical conditions, both sides of the equivalence are related on the level of Chow motives. The consequences include a verification of Orlov's conjecture for Borisov's Calabi-Yau threefolds, and verifications of Kimura's finite-dimensionality conjecture, Voevodsky's smash conjecture and the Hodge conjecture for certain linear sections of Grassmannians. We also obtain new examples of Fano varieties with infinite-dimensional Griffiths group.
In this paper, we show some applications to algebraic cycles by using higher Abel-Jacobi maps which were defined in [the author: Motives and algebraic de Rham cohomology]. In particular, we prove that the Beilinson conjecture on algebraic cycles over number fields implies the Bloch conjecture on zero-cycles on surfaces. Moreover, we construct a zero-cycle on a product of curves whose Mumford invariant vanishes, but not higher Abel-Jacobi invariant.
This paper has been superseded to a great extent by the following: Paper: math.AG/0511558 Title: The Neron-Severi group of a proper seminormal complex variety Authors: L. Barbieri-Viale, A. Rosenschon & V. Srinivas Paper: math.AG/0102150 Title: Deligne's Conjecture on 1-Motives Authors: Luca Barbieri-Viale, Andreas Rosenschon, Morihiko Saito Journal-ref: Ann. of Math. (2), Vol. 158 (2003), no. 2, 593--633
We develop the theory of multiple polylogarithms from analytic, Hodge and motivic point of view. Define the category of mixed Tate motives over a ring of integers in a number field. Describe explicitly the multiple polylogarithm Hopf algebra.
This is a considerably expanded version of the "pure" part of our 2002 preprint. We define a category of pure birational motives over a field, depending on the choice of an adequate equivalence relation on algebraic cycles. It is obtained by "killing" the Lefschetz motive in the corresponding category of effective motives. For rational equivalence, it encompasses Bloch's decomposition of the diagonal. We study the induced Chow-Künneth decompositions in this category, and establish relationships with Rost's cycle modules and the Albanese functor for smooth projective varieties.
In this paper we construct new derived invariants with integral coefficients using the theory of motifs, and give several applications. Specifically, we obtain the following results: For complex algebraic surfaces, we prove that certain torsion in the abelianized fundamental group is a derived invariant. We prove that the collection of Hodge-Witt cohomology groups is a derived invariant. In particular, Hodge-Witt reduction and ordinary reduction are preserved by derived equivalence when the characteristic is sufficiently large. Finally, using the techniques of non-commutative algebraic geometr…
Let X --> S be a smooth projective family of surfaces over a smooth curve S such that the generic fiber is a surface with Weil H^2 spanned by divisors and trivial H^1. We prove that if the relative motive of X/S is finite-dimensional the Chow group CH^2(X) with coefficients in Q is generated by a multisection and vertical cycles, i.e. one-dimensional cycles lying in closed fibers of the map X --> S. If S is the projective line P^1 then CH^2(X) is a direct sum of n+1 copies of Q where n<=b_2 and b_2 is the second Betti number of the generic fiber. Vertical generators in CH^2(X) can be concretel…
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 introduce the notion of extension of 1-motives. Using the dictionary between strictly commutative Picard stacks and complexes of abelian sheaves concentrated in degrees -1 and 0, we check that an extension of 1-motives induces an extension of the corresponding strictly commutative Picard stacks. We compute the Hodge, the de Rham and the l-adic realizations of an extention of 1-motives. Using these results we can prove Deligne's conjecture on extensions of 1-motives.
We construct motives over the rational numbers associated with symmetric power moments of Kloosterman sums, and prove that their L-functions extend meromorphically to the complex plane and satisfy a functional equation conjectured by Broadhurst and Roberts. Although the motives in question turn out to be "classical", we compute their Hodge numbers by means of the irregular Hodge filtration on their realizations as exponential mixed Hodge structures. We show that all Hodge numbers are either zero or one, which implies potential automorphy thanks to recent results of Patrikis and Taylor.
In this paper we construct extensions of mixed Hodge structures coming from the mixed Hodge structure on the graded quotients of the group ring of the fundamental group of a smooth, projective, pointed curve. These extensions correspond to the regulators of certain motivic cycles in the Jacobian of the curve which were constructed by Beilinson and Bloch. This leads to a new iterated integral expression for the regulator. This is a generalisation of a theorem of Colombo where she constructed the extension corresponding to Collino's cycles in the Jacobian of a hyperelliptic curve.
We study an analogue of the Noether-Lefschetz theorem in the context of Beilinson's Hodge conjecture. We estimate the dimension of the Noether-Lefschetz locus by the infinitesimal methods in Hodge theory.
In this paper, we prove that the statement: ``The (Generalized) Hodge Conjecture holds for codimension-two cycles on a smooth projective variety $X$" is a birationally invariant statement, that is, if the statement is true for $X$, it is also true for all smooth varieties $X'$ which are birationally equivalent to $X$. We also prove the analogous result for 1-cycles. As direct corollaries, the Hodge Conjecture holds for smooth rational projective manifolds with dimension less than or equal to five, and, the Generalized Hodge Conjecture holds for smooth rational projective manifolds with dimensi…
Please forget our result!! I would like to apologize that there are a fatal mistake in the proof of the algebraicity of Weil Hodge cycles. See contents for the reason. So please forget about the result of algebraicity.
The semi-simplicity of the Hodge group is proved for a simple Abelian variety with a stable reduction of odd toric (reductive) rank. If, besides, the dimension of the Abelian variety is an odd integer, then the Hodge conjecture on algebraic cycles holds for it.
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.
A remarkable result of Peter O'Sullivan asserts that the algebra epimorphism from the rational Chow ring of an abelian variety to its rational Chow ring modulo numerical equivalence admits a (canonical) section. Motivated by Beauville's splitting principle, we formulate a conjectural Section Property which predicts that for smooth projective holomorphic symplectic varieties there exists such a section of algebra whose image contains all the Chern classes of the variety. In this paper, we investigate this property for (not necessarily symplectic) varieties with Chow motive of abelian type. We i…
The main subject of study in this paper is the Noether-Lefschetz locus for Beilinson-Hodge cycles on the complement of the union of hyperplane sections in a surface in $\Bbb P^3$. We give an analogue of the result by M.Green and C.Voisin on the maximal components in the Noether-Lefschetz locus.
For a smooth, projective complex variety, we introduce several mixed Hodge structures associated to higher algebraic cycles. Most notably, we introduce a mixed Hodge structure for a pair of higher cycles which are in the refined normalized complex and intersect properly. In a special case, this mixed Hodge structure is an oriented biextension, and its height agrees with the higher archimedean height pairing introduced in a previous paper by the first two authors. We also compute a non-trivial example of this height given by Bloch-Wigner dilogarithm function. Finally we study the variation of m…
In this paper, we seek an appropriate definition for a Shimura curve of Hodge type in positive characteristics, i.e. a characterization of curves in positive characteristics which are reduction of Shimura curve over the complex field. Specifically, we study the liftablity of a curve in moduli space of principally polarized abelian fourfolds over k, char k=p. We show that some conditions on the crystalline Hodge cycles over such a curve imply that this curve can be lifted to a Shimura curve.
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…
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 …
In this paper we give a geometrical interpretation of an extension of mixed Hodge structures (MHS) obtained from the canonical MHS on the group ring of the fundamental group of a hyperelliptic curve modulo the fourth power of its augmentation ideal. We show that the class of this extension coincides with the regulator image of a canonical higher cycle in a hyperelliptic jacobian. This higher cycle was introduced and studied by Collino.
We prove that the Chow motive with integral coefficient of a geometrically rational surfaces~$S$ over a perfect field~$k$ is zero dimensional if and only if the Picard group of~$\bar{k}\times_{k}S$, where~$\bar{k}$ is an algebraic closure of~$k$, is a direct summand of a $\Gal (\bar{k}/k)$-permutation module, and~$S$ possesses a zero cycle of degree one. As shown by Colliot-Thélène in a letter to the author (which we have reproduced in the appendix) this is in turn equivalent to~$S$ having a zero cycle of degree~$1$ and $\CH_{0}(k(S)\times_{k}S)$ being torsion free.