Threefolds with vanishing Hodge cohomology

We consider algebraic manifolds of dimension 3 over with for all and 0$">. Let be a smooth completion of with , an effective divisor on with normal crossings. If the -dimension of is not zero, then is a fibre space over a smooth affine curve (i.e., we have a surjective morphism from to such that the 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 is and the -dimension of is 1. We also discuss sufficient conditions from the behavior of fibres or higher direct images to guarantee the global vanishing of Hodge cohomology and the affineness of .

     

Hodge cohomology on blow-ups along subvarieties

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₂-degeneracy of the Hochschild–Kostant–Rosenberg spectral sequence for smooth proper varieties.     

Weighted Ehrhart theory and orbifold cohomology

We introduce the notion of a weighted δ-vector of a lattice polytope. Although the definition is motivated by motivic integration, we study weighted δ-vectors from a combinatorial perspective. We present a version of Ehrhart Reciprocity and prove a change of variables formula. We deduce a new geometric interpretation of the coefficients of the Ehrhart δ-vector. More specifically, they are sums of dimensions of orbifold cohomology groups of a toric stack.     

Hopf cyclic cohomology and Hodge theory for proper actions on complex manifolds

We introduce two Hopf algebroids associated to a proper and holomorphic Lie group action on a complex manifold. We prove that the cyclic cohomology of each Hopf algebroid is equal to the Dolbeault cohomology of invariant differential forms. When the action is cocompact, we develop a generalized complex Hodge theory for the Dolbeault cohomology of invariant differential forms. We prove that every cyclic cohomology class of these two Hopf algebroids can be represented by a generalized harmonic form. This implies that the space of cyclic cohomology of each Hopf algebroid is finite dimensional. As an application of the techniques developed in this paper, we generalize the Serre duality and prove a Kodaira type vanishing theorem.     

Gerbes and twisted orbifold quantum cohomology

In this paper,we construct an orbifold quantum cohomology twisted by a flat gerbe. Then we compute these invariants in the case of a smooth manifold and a discrete torsion on a global quotient orbifold.     

Real Polarizable Hodge Structures Arising from Foliations

We construct real polarizable Hodge structures on the reduced leafwisecohomology of Kähler–Riemann foliations by complex manifolds. As inthe classical case one obtains a hard Lefschetz theorem for thiscohomology. Serre's Kählerin analogue of the Weil conjectures carriesover as well. Generalizing a construction of Looijenga and Lunts oneobtains possibly infinite-dimensional Lie algebras attached toKähler–Riemann foliations.Finally using ( , K)-cohomology wediscuss a class of examples obtained by dividing a product of symmetricspaces by a cocompact lattice and considering the foliations coming fromthe factors.     

Hodge cohomology of some foliated boundary and foliated cusp metrics

For fibred boundary and fibred cusp metrics, Hausel, Hunsicker, and Mazzeo identified the space of L² harmonic forms of fixed degree with the images of maps between intersection cohomology groups of an associated stratified space obtained by collapsing the fibres of the fibration at infinity onto its base. In the present paper, we obtain a generalization of this result to situations where, rather than a fibration at infinity, there is a Riemannian foliation with compact leaves admitting a resolution by a fibration. If the associated stratified space (obtained now by collapsing the leaves of the foliation) is a Witt space and if the metric considered is a foliated cusp metric, then no such resolution is required.     

Asymptotics of degenerations of mixed Hodge structures

We construct a hermitian metric on the classifying spaces of graded-polarized mixed Hodge structures and prove analogs of the strong distance estimate [6] between an admissible period map and the approximating nilpotent orbit. We also consider the asymptotic behavior of the biextension metric introduced by Hain [12], analogs of the norm estimates of [19] and the asymptotics of the naive limit Hodge filtration considered in [21].     

Moduli of polarized Hodge structures

Around 1970 Griffiths introduced the moduli of polarized Hodge structures/ the period domain D and described a dream to enlarge D to a moduli space of degenerating polarized Hodge structures. Since in general D is not a Hermitian symmetric domain, he asked for the existence of a certain automorphic cohomology theory for D, generalizing the usual notion of automorphic forms on symmetric Hermitian domains. Since then there have been many efforts in the first part of Griffith's dream but the second part still lives in darkness. The objective of the present text is two-folded. First, we give an exposition of the subject. Second, we give another formulation of the Griffiths problem, based on the classical Weierstrass uniformization theorem.     

The Picard–Lefschetz formula for p-adic cohomology

In this paper, we discuss a p-adic analogue of the Picard–Lefschetz formula. For a family with ordinary double points over a complete discrete valuation ring of mixed characteristic (0,p), we construct vanishing cycle modules which measure the difference between the rigid cohomology groups of the special fiber and the de Rham cohomology groups of the generic fiber. Furthermore, the monodromy operators on the de Rham cohomology groups of the generic fiber are described by the canonical generators of the vanishing cycle modules in the same way as in the case of the ℓ-adic (or classical) Picard–Lefschetz formula. For the construction and the proof, we use the logarithmic de Rham–Witt complexes and those weight filtrations investigated by Mokrane (Duke Math. J. 72(2):301–337, 1993).      

