arXiv subjects
Publications and source records attributed to Christian Schnell.
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 use the theory of Hodge modules to construct Viehweg-Zuo sheaves on the base spaces of families with maximal variation and fibers of general type, or more generally whose geometric generic fiber has a good minimal model. We deduce Viehweg's hyperbolicity conjecture in this context, namely the fact that the base spaces of such families are of log general type. This is approached as part of a general problem of identifying what spaces can support Hodge theoretic objects with certain positivity properties.
We show that an irreducible component of the Hodge locus of a polarizable variation of Hodge structure of weight 0 on a smooth complex variety X is defined over an algebraically closed subfield k of finite transcendence degree if X is defined over k and the component contains a k-rational point. We also prove a similar assertion for the Hodge locus inside the Hodge bundle if the Hodge bundle together with the connection is defined over k. This is closely related with the theory of absolute Hodge classes. The proof uses the spread of the Hodge locus, and is quite similar to the case of the zero locus of an admissible normal function.
We show that techniques inspired by Kollár and Viehweg's study of weak positivity, combined with vanishing theorems for log-canonical pairs, lead to new consequences regarding generation and vanishing properties for direct images of pluricanonical bundles. We formulate the strongest such results as Fujita conjecture-type statements, which are then shown to govern a range of fundamental properties of direct images of pluricanonical and pluriadjoint line bundles, like effective vanishing theorems, weak positivity, or generic vanishing.
We reprove Saito's vanishing theorem for mixed Hodge modules by the method of Esnault and Viehweg. The main idea is to exploit the strictness of direct images on certain branched coverings.
For a coherent filtered D-module we show that the dual of each graded piece over the structure sheaf is isomorphic to a certain graded piece of the ring-theoretic local cohomology complex of the graded quotient of the dual of the filtered D-module along the zero-section of the cotangent bundle. This follows from a similar assertion for coherent graded modules over a polynomial algebra over the structure sheaf. We also prove that the local cohomology sheaves can be calculated by using the higher direct images of the twists of the associated sheaf complex on the projective cotangent bundle. These are closely related to local duality, essentially due to Grothendieck.
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 study cohomology support loci of regular holonomic D-modules on complex abelian varieties, and obtain conditions under which each irreducible component of such a locus contains a torsion point. One case is that both the D-module and the corresponding perverse sheaf are defined over a number field; another case is that the D-module underlies a grade-polarizable mixed Hodge module with a Z-structure. As a consequence, we obtain a new proof for Simpson's result that Green-Lazarsfeld sets are translates of subtori by torsion points.
We introduce an "extended locus of Hodge classes" that also takes into account integral classes that become Hodge classes "in the limit". More precisely, given a polarized variation of integral Hodge structure of weight zero on a Zariski-open subset of a complex manifold, we construct a canonical analytic space that parametrizes limits of integral classes; the extended locus of Hodge classes is an analytic subspace that contains the usual locus of Hodge classes, but is finite and proper over the base manifold. The construction uses Saito's theory of mixed Hodge modules and a small generalization of the main technical result of Cattani, Deligne, and Kaplan. We study the properties of the resulting analytic space in the case of the family of hyperplane sections of an odd-dimensional smooth projective variety.
We prove that the lowest nonzero piece in the Hodge filtration of a mixed Hodge module is always weakly positive in the sense of Viehweg.
We show that every holomorphic one-form on a smooth complex projective variety of general type must vanish at some point. The proof uses generic vanishing theory for Hodge D-modules on abelian varieties.
We study the Fourier-Mukai transform for holonomic D-modules on complex abelian varieties. Among other things, we show that the cohomology support loci of a holonomic D-module are finite unions of linear subvarieties, which go through points of finite order for objects of geometric origin; that the standard t-structure on the derived category of holonomic complexes corresponds, under the Fourier-Mukai transform, to a certain perverse coherent t-structure in the sense of Kashiwara and Arinkin-Bezrukavnikov; and that Fourier-Mukai transforms of simple holonomic D-modules are intersection complexes in this t-structure. This supports the conjecture that Fourier-Mukai transforms of holonomic D-modules are "hyperkähler perverse sheaves".
We generalize the theorem of E. Cattani, P. Deligne, and A. Kaplan to admissible variations of mixed Hodge structure.
Let ν be a normal function on a complex manifold X. The infinitesimal invariant of ν has a well-defined zero locus inside the tangent bundle TX. When X is quasi-projective, and ν is admissible, we show that this zero locus is constructible in the Zariski topology.
We study the moduli space of a product of stable varieties over the field of complex numbers, as defined via the minimal model program. Our main results are: (a) taking products gives a well-defined morphism from the product of moduli spaces of stable varieties to the moduli space of a product of stable varieties, (b) this map is always finite étale, and (c) this map very often is an isomorphism. Our results generalize and complete the work of Van Opstall in dimension 1. The local results rely on a study of the cotangent complex using some derived algebro-geometric methods, while the global ones use some differential-geometric input.
We study the Fourier-Mukai transform for holonomic D-modules on a complex abelian variety. Among other things, we show that the cohomology support loci of a holonomic complex are finite unions of translates of triple tori, the translates being by torsion points for objects of geometric origin; and that the standard t-structure on the derived category of holonomic complexes corresponds, under the Fourier-Mukai transform, to a certain perverse coherent t-structure in the sense of Kashiwara and Arinkin-Bezrukavnikov.
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 bundles or that of line bundles with flat connection.
We show that the fundamental group is not invariant under derived equivalence of smooth projective varieties.