This paper has two aims. The former is to give an introduction to our earlier work on the Hodge theory of algebraic maps and more generally to some of the main themes of the theory of perverse sheaves and to some of its geometric applications. Particular emphasis is put on the topological properties of algebraic maps. The latter is to prove a motivic version of the decomposition theorem for the resolution of a threefold Y. This result allows to define a pure motive whose Betti realization is the intersection cohomology of Y. We provide a few explicit computations of perverse truncations and intersection cohomology complexes which we could not find in the literature and which may be helpful to understand the machinery. We discuss in detail the case of surfaces, threefolds and fourfolds. In the surface case, our "intersection forms" version of the decomposition theorem stems quite naturally from two well-known and widely used theorems on surfaces, the Grauert contractibility criterion for curves on a surface and the so called Zariski Lemma.
We prove the motivic version of the DT/PT-correspondence in \cite{PT} and the motivic flop formula of the curve counting invariants in the derived category of smooth Calabi-Yau threefold DM stacks. The main method we use is Bridgeland's Hall algebra identities and the motivic integration map of Bridgeland and Joyce from the motivic Hall algebra of the abelian category of coherent sheaves on a Calabi-Yau threefold DM stack $Y$ to the motivic quantum torus, which is a Poisson algebra homomorphism.
We give an introduction to Joyce's construction of the motivic Hall algebra of coherent sheaves on a variety M. When M is a Calabi-Yau threefold we define a semi-classical integration map from a Poisson subalgebra of this Hall algebra to the ring of functions on a symplectic torus. This material will be used in arxiv:1002.4374 to prove some basic properties of Donaldson-Thomas curve-counting invariants on Calabi-Yau threefolds.
Using a version of weight conservativity we demonstrate that for certain Shimura varieties (including all Shimura three-folds, most Shimura four-folds and the Siegel sixfold) the construction of the motivic intersection complex due to Wildeshaus compares with a motivic weight truncation in the sense of S. Morel. In particular it is defined up to a unique isomorphism, and satisfies the intrinsic characterization for an intermediate extension due to Wildeshaus.
We study the Jordan normal forms of the local and global monodromies over complete intersection subvarieties of $C^n$ by using the theory of motivic Milnor fibers. The results will be explicitly described by the mixed volumes of the faces of Newton polyhedrons.
For a quasiprojective variety S, we define a category CHM(S) of pure Chow motives over S. Assuming conjectures of Grothendieck and Murre, we show that the decomposition theorem holds in CHM(S). As a consequence, the intersection complex of S makes sense as an object IS of CHM(S). In the forthcoming part II we will give an unconditional definition of intersection Chow groups and study some of their properties.
This paper is motivated by the question of how motivic Donaldson--Thomas invariants behave in families. We compute the invariants for some simple families of noncommutative Calabi--Yau threefolds, defined by quivers with homogeneous potentials. These families give deformation quantizations of affine three-space, the resolved conifold, and the resolution of the transversal $A_n$-singularity. It turns out that their invariants are generically constant, but jump at special values of the deformation parameter, such as roots of unity. The corresponding generating series are written in closed form, …
For a simple, rigid vector bundle $F$ on a Calabi-Yau $3$-fold $Y$, we construct a symmetric obstruction theory on the Quot scheme $\textrm{Quot}_Y(F,n)$, and we solve the associated enumerative theory. We discuss the case of other $3$-folds. Exploiting the critical structure on $\textrm{Quot}_{\mathbb A^3}(\mathscr O^r,n)$, we construct a virtual motive (in the sense of Behrend-Bryan-Szendrői) for $\textrm{Quot}_Y(F,n)$ for an arbitrary vector bundle $F$ on a smooth $3$-fold $Y$. We compute the associated motivic partition function. We obtain new examples of higher rank (motivic) Donaldson-Th…
We investigate the globally generated vector bundles on complete intersection Calabi-Yau threefolds with the first Chern class at most 2. We classify all the globally generated vector bundles of an arbitrary rank on quintic in $\mathbb{P}^4$ and investigate the globally generated vector bundles of rank 2 on complete intersection Calabi-Yau threefolds of codimension 2.
In this paper we describe a connection between realizations of the action of the motivic Galois group on the motivic fundamental groups of Gaussian and Eisenstein elliptic curves punctured at the $\mathfrak{p}$-torsion points, $π_1^{\rm Mot}(E-E[\mathfrak{p}],v_0)$, and the geometry of the Bianchi hyperbolic threefolds $Γ_1(\mathfrak{p})\setminus\mathbb{H}^3$, where $Γ_1(\mathfrak{p})$ is a congruence subgroup of ${\rm GL}_2({\rm End}(E))$. The first instance of such a connection was found by A.Goncharov (arXiv:math/0510310). In particular, we study the Hodge realization of the image of the ab…
In this article, we give an unconditional definition of the motivic analogue of the intersection complex, establish its basic properties, and prove its existence in certain cases.
In this paper we classify all potentially G-birationally rigid del Pezzo threefolds of degree 4 and their automorphism groups and prove the G-birational rigidity of one of them
Hilbert scheme topological invariants of plane curve singularities are identified to framed threefold stable pair invariants. As a result, the conjecture of Oblomkov and Shende on HOMFLY polynomials of links of plane curve singularities is given a Calabi-Yau threefold interpretation. The motivic Donaldson-Thomas theory developed by M. Kontsevich and the third author then yields natural motivic invariants for algebraic knots. This construction is motivated by previous work of V. Shende, C. Vafa and the first author on the large $N$ duality derivation of the above conjecture.
The aim of this paper is to classify indecomposable rank 2 arithmetically Cohen-Macaulay (ACM) bundles on compete intersection Calabi-Yau (CICY) threefolds and prove the existence of some of them. New geometric properties of the curves corresponding to rank 2 ACM bundles (by Serre correspondence) are obtained. These follow from minimal free resolutions of curves in suitably chosen fourfolds (containing Calabi-Yau threefolds as hypersurfaces). Also the existence of an indecomposable vector bundle of higher rank on a CICY threefold of type (2,4) is proved.
Let X be a complete intersection of two hypersurfaces F_n and F_k in the projective space P^5 of degree n and k respectively with n >= k, such that the singularities of X are nodal and F_k is smooth. We prove that if the threefold X has at most (n+k-2)(n-1)-1 singular points, then it is factorial.
We prove that the projectors arising from the decomposition theorem applied to a projective map of quasi projective varieties are absolute Hodge, André motivated, Tate and Ogus classes. As a by-product, we introduce, in characteristic zero, the notions of algebraic de Rham intersection cohomology groups of a quasi projective variety and of intersection cohomology motive of a projective variety.
Building on results of Clemens and Kley, we find criteria for a continuous family of curves in a nodal $K$-trivial threefold $Y_0$ to deform to a scheme of finitely many smooth isolated curves in a general deformation $Y_t$ of $Y_0$. As an application, we show the existence of smooth isolated curves of bounded genera and unbounded degrees in Calabi-Yau complete intersections threefolds.
In this article, we construct a Hecke-equivariant Chow motive whose realizations equal intersection cohomology of Siegel threefolds with regular algebraic coefficients. As a consequence, we are able to define Grothendieck motives for Siegel modular forms.
We generalize the classical approach of describing the infinitesimal Torelli map in terms of multiplication in a Jacobi ring to the case of quasi-smooth complete intersections in weighted projective space. As an application, we prove the infinitesimal Torelli theorem for hyperelliptic Fano threefolds of Picard rank 1, index 1, degree 4 and study the action of the automorphism group on cohomology. The results of this paper are used to prove Lang-Vojta's conjecture for the moduli of such Fano threefolds in a follow-up paper.
Recently Knutsen found criteria for the curves in a complete linear system $|\mathcal{L}|$ on a smooth surface $X$ in a nodal K-trivial threefold $Y_0$ to deform to a scheme of finitely many smooth isolated curves in a general deformation $Y_t$ of $Y_0$. In this article we develop new methods to check whether the set of nodes of $Y_0$ imposes independent conditions on $|\mathcal{L}|$. As an application, we find new smooth isolated curves in complete intersection Calabi-Yau threefolds.
In this paper we show that a nodal complete intersection threefold $X$ in $\mathbb{P}^{3+c}$ with defect, but without induced defect, has at least $\sum_{i\leq j} (d_i-1)(d_j-1)$ nodes, provided either $c=2$ or $d_c>\sum_{i=1}^{c-1} d_i$ holds.
We study nodal complete intersection threefolds of type $(2,4)$ in $\PP^5$ which contain an Enriques surface in its Fano embedding. We completely determine Calabi-Yau birational models of a generic such threefold. These models have Hodge numbers $(h^{11},h^{12})=(2,32)$. We also describe Calabi-Yau varieties with Hodge numbers equal to $(2,26)$, $(23,5)$ and $(31,1)$. The last two pairs of Hodge numbers are, to the best of our knowledge, new.
We extend the known classification of threefolds of general type that are complete intersections to various classes of non-complete intersections, and find other classes of polarised varieties, including Calabi-Yau threefolds with canonical singularities, that are not complete intersections. Our methods apply more generally to construct orbifolds described by equations in given Gorenstein formats.
This note addresses the motivic nature of some classical cohomological results due to Lefschetz, namely the primitive decomposition (for the cohomology of smooth projective varieties), and, secondly, the splitting of the cohomology of a complete intersection into the "fixed" and "variable part".
Given a smooth projective variety V of dimension n, one may say that V has motivic dimension less than d+1 if the cohomology of V comes from varieties of dimensions less than d+1 in some geometric way. In this paper, we show that a smooth complete interesection of k quadrics has a motivic dimension less than k.
In this paper we derive a list of all the possible indecomposable normalized rank--two vector bundles without intermediate cohomology on the prime Fano threefolds and on the complete intersection Calabi Yau threefolds, say $V$, of Picard number $ρ=1$. For any such bundle $\E$, if it exists, we find the projective invariants of the curves $C \subset V$ which are the zero-locus of general global sections of $\E$. In turn, a curve $C \subset V$ with such invariants is a section of a bundle $\E$ from our lists. This way we reduce the problem for existence of such bundles on $V$ to the problem for …
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…
The existence of a vector field on a compact Kaehler manifold with nonempty zero locus and the properties of this zero locus strongly influence the geometry of the manifold. For example, J. Wahl proved that the existence of a vector field vanishing on an ample divisor of a projective normal variety X implies that X is a cone over this divisor. If X is smooth, X will be isomorphic to the n-dimensional projective space. This paper is a first attempt to generalize Wahl's theorem to higher codimensions: Given a complex smooth projective threefold X and a vector field on X vanishing on an irreducib…
We give two new examples of families of Calabi-Yau complete intersection threefolds whose generic element contains infinitely many lines. We get some results about the normal bundles of these lines and the Hilbert scheme of lines on the threefolds.
We give a bound on the minimal number of singularities of a nodal projective complete intersection threefold which contains a smooth complete intersection surface that is not a Cartier divisor.
We study the intersection of two copies of $\mathrm{Gr}(2,5)$ embedded in $\mathbf{P}^9$, and the intersection of the two projectively dual Grassmannians in the dual projective space. These intersections are deformation equivalent, derived equivalent Calabi-Yau threefolds. We prove that generically they are not birational. As a consequence, we obtain a counterexample to the birational Torelli problem for Calabi-Yau threefolds. We also show that these threefolds give a new pair of varieties whose classes in the Grothendieck ring of varieties are not equal, but whose difference is annihilated by…
In this article, we summarize combinatorial description of complete intersection Calabi-Yau threefolds in Hibi toric varieties. Such Calabi-Yau threefolds have at worst conifold singularities, and are often smoothable to non-singular Calabi-Yau threefolds. We focus on such non-singular Calabi-Yau threefolds of Picard number one, and illustrate the calculation of topological invariants, using new motivating examples.
We develop the theory of fundamental classes in the setting of motivic homotopy theory. Using this we construct, for any motivic spectrum, an associated bivariant theory in the sense of Fulton-MacPherson. We import the tools of Fulton's intersection theory into this setting: (refined) Gysin maps, specialization maps, and formulas for excess intersections, self-intersections, and blow-ups. We also develop a theory of Euler classes of vector bundles in this setting. For the Milnor-Witt spectrum recently constructed by Déglise-Fasel, we get a bivariant theory extending the Chow-Witt groups of Bar…
In this paper, we prove a Clifford type inequality for the curve $X_{2,2,2,4}$, which is the intersection of a quartic and three general quadratics in $\mathbb{P}^5$. We thus prove a stronger Bogomolov-Gieseker inequality for characters of stable vector bundles and stable objects on $X_{2,4}$. Applying the scheme proposed by Bayer, Bertram, Macrì, Stellari and Toda, we can construct an open subset of Bridgeland stability conditions on $X_{2,4}$.
In this paper we study 14 families among 85 families of anticanonically embedded Q-Fano threefolds weighted complete intersections of codimension 2 and show that every quasismooth member is birationally birigid, that is, it is birational to another Q-Fano threefold but not birational to any other Mori fiber space.
We prove that any arithmetically Gorenstein curve on a smooth, general hypersurface $X\subset \bbP^{4}$ of degree at least 6, is a complete intersection. This gives a characterisation of complete intersection curves on general type hypersurfaces in $\bbP^4$. We also verify that certain 1-cycles on a general quintic hypersurface are non-trivial elements of the Griffiths group.
Let $X^o=\mathbb P^3\setminus D$ where $D$ is the union of two quadrics such that their intersection contains a smooth conic, or the union of a smooth quadric surface and two planes, or the union of a smooth cubic surface $V$ and a plane $Π$ such that the intersection $V\capΠ$ contains a line. In all these cases we show that the set of integral points of $X^o$ is potentially dense. We apply the above results to prove that integral points are potentially dense in some log-Fano or in some log-Calabi-Yau threefold.
We use Batyrev-Borisov's formula for the generating function of stringy Hodge numbers of Calabi-Yau varieties realized as complete intersections in toric varieties in order to get closed form expressions for Hodge numbers of Calabi-Yau threefolds in five-dimensional ambient spaces. These expressions involve counts of lattice points on faces of associated Cayley polytopes. Using the same techniques, similar expressions may be obtained for higher dimensional varieties realized as complete intersections of two hypersurfaces.
We investigate the existence of complete intersection threefolds $X \subset \mathbb{P}^n$ with only isolated, ordinary multiple points and we provide some sufficient conditions for their factoriality.
In this paper, the numbers of rational curves on general complete intersection Calabi-Yau threefolds in complex projective spaces are computed up to degree six. The results are all in agreement with the predictions made from mirror symmetry.
We show the existence of smooth isolated curves of different degrees and genera in Calabi-Yau threefolds that are complete intersections in homogeneous spaces. Along the way, we classify all degrees and genera of smooth curves on BN general K3 surfaces of low genera. By results of Mukai, these are the K3 surfaces that can be realised as complete intersections in certain homogeneous spaces.
In this note we construct conifold transitions between several Calabi-Yau threefolds given by Pfaffians in weighted projective spaces and Calabi-Yau threefolds appearing as complete intersections in toric varieties. We use the obtained results to predict mirrors following ideas of \cite{BCKS, Batsmalltoricdegen}. In particular we consider the family of Calabi--Yau threefolds of degree 25 in $\mathbb{P}^9$ obtained as a transverse intersection of two Grassmannians in their Plucker embeddings.
These notes are an account of a series of lectures I gave at the LMS-CMI Research School `Homotopy Theory and Arithmetic Geometry: Motivic and Diophantine Aspects', in July 2018, at the Imperial College London. The goal of these notes is to see how motives may be used to enhance cohomological methods, giving natural ways to prove independence of $\ell$ results for traces and zeta-functions, and constructions of characteristic classes (as $0$-cycles). This leads to the Grothendieck-Lefschetz formula, of which we give a new motivic proof. There are also a few additions to what have been told in …
We apply the specialization technique based on the decomposition of the diagonal to find an explicit example over $\mathbb{Q}$ of a quadric and cubic hypersurface in $\mathbb{P}^6$ such that their intersection is a smooth stably irrational fourfold. Using the same degeneration, Nicaise and Ottem have already proven that the the very general complete intersection of this type is stably irrational using the motivic volume.
We study the geometry of a birational map between an intersection of a web of quadrics in seven-dimensional complex projective space that contains a plane and the double octic branched along the discriminant of the web.
We complete the analysis on the birational rigidity of quasismooth Fano 3-fold deformation families appearing in the Graded Ring Database as a complete intersection. When such a deformation family $X$ has Fano index at least 2 and is minimally embedded in a weighted projective space in codimension 2, we determine which cyclic quotient singularity is a maximal centre. If a cyclic quotient singularity is a maximal centre, we construct a Sarkisov link to a non-isomorphic Mori fibre space or a birational involution. This allows, in particular, the construction of new examples of Fano 3-folds of co…
We discuss in this note which K3 surfaces appear as anticanonical divisors in a Fano threefold. We prove in particular that a general K3 surface with given Picard lattice P and polarization class h in P is an anticanonical divisor in a Fano threefold if and only if (P,h) is isomorphic to (Pic(V), c_1(V)) for some Fano threefold V, where Pic(V) is equipped with the intersection product (L,M) --> (L.M.c_1(V)).
We prove two conjectures on weighted complete intersections and give the complete classification of threefold weighted complete intersections in weighted projective space that are canonically or anticanonically embedded.
