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 metric $ds^2$ could be Kähler if $X$ is a Kähler space.
As an application, we give a differential geometrical proof of the Kähler package of the hypercohomology of pure Hodge modules. We also prove the Kähler version of Kashiwara's conjecture in the absolute case.
For an algebraic vector bundle $E$ over a smooth algebraic variety $X$, a monodromic $D$-module on $E$ is decomposed into a direct sum of some $O$-modules on $X$. We show that the Hodge filtration of a monodromic mixed Hodge module is decomposed with respect to the decomposition of the underlying $D$-module. By using this result, we endow the Fourier-Laplace transform $M^{\wedge}$ of the underlying $D$-module $M$ of a monodromic mixed Hodge module with a mixed Hodge module structure. Moreover, we describe the irregular Hodge filtration on $M^{\wedge}$ concretely and show that it coincides with…
This text is an expository survey on the interplay between polarized variation of Hodge structure (PVHS) and the formalism of Hodge modules. We specifically review the extensions of a PVMHS over their singularities and its relation to mixed Hodge modules.
We prove a surjectivity theorem for the Deligne canonical extension of a polarizable variation of Hodge structure with quasi-unipotent monodromy at infinity along the lines of Esnault-Viehweg. We deduce from it several injectivity theorems and vanishing theorems for pure Hodge modules. We also give an inductive proof of Kawamata-Viehweg vanishing for the lowest graded piece of the Hodge filtration of a pure Hodge module using mixed Hodge modules of nearby cycles.
For a smooth algebraic variety $X$, a monodromic $D$-module on $X\times \mathbb{C}$ is decomposed into a direct sum of some $D$-modules on $X$. We show that the Hodge filtration of a mixed Hodge module on $X\times \mathbb{C}$ whose underlying $D$-module is monodromic is also decomposed. Moreover, we show that there is an equivalence of categories between the category of monodromic mixed Hodge modules on $X\times \mathbb{C}$ and the category of ``gluing data''. As an application, we endow the Fourier-Laplace transformation of the underlying $D$-module of a monodromic mixed Hodge module with a m…
In this article we are interested in morphisms without slope for mixed Hodge modules. We first show the commutativity of iterated nearby cycles and vanishing cycles applied to a mixed Hodge module in the case of a morphism without slope. Then we define the notion "strictly without slope" for a mixed Hodge module and we show the preservation of this condition under the direct image by a proper morphism. As an application we prove the compatibility of the Hodge filtration and Kashiwara-Malgrange filtrations for some pure Hodge modules with support an hypersurface with quasi-ordinary singularitie…
We consider mixed Hodge module structures on GKZ-hypergeometric differential systems. We show that the Hodge filtration on these D-modules is given by the order filtration, up to suitable shift. As an application, we prove a conjecture on the existence of non-commutative Hodge structures on the reduced quantum D-module of a nef complete intersection inside a toric variety.
We explain some fundamental differences between the theories of mixed Hodge modules and mixed twistor modules (including the difference in weight system on the nearby cycle functor) which do not seem to be clarified explicitly in the literature.
We prove the weak positivity of the kernels of Kodaira-Spencer- type maps for pure Hodge module extensions of generically defined variations of Hodge structure.
We prove the injectivity and vanishing theorem for R-Hodge modules and R-divisors over projective varieties, extending the results for rational Hodge modules and integral divisors in \cite{Wu15}. In particular, the injectivity generalizes the fundamental injectivity of Esnault-Viehweg for normal crossing Q-divisors, while the vanishing generalizes Kawamata-Viehweg vanishing for Q-divisors. As a main application, we also deduce a Fujita-type freeness result for R-Hodge modules in the normal crossing case.
These notes are an extended version of the authors' lectures at the 2013 CMI Workshop "Mixed Hodge Modules and Their Applications". We give an overview, with an emphasis on applications, of recent developments on the interaction between characteristic class theories for singular spaces and Saito's theory of mixed Hodge modules in the complex algebraic context.
After explaining the definition of pure and mixed Hodge modules on complex manifolds, we describe some of Saito's most important results and their proofs, and then discuss two simple applications of the theory.
We give some details of a simpler definition of mixed Hodge modules which has been announced in some papers. Compared with earlier arguments, this new definition is simplified by using Beilinson's maximal extension together with stability by subquotients systematically.
We establish a relationship between the graded quotients of a filtered holonomic D-module, their sheaf-theoretic duals, and the characteristic variety, in case the filtered D-module underlies a polarized Hodge module on a smooth algebraic variety. The proof is based on Saito's result that the associated graded module is Cohen-Macaulay, and on local duality on the cotangent bundle.
We exhibit a direct correspondence between the potential defining the H^{1,1} small quantum module structure on the cohomology of a Calabi-Yau manifold and the asymptotic data of the A-model variation of Hodge structure. This is done in the abstract context of polarized variations of Hodge structure and Frobenius modules.
We give a new proof of a theorem by Pareschi, Popa and Schnell that the direct image of the canonical bundle of a smooth projective variety along a morphism to an abelian variety admits a Chen-Jiang decomposition, without using the theory of Hodge modules.
This is a survey of vanishing and positivity theorems for Hodge modules, and their recent applications to birational and complex geometry, expanding on my lecture at the 2015 AMS Summer Institute.
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$.
In this article we describe three constructions of complex variations of Hodge structure, proving the existence of interesting opposite filtrations that generalize a construction of Deligne. We also analyze the relation between deformations of Frobenius modules and certain maximally degenerate variations of Hodge structures. Finally, under a certain generation hypothesis, we show how to construct a Frobenius manifold starting from a deformation of a Frobenius module.
The normal function associated to algebraic cycles in higher Chow groups defines a differential equation. This Picard-Fuchs equation defines an extension of $D$-modules as well as an extension of local systems. In this paper, we show that both extensions define the same extension of mixed Hodge modules determined by the normal function.
We construct a quasi-categorically enhanced Grothendieck six-functor formalism on schemes of finite type over the complex numbers. In addition to satisfying many of the same properties as M. Saito's derived categories of mixed Hodge modules, this new six-functor formalism receives canonical motivic realization functors compatible with Grothendieck's six functors on constructible objects.
Given a family of Laurent polynomials, we will construct a morphism between its (proper) Gauss-Manin system and a direct sum of associated GKZ systems. The kernel and cokernel of this morphism are very simple and consist of free O-modules. The result above enables us to put a mixed Hodge module structure on certain classes of GKZ systems and shows that they have quasi-unipotent monodromy.
Generalizing a theorem of Macdonald, we show a formula for the mixed Hodge structure on the cohomology of the symmetric products of bounded complexes of mixed Hodge modules by showing the existence of the canonical action of the symmetric group on the multiple external self-products of complexes of mixed Hodge modules. We also generalize a theorem of Hirzebruch and Zagier on the signature of the symmetric products of manifolds to the case of the symmetric products of symmetric parings on bounded complexes with constructible cohomology sheaves where the pairing is not assumed to be non-degenera…
We use filtered log-$\mathscr{D}$-modules to represent the (dual) localization of Saito's Mixed Hodge Modules along a smooth hypersurface, and show that they also behave well under the direct image functor and the dual functor in the derived category of filtered log-$\mathscr{D}$-modules. The results of this paper can be used to generalize the result of M. Popa and C. Schnell about Kodaira dimension and zeros of holomorphic one-forms into the log setting.
We extend the results of generic vanishing theory to polarizable real Hodge modules on compact complex tori, and from there to arbitrary compact Kähler manifolds. As applications, we obtain a bimeromorphic characterization of compact complex tori among compact Kähler manifolds, semi-positivity results, and a description of the Leray filtration for maps to tori.
We prove an analogue for Hodge modules of Pink's theorem on the degeneration of l-adic sheaves (Math. Ann. 292). Let j be the open immersion of a Shimura variety M into its Baily-Borel compactification. Its boundary has a natural stratification into locally closed subsets, each of which is itself a Shimura variety (up to taking the quotient by the action of a finite group). Let i be the inclusion of an individual such stratum M'. Saito's formalism gives a functor i^* j_* from the bounded derived category of Hodge modules on M to that of Hodge modules on M'. Our result gives a formula for the e…
We prove the structure theorem of the intersection complexes of toric varieties in the category of mixed Hodge modules. This theorem is due to Bernstein, Khovanskii and MacPherson for the underlying complexes with rational coefficients. As a corollary the Euler characteristic Hodge numbers of non-degenerate toric hypersurface can be determined by the Euler characteristic subtotal Hodge numbers together with combinatorial data of Newton polyhedra. This is used implicitly in an explicit formula by Batyrev--Borisov. Note that a formula for the Euler characteristic subtotal Hodge numbers in terms …
We extend the dimension and strong linearity results of generic vanishing theory to bundles of holomorphic forms and rank one local systems, and more generally to certain coherent sheaves of Hodge-theoretic origin associated to irregular varieties. Our main tools are Saito's mixed Hodge modules, the Fourier-Mukai transform for D-modules on abelian varieties introduced by Laumon and Rothstein, and Simpson's harmonic theory for flat bundles. In the process, we discover two natural categories of perverse coherent sheaves, one on the Picard variety, and the other on the moduli space of Higgs line …
We determine explicitly the Hodge ideals for the determinant hypersurface as an intersection of symbolic powers of determinantal ideals. We prove our results by studying the Hodge and weight filtrations on the mixed Hodge module O_X(*Z) of regular functions on the space X of n x n matrices, with poles along the divisor Z of singular matrices. The composition factors for the weight filtration on O_X(*Z) are pure Hodge modules with underlying D-modules given by the simple GL-equivariant D-modules on X, where GL is the natural group of symmetries, acting by row and column operations on the matrix…
We show that the cobordism class of a polarization of Hodge module defines a natural transformation from the Grothendieck group of Hodge modules to the cobordism group of self-dual bounded complexes with real coefficients and constructible cohomology sheaves in a compatible way with pushforward by proper morphisms. This implies a new proof of the well-definedness of the natural transformation from the Grothendieck group of varieties over a given variety to the above cobordism group (with real coefficients). As a corollary, we get a slight extension of a conjecture of Brasselet, Schürmann and Y…
The notions Hodge-Newton decomposition and Hodge-Newton filtration for F-crystals are due to Katz and generalize Messing's result on the existence of the local-étale filtration for p-divisible groups. Recently, some of Katz's classical results have been generalized by Kottwitz to the context of F-crystals with additional structures and by Moonen to $μ$-ordinary p-divisible groups. In this paper, we discuss further generalizations to the situation of crystals in characteristic p and of p-divisible groups with additional structure by endomorphisms.
We introduce the notion of mixed Hodge complex on an algebraic variety, improving Du Bois' filtered complex, and relate Deligne's theory of mixed Hodge structure with the theory of mixed Hodge module. This was supposed to be true, but is quite nontrivial, because the theory of mixed Hodge module does not work on a simplicial scheme. Some application to the Du Bois singularity is given.
We show that the Hodge filtration of a tempered Hodge module is generated by the lowest piece of its Hodge filtration. As a consequence, we prove the main conjecture of [SV] in the special case of tempered representations of real reductive Lie groups.
The purpose of this paper is to study certain notions of metric positivity for the lowest nonzero piece in the Hodge filtration of a Hodge module. We show that the Hodge metric satisfies the minimal extension property. In particular, this singular Hermitian metric has semi-positive curvature.
We introduce the categories of geometric mixed Hodge modules on algebraic varieties over a subfield $k\subset\mathbb C$, and for a prime number $p$, the categories of geometric $p$-adic mixed Hodge modules on algebraic varieties over a subfield $k\subset K\subset\mathbb C_p$ of a p-adic field $K$. We then give an Hodge realization functor on the de derived category of relative motives over $k\subset\mathbb C$, and for a prime number $p$ a $p$-adic Hodge realization functor on the derived category of relative motives over $k\subset K\subset\mathbb C_p$.
Given a mixed Hodge module and a meromorphic function f on a complex manifold, we associate to these data a filtration (the irregular Hodge filtration) on the exponentially twisted holonomic module, which extends the construction of arXiv:1302.4537. We show the strictness of the push-forward filtered D-module through any projective morphism, by using the theory of mixed twistor D-modules of T. Mochizuki. We consider the example of the rescaling of a regular function f, which leads to an expression of the irregular Hodge filtration of the Laplace transform of the Gauss-Manin systems of f in ter…
The purpose of this paper is to develop a new theory of gauges in mixed characteristic. Namely, let $k$ be a perfect field of characteristic $p>0$ and $W(k)$ the $p$-typical Witt vectors. Making use of Berthelot's arithmetic differential operators, we define for a smooth formal scheme $\mathfrak{X}$ over $W(k)$, a new sheaf of algebras $\widehat{\mathcal{D}}_{\mathfrak{X}}^{(0,1)}$ which can be considered a higher dimensional analogue of the (commutative) Dieudonne ring. Modules over this sheaf of algebras can be considered the analogue (over $\mathfrak{X}$) of the gauges of Ekedahl and Fontai…
One of the most mysterious aspects of Saito's theory of Hodge modules are the Hodge and weight filtrations that accompany the pushforward of a Hodge module under an open embedding. In this paper we consider the open embedding in a product of complementary Grassmannians given by pairs of transverse subspaces. The push-forward of the structure sheaf under this open embedding is an important Hodge module from the viewpoint of geometric representation theory and homological knot invariants. We compute the associated graded of this push-forward with respect to the induced Hodge filtration as well a…
