We prove a formula conjectured by the third author expressing certain Hodge integrals in terms of certain Chern-Simons link invariants. Such invariants also arise in the representation theory of Kac-Moody algebras.
We prove a remarkable formula for Hodge integrals conjectured by Marino and Vafa based on large N duality, using functorial virtual localization on certain moduli spaces of relative stable morphisms.
Let Z_3 act on C^2 by non-trivial opposite characters. Let X =[C^2/Z_3] be the orbifold quotient, and let Y be the unique crepant resolution. We show the equivariant genus 0 Gromov-Witten potentials of X and Y are equal after a change of variables -- verifying the Crepant Resolution Conjecture for the pair (X,Y). Our computations involve Hodge integrals on trigonal Hurwitz spaces which are of independent interest. In a self contained Appendix, we derive closed formulas for these Hurwitz-Hodge integrals.
Integrals of the Chern classes of the Hodge bundle in Gromov-Witten theory are studied. We find a universal system of differential equations which determines the generating function of these integrals from the standard descendent potential (for any target X). We use virtual localization and classical degeneracy calculations to find trigonometric closed form solutions for special Hodge integrals over the moduli space of pointed curves. These formulas are applied to two computations in Gromov-Witten theory for Calabi-Yau 3-folds. The genus g, degree d multiple cover contribution of a rational cu…
Generalized Kontsevich Matrix Model (GKMM) with a certain given potential is the partition function of $r$-spin intersection numbers. We represent this GKMM in terms of fermions and expand it in terms of the Schur polynomials by boson-fermion correspondence, and link it with a Hurwitz partition function and a Hodge partition by operators in a $\widehat{GL}(\infty)$ group. Then, from a $W_{1+\infty}$ constraint of the partition function of $r$-spin intersection numbers, we get a $W_{1+\infty}$ constraint for the Hodge partition function. The $W_{1+\infty}$ constraint completely determines the S…
We prove a closed formula for integrals of the cotangent line classes against the top Chern class of the Hodge bundle on the moduli space of stable pointed curves. These integrals are computed via relations obtained from virtual localization in Gromov-Witten theory. An analysis of several natural matrices indexed by partitions is required.
Despite the failure of the integral Hodge conjecture, we show that the rational Hodge conjecture implies an integral version (modulo torsion) of the absolute Hodge conjecture.
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 use algebraic methods to compute the simple Hurwitz numbers for arbitrary source and target Riemann surfaces. For an elliptic curve target, we reproduce the results previously obtained by string theorists. Motivated by the Gromov-Witten potentials, we find a general generating function for the simple Hurwitz numbers in terms of the representation theory of the symmetric group S_n. We also find a generating function for Hodge integrals on the moduli space M_{g,2} of Riemann surfaces with two marked points, similar to that found by Faber and Pandharipande for the case of one marked point.
Starting from the ELSV formula, we derive a number of new equations on the generating functions for Hodge integrals over the moduli space of complex curves. This gives a new simple and uniform treatment of certain known results on Hodge integrals like Witten's conjecture, Virasoro constrains, Faber's lambda_g conjecture etc. Among other results we show that a properly arranged generating function for Hodge integrals satisfies the equations of the KP hierarchy.
We calculate the hyperelliptic Hodge integral lambda_g lambda_{g-1} / (1 - psi) for use in arXiv:math/0702219. The proof uses the WDVV equations for the genus zero Gromov--Witten invariants of P(1,1,2).
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.
We define a map $\mathcal{P}_M$ attached to any polarized Hodge module $M$ such that the restriction of $\mathcal{P}_M$ to a locus on which $M$ is a variation of Hodge structures induces the usual period integral pairing for this variation of Hodge structures. In the case that $M$ is the minimal extension of a simple polarized variation of Hodge structures $V$, we show that the homotopy image of $\mathcal{P}_M$ is the minimal extension of the graph morphism of the usual period integral map for $V$.
We prove some combinatorial results related to a formula on Hodge integrals conjectured by Mariño and Vafa. These results play important roles in the proof and applications of this formula by the author jointly with Chiu-Chu Melissa Liu and Kefeng Liu. We also compare with some related results on Hurwitz numbers and obtain some closed expressions for the generating series of Hurwitz numbers and the related Hodge integrals.
We show that the generating series of some Hodge integrals involving one or two partitions are tau-functions of the KP hierarchy or the 2-Toda hierarchy respectively. We also formulate a conjecture on the connection between relative invariants and integrable hierarchies. The conjecture is verified in some examples.
In this note we derive some consequences from the Mariño-Vafa formula and the cut-and-join equation, these include unified simple proofs of the $λ_g$ conjecture and some other Hodge integral identities. We also describe a proof of the ELSV formula relating Hurwitz numbers and Hodge integrals by using the cut-and-join equation, following our proof of the Mariño-Vafa formula.
A conjecture on the relation between the cubic Hodge integrals and the topological vertex in topological string theory is resolved. A central role is played by the notion of generalized shift symmetries in a fermionic realization of the two-dimensional quantum torus algebra. These algebraic relations of operators in the fermionic Fock space are used to convert generating functions of the cubic Hodge integrals and the topological vertex to each other. As a byproduct, the generating function of the cubic Hodge integrals at special values of the parameters therein is shown to be a tau function of…
This paper initiates a study of Hodge integrals on moduli spaces of pseudostable curves. We prove an explicit comparison formula that allows one to effectively compute any pseudostable Hodge integral in terms of intersection numbers on moduli spaces of stable curves, and we use this comparison to prove that pseudostable Hodge integrals are equal to their stable counterparts when they are linear in lambda classes, but not when they are nonlinear. This suggests that pseudostable Gromov-Witten invariants are equal to usual Gromov-Witten invariants for target curves, but not for higher-dimensional…
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 …
We prove the Gopakumar-Marino-Vafa formula for special cubic Hodge integrals. The GMV formula arises from Chern-Simons/string duality applied to the unknot in the three sphere. The GMV formula is a q-analog of the ELSV formula for linear Hodge integrals. We find a system of bilinear localization equations relating linear and special cubic Hodge integrals. The GMV formula then follows easily from the ELSV formula. An operator form of the GMV formula is presented in the last section of the paper.
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.
In this paper, we present some Hurwitz-Hodge integral identities which are derived from the Laplace transform of the cut-and-join equation for the orbifold Hurwitz numbers. As an application, we prove a conjecture on Hurwitz-Hodge integral proposed by J. Zhou in 2008.
Based on the duality between open-string theory on noncompact Calabi-Yau threefolds and Chern-Simons theory on three manifolds, M Marino and C Vafa conjectured a formula of one-partition Hodge integrals in term of invariants of the unknot (hep-th/0108064). Many Hodge integral identities, including the lambda_g conjecture and the ELSV formula, can be obtained by taking limits of the Marino-Vafa formula. Motivated by the Marino-Vafa formula and formula of Gromov-Witten invariants of local toric Calabi-Yau threefolds predicted by physicists, J Zhou conjectured a formula of two-partition Hodge int…
In this paper we find an explicit formula for the number of topologically different ramified coverings $C\to\CP^1$ (C is a compact Riemann surface of genus g) with only one complicated branching point in terms of Hodge integrals over the moduli space of genus g curves with marked points.
We celebrate the 100th anniversary of Srinivasa Ramanujan's election as a Fellow of the Royal Society, which was largely based on his work with G. H. Hardy on the asymptotic properties of the partition function. After recalling this revolutionary work, marking the birth of the "circle method", we present a contemporary example of its legacy in topology. We deduce the equidistribution of Hodge numbers for Hilbert schemes of suitable smooth projective surfaces.
We provide a closed form expression for linear Hodge integrals on the hyperelliptic locus. Specifically, we find a succinct combinatorial formula for all intersection numbers on the hyperelliptic locus with one $λ$-class, and powers of a $ψ$-class pulled back along the branch map. This is achieved by using Atiyah-Bott localization on a stack of stable maps into the orbifold $[\mathbb{P}^1/\mathbb{Z}_2]$.
We formulate a version of the integral Hodge conjecture for categories, prove the conjecture for two-dimensional Calabi-Yau categories which are suitably deformation equivalent to the derived category of a K3 or abelian surface, and use this to deduce cases of the usual integral Hodge conjecture for varieties. Along the way, we prove a version of the variational integral Hodge conjecture for families of two-dimensional Calabi-Yau categories, as well as a general smoothness result for relative moduli spaces of objects in such families. Our machinery also has applications to the structure of int…
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 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.
We reduce the calculation of the simplest Hodge integrals to some sums over decorated trees. Since Hodge integrals are already calculated, this gives a proof of a rather interesting combinatorial theorem and a new representation of Bernoulli numbers.
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.
Hodge classes on the moduli space of admissible covers with monodromy group G are associated to irreducible representations of G. We evaluate all linear Hodge integrals over moduli spaces of admissible covers with abelian monodromy in terms of multiplication in an associated wreath group algebra. In case G is cyclic and the representation is faithful, the evaluation is in terms of double Hurwitz numbers. In case G is trivial, the formula specializes to the well-known result of Ekedahl-Lando-Shapiro-Vainshtein for linear Hodge integrals over the moduli space of curves in terms of single Hurwitz…
We exhibit a set of recursive relations that completely determine all equivariant Gromov-Witten invariants of the quotient orbifold C^3/Z_3. We interpret such invariants as G-Hodge Integrals, and produce relations among them via Atiyah-Bott localization on moduli spaces of twisted stable maps to gerbes over the projective line.
Using Atiyah-Bott localization on the space of stable maps to the stack quotient $[\mathbb{P}^1/\mathbb{Z}_2]$, we find recursions that determine all Hodge integrals with descendent insertions at one marked point on the hyperelliptic locus $\overline{\mathcal{H}}_{g, 2g + 2} \subseteq \overline{\mathcal{M}}_{g, 2g + 2}$. The initial conditions required for our recursions are gravitational descendents at one marked point, which are known to be $\frac{1}{2}$. We discover a new structure concerning these intersection numbers: for a fixed monomial of $λ$-classes, the resulting family of hyperellip…
Ekedahl, Lando, Shapiro, and Vainshtein announced a remarkable formula expressing Hurwitz numbers (counting covers of the projective line with specified simple branch points, and specified branching over one other point) in terms of Hodge integrals. We give a proof of this formula using virtual localization on the moduli space of stable maps, and describe how the proof could be simplified by the proper algebro-geometric definition of a "relative space".
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…
A conjectural relationship between the GUE partition function with even couplings and certain special cubic Hodge integrals over the moduli spaces of stable algebraic curves is under consideration.
We study higher genus Fan--Jarvis--Ruan--Witten theory of any chain polynomial with any group of symmetries. Precisely, we give an explicit way to compute the cup product of Polishchuk and Vaintrob's virtual class with the top Chern class of the Hodge bundle. Our formula for this product holds in any genus and without any assumption on the semi-simplicity of the underlying cohomological field theory.
In this paper, we investigate a relation between the Givental group of rank one and the Heisenberg-Virasoro symmetry group of the KP hierarchy. We prove, that only a two-parameter family of the Givental operators can be identified with elements of the Heisenberg-Virasoro symmetry group. This family describes triple Hodge integrals satisfying the Calabi-Yau condition. Using the identification of the elements of two groups we prove that the generating function of triple Hodge integrals satisfying the Calabi-Yau condition and its $Θ$-version are tau-functions of the KP hierarchy. This generalizes…
As the first step of proving the Hodge-FVH correspondence recently proposed in [19], we derive the Virasoro constraints and the Dubrovin--Zhang loop equation for special cubic Hodge integrals. We show that this loop equation has a unique solution, and provide a new algorithm for the computation of these Hodge integrals. We also observe the gap phenomenon for certain special cubic Hodge free energies.
Virasoro constraints are applied to degree zero Gromov-Witten theory of weighted projective stacks $\mathbb{P}(1,N)$ and $\mathbb{P}(1,1,N)$ to obtain formulas of descendant cyclic Hurwitz-Hodge integrals in higher genera.
We give a simple proof that Kottwitz's PEL type integral models of Shimura varieties admit closed embeddings into Siegel integral models. We also show that Rapoport's and Kottwitz's integral models agree with Kisin's integral models for relevant Shimura data.
We present a detailed overview of the construction of the A_inf-cohomology theory from the preprint "Integral p-adic Hodge theory", joint with B. Bhatt and P. Scholze. We focus particularly on the p-adic analogue of the Cartier isomorphism via relative de Rham--Witt complexes.
We discuss the space of sections and certain bisections on a quadric surfaces bundle $X$ over a smooth curve. The Abel-Jacobi from these spaces to the intermediate Jacobian will be shown to be dominant with rationally connected fibers. As an application, we prove that the integral Hodge conjecture holds for degree four integral Hodge classes of fourfolds fibered by quadric bundles over a smooth curve. This gives an alternative proof of a result of Colliot-Th{é}l{è}ne and Voisin.
This is a survey of the three main methods developed in the last 15 years to prove the existence of integral canonical models of Shimura varieties of Hodge type. The only new part is formed by corrections to results of Kisin.
In this paper we describe explicit generating functions for a large class of Hurwitz-Hodge integrals. These are integrals of tautological classes on moduli spaces of admissible covers, a (stackily) smooth compactification of the Hurwitz schemes. Admissible covers and their tautological classes are interesting mathematical objects on their own, but recently they have proved to be a useful tool for the study of the tautological ring of the moduli space of curves, and the orbifold Gromov-Witten theory of DM stacks. Our main tool is Atiyah-Bott localization: its underlying philosophy is to transla…
We compute the Hodge filtration on cohomology groups of complements of complex coordinate subspace arrangements. By means of this result we construct integral representations of holomorphic functions such that kernels of these representations have singularities on complex coordinate subspace arrangements.
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 study the integral Hodge conjecture in complex codimension $2$ and $3$ for approximations to the classifying space of groups of type A. In degree two, we prove a conjecture of Ben Antieau, extending his two counterexamples to a general family of groups. In particular, when reduced to a finite field, these spaces extend Antieau's counterexamples to the integral $\ell$-adic Tate conjecture from the cases $\ell = 2, 3$ to all primes $\ell$.
Given an integral p-adic variety, we observe that if the integral Hodge--de Rham spectral sequence behaves nicely, then the special fiber knows the Hodge numbers of the generic fiber. Applying recent advancements of integral p-adic Hodge theory, we show that such a nice behavior is guaranteed if the p-adic variety can be lifted to an analogue of second Witt vectors and satisfies some bound on dimension and ramification index. This is a (ramified) mixed characteristic analogue of results due to Deligne--Illusie and Fontaine--Messing. Lastly, we discuss an example illustrating the necessity of t…
We calculate the fibre integrals of the hypersurface in a torus in the form of their Mellin transforms. Especially, our method works efficiently for an affine hypersurface defined by a so called simpliciable polynomial. The relations between poles of Mellin transforms of fibre integrals, the mixed Hodge structure of the cohomology of the hypersurface, the hypergeometric differential equation and the Euler characteristic of fibres are clarified.
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 establish an explicit relationship between the partition function of certain special cubic Hodge integrals and the generalized Brezin--Gross--Witten (BGW) partition function, which we refer to as the Hodge-BGW correspondence. As an application, we obtain an ELSV-like formula for generalized BGW correlators.
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…