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 rings, we are also able to treat linear combinations of Hodge and Chern numbers. In particular, this leads to a complete solution of a classical problem of Hirzebruch's.
Summary: The Hodge conjecture asks whether rational Hodge classes on a smooth projective manifolds are generated by the classes of algebraic subsets, or equivalently by Chern classes of coherent sheaves. On a compact Kaehler manifold, Hodge conjecture is known to be false if algebraic subsets are replaced with analytic subsets. Here we show that it is even false that for a Kaehler manifold, Hodge classes are generated by Chern classes of coherent sheaves. We also show that finite free resolution do not in general exist for coherent sheaves on compact Kaehler manifolds.
Based on work of R. Lazarsfeld and M. Popa, we use the derivative complex associated to the bundle of the holomorphic p-forms to provide inequalities for all the Hodge numbers of a special class of irregular compact Kaehler manifolds. For 3-folds and 4-folds we give an asymptotic bound for all the Hodge numbers in terms of the irregularity. As a byproduct, via the BGG correspondence, we also bound the regularity of the exterior cohomology modules of bundles of holomorphic p-forms.
Let (M,I, ω, Ω) be a nearly Kaehler 6-manifold, that is, an SU(3)-manifold with the (3,0)-form Ωand the Hermitian form ωwhich satisfies $dω=3λ\ReΩ, d\ImΩ=-2λω^2$, for a non-zero real constant λ. We develop an analogue of Kaehler relations on M, proving several useful identities for various intrinsic Laplacians on M. When M is compact, these identities bring powerful results about cohomology of M. We show that harmonic forms on M admit the Hodge decomposition, and prove that H^{p,q}(M)=0 unless p=q or (p=1, q=2) or (p=2, q=1).
We study restrictions on cohomology algebras of Kaehler compact manifolds, not depending on the h^{p,q} numbers or the symplectic structure. To illustrate the effectiveness of these restrictions, we give a number of examples of compact symplectic manifolds satisfying the Lefschetz property but not having the cohomology algebra of a compact Kaehler manifold. We also prove the stability of these restrictions under products.
We define the C^*-action on moduli spaces of reductive representations of fundamental groups of quasi-compact Kaehler manifolds by solving Hermitian-Yang-Mills equation. As applications in algebraic geometry we show a non-abelian Hodge (p,q)-type theorem for families of quasi-projective manifolds. We also prove that any discrete sub group of a Lie group of rank >1 that is not of Hodge type can't be the fundamental group of a quasi-compact Kaehler manifold.
For any symmetric collection of natural numbers h^{p,q} with p+q=k, we construct a smooth complex projective variety whose weight k Hodge structure has these Hodge numbers; if k=2m is even, then we have to impose that h^{m,m} is bigger than some quadratic bound in m. Combining these results for different weights, we solve the construction problem for the truncated Hodge diamond under two additional assumptions. Our results lead to a complete classification of all nontrivial dominations among Hodge numbers of Kaehler manifolds.
We define and construct the real analytic moduli stack of pluriharmonic bundles on a compact Kaehler manifold X, and show how this is equipped with Hodge and quaternionic structures. This stack maps to the de Rham moduli stack, giving rise to preferred sections of the Deligne-Hitchin twistor stack. We then show how the non-abelian mixed Hodge structures on Malcev homotopy types X can be extended to objects over the pluriharmonic moduli stack.
We show the vanishing of the log-term in the Fefferman expansion of the Bergman kernel of the disk bundle over a compact simply-connected homogeneous Kaehler--Einstein manifold of classical type.
The cohomology of a compact Kaehler (resp. hyperKaehler) manifold admits the action of the Lie algebra so(2,1) (resp. so(4,1)). In this paper we show, following an idea of Witten, how this action follows from supersymmetry, in particular from the symmetries of certain supersymmetric sigma models. In addition, many of the fundamental identities in Hodge-Lefschetz theory are also naturally derived from supersymmetry.
The aim of this paper is to study the pro-algebraic fundamental group of a compact Kaehler manifold. Following work by Simpson, the structure of this group's pro-reductive quotient is already well understood. We show that Hodge-theoretic methods can also be used to establish that the pro-unipotent radical is quadratically presented. This generalises both Deligne et al.'s result on the de Rham fundamental group, and Goldman and Millson's result on deforming representations of Kaehler groups, and can be regarded as a consequence of formality of the schematic homotopy type. New examples are given…
We develop a Hodge theory for relative simple normal crossing varieties over an Artinian base scheme. We introduce the notion of a mixed Hodge structure over an Artin ring, which axiomatizes the structure that is found on the cohomology of such a variety. As an application we prove that the maps between the graded pieces of the Hodge bundles have constant rank.
Let M be a hypercomplex Hermitian manifold, (M,I) the same manifold considered as a complex Hermitian with a complex structure I induced by the quaternions. The standard linear-algebraic construction produces a canonical nowhere degenerate (2,0)-form on (M,I). It is well known that M is hyperkaehler if and only if the form Ωis closed with respect to the de Rham differential. The M is called HKT (hyperkaehler with torsion) if this form is closed with respect to the Dolbeault differential (this condition is weaker. Conjecturally, all compact hypercomplex manifolds admit an HKT-metrics. We exploi…
We describe a new perspective on the intersection theory of the moduli space of curves involving both Virasoro constraints and Gorenstein conditions. The main result of the paper is the computation of a basic 1-point Hodge integral series occurring in the tautological ring of the moduli space of nonsingular curves. In the appendix by D. Zagier, "Polynomials arising from the tautological ring", a detailed study is made of certain polynomials whose coefficients are intersection numbers on moduli space. The paper and the appendix together provide proofs of all previously conjectured formulas for …
Let $k$ be a field of positive characteristic. We prove that the only linear relations between the Hodge numbers $h^{i,j}(X) = \dim H^j(X,Ω_X^i)$ that hold for every smooth proper variety $X$ over $k$ are the ones given by Serre duality. We also show that the only linear combinations of Hodge numbers that are birational invariants of $X$ are given by the span of the $h^{i,0}(X)$ and the $h^{0,j}(X)$ (and their duals $h^{i,n}(X)$ and $h^{n,j}(X)$). The corresponding statements for compact Kähler manifolds were proven by Kotschick and Schreieder.
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…
We continue our study on the Hodge-Iwasawa theory which is a continuation of our previous work on Hodge-Iwasawa theory, which is aimed at higher dimensional deformation of higher dimensional Hodge structures over general analytic spaces or adic spaces. We still follow closely the approaches of Kedlaya-Liu to study our Frobenius modules over the different kinds of period rings including more generalized perfect period rings and the corresponding imperfect period rings. It is desirable that one can globalize the deformed information in order to organize the deformed period rings into the corresp…
Derived de Rham cohomology has been recently used in several contexts, as in works of Beilinson and Bhatt on p-adic periods morphisms and Morin on numerical invariants for special values of zeta functions. Inspired by some results of Morin, we aimed to compute Hodge completed derived de Rham complex in the case of a rings map $\mathbb{Z}\longrightarrow k$, factoring through $\mathbb{F}_p$, with $k$ a perfect ring (i.e. the Frobenius map is an automorphism).
Let $M$ be a Kaehler manifold, and consider the total space $T^*M$ of the cotangent bundle to $M$. We show that in the formal neighborhood of the zero section $M \subset T^*M$ the space $T^*M$ admits a canonical hyperkaehler structure, compatible with the complex and holomorphic symplectic structures on $T^*M$. The associated hyperkaehler metric $h$ coincides with the given Kaehler metric on the zero section $M \subset T^*M$. Moreover, $h$ is invariant under the canonical circle action on $T^*M$ by dilatations along the fibers of $T^*M$ over $M$. We show that a hyperkaehler structure with thes…
We compute the mixed Hodge structure on the cohomology ring of complements of complex coordinate subspace arrangements. The mixed Hodge structure can be described in terms of the special bigrading on the cohomology ring of complements of complex coordinate subspace arrangements. Originally this bigrading was introduced in the setting of toric topology by V.M. Buchstaber and T.E. Panov.
We construct a Mixed Hodge Structure on the local complete ring of the representation scheme at the holonomy of a VHS on a compact Kähler manifold and prove that the corresponding tautological representation is the holonomy of a VMHS. In order to carry out this construction we revisit the well-known work of Goldman and Millson on the deformation theory of representations of Kähler groups.
We study the cohomology rings of snc log symplectic pairs $(X,Y)$ which have log symplectic forms of pure weight. We show that under a certain natural condition, the cohomology ring of $X \setminus Y$ exhibits the curious hard Lefschetz property. Analogous results are shown to hold for limit mixed Hodge structures associated to good degenerations of projective irreducible holomorphic symplectic manifolds. We provide several examples of log symplectic pairs of pure weight including a class of cluster-type varieties, and examples coming from the work of Feigin and Odesski. We show that the compo…
We start with a curve over an algebraically closed ground field of positive characteristic $p>0$. By using specialization techniques, under suitable natural coprimality conditions, we prove a cohomological Simpson Correspondence between the moduli space of Higgs bundles and the one of connections on the curve. We also prove a new $p$-multiplicative periodicity concerning the cohomology rings of Dolbeault moduli spaces of degrees differing by a factor of $p$. By coupling this $p$-periodicity in characteristic $p$ with lifting/specialization techniques in mixed characteristic, we find, in arbitr…
In this note, we examine the Jacobian ring description of the Hodge structure of zero loci of vector bundle sections on a class of ambient varieties. We consider a set of cohomological vanishing conditions that imply such a description, and we verify these conditions for some new cases. We also observe that the method can be directly extended to log homogeneous varieties. We apply the Jacobian ring to study the null varieties of period integrals and their derivatives, generalizing a result in [9] for projective spaces. As an additional application, we prove the Hodge conjecture for very generi…
An $F$-nilpotent local ring is a local ring $(R, \mathfrak{m})$ of prime characteristic defined by the nilpotence of the Frobenius action on its local cohomology modules $H^i_{\mathfrak{m}}(R)$. A singularity in characteristic zero is said to be of $F$-nilpotent type if its modulo $p$ reduction is $F$-nilpotent for almost all $p$. In this paper, we give a Hodge-theoretic interpretation of three-dimensional normal isolated singularities of $F$-nilpotent type. In the graded case, this yields a characterization of these singularities in terms of divisor class groups and Brauer groups.
We compute the Szego kernel of the unit circle bundle of a negative line bundle dual to a regular quantum line bundle over a compact Kaehler manifold. As a corollary we provide an infinite family of smoothly bounded strictly pseudoconvex domains on complex manifolds (disk bundles over homogeneous Hodge manifolds) for which the log-terms in the Fefferman expansion of the Szego kernel vanish and which are not locally CR-equivalent to the sphere. We also give a proof of the fact that, for homogeneous Hodge manifolds, the existence of a locally spherical CR-structure on the unit circle bundle alon…
We solved the long-standing problem of describing the cohomology ring of semiample hypersurfaces in complete simplicial toric varieties. Also, the monomial-divisor mirror map is generalized to a map between the whole Picard group and the space of infinitesimal deformations for a mirror pair of Calabi-Yau hypersurfaces. This map is compatible with certain vanishing limiting products of the subrings of the chiral rings, on which the ring structure is related to a product of the roots of $A$-type Lie algebra.
Given a complex variety $X$, a linear algebraic group $G$ and a representation $ρ$ of the fundamental group $π\_1(X,x)$ into $G$, we develop a framework for constructing a functorial mixed Hodge structure on the formal local ring of the representation variety of $π\_1(X,x)$ into $G$ at $ρ$ using mixed Hodgediagrams and methods of $L\_\infty$ algebras. We apply it in two geometric situations: either when $X$ is compact K{ä}hler and $ρ$ is the monodromy of a variation of Hodge structure, or when $X$ is smooth quasi-projective and $ρ$ has finite image.
We prove that the Beilinson regulator, which is a map from $K$-theory to absolute Hodge cohomology of a smooth variety, admits a refinement to a map of $E_\infty$-ring spectra in the sense of algebraic topology. To this end we exhibit absolute Hodge cohomology as the cohomology of a commutative differential graded algebra over $\mathbb{R}$. The associated spectrum to this CDGA is the target of the refinement of the regulator and the usual $K$-theory spectrum is the source. To prove this result we compute the space of maps from the motivic $K$-theory spectrum to the motivic spectrum that repres…
We give a spectral sequence to compute the logarithmic Hodge groups on a hypersurface type toric log Calabi-Yau space, compute its E_1 term explicitly in terms of tropical degeneration data and Jacobian rings and prove its degeneration at E_2 under mild assumptions. We prove the basechange of the affine Hodge groups and deduce it for the logarithmic Hodge groups in low dimensions. As an application, we prove a mirror symmetry duality in dimension two and four involving the usual Hodge numbers, the stringy Hodge numbers and the affine Hodge numbers.
In this paper we give a geometrical interpretation of an extension of mixed Hodge structures (MHS) obtained from the canonical MHS on the group ring of the fundamental group of a hyperelliptic curve modulo the fourth power of its augmentation ideal. We show that the class of this extension coincides with the regulator image of a canonical higher cycle in a hyperelliptic jacobian. This higher cycle was introduced and studied by Collino.
This is our sequel to our previous work on the corresponding generalized Frobenius modules over some big multivariate Robba rings. We will go beyond our previous discussion where we focused on the corresponding analytic functions on polydiscs and polyannuli in the strictly affinoid situation, and general Hodge-Frobenius structures which are admissible in the corresponding context in our previous work.
We study the moduli space of Higgs bundles on a compact Riemann surface. It was shown by Thaddeus and Hausel (in rank 2) and Markman (in general rank) that the rational cohomology ring of this space is generated by universal classes. In this paper, we use their results to compute the Hodge structure on the cohomology of this moduli space. We show that the natural Hodge structure on H^k is pure of weight k.
We continue our study on the corresponding noncommutative deformation of the relative $p$-adic Hodge structures of Kedlaya-Liu along our previous work. In this paper, we are going to initiate the study of the corresponding descent of pseudocoherent modules carrying large noncommutative coefficients. And also we are going to more systematically study the corresponding noncommutative geometric aspects of noncommutative deformation of Hodge structures, which will definitely also provide the insights not only for noncommutative Iwasawa theory but also for noncommutative analytic geometry. The nonc…
In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings for Scholze's pro-etale topology. In this paper, we first extend Kiehl's theory of coherent sheaves on rigid analytic spaces to a theory of pseudocoherent sheaves on adic spaces, then construct a corresponding theory of pseudocoherent (phi, Gamma)-modules. We then relate these objects to a more explicit construction in case the space comes equipped with a su…
We define and construct mixed Hodge structures on real schematic homotopy types of complex projective varieties, giving mixed Hodge structures on their homotopy groups and pro-algebraic fundamental groups. We also show that these split on tensoring with the ring R[x] equipped with the Hodge filtration given by powers of (x-i), giving new results even for simply connected varieties. Thus the mixed Hodge structures can be recovered from cohomology groups of local systems, together with the monodromy action at the Archimedean place. As the basepoint varies, these all become real variations of mix…
We provide a formula describing the G-module structure of the Hurwitz-Hodge bundle for admissible G-covers in terms of the Hodge bundle of the base curve, and more generally, for describing the G-module structure of the push-forward to the base of any sheaf on a family of admissible G-covers. This formula can be interpreted as a representation-ring-valued relative Riemann-Hurwitz formula for families of admissible G-covers.
We define and construct mixed Hodge structures on real schematic homotopy types of complex quasi-projective varieties, giving mixed Hodge structures on their homotopy groups and pro-algebraic fundamental groups. We also show that these split on tensoring with the ring R[x] equipped with the Hodge filtration given by powers of (x-i), giving new results even for simply connected varieties. The mixed Hodge structures can thus be recovered from the Gysin spectral sequence of cohomology groups of local systems, together with the monodromy action at the Archimedean place. As the basepoint varies, th…
In previous work, we constructed for a smooth complex variety $X$ and for a linear algebraic group $G$ a mixed Hodge structure on the complete local ring $\widehat{\mathcal{O}}_ρ$ to the moduli space of representations of the fundamental group $π_1(X,x)$ into $G$ at a representation $ρ$ underlying a variation of mixed Hodge structure. We now show that the jump ideals $J_k^i \subset \widehat{\mathcal{O}}_ρ$, defining the locus of representations such the the dimension of the cohomology of $X$ in degree $i$ of the associated local system is greater than $k$, are sub-mixed Hodge structures; this …
Let X be a hyperkahler manifold deformation equivalent to a Hilbert scheme of n points on a K3 surface. We compute the graded character formula of the generic Mumford-Tate group representation on the cohomology ring of X, and derive a generating series for deducing the number of canonical Hodge classes on X. The formula indicates the number of Hodge classes on X that remain Hodge under any deformation.
For $p$ a prime number and $q$ a non trivial $p$th root of 1, we present the main steps of the construction of a local $q$-deformation of the "Simpson correspondence in characteristic $p$" found by Ogus and Vologodsky in 2005. The construction is based on the Morita-equivalence between a ring of $q$-twisted differential operators and its center. We also explain the expected relations between this construction and those recently done by Bhatt and Scholze. For the sake of readability, we limit ourselves to the case of dimension 1.
The power structure over the Grothendieck (semi)ring of complex quasi-projective varieties constructed by the authors is used to express the generating series of classes of Hilbert schemes of zero-dimensional subschemes on a smooth quasi-projective variety as an exponent of that for the complex affine space of the same dimension. Specializations of this relation give formulae for generating series of such invariants of the Hilbert schemes of points as the Euler characteristic and the Hodge-Deligne polynomial.
Mumford constructed a family of abelian fourfolds with special stucture not characterized by endomorphism ring. Galluzzi showed that the weight 2 Hodge structure of such a variety decomposes into Hodge substructures via the action of Mumford-Tate group, one of which is of K3 type with Hodge number (1,7,1). We will compute the intersection form of such a Hodge structure and provide a canonical integral Hodge structure on this subspace. Furthermore, we shall show two applications of this invariant. Firstly, using the above formula we shall show that every K3 surface obtained in this way will adm…
This paper generalizes classical results of Griffiths, Dolgachev and Steenbrink on the cohomology of hypersurfaces in weighted projective spaces. Given a $d$-dimensional projective simplicial toric variety $P$ and an ample hypersurface $X$ defined by an polynomial $f$ in the homogeneous coordinate ring $S$ of $P$ (as defined in an earlier paper of the first author), we show that the graded pieces of the Hodge filtration on $H^d(P - X)$ are naturally isomorphic to certain graded pieces of $S/J(f)$, where $J(f)$ is the Jacobian ideal of $f$. We then discuss how this relates to the primitive coho…
