Let $Y$ be a projective submanifold of the total space of the inverse of a very ample line bundle $π:L^{-1}\rightarrow B$ over a projective manifold $B$. Any section of $L^{-1}\rightarrow B$ is isomorphic to $B$ and the Hodge numbers of any proper smooth multisection are determined by the degree $d$ of that multi-section as are the Hodge numbers of any smooth complete intersection of multi-sections of degrees $\left(d_{1},\ldots,d_{r}\right)$. In this paper recursive formulae are given for those Hodge numbers in terms of the integers $\left\{ d_{1},\ldots,d_{r}\right\} $ and the Hodge numbers of the linear sections. The recursion proceeds by induction on dimension and degree. Its proof relies on the theory of asymptotic mixed Hodge structures. An interesting corollary is that the Lefschetz hyperplane property is weakened by one degree in this setting. That is, relative vanishing does not reach the middle degree of the hyperplane section but only to degree one less than the middle degree. As an application, in an Appendix, we calculate closed formulae for all Hodge numbers of all smooth complete intersections for the case $\dim B=3$.
We construct canonical non-vanishing global sections of powers of the Hodge bundle on each Ekedahl-Oort stratum of a Hodge type Shimura variety. In particular we recover the quasi-affineness of the Ekedahl-Oort strata. In the projective case, this gives a very short proof of non-emptiness of Ekedahl-Oort strata. It follows that the Newton strata are also nonempty, by a result of S.Nie. We also deduce the fact that the $μ$-ordinary locus is determined by the Ekedahl-Oort strata of its image by any embedding.
We construct smooth complex projective varieties of dimension 3 to 6 with variations of Hodge structure, by generalizing an example of J. Carlson and C. Simpson in dimension 2. Then, we study some of their properties, in particular their cohomology groups.
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 bound from below the complexity of the top Chern class of the Hodge bundle in the Chow ring of the moduli space of curves: no formulas in terms of classes of degrees 1 and 2 can exist. As a consequence of the Torelli map, the 0-section over the second Voronoi compactification of the moduli of principally polarized abelian varieties also can not be expressed in terms of classes of degree 1 and 2. Along the way, we establish new cases of Pixton's conjecture for tautological relations. In the log Chow ring of the moduli space of curves, however, we prove that the top Chern class of the Hodge b…
A-D-E diagrams, Hodge--Tate hyperplane sections and semisimple quantum cohomology
PUC-Rio（天主教里约热内卢大学）；The Institute of Mathematical Sciences and Department of Mathematics, The Chinese University of Hong Kong（香港中文大学数学科学研究所及数学系）；School of Mathematics, Sun Yat-sen University（中山大学数学学院）；Department of Mathematics, University of Michigan（密歇根大学数学系）
We construct correspondences in logarithmic Hodge theory over a perfect field of arbitrary characteristic. These are represented by classes in the cohomology of sheaves of differential forms with log poles and, notably, log zeroes on cartesian products of varieties. From one perspective this generalizes work of Chatzistamatiou and Rülling, who developed (non-logarithmic) Hodge correspondences over perfect fields of arbitrary characteristic; from another we provide partial generalizations of more recent work of Binda, Park and Østvær on logarithmic Hodge correspondences by relaxing finiteness a…
We prove a conjecture of Milne pertaining to the existence of integral canonical models of Shimura varieties of abelian type in arbitrary unramified mixed characteristic $(0,p)$. As an application we prove for $p=2$ a motivic conjecture of Milne pertaining to integral canonical models of Shimura varieties of Hodge type.
This is a written-up version of eight introductory lectures to the Hodge theory of projective manifolds. The table of contents should be self-explanatory. The only exception is section 8 where I discuss, in a simple example, a technique for studying the class map for homology classes on the fibers of a map and one for approximating a certain kind of primitive vectors.
We discuss conditions for complete intersections in a toric variety which allow to compute Hodge numbers if the complete intersection is a quasi-smooth complete variety. A preliminary step is the computation of the Euler characteristic of differential forms, we also look at symmetric or arbitrary forms instead of the usual alternating ones.
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.
Let $X$ be a smooth projective curve of genus $g\geq 2$ over the complex numbers. A holomorphic pair on $X$ is a couple $(E,ϕ)$, where $E$ is a holomorphic bundle over $X$ of rank $n$ and degree $d$, and $ϕ\in H^0(E)$ is a holomorphic section. In this paper, we determine the Hodge polynomials of the moduli spaces of rank 2 pairs, using the theory of mixed Hodge structures. We also deal with the case in which $E$ has fixed determinant.
Over an arbitrary compact complex space or an arbitrary germ of complex space $X$, we provide fine resolutions of pure Hodge modules with strict supports $IC_X(\mathbb{V})$ via differential forms with locally $L^2$ boundary conditions. When $\mathbb{V}=\mathbb{C}_{X_{\rm reg}}$ is the trivial variation of Hodge structure, we give a solution to a Cheeger-Goresky-MacPherson type conjecture: For any compact complex space $X$, there is a complete hermitian metric $ds^2$ on $X_{\rm reg}$ such that there is a canonical isomorphism $$H^i_{(2)}(X_{\rm reg},ds^2)\simeq IH^i(X),\quad \forall i.$$ Such m…
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.
This paper is a survey of the subject of variations of Hodge structure (VHS) considered as exterior differential systems (EDS). We review developments over the last twenty-six years, with an emphasis on some key examples. In the penultimate section we present some new results on the characteristic cohomology of a homogeneous Pfaffian system. In the last section we discuss how the integrability conditions of an EDS affect the expected dimension of an integral submanifold. The paper ends with some speculation on EDS and Hodge conjecture for Calabi-Yau manifolds.
We compute the Hodge numbers of the variation of Hodge structure of the middle cohomology (with compact support) of the Landau-Ginzburg model dual to a weighted projective space. We state a conjectural formula for the Hodge numbers of general hypergeometric variations. We show that a general Landau-Ginzburg fibre is birational to a Calabi-Yau variety if and only if a general anticanonical section of the weighted projective space is Calabi-Yau. We analyse the 104 weighted 3-spaces with canonical singularities, and show that a general anticanonical section is not a K3 surface exactly in those 9 …
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.
Let $X$ be a smooth projective curve of genus $g\geq 2$ over the complex numbers. Fix $n\geq 2$, and an integer $d$. A pair $(E,ϕ)$ over $X$ consists of an algebraic vector bundle $E$ of rank $n$ and degree $d$ over $X$ and a section $ϕ$. There is a concept of stability for pairs which depends on a real parameter $τ$. Let $M_τ(n,d)$ be the moduli space of $τ$-semistable pairs of rank $n$ and degree $d$ over $X$. We prove that the cohomology groups of $M_τ(n,d)$ are Hodge structures isomorphic to direct summands of tensor products of the Hodge structure $H^1(X)$. This implies a similar result f…
Conditional on the Lefschetz standard conjecture in degree 2, we prove that the index of a Brauer class on a smooth projective variety divides a fixed power of its period, uniformly in smooth families. In the other direction, we reinterpret in more classical terms recent work of Hotchkiss which gives Hodge-theoretic lower bounds on the index of Brauer classes. We also prove versions of our results over arbitrary algebraically closed base fields, and as an application construct qualitatively new counterexamples to the integral Tate conjecture.
In this paper we give a general construction of transcendental lattices for K3 surfaces with real multiplication by arbitrary field up to degree 6 along with formula for their discriminants. We also show that all simple Abelian fourfolds with definite quaternionic multiplication can be realized as Kuga-Satake varieties of K3 surfaces with Picard rank 16 and real multiplication by a quadratic field by keeping track of the arithmetic input on both sides.
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…
Given a family of intermediate Jacobians (for a polarized variation of Hodge structure of weight -1) on a Zariski-open subset of a complex manifold, we construct an analytic space that naturally extends the family. Its two main properties are: (a) the horizontal and holomorphic sections are precisely the admissible normal functions without singularities; (b) the graph of any admissible normal function has an analytic closure inside our space. As a consequence, we obtain a new proof for the zero locus conjecture of M. Green and P. Griffiths. The construction uses filtered D-modules and M. Saito…
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 determine the structure of the Hodge ring, a natural object encoding the Hodge numbers of all compact Kaehler manifolds. As a consequence of this structure, there are no unexpected relations among the Hodge numbers, and no essential differences between the Hodge numbers of smooth complex projective varieties and those of arbitrary Kaehler manifolds. The consideration of certain natural ideals in the Hodge ring allows us to determine exactly which linear combinations of Hodge numbers are birationally invariant, and which are topological invariants. Combining the Hodge and unitary bordism rin…
For an embedding of sufficiently high degree of a smooth projective variety X into projective space, we use residues to define a filtered holonomic D-module (M, F) on the dual projective space. This gives a concrete description of the intermediate extension to a Hodge module on P of the variation of Hodge structure on the middle-dimensional cohomology of the hyperplane sections of X. We also establish many results about the sheaves F_k M, such as positivity, vanishing theorems, or reflexivity.
The space of unitary local systems of rank one on the complement of an arbitrary divisor in a complex projective algebraic variety can be described in terms of parabolic line bundles. We show that multiplier ideals provide natural stratifications of this space. We prove a structure theorem for these stratifications in terms of complex tori and convex rational polytopes, generalizing to the quasi-projective case results of Green-Lazarsfeld and Simpson. As an application we show the polynomial periodicity of Hodge numbers of congruence covers in any dimension, generalizing results of E. Hironaka…
We compute some Hodge and Betti numbers of the moduli space of stable rank $r$ degree $d$ vector bundles on a smooth projective curve. We do not assume $r$ and $d$ are coprime. In the process we equip the cohomology of an arbitrary algebraic stack with a functorial mixed Hodge structure. This Hodge structure is computed in the case of the moduli stack of rank $r$, degree $d$ vector bundles on a curve. Our methods also yield a formula for the Poincare polynomial of the moduli stack that is valid over any ground field.
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…
Let X be a complex algebraic manifold of dimension n+1 embedded in a sufficiently higher dimensional complex projective space, and Y a generic hyperplane section of X. We describe the mixed Hodge structure on H^p(X-Y,C) and the Hodge filtration of the middle primitive cohomology group H^n(Y,C)_0 of Y in terms of rational integrals on X. (Key words: Primitive cohomology, Rational integral of the 2nd kind, Generalized Poincare residue map, Hodge filtration, Mixed Hodge structure)
Suppose that Y is a cyclic cover of projective space branched over a hyperplane arrangement D, and that U is the complement of the ramification locus in Y. The first theorem implies that the Beilinson-Hodge conjecture holds for U if certain multiplicities of D are coprime to the degree of the cover. For instance this applies when D is reduced with normal crossings. The second theorem shows that when D has normal crossings and the degree of the cover is a prime number, the generalized Hodge conjecture holds for any toroidal resolution of Y. The last section contains some partial extensions to m…
We introduce integrable KdV type hierarchy associated naturally with arbitrary semi-simple Frobenius manifold. We present hierarchy in a Lax form and show that it admits bihamiltonian description.
We study Hodge bundles on Siegel varieties and their various extensions to smooth toroidal compactifications. Precisely, we construct a canonical Hodge bundle on an arbitrary Siegel variety so that the holomorphic tangent bundle can be embedded into the Hodge bundle, and we observe that the Bergman metric on the Siegel variety is compatible with the induced Hodge metric. Therefore we obtain the asymptotic estimate of the Bergman metric explicitly. Depending on these properties and the uniformitarian of Kähler-Einstein manifold, we study extensions of the tangent bundle over any smooth toroidal…
The principal goal of the paper is to apply the approach inspired by the theory of integrable systems to construct explicit sections of line bundles over the combinatorial model of the moduli space of pointed Riemann surfaces based on Jenkins-Strebel differentials. The line bundles are tensor products of the determinants of the Hodge or Prym vector bundles with the standard tautological line bundles $\mathcal L_j$ and the sections are constructed in terms of tau functions. The combinatorial model is interpreted as the real slice of a complex analytic moduli space of quadratic differentials whe…
Given any compact Riemann surface $C$, there is a canonical meromorphic 2--form $\widehatη$ on $C\times C$, with pole of order two on the diagonal $Δ\, \subset\, C\times C$, constructed in \cite{cfg}. This meromorphic 2--form $\widehatη$ produces a canonical projective structure on $C$. On the other hand the uniformization theorem provides another canonical projective structure on any compact Riemann surface $C$. We prove that these two projective structures differ in general. This is done by comparing the $(0,1)$--component of the differential of the corresponding sections of the moduli space…
We study the Severi variety $V_{d,g}$ of plane curves of degree $d$ and geometric genus $g$. Corresponding to every such variety, there is a one-parameter family of genus $g$ stable curves whose numerical invariants we compute. Building on the work of Caporaso and Harris, we derive a recursive formula for the degrees of the Hodge bundle on the families in question. For $d$ large enough, these families induce moving curves in $\bar{M}_g$. We use this to derive lower bounds for the slopes of effective divisors on $\bar{M}_g$. Another application of our results is to various enumerative problems …
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.
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…
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…
In this work we use Hodge theoretic methods to study homotopy types of complex projective manifolds with arbitrary fundamental groups. The main tool we use is the \textit{schematization functor} $X \mapsto (X\otimes \mathbb{C})^{sch}$, introduced by the third author as a substitute for the rationalization functor in homotopy theory in the case of non-simply connected spaces. Our main result is the construction of a \textit{Hodge decomposition} on $(X\otimes\mathbb{C})^{sch}$. This Hodge decomposition is encoded in an action of the discrete group $\mathbb{C}^{\times δ}$ on the object $(X\otimes…
Constructing families of abelian varieties of $\text{GL}_2$-type over $4$-punctured complex projective line via $p$-adic Hodge theory and Langlands correspondence and application to algebraic solutions of Painleve VI equation
The generalized roof F(1,2,n): Hodge structures and derived categories
Sapienza - Università di Roma（罗马大学）；Institute of Mathematics of the Polish Academy of Sciences（波兰科学院数学研究所）；Alma Mater Studiorum Università di Bologna（博洛尼亚大学）
We investigate Hodge-theoretic properties of Calabi-Yau complete intersections $V$ of $r$ semi-ample divisors in $d$-dimensional toric Fano varieties having at most Gorenstein singularities. Our main purpose is to show that the combinatorial duality proposed by second author agrees with the duality for Hodge numbers predicted by mirror symmetry. It is expected that the complete verification of mirror symmetry predictions for singular Calabi-Yau varieties $V$ of arbitrary dimension demands considerations of so called {\em string-theoretic Hodge numbers} $h^{p,q}_{\rm st}(V)$. We restrict oursel…
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)$ …
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…
For any Shimura variety of Hodge type with hyperspecial level at a prime $p$ and a lisse sheaf on it, we prove a formula, conjectured by Kottwitz \cite{Kottwitz90}, for the Lefschetz number of an arbitrary Frobenius-twisted Hecke correspondence acting on the compactly supported étale cohomology and verify another conjecture of Kottwitz \cite{Kottwitz90} on the stabilization of that formula. The main ingredients of our proof of the formula are a recent work of Kisin \cite{Kisin17} on Langlands-Rapoport conjecture and the theory of Galois gerbs developed by Langlands and Rapoport \cite{LR87}. Es…
Let $(G,X)$ be a Shimura pair of Hodge type such that $G$ is the Mumford--Tate group of some elements of $X$. We assume that for each simple factor $G_0$ of $G^{\ad}$ there exists a simple factor of $G_{0\dbR}$ which is compact. Let $N\Ge 3$. We show that for many compact open subgroups $K$ of $G(\dbA_f)$, the Shimura variety $\Sh(G,X)/K$ has a projective integral model $\scrN$ over $\dbZ[{1\over N}]$ which is a finite scheme over a certain Mumford moduli scheme $\scrA_{g,1,N}$. Equivalently, we show that if $A$ is an abelian variety over a number field and if the Mumford--Tate group of $A_{\d…
We prove a certain 'fat hyperplane section' Weak Lefschetz-type theorem for etale cohomology of non-projective varieties, similar to a result of Goresky and MacPherson (over complex numbers). This statement easily yields certain (vast) generalizations of the 'ordinary' Weak Lefschetz and Barth's theorems in arbitrary characteristic (that do not require any stratified Morse theory for their proof).
