Batyrev has defined the stringy E-function for complex varieties with at most log terminal singularities. It is a rational function in two variables if the singularities are Gorenstein. Furthermore, if the variety is projective and its stringy E-function is a polynomial, Batyrev defined its stringy Hodge numbers essentially as the coefficients of this E-function, generalizing the usual notion of Hodge numbers of a nonsingular projective variety. He conjectured that they are nonnegative. We prove this for a class of `mild' isolated singularities (the allowed singularities depend on the dimension). As a corollary we obtain a proof of Batyrev's conjecture for threefolds in full generality. In these cases, we also give an explicit description of the stringy Hodge numbers and we suggest a possible generalized definition of stringy Hodge numbers if the E-function is not a polynomial.
We study the nonnegativity of stringy Hodge numbers of a projective variety with Gorenstein canonical singularities, which was conjectured by Batyrev. We prove that the $(p,1)$-stringy Hodge numbers are nonnegative, and for threefolds we obtain new results about the stringy Hodge diamond, which hold even when the stringy $E$-function is not a polynomial. We also use the Decomposition Theorem and mixed Hodge theory to prove Batyrev's conjecture for a class of fourfolds.
For projective varieties with a certain class of 'mild' isolated singularities and for projective threefolds with arbitrary Gorenstein canonical singularities, we show that the stringy Hodge numbers satisfy the Hard Lefschetz property. This result fits nicely with a 6-dimensional counterexample of Mustata and Payne for the Hard Lefschetz property for stringy Hodge numbers in general. We also give such an example, ours is a hypersurface singularity.
The stringy E-function for normal irreducible complex varieties with at worst log terminal singularities was introduced by Batyrev. It is defined by data from a log resolution. If the variety is projective and Gorenstein and the stringy E-function is a polynomial, Batyrev also defined the stringy Hodge numbers as a generalization of the Hodge numbers of nonsingular projective varieties, and conjectured that they are nonnegative. We compute explicit formulae for the contribution of an A-D-E singularity to the stringy E-function in arbitrary dimension. With these results we can say when the stri…
It was shown by Kuznetsov that complete intersections of $n$ generic quadrics in ${\mathbb P}^{2n-1}$ are related by Homological Projective Duality to certain non-commutative (Clifford) varieties which are in some sense birational to double covers of ${\mathbb P}^{n-1}$ ramified over symmetric determinantal hypersurfaces. Mirror symmetry predicts that the Hodge numbers of the complete intersections of quadrics must coincide with the appropriately defined Hodge numbers of these double covers. We observe that these numbers must be different from the well-known Batyrev's stringy Hodge numbers, el…
If X is a smooth projective complex threefold, the Hodge conjecture holds for degree 4 rational Hodge classes on X. Kollar gave examples where it does not hold for integral Hodge classes of degree 4, that is integral Hodge classes need not be classes of algebraic 1-cycles with integral coefficients. We show however that the Hodge conjecture holds for integral Hodge classes of degree 4 on a uniruled or a Calabi-Yau threefold.
We shall reproof formulas for the Hodge numbers of Calabi-Yau threefolds of Borcea-Voisin type constructed by A. Cattaneo and A. Garbagnati, using the orbifold cohomology formula and the orbifold Euler characteristic.
The aim of this paper is to give an application of p-adic Hodge theory to stringy Hodge numbers introduced by V. Batyrev for a mathematical formulation of mirror symmetry. Since the stringy Hodge numbers of an algebraic variety are defined by choosing a resolution of singularities, the well-definedness is not clear from the definition. We give a proof of the well-definedness based on arithmetic results such as p-adic integration and p-adic Hodge theory. Note that another proof of the well-definedness was already obtained by V. Batyrev himself by motivic integration. This is a generalization of…
We prove that the product of an Enriques surface and a very general curve of genus at least 1 does not satisfy the integral Hodge conjecture for 1-cycles. This provides the first examples of smooth projective complex threefolds of Kodaira dimension zero for which the integral Hodge conjecture fails, and the first examples of non-algebraic torsion cohomology classes of degree 4 on smooth projective complex threefolds.
We show that for a hypersurface Batyrev's stringy E-function can be seen as a residue of the Hodge zeta function, a specialization of the motivic zeta function of Denef and Loeser. This is a nice application of inversion of adjunction. If an affine hypersurface is given by a polynomial that is non-degenerate with respect to its Newton polyhedron, then the motivic zeta function and thus the stringy E-function can be computed from this Newton polyhedron (by work of Artal, Cassou-Nogues, Luengo and Melle based on an algorithm of Denef and Hoornaert). We use this procedure to obtain an easy way to…
We describe a class of isolated nondegenerate hypersurface singularities that give a polynomial contribution to Batyrev's stringy E-function. These singularities are obtained by imposing a natural condition on the facets of the Newton polyhedron, and they are strictly canonical. We prove that Batyrev's conjecture concerning the nonnegativity of stringy Hodge numbers is true for complete varieties with such singularities, under some additional hypotheses on the defining polynomials (e.g. convenient or weighted homogeneous). The proof uses combinatorics on lattice polytopes. The results form a s…
Let $Δ$ be a $3$-dimensional lattice polytope containing exactly one interior lattice point. We give a simple combinatorial formula for computing the stringy $E$-function of the $3$-dimensional canonical toric Fano variety $X_Δ$ associated with the polytope $Δ$. Using the stringy Libgober-Wood identity and our formula, we generalize the well-known combinatorial identity $\sum_{θ\preceq Δ\atop \dim (θ) =1} v(θ) \cdot v(θ^*) = 24$ holding in the case of $3$-dimensional reflexive polytopes $Δ$.
We introduce the notion of stringy E-function for an arbitrary normal irreducible algebraic variety X with at worst log-terminal singularities. We prove some basic properties of stringy E-functions and compute them explicitly for arbitrary Q-Gorenstein toric varieties. Using stringy E-functions, we propose a general method to define stringy Hodge numbers for projective algebraic varieties with at worst Gorenstein canonical singularities. This allows us to formulate the topological mirror duality test for arbitrary Calabi-Yau varieties with canonical singularities. In Appendix we explain non-Ar…
This paper studies the Hilbert scheme of a curve on a complete-intersection K-trivial threefold, in the case in which the curve is unobstructed in the ambient variety in which the threefold lives. The basic result is that the obstruction theory of the curve is completely determined by the scheme-theoretic Abel-Jacobi mapping. Several applications of this fact are given.
In this note, we consider crepant resolutions of the quotient varieties of smooth quintic threefolds by Gorenstein group actions. We compute their Hodge numbers via McKay correspondence. In this way, we find some new pairs $(h^{1,1},\;h^{2,1})$ of Hodge numbers of Calabi-Yau threefolds.
We correct the definitions and descriptions of the integral structures in [U14]. The previous flat basis in [ibid] is characterized by the Frobenius solutions and integral in the first approximation by mean of the graded quotients of monodromy filtration, but not integral in the strict sense. In this article, we use the integral structure of Iritani in [I11] for A-model. Using this precise version, we study open mirror symmetry for quintic threefolds through log mixed Hodge theory, especially the recent result on Neron models for admissible normal functions with non-torsion extensions in the j…
For each smooth Fano threefold $X$ with Picard number 1 we consider a weak Landau--Ginzburg model, that is a fibration over $\mathbb C^1$ given by a certain Laurent polynomial. In the spirit of L. Katzarkov's program we prove that the number of irreducible components of the central fiber of its compactification is $h^{1,2}(X)+1$. In particular, it does not depend on the compactification. The question of dependence on the model is open; however we produce examples of different weak Landau--Ginzburg models for the same variety with the same number of components of the central fiber.
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.
Let $X$ be an arbitrary smooth $n$-dimensional projective variety. It was discovered by Libgober and Wood that the product of the Chern classes $c_1(X)c_{n-1}(X)$ depends only on the Hodge numbers of $X$. This result has been used by Eguchi, Jinzenji and Xiong in their approach to the quantum cohomology of $X$ via a representation of the Virasoro algebra with the central charge $c_n(X)$. In this paper we define for singular varieties $X$ a rational number $c_{st}^{1,n-1}(X)$ which is a stringy version of the number $c_1c_{n-1}$ for smooth $n$-folds. We show that the number $c_{st}^{1,n-1}(X)$ …
In this paper, we represent the Hodge metric in terms of the Weil-Petersson metric and its Ricci curvature on the moduli spaces of polarized Calabi-Yau threefolds.
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…
We study the moduli space M(G,A) of flat G-bundles on an Abelian surface A, where G is a compact, simple, simply connected, connected Lie group. Equivalently, M(G,A) is the (coarse) moduli space of s-equivalence classes of holomorphic semi-stable G_C-bundles with trivial Chern classes where G_C is the complexified group. M(G,A) has the structure of a hyperkahler orbifold. We show that when G is Sp(n) or SU(n), M(G,A) has a natural hyperkahler desingularization which we exhibit as a moduli space of G_C-bundles with an altered stability condition. In this way, we obtain the two known families of…
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 …
We study type III contractions of Calabi-Yau threefolds containing a ruled surface over a smooth curve. We discuss the conditions necessary for the image threefold to by smoothable. We describe the change in Hodge numbers caused by this contraction and smoothing deformation. A generalization of a fomula for calculating Hodge numbers of hypersurfaces in $\mathbb{P}^4$ with ordinary double and triple points is presented. We use these results to construct new Calabi-Yau threefolds of Picard rank two arising from a family of quintic threefolds containing a cone.
Mirrors $X^{\vee}$ of quasi-smooth Calabi-Yau hypersurfaces $X$ in weighted projective spaces ${\Bbb P}(w_0, \ldots, w_d)$ can be obtained as Calabi-Yau compactifications of non-degenerate affine toric hypersurfaces defined by Laurent polynomials whose Newton polytope is the lattice simplex spanned by $d+1$ lattice vectors $v_i$ satisfying the relation $\sum_i w_i v_i =0$. In this paper, we compute the stringy $E$-function of mirrors $X^\vee$ and compare it with the Vafa's orbifold $E$-function of quasi-smooth Calabi-Yau hypersurfaces $X$. As a result, we prove the equalities of Hodge numbers …
The Hodge numbers of generic elliptically fibered Calabi-Yau threefolds over toric base surfaces fill out the "shield" structure previously identified by Kreuzer and Skarke. The connectivity structure of these spaces and bounds on the Hodge numbers are illuminated by considerations from F-theory and the minimal model program. In particular, there is a rigorous bound on the Hodge number h_{21} <= 491 for any elliptically fibered Calabi-Yau threefold. The threefolds with the largest known Hodge numbers are associated with a sequence of blow-ups of toric bases beginning with the Hirzebruch surfac…
In this paper, we give an expression and some estimates of the curvature tensor of the Hodge metric over the moduli space of a polarized Calabi-Yau threefold. The symmetricity of the Yukawa coupling is also studied. In the last section of this paper, an extra restriction of the limiting Hodge structure for the degeneration of Calabi-Yau threefolds is given.
To a one-parameter family of Calabi-Yau threefolds, we can associate the extended period map by the log Hodge theory of Kato and Usui. In the present paper, we study the image of a maximally unipotent monodromy point under the extended period map. As an application, we prove the generic Torelli theorem for a large class of one-parameter families of Calabi-Yau threefolds.
We consider algebraic manifolds $Y$ of dimension 3 over $\Bbb{C}$ with $H^i(Y, Ω^j_Y)=0$ for all $j\geq 0$ and $i>0$. Let $X$ be a smooth completion of $Y$ with $D=X-Y$, an effective divisor on $X$ with normal crossings. If the $D$-dimension of $X$ is not zero, then $Y$ is a fibre space over a smooth affine curve $C$ (i.e., we have a surjective morphism from $Y$ to $C$ such that general fibre is smooth and irreducible) such that every fibre satisfies the same vanishing condition. If an irreducible smooth fibre is not affine, then the Kodaira dimension of $X$ is $-\infty$ and the $D$-dimension …
We study the Hodge numbers of Landau-Ginzburg models as defined by Katzarkov, Kontsevich and Pantev. First we show that these numbers can be computed using ordinary mixed Hodge theory, then we give a concrete recipe for computing these numbers for the Landau-Ginzburg mirrors of Fano threefolds. We finish by proving that for a crepant resolution of a Gorenstein toric Fano threefold $X$ there is a natural LG mirror $(Y,\mathsf{w})$ so that $h^{p,q}(X) = f^{3-q,p}(Y,\mathsf{w})$.
We present a list of Calabi-Yau threefolds known to us, and with holonomy groups that are precisely SU(3), rather than a subgroup, with small Hodge numbers, which we understand to be those manifolds with height $(h^{1,1}+h^{2,1})\le 24$. With the completion of a project to compute the Hodge numbers of free quotients of complete intersection Calabi-Yau threefolds, most of which were computed in Refs. [1-3] and the remainder in Ref. [4], many new points have been added to the tip of the Hodge plot, updating the reviews by Davies and Candelas in Refs. [1, 5]. In view of this and other recent cons…
The stringy Euler number and E-function of Batyrev for log terminal singularities can in dimension 2 also be considered for a normal surface singularity with all log discrepancies nonzero in its minimal log resolution. Here we obtain a structure theorem for resolution graphs with respect to log discrepancies, implying that these stringy invariants can be defined in a natural way, even when some log discrepancies are zero, and more precisely for all normal surface singularities which are not log canonical. We also show that the stringy E-functions of log terminal surface singularities are polyn…
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.
It is a fundamental problem in geometry to decide which moduli spaces of polarized algebraic varieties are embedded by their period maps as Zariski open subsets of locally Hermitian symmetric domains. In the present work we prove that the moduli space of Calabi-Yau threefolds coming from eight planes in $\mathbb{P}^3$ does {\em not} have this property. We show furthermore that the monodromy group of a good family is Zariski dense in the corresponding symplectic group. Moreover, we study a natural sublocus which we call hyperelliptic locus, over which the variation of Hodge structures is natura…
We study the Variations of mixed Hodge structures (VMHS) associated to a pencil ${\cal X}$ (parametrised by an open set $B \subset {\Bbb P}^1$) of equisingular hypersurfaces of degree $d$ in ${\Bbb P}^{4}$ with exactly $m$ ordinary double points as singularities as well as the variations of Hodge structures (VHS) associated to the desingularization of this family $ \widetilde{\cal X}$. The case where exactly $l \le m $ of those double points are in algebraic general position (short:agp) is studied in detail and determine the possible limiting mixed Hodge structures (LMHS) associated to each of…
We analyze the structure of the algebraic manifolds $Y$ of dimension 3 with $H^i(Y, Ω^j_Y)=0$ for all $j\geq 0$, $i>0$ and $h^0(Y, {\mathcal{O}}_Y) > 1$, by showing the deformation invariant of some open surfaces. Secondly, we show when a smooth threefold with nonconstant regular functions satisfies the vanishing Hodge cohomology. As an application, we prove the existence of nonaffine and nonproduct threefolds $Y$ with this property by constructing a family of a certain type of open surfaces parametrized by the affine curve $\C-\{0\}$ such that the corresponding smooth completion $X$ has Kodai…
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…
Calabi-Yau manifolds are important objects in algebraic geometry and in theoretical physics. A hypothesis of mirror symmetry is that Calabi-Yau manifolds of dimension 3 come in pairs, with the Hodge numbers of one manifold mirroring the Hodge numbers of the other. In this thesis, Calabi-Yau manifolds are constructed by smoothing Stanley-Reisner schemes of triangulations of 3-spheres. The triangulations of the 3-sphere with 7 or 8 vertices have been constructed and classified by Grünbaum and Sreedharan (1967). In this thesis we characterize the Calabi-Yau manifolds obtained from the triangulati…
We carry out a systematic analysis of Calabi-Yau threefolds that are elliptically fibered with section ("EFS") and have a large Hodge number h^{2, 1}. EFS Calabi-Yau threefolds live in a single connected space, with regions of moduli space associated with different topologies connected through transitions that can be understood in terms of singular Weierstrass models. We determine the complete set of such threefolds that have h^{2, 1} >= 350 by tuning coefficients in Weierstrass models over Hirzebruch surfaces. The resulting set of Hodge numbers includes those of all known Calabi-Yau threefold…
We compare the sets of Calabi-Yau threefolds with large Hodge numbers that are constructed using toric hypersurface methods with those can be constructed as elliptic fibrations using Weierstrass model techniques motivated by F-theory. There is a close correspondence between the structure of "tops" in the toric polytope construction and Tate form tunings of Weierstrass models for elliptic fibrations. We find that all of the Hodge number pairs ($h^{1, 1},h^{2, 1}$) with $h^{1,1}$ or $h^{2, 1}\geq 240$ that are associated with threefolds in the Kreuzer-Skarke database can be realized explicitly b…
This proceedings note introduces aspects of the authors' work relating mirror symmetry and integral variations of Hodge structure. The emphasis is on their classification of the integral variations of Hodge structure which can underly families of Calabi-Yau threefolds over the thrice-punctured sphere with b^3 = 4, or equivalently h^{2,1} = 1, and the related issues of geometric realization of these variations. The presentation parallels that of the first author's talk at the BIRS workshop.
We prove a formula for the Hodge numbers of square-free divisors of Calabi-Yau threefold hypersurfaces in toric varieties. Euclidean branes wrapping divisors affect the vacuum structure of Calabi-Yau compactifications of type IIB string theory, M-theory, and F-theory. Determining the nonperturbative couplings due to Euclidean branes on a divisor $D$ requires counting fermion zero modes, which depend on the Hodge numbers $h^i({\cal{O}}_D)$. Suppose that $X$ is a smooth Calabi-Yau threefold hypersurface in a toric variety $V$, and let $D$ be the restriction to $X$ of a square-free divisor of $V$…
Given a variation of Hodge structure over $\mathbb{P}^1$ with Hodge numbers $(1,1,\dots,1)$, we show how to compute the degrees of the Deligne extension of its Hodge bundles, following Eskin-Kontsevich-Möller-Zorich, by using the local exponents of the corresponding Picard-Fuchs equation. This allows us to compute the Hodge numbers of Zucker's Hodge structure on the corresponding parabolic cohomology groups. We also apply this to families of elliptic curves, K3 surfaces and Calabi-Yau threefolds.
We systematically analyze the fibration structure of toric hypersurface Calabi-Yau threefolds with large and small Hodge numbers. We show that there are only four such Calabi-Yau threefolds with $h^{1, 1} \geq 140$ or $h^{2, 1} \geq 140$ that do not have manifest elliptic or genus one fibers arising from a fibration of the associated 4D polytope. There is a genus one fibration whenever either Hodge number is 150 or greater, and an elliptic fibration when either Hodge number is 228 or greater. We find that for small $h^{1, 1}$ the fraction of polytopes in the KS database that do not have a genu…
We study the moduli space of pairs $(X,H)$ consisting of a cubic threefold $X$ and a hyperplane $H$ in $\mathbb P^4$. The interest in this moduli comes from two sources: the study of certain weighted hypersurfaces whose middle cohomology admit Hodge structures of $K3$ type and, on the other hand, the study of the singularity $O_{16}$ (the cone over a cubic surface). In this paper, we give a Hodge theoretic construction of the moduli space of cubic pairs by relating $(X,H)$ to certain "lattice polarized" cubic fourfolds $Y$. A period map for the pairs $(X,H)$ is then defined using the periods o…
In this paper we investigate the exactness of the Grassmannian BGG complexes introduced in a previous work (arXiv:1211.2486), and obtain some inequalities between some Hodge numbers of some irregular varieties. In particular, we obtain sharp lower bounds for the Hodge numbers of smooth subvarieties of Abelian varieties, as well as some improvements of results of Lazarsfeld and Popa and Lombardi concerning threefolds and fourfolds.