Classifying spaces for polarized mixed Hodge structures and for Brieskorn lattices

Classifying spaces and moduli spaces are constructed for two invariants of isolated hypersurface singularities, for the polarized mixed Hodge structure on the middle cohomology of the Milnor fibre, and for the Brieskorn lattice as a subspace of the Gauß–Manin connection. The relations between them, period mappings for -constant families of singularities, and Torelli theorems are discussed.     

Intermediate Jacobians and Hodge structures of moduli spaces

The mixed Hodge structure on the low degree cohomology of the moduli space of vector bundles on a curve is studied. Analysis of the third cohomology yields a new proof of a Torelli theorem.     

Infinitesimal variations of Hodge structure at infinity

By analyzing the local and infinitesimal behavior of degenerating polarized variations of Hodge structure the notion of infinitesimal variation of Hodge structure at infinity is introduced. It is shown that all such structures can be integrated to polarized variations of Hodge structure and that, conversely, all are limits of infinitesimal variations of Hodge structure at finite points. As an illustration of the rich information encoded in this new structure, some instances of the maximal dimension problem for this type of infinitesimal variation are presented and contrasted with the “classical” case of IVHS at finite points.      

The second cohomology with symmplectic coefficients of the moduli space of smooth projcetive curves

Each finite dimensional irreducible rational representation V of the symplectic group Sp_2g(Q) determines a generically defined local system V over the moduli space M_g of genus g smooth projective curves. We study H² (M_g; V) and the mixed Hodge structure on it. Specifically, we prove that if g 6, then the natural map IH²(M~_g; V) H²(M_g; V) is an isomorphism where M~_{_g} is tfhe Satake compactification of M_g. Using the work of Saito we conclude that the mixed Hodge structure on H²(M_g; V) is pure of weight 2+r if V underlies a variation of Hodge structure of weight r. We also obtain estimates on the weight of the mixed Hodge structure on H²(M_g; V) for 3 g < 6. Results of this article can be applied in the study of relations in the Torelli group T_g.     

An integral structure in quantum cohomology and mirror symmetry for toric orbifolds

We introduce an integral structure in orbifold quantum cohomology associated to the K-group and the -class. In the case of compact toric orbifolds, we show that this integral structure matches with the natural integral structure for the Landau-Ginzburg model under mirror symmetry. By assuming the existence of an integral structure, we give a natural explanation for the specialization to a root of unity in Y. Ruan's crepant resolution conjecture [Yongbin Ruan, The cohomology ring of crepant resolutions of orbifolds, in: Contemp. Math., vol. 403, Amer. Math. Soc., Providence, RI, 2006, pp. 117-126].     

Poisson cohomology of broken Lefschetz fibrations

We compute the formal Poisson cohomology of a broken Lefschetz fibration by calculating it at fold and Lefschetz singularities. Near a fold singularity the computation reduces to that for a point singularity in 3 dimensions. For the Poisson cohomology around singular points we adapt techniques developed for the Sklyanin algebra. As a side result, we give compact formulas for the Poisson coboundary operator of an arbitrary Jacobian Poisson structure in 4 dimensions.     

Hodge structures on cohomology algebras and geometry

We study restrictions on cohomology algebras of compact Kähler manifolds, imposed by the presence of a polarized Hodge structure on cohomology groups, compatible with the cup-product, but 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 formality condition, the Lefschetz property and having commutative or trivial π ₁, but not having the cohomology algebra of a compact Kaehler manifold. We also prove a stability theorem for these restrictions : if a compact Kähler manifold is homeomorphic to a product X × Y, with one summand satisfying b ₁ = 0, then the cohomology algebra of each summand carries a polarized Hodge structure.     

Monodromy of Variations of Hodge Structure

We present a survey of the properties of the monodromy of local systems on quasi-projective varieties which underlie a variation of Hodge structure. In the last section, a less widely known version of a Noether–Lefschetz-type theorem is discussed.     

The heat kernel weighted Hodge Laplacian on noncompact manifolds

On a compact orientable Riemannian manifold, the Hodge Laplacian has compact resolvent, therefore a spectral gap, and the dimension of the space of harmonic -forms is a topological invariant. By contrast, on complete noncompact Riemannian manifolds, is known to have various pathologies, among them the absence of a spectral gap and either ``too large' or ``too small' a space . In this article we use a heat kernel measure to determine the space of square-integrable forms and to construct the appropriate Laplacian . We recover in the noncompact case certain results of Hodge's theory of in the compact case. If the Ricci curvature of a noncompact connected Riemannian manifold is bounded below, then this ``heat kernel weighted Laplacian' acts on functions on in precisely the manner we would wish, that is, it has a spectral gap and a one-dimensional kernel. We prove that the kernel of on -forms is zero-dimensional on , as we expect from topology, if the Ricci curvature is nonnegative. On Euclidean space, there is a complete Hodge theory for . Weighted Laplacians also have a duality analogous to Poincaré duality on noncompact manifolds. Finally, we show that heat kernel-like measures give desirable spectral properties (compact resolvent) in certain general cases. In particular, we use measures with Gaussian decay to justify the statement that every topologically tame manifold has a strong Hodge decomposition.