Given two smooth projective varieties X and Y over a field, we say that X motivates Y if the (suitably defined) motive of Y is contained in the category generated from X by taking sums, summands and products. This notion has appeared implicitly in many places, but it seems useful to make it explicit.
Some techniques are given for checking this condition, but in a nutshell it involves building a correspondence which "dominates" Y. Among the more interesting examples dealt with are moduli spaces. We show that in number of cases moduli spaces of sheaves over curves or surfaces are motivated by underly curve or surface. This allows us to check (or recheck) the (generalized) Hodge and Lefschetz standard conjectures for some of these examples. The dominating correspondence in these examples is built from the universal sheaf, and can, in some instances, be realized as a kind of Fourier-Mukai transform.
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.
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.
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 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.
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 study a property of cycle spaces in connection with degenerating Hodge structures of odd-weight, and construct maps from some partial compactifications of period domains to the Satake compatifications of Siegel spaces. These maps are a generalization of the maps from the toroidal compactifications of Siegel spaces to the Satake compactifications. We also show the continuity of these maps for the case of Calabi-Yau threefolds with h^{2,1}=1.
We give a generalization to higher genera of the famous formula $12 λ=δ$ for genus 1. We also compute the classes of certain strata in the Satake compactification as elements of the push down of the tautological ring.
Let $X$ be a general complete intersection of a given multi-degree in a complex projective space. Suppose that the anti-canonical line bundle of $X$ is ample. Using the cylinder homomorphism associated with the family of complete intersections contained in $X$, we prove that the vanishing cycles in the middle homology group of $X$ are represented by topological cycles whose support is contained in a proper Zariski closed subset $T\subset X$ of certain codimension. In some cases, we can find such a Zariski closed subset $T$ with codimension equal to the upper bound obtained from the Hodge struc…
The goal is to verify the Hodge conjecture (and some related conjectures) for certain moduli spaces. It is shown that the (generalized) Hodge conjecture holds for the projective moduli spaces of vector bundles over an abelian or K3 surface or a curve if it holds for all powers of the surface or curve. In the latter case, the curve can be replaced by its Jacobian. As a consequence the generalized Hodge conjecture holds for these moduli spaces when the curve is very general. A similar result is proved for the Hilbert schemes of points over an arbitrary surface.
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…
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.
As is remarked by B. Totaro, R. Thomas essentially proved that the Hodge conjecture is inductively equivalent to the existence of a hyperplane section, called a generalized Thomas hyperplane section, such that the restriction to it of a given primitive Hodge class does not vanish. We study the relations between the vanishing cycles in the cohomology of a general fiber, and show that each relation between the vanishing cycles of type (0,0) with unipotent monodromy around a singular hyperplane section defines a primitive Hodge class such that this singular hyperplane section is a generalized Tho…
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…
In this article we are interested in morphisms without slope for mixed Hodge modules. We first show the commutativity of iterated nearby cycles and vanishing cycles applied to a mixed Hodge module in the case of a morphism without slope. Then we define the notion "strictly without slope" for a mixed Hodge module and we show the preservation of this condition under the direct image by a proper morphism. As an application we prove the compatibility of the Hodge filtration and Kashiwara-Malgrange filtrations for some pure Hodge modules with support an hypersurface with quasi-ordinary singularitie…
We prove Bloch's conjecture for correspondences on powers of complex abelian varieties, that are "generically defined". As an application we establish vanishing results for (skew-)symmetric cycles on powers of abelian varieties and we address a question of Voisin concerning (skew-)symmetric cycles on powers of K3 surfaces in the case of Kummer surfaces. We also prove Bloch's conjecture in the following situation. Let $γ$ be a correspondence between two abelian varieties $A$ and $B$ that can be written as a linear combination of products of symmetric divisors. Assume that $A$ is isogenous to th…
We introduce the notion of dR-absolutely special subvarieties in motivic variations of Hodge structure as special subvarieties cut out by (de Rham-)absolute Hodge cycles and conjecture that all special subvarieties are dR-absolutely special. This is implied by Deligne's conjecture that all Hodge cycles are absolute Hodge cycles, but is a much weaker conjecture. We prove our conjecture for subvarieties satisfying a simple monodromy condition introduced by Klingler-Otwinowska-Urbanik. We study applications to typical respectively atypical intersections and $\bar{\mathbb{Q}}$-bialgebraic subvarie…
In this note, we will give a partial answer for arithmetic analogues of Grothendieck's standard conjectures due to H. Gillet and C. Soule. (Remark : I changed the title of this note.)
We characterize the smallest codimension components of the Hodge locus of smooth degree $d$ hypersurfaces of the projective space $\mathbb{P}^{n+1}$ of even dimension $n$, passing through the Fermat variety (with $d\neq 3,4,6$). They correspond to the locus of hypersurfaces containing a linear algebraic cycle of dimension $\frac{n}{2}$. Furthermore, we prove that among all the local Hodge loci associated to a non-linear cycle passing through Fermat, the ones associated to a complete intersection cycle of type $(1,1,\ldots,1,2)$ attain the minimal possible codimension of their Zariski tangent s…
In this article we find connections between the values of Gauss hypergeometric functions and the dimension of the vector space of Hodge cycles of four dimensional cubic hypersurfaces. Since the Hodge conjecture is well-known for those varieties we calculate values of Hypergeometric series on certain $CM$ points. Our methods is based on the calculation of the Picard-Fuchs equations in higher dimensions, reducing them to the Gauss equation and then applying the Abelian Subvariety Theorem to the corresponding hypergeometric abelian varieties.
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 combine Deligne's global invariant cycle theorem, and the algebraicity theorem of Cattani, Deligne and Kaplan, for the connected components of the locus of Hodge classes, to conclude that under simple assumptions these components are defined over number fields (assuming the initial family is), as expected from the Hodge conjecture. We also show that the Hodge conjecture for (weakly) absolute Hodge classes reduces to the Hodge conjecture for (weakly) absolute Hodge classes on varieties defined over number fields.
We establish the real integral Hodge conjecture for 1-cycles on various classes of uniruled threefolds (conic bundles, Fano threefolds with no real point, some del Pezzo fibrations) and on conic bundles over higher-dimensional bases which themselves satisfy the real integral Hodge conjecture for 1-cycles. In addition, we show that rationally connected threefolds over non-archimedean real closed fields do not satisfy the real integral Hodge conjecture in general and that over such fields, Bröcker's EPT theorem remains true for simply connected surfaces of geometric genus zero but fails for some…
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 describe an algorithm which verifies whether linear algebraic cycles of the Fermat variety generate the lattice of Hodge cycles. A computer implementation of this confirms the integral Hodge conjecture for quartic and quintic Fermat fourfolds. Our algorithm is based on computation of the list of elementary divisors of both the lattice of linear algebraic cycles, and the lattice of Hodge cycles written in terms of vanishing cycles, and observing that these two lists are the same.
Beilinson conjectured that all rational cycles of type (q,q) on the qth cohomology of a smooth complex algebraic variety should come from motivic cohomology. The purpose of this note is to prove this when the variety is a semiabelian variety or a product of curves. The proof is based on the study of invariants under the Mumford-Tate group.
Flag domains are open orbits of real semisimple Lie groups in flag manifolds of their complexification. A special class of flag domains constitute the classifying spaces for variations of Hodge structure, namely period domains or more generally Mumford-Tate domains. In this paper we classify all proper, equivariant embeddings of a flag domain of Hodge type, required to satisfy a certain transversality condition, in a period domain and show that any such flag domain must be a Hermitian symmetric space of non-compact type of classical type. In particular, the classification describes also the pr…
Along the lines of Hodge and Tate conjectures, Beilinson conjectured that in the qth cohomology all the weight 2q Hodge cycles of a smooth complex variety and all the weight 2q Tate cycles of a smooth variety over a finitely generated field comes from the higher Chow groups. For product of curves and semiabelian varieties, Beilinson-Hodge conjecture was shown in a previous paper by the authors. Here both Beilinson-Hodge and Beilinson-Tate conjectures are shown to be true for varieties dominated by product of curves. We also show that lower weight Hodge cycles (resp. Tate cycles) are algebraic …
In this article, we propose noncommutative versions of Tate conjecture and Hodge conjecture. If we consider these conjectures for a dg-category of perfect complexes over a certain schemes $X$, then they are equivalent to the classical Tate and Hodge conjectures for $X$ respectively. We also propose a strategy of how to prove these conjectures by utilizing a version of motivic Bass conjecture.
We explain some fundamental differences between the theories of mixed Hodge modules and mixed twistor modules (including the difference in weight system on the nearby cycle functor) which do not seem to be clarified explicitly in the literature.
We prove that, as was conjectured by Spencer Bloch, the Hodge period of some limit Hodge structures equals the height pairing of algebraic cycles on the resolution of singularities of the singular fiber.
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.
This is loosely a continuation of the author's previous paper arXiv:1802.09496. In the first part, given a fibered variety, we pull back the Leray filtration to the Chow group, and use this to give some criteria for the Hodge and Tate conjectures to hold for such varieties. In the second part, we show that the Hodge conjecture holds for a good desingularization of a self fibre product of a non-isotrivial elliptic surface under appropriate conditions. We also show that the Hodge and Tate conjectures hold for natural families of abelian varieties parameterized by certain Shimura curves. This use…
The Beilinson-Hodge conjecture asserts the surjectivity of the cycle map $$H^n_M(X,\Q(n)) \to {\rm Hom}_{MHS}(\Q(-n),H^n(X,\Q))$$ for all positive integers $n$ and every smooth complex algebraic variety $X$. For $n=2$, we prove the conjecture if $X$ is rational.
Following an article of Dettweiler and Sabbah, this article studies the behaviour of various Hodge invariants by middle additive convolution with a Kummer module. The main result gives the behaviour of the nearby cycle local Hodge numerical data at infinity. We also give expressions for Hodge numbers and degrees of some Hodge bundles without making the hypothesis of scalar monodromy at infinity, which generalizes the resultsof Dettweiler and Sabbah.
Given a smooth projective 3-fold Y, with $H^{3,0}(Y)=0$, the Abel-Jacobi map induces a morphism from each smooth variety parameterizing 1-cycles in Y to the intermediate Jacobian J(Y). We study in this paper the existence of families of 1-cycles in Y for which this induced morphism is surjective with rationally connected general fiber, and various applications of this property. When Y itself is rationally connected, we relate this property to the existence of an integral homological decomposition of the diagonal. We also study this property for cubic threefolds, completing the work of Iliev-Ma…
Given a smooth projective 3-fold Y, with $H^{3,0}(Y)=0$, the Abel-Jacobi map induces a morphism from each smooth variety parameterizing 1-cycles in Y to the intermediate Jacobian J(Y). We study in this paper the existence of families of 1-cycles in Y for which this induced morphism is surjective with rationally connected general fiber, and various applications of this property. When Y itself is rationally connected, we relate this property to the existence of an integral homological decomposition of the diagonal. We also study this property for cubic threefolds, completing the work of Iliev-Ma…
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 study an algebraic cycle of the form $Z_0= r {\mathbb P}^{\frac{n}{2}}+\check r \check{\mathbb P}^{\frac{n}{2}}$, $r \in{\mathbb N},\check r \in{\mathbb Z},\ \ 1\leq r , |\check r |\leq 10,\ \ \gcd ( r ,\check r )=1$, inside the cubic Fermat variety $X_0$ of even dimension $n\geq 4$ and with $\dim\left ({\mathbb P}^{\frac{n}{2}}\cap \check{\mathbb P}^{\frac{n}{2}}\right)=m$. We take a smooth deformation space $\sf S$ of $X_0$ such that the triple $(X_0, {\mathbb P}^\frac{n}{2}, \check{\mathbb P}^\frac{n}{2})$ becomes rigid. For $m=\frac{n}{2}-2$ and for many examples of $N\in{\mathbb N}$ an…
