We construct a polarized Hodge structure on the primitive part of Chen and Ruan's orbifold cohomology $H_{orb}^k(X)$ for projective $SL$-orbifolds $X$ satisfying a ``Hard Lefschetz Condition''.
Furthermore, the total cohomology $H_{orb}^{*,*}(X)$ forms a mixed Hodge structure that is polarized by every element of the Kähler cone of $X$. Using results of Cattani-Kaplan-Schmid this implies the existence of an abstract polarized variation of Hodge structure on the complexified Kähler cone of $X$. This construction should be considered as the analogue of the abstract polarized variation of Hodge structure that can be attached to the singular cohomology of a crepant resolution of $X$, in the light of the conjectural correspondence between the (quantum) orbifold cohomology and the (quantum) cohomology of a crepant resolution.
Given a derived equivalence of orbifolds associated to projective varieties with (not necessarily Gorenstein) quotient singularities, we deduce consequences related to the behavior of orbifold Hodge numbers and the Picard variety, extending what is known in the smooth case.
We identify the twisted sectors of a compact simplicial toric variety. We do the same for a generic nondegenerate Calabi-Yau hypersurface of an $n$-dimensional simplicial Fano toric variety and then explicitly compute $h^{1,1}_{orb}$ and $h^{n-2,1}_{orb}$ for the hypersurface. We give applications to the orbifold string theory conjecture and orbifold mirror symmetry.
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.
We prove that the wreath product orbifolds studied earlier by the first author provide a large class of higher dimensional examples of orbifolds whose orbifold Hodge numbers coincide with the ordinary ones of suitable resolutions of singularities. We also make explicit conjectures on elliptic genera for the wreath product orbifolds.
We prove a representation-theoretic version of Borisov-Batyrev mirror symmetry, and use it to construct infinitely many new pairs of orbifolds with mirror Hodge diamonds, with respect to the usual Hodge structure on singular complex cohomology. We conjecture that the corresponding orbifold Hodge diamonds are also mirror. When $X$ is the Fermat quintic in $¶^4$, and $\tilde{X}^*$ is a $\Sym_5$-equivariant, toric resolution of its mirror $X^*$, we deduce that for any subgroup $Γ$ of the alternating group $A_5$, the $Γ$-Hilbert schemes $Γ$-$\Hilb(X)$ and $Γ$-$\Hilb(\tilde{X}^*)$ are smooth Calabi…
We give hodge structures on quasitoric orbifolds. We define orbifold hodge numbers and show a correspondence of orbifold hodge numbers for crepant resolutions of quasitoric orbifolds. In short we extend hodge structures to a non complex setting .
We show that the description of Deligne--Beilinson cohomology is improved by using log Hodge theory. We consider the log relative version of it, and also present a fundamental conjecture in log Hodge theory.
We improve the known Hodge type bound for the exotic cohomology of complete intersections. In the revised version, we included a simplification of our original argument due to Pierre Deligne. The note appears in the C. R. de l'Aca. des Sc. de Paris.
In this paper, we explore a notion of nonabelian Hodge structure on the fundamental group of an algebraic variety. This is approach is compared to some alternative approaches due to Morgan, Hain and others. We also give criteria for a variety to be a Hodge theoretic K(pi,1), which roughly means that the cohomology of variations of mixed Hodge structure can be determined from the group.
We give a definition and study the basic properties of the irregular Hodge filtration on the exponentially twisted de Rham cohomology of a smooth quasi-projective complex variety.
For a $\mathbb P^1$-orbifold $\mathscr C$, we prove that its big quantum cohomology is generically semisimple. As a corollary, we verify a conjecture of Dubrovin for orbi-curves. We also show that the small quantum cohomology of $\mathscr C$ is generically semisimple iff $\mathscr C$ is Fano, i.e. it has positive orbifold Euler characteristic.
Using morphic cohomology, we produce a sequence of conjectures, called morphic conjectures, which terminates at the Grothendieck standard conjecture A. A refinement of Hodge structures is given, and with the assumption of morphic conjectures, we prove a Hodge index theorem. We answer a question of Friedlander and Lawson by assuming the Grothendieck standard conjecture B and prove that the topological filtration from morphic cohomology is equal to the Grothendieck arithmetic filtration for some cases.
One of the main tools for the study of compact hyperkähler manifolds is the natural action of the Looijenga-Lunts-Verbitsky Lie algebra on the cohomology of such manifolds. This also applies to the mildly singular holomorphic symplectic varieties - hyperkähler orbifolds, allowing us to prove that André motives of such orbifolds tend to be abelian.
We use Higgs cohomology to determine the Hodge numbers of the first intersection cohomology group of a local system V arising from the third direct image of a family of Calabi-Yau 3-folds over a smooth, quasi-projective curve. We give applications to Rhode's families of Calabi-Yau 3-folds without MUM.
Let X be a compact almost complex manifold with an action of a finite group G. We compute the algebra of G^n coinvariants of the stringy cohomology (math.AG/0104207) of X^n with an action of a wreath product of G. We show that it is isomorphic to the algebra A{S_n} defined by Lehn and Sorger (math.AG/0012166) where we set A to be the orbifold cohomology of [X/G]. As a consequence, we verify a special case of Ruan's cohomological hyper-kaehler conjecture (math.AG/0201123).
We consider a hypersurface in $\mathbb{C}^n$ with an isolated singular point at the origin, and study the mixed Hodge structure of the stalk of its intersection cohomology complex at the origin. In particular we express the dimension of each graded piece of the weight filtration of this mixed Hodge structure in terms of the numbers of the Jordan blocks in the Milnor monodromy.
We constructed the analytic Milnor fiber is a non-archimedean model of the classical topological Milnor fibration. In the present paper, we describe the homotopy type of the analytic Milnor fiber in terms of a strictly semi-stable model, and we show that its singular cohomology coincides with the weight zero part of the mixed Hodge structure on the nearby cohomology. We give a similar expression for Denef and Loeser's motivic Milnor fiber in terms of a strictly semi-stable model.
We prove that the relative log de Rham cohomology groups of a projective semistable log smooth degeneration admit a natural \textit{limiting} mixed Hodge structure. More precisely, we construct a family of increasing filtrations and a family of nilpotent endomorphisms on the relative log de Rham cohomology groups and show that they satisfy a part of good properties of a nilpotnet orbit in several variables.
We recall the construction of the Hodge character and we show, using a result due to F. Bittner, that these can be constructed using classical pure Hodge theory only, sideskipping Deligne's construction of functorial mixed Hodge structures on the cohomology of algberaic varieties. We then give a proof, based on the weak factorization theorem, that the nearby fibre is well-defined in the Grothendieck group of varieties. Finally, various formulas for numerical invariants of Hodge-theoretic origin are presented which are associated to one-parameter degenerations of projective manifolds.
Étale Nori finite vector bundles are those bundles defined by representations of a finite étale group scheme in the usual way. In this note we show that in many cases the dimensions of the Hodge cohomology groups of such a vector bundle and of a twist of it by an automorphism of the ground field are the same. This generalizes to the higher rank case a result of Pink-Roessler.
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…
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.
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 establish a blow-up formula for Hodge cohomology of locally free sheaves on smooth proper varieties over an algebraically closed field of positive characteristic. For this, we introduce a notion of relative Hodge sheaves and study their behavior under blow-ups along smooth centers. In particular, as an application, we study the blow-up invariance of the $E_2$-degeneracy of the Hochschild--Kostant--Rosenberg spectral sequence for smooth proper varieties.
For an orbifold X which is the quotient of a manifold Y by a finite group G we construct a noncommutative ring with an action of G such that the orbifold cohomology of X as defined in math.AG/0004129 by Chen and Ruan is the G invariant part. In the case thar Y is S^n for a surface S with trivial canonical class we prove that (a small modification of) the orbifold cohomology of X is naturally isomorphic to the cohomology ring of the Hilbert scheme of n points on S computed in math.AG/0012166 by Lehn and Sorger.
It is known that the Picard group of a complex manifold can be expressed as a Deligne cohomology group. One may wonder if the same holds for the Picard group of a smooth algebraic variety and Deligne-Beilinson cohomology but this is not true, as already remarked by M. Saito. We explain how one has to modify the latter, show that the Picard group can be expressed by absolute Hodge cohomology, too, and introduce an intermediate object between Picard group and usual Deligne-Beilinson cohomology group. Similarly as in the case of Deligne cohomology one can relate line bundles with a regular connec…
Let $X$ be a compact Riemann surface, $Σ$ a finite set of points and $M = X\setminus Σ$. We study the $L^2$ cohomology of a polarized complex variation of Hodge structure on a Galois covering of the Riemann surface of finite type $M$. In this article we treat the case when the covering comes from a branched covering of $X$, and where $M$ is endowed with a metric asymptotic to a Poincaré metric. We prove that after tensorisation with the algebra of affiliated operators, the $L^2$ cohomology admits a pure Hodge structure.
We interpret syntomic cohomology of Nekovář-Nizioł as a $p$-adic absolute Hodge cohomology. This is analogous to the interpretation of Deligne-Beilinson cohomology as an absolute Hodge cohomology by Beilinson and generalizes the results of Bannai and Chiarellotto, Ciccioni, Mazzari in the good reduction case, and of Yamada in the semistable reduction case. This interpretation yields a simple construction of the syntomic descent spectral sequence and its degeneration for proper and smooth varieties. We introduce syntomic coefficients and show that in dimension zero they form a full triangulated…
We prove that Schur classes of nef vector bundles are limits of classes that have a property analogous to the Hodge-Riemann bilinear relations. We give a number of applications, including (1) new log-concavity statements about characteristic classes of nef vector bundles (2) log-concavity statements about Schur and related polynomials (3) another proof that normalized Schur polynomials are Lorentzian.
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.
With a basic knowledge of cohomology theory, the background necessary to understand Hodge theory and polarization, Deligne's Mixed Hodge Structure on cohomology of complex algebraic varieties is described.
Starting from the Kähler moduli space of the rigid orbifold Z=E^3/\mathbb{Z}_3 one would expect for the cohomology of the generalized mirror to be a Hodge structure of Calabi-Yau type (1,9,9,1). We show that such a structure arises in a natural way from rational Hodge structures on Λ^3 \mathbb{K}^6, \mathbb{K}=\mathbb{Q}[ω], where ωis a primitive third root of unity. We do not try to identify an underlying geometry, but we show how special geometry arises in our abstract construction. We also show how such Hodge structure can be recovered as a polarized substructure of a bigger Hodge structure…
We prove the vanishing modulo torsion of the higher direct images of the sheaf of Witt vectors (and the Witt canonical sheaf) for a purely inseparable projective alteration between normal finite quotients over a perfect field. For this, we show that the relative Hodge-Witt cohomology admits an action of correspondences. As an application we define Witt-rational singularities which form a broader class than rational singularities. In particular, finite quotients have Witt-rational singularities. In addition, we prove that the torsion part of the Witt vector cohomology of a smooth, proper scheme…
We introduce extended toric Deligne-Mumford stacks. We use an extended toric Deligne-Mumford stack to get the toric stack bundle and compute its orbifold Chow ring. Finally we generalize one result of Borisov, Chen and Smith so that the orbifold Chow ring of the toric stack bundle and the Chow ring of its crepant resolution are fibres of a flat family.
We study Givental's Lagrangian cone for the quantum orbifold cohomology of toric stack bundles and prove that the I-function gives points in the Lagrangian cone, namely we construct an explicit slice of the Lagrangian cone defined by the genus $0$ Gromov-Witten theory of a toric stack bundle.
For a smooth and proper scheme over an artinian local ring with ordinary reduction over the perfect residue field we prove - under some general assumptions - that the relative de Rham-Witt spectral sequence degenerates and the relative crystalline cohomology, equipped with its display structure arising from the Nygaard complexes, has a Hodge-Witt decomposition into a direct sum of (suitably Tate-Twisted) multiplicative displays. As examples our main results include the cases of abelian schemes, complete intersections, varieties of K3 type and some Calabi-Yau $n$-folds.
We prove two results regarding Hodge structures appearing in the cohomology of complex tori. First, we prove that if a polarizable Hodge structure appears in the cohomology of a complex torus $T$, it appears in the cohomology of an abelian variety isomorphic to a subquotient of $T$. Second, we prove a universality result for the Kuga-Satake construction applied to Hodge structures of $K3$ type that might not be polarized.
It known from the work of Feigin-Tsygan, Weibel and Keller that the cohomology groups of a smooth complex variety X can be recovered from (roughly speaking) its derived category of coherent sheaves. In this paper we show that for a finite group G acting on X the same procedure applied to G-equivariant sheaves gives the orbifold cohomology of X/G. As an application, in some cases we are able to obtain simple proofs of an additive isomorphism between the orbifold cohomology of X/G and the usual cohomology of its crepant resolution (the general equality of Euler and Hodge numbers was obtained ear…
We study the multiplicative structure of orbifold Hochschild cohomology in an attempt to generalize the results of Kontsevich and Calaque-Van den Bergh relating the Hochschild and polyvector field cohomology rings of a smooth variety. We introduce the concept of linearized derived scheme, and we argue that when $X$ is a smooth algebraic variety and $G$ is a finite abelian group acting on $X$, the derived fixed locus $\widetilde{X^G}$ admits an HKR linearization. This allows us to define a product on the cohomology of polyvector fields of the orbifold $[X/G]$. We analyze the obstructions to ass…
Insprired by the work of C. Simpson, it is shown that every variation of graded-polarized mixed Hodge structure defined over Q gives rise to a natural Higgs field on the underlying vector bundle. In the context of Mirror Symmetry it is then shown that these Higgs fields share an intimate relationship with Quantum Cohomology.
We work through, in detail, the orbifold quantum cohomology, with gravitational descendants, of the stack BG, the point modulo trivial action of a finite group G. We provide a simple description of algebraic structures on the state space of this theory. As a consequence, we find that multiple copies of commuting Virasoro algebras appear in this theory which completely determine the correlators of the theory.
Given a projective morphism of compact, complex, algebraic varieties and a relatively ample line bundle on the domain we prove that a suitable choice, dictated by the line bundle, of the decomposition isomorphism of the Decomposition Theorem of Beilinson, Bernstein, Deligne and Gabber, yields isomorphisms of pure Hodge structures. The proof is based on a new cohomological characterization of the decomposition isomorphism associated with the line bundle. We prove some corollaries concerning the intersection form in intersection cohomology, the natural map from cohomology to intersection cohomol…
v2: We improved a little bit according to the referee's wishes. v1: On $X$ projective smooth over a field $k$, Pink and Roessler conjecture that the dimension of the Hodge cohomology of an invertible $n$-torsion sheaf $L$ is the same as the one of its $a$-th power $L^a$ if $a$ is prime to $n$, under the assumptions that $X$ lifts to $W_2(k)$ and $dim X\le p$, if $k$ has characteristic $p>0$. They show this if $k$ has characteristic 0 and if $n$ is prime to $p$ in characteristic $p>0$. We show the conjecture in characteristic $p>0$ if $n=p$ assuming in addition that $X$ is ordinary (in the sens…
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.
Let A be an abelian variety over C such that the semisimple part of the Hodge group of A is a product of copies of SU(p,1) for some p>1. We show that any effective Tate twist of a Hodge structure occurring in the cohomology of A is isomorphic to a Hodge structure in the cohomology of some abelian variety.
