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 dimension less than or equal to four.
The generalization of the Satake--Baily--Borel compactification to arbitrary period maps has been reduced to a certain extension problem on certain "neighborhoods at infinity". Extension problems of this type require that the neighborhood be pseudoconvex. The purpose of this note is to establish the desired pseudoconvexity in one relatively simple, but non-trivial, example: codimension one degenerations of a period map of weight two Hodge structures with first Hodge number $h^{2,0}$ equal to 2.
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 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.)
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…
In this note, we show how the classical Hodge index theorem implies the Hodge index conjecture of Beilinson for height pairing of homologically trivial codimension two cycles over function field of characteristic 0. Such an index conjecture has been used in our paper on Gross-Schoen cycles to deduce the Bogomolov conjecture and a lower bound for Hodge class (or Faltings height) from some conjectures about metrized graphs which have just been recently proved by Zubeyir Cinkir.
For a fixed integer $d$, we study here the locus of degree $d$ hypersurfaces $X$ in $\mathbb{P}^{2n+1}$ such that $H^{2n}(X,\mathbb{Q}) \cap H^{n,n}(X,\mathbb{C}) \not= \mathbb{Q}$. We call this locus \textit{the Noether-Lefschetz locus}. Any irreducible component of this locus is locally a Hodge locus. So, we see that the study of this locus is very closely related to the variational Hodge conjecture. In this article we show that the Hodge locus corresponding to the cohomology class of a complete intersection subscheme in $\mathbb{P}^{2n+1}$ of codimension $n+1$ and degree less than $d$ satis…
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.
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.
Let $Y$ be a smooth complex projective variety of dimension $N+1$, $L$ an invertible sufficiently ample sheaf, $X\in |L|$ a smooth hypersurface and $λ\in F^kH^N(X,C)$ a vanishing cohomology class, where $F^{*}$ is the Hodge filtration and $k\in\{1,...,[N/2]\}$. Assume that $L$ is sufficiently ample and that the codimension in $|L|$ of the Hodge variety associated to $λ$ (locally defined as the locus where the image of $λ$ by flat transport over $|L|$ remains in $F^k$) is sufficiently small. I show that this forces $N$ to be even and $k=[N/2]$, and that the class $λ$ is a linear combination wit…
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.
In this paper, we study the higher codimensional cycle structure of the Hilbert scheme of three points in the projective plane. In particular, we compute all Chern (and Segre) classes of all tautological bundles on it and compute the nef (effective) cones of cycles in codimensions 2 and 3 (dimensions 2 and 3).
We show that certain geometrically defined higher codimension cycles are extremal in the effective cone of the moduli space $\overline{\mathcal M}_{g,n}$ of stable genus $g$ curves with $n$ ordered marked points. In particular, we prove that codimension two boundary strata are extremal and exhibit extremal boundary strata of higher codimension. We also show that the locus of hyperelliptic curves with a marked Weierstrass point in $\overline{\mathcal M}_{3,1}$ and the locus of hyperelliptic curves in $\overline{\mathcal M}_4$ are extremal cycles. In addition, we exhibit infinitely many extremal…
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 exhibit infinitely many extremal effective codimension-$k$ cycles in $\overline{\mathcal{M}}_{g,n}$ in the cases $g\geq 3, n\geq g-1$ and $k=2$, $g\geq 2$, $k\leq n-g,g,$ and $g=1$, $k\leq n-2$. Hence in these cases the effective cone is not rational polyhedral.
We consider Fano sevenfolds $Y$ obtained by intersecting the Grassmannian $\hbox{Gr}(3,6)$ with a codimension 2 linear subspace (with respect to the Plücker embedding). We prove that the motive of $Y$ is Kimura finite-dimensional. We also prove the generalized Hodge conjecture for all powers of $Y$.
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.
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.
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.
Let $M$ denote the space of complete conics. We compute the cone of effective and numerically effective $k$-cycles of $M$, $\mathrm{Eff}_k(M)$ and $\mathrm{Nef}_k(M)$, respectively. In addition, we compute the Białynicki-Birula cell-decomposition of $M$ with respect to a $\mathbb{C}^*$-action and compare the cone generated by the closure of these cells to the cones $\mathrm{Eff}_k(M)$ and $\mathrm{Nef}_k(M)$.
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 extend the results from the previous paper by A. Frühbis-Krüger and the author [arXiv:1501.01915] to the vanishing topology of those singularities in the title. Studying the case of possibly non-isolated singularities in the Tjurina- transform, we reveal that in dimension 3 and 2 there always is exactly one special vanishing cycle in degree 2 closely related to the determinantal structure of the singularity.
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…
We prove that the general quartic double solid with $k\leq 7$ nodes does not admit a Chow theoretic decomposition of the diagonal, or equivalently has a nontrivial universal ${\rm CH}_0$ group. The same holds if we replace in this statement "Chow theoretic" by "cohomological". In particular, it is not stably rational. We also prove that the general quartic double solid with seven nodes does not admit a universal codimension 2 cycle parameterized by its intermediate Jacobian, and even does not admit a parametrization with rationally connected fibres of its Jacobian by a family of 1-cycles. This…
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…
We prove that torsion codimension 2 algebraic cycles modulo rational equivalence on supersingular abelian varieties are algebraically equivalent to zero. As a consequence, we prove that homological equivalence coincides with algebraic equivalence for algebraic cycles of codimension 2 on supersingular abelian varieties over the algebraic closure of finite fields.
On étudie les cycles algébriques de codimension 3 sur les hypersurfaces cubiques lisses de dimension 5. Pour une telle hypersurface, on démontre d'une part que son groupe de Griffiths des cycles de codimension 3 est trivial et d'autre part que l'application d'Abel-Jacobi induit un isomorphisme entre son groupe de Chow des cycles de codimension 3 algébriquement equivalents à zéro et sa jacobienne intermédiaire. ---------- We study 2-cycles of a smooth cubic hypersurface of dimension 5. We show that the Griffiths group of 2-cycles is trivial and the Abel-Jacobi map induces an isomorphism between…
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 un…
