arXiv subjects
Publications and source records attributed to Christian Schnell.
We show that the total cohomology of the canonical bundle of a smooth projective variety, seen as a module over an exterior algebra, splits into a natural direct sum of submodules which are generated in degree zero and have a linear free resolution. This improves a previous result of the first two authors.
We survey the theory of absolute Hodge classes. The notes include a full proof of Deligne's theorem on absolute Hodge classes on abelian varieties as well as a discussion of other topics, such as the field of definition of Hodge loci and the Kuga-Satake construction.
We prove that smooth projective varieties with equivalent derived categories have isogenous (and sometimes isomorphic) Picard varieties. In particular their irregularity and number of independent vector fields are the same. This is turn implies, in combination with the invariance of Hochschild homology, that all Hodge numbers are the same for arbitrary derived equivalent threefolds.
We study a variant of the Neron models over curves which is recently found by the second named author in a more general situation using the theory of Hodge modules. We show that its identity component is a certain open subset of an iterated blow-up along smooth centers of the Zucker extension of the family of intermediate Jacobians and that the total space is a complex Lie group over the base curve and is Hausdorff as a topological space. In the unipotent monodromy case, the image of the map to the Clemens extension coincides with the Neron model defined by Green, Griffiths and Kerr. In the case of families of Abelian varieties over curves, it coincides with the Clemens extension, and hence with the classical Néron model in the algebraic case (even in the non-unipotent monodromy case).
Given a family of intermediate Jacobians (for a polarized variation of Hodge structure of weight -1) on a Zariski-open subset of a complex manifold, we construct an analytic space that naturally extends the family. Its two main properties are: (a) the horizontal and holomorphic sections are precisely the admissible normal functions without singularities; (b) the graph of any admissible normal function has an analytic closure inside our space. As a consequence, we obtain a new proof for the zero locus conjecture of M. Green and P. Griffiths. The construction uses filtered D-modules and M. Saito's theory of mixed Hodge modules; it is functorial, and does not require normal crossing or unipotent monodromy assumptions.
For an embedding of sufficiently high degree of a smooth projective variety X into projective space, we use residues to define a filtered holonomic D-module (M, F) on the dual projective space. This gives a concrete description of the intermediate extension to a Hodge module on P of the variation of Hodge structure on the middle-dimensional cohomology of the hyperplane sections of X. We also establish many results about the sheaves F_k M, such as positivity, vanishing theorems, or reflexivity.
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.
Two simple observations are made: (1) If the normal function associated to a Hodge class has a zero locus of positive dimension, then it has a singularity. (2) The intersection cohomology of the dual variety contains the cohomology of the original variety, if the degree of the embedding is large.
Let X be a smooth complex projective variety of dimension d. We show that its primitive cohomology in degree d is generated by certain "tube classes," constructed from the monodromy of the family of smooth hyperplane sections on X. The proof makes use of a result about the group cohomology of certain representations that may be of independent interest.
We give a new proof of a polynomial recurrence result due to Bergelson, Furstenberg, and McCutcheon, using idempotent ultrafilters instead of IP-limits.
A local system H on a complex manifold M can be viewed in two ways--either as a locally free sheaf, or as a union of covering spaces T = T(H). When M is an open set in a bigger manifold, the local system will generally not extend, because of local monodromy. This paper proposes an extension of the local system as an analytic space, in the case when the complement of M has normal crossing singularities, and the local system is unipotent along the boundary divisor. The analytic space is obtained by taking the closure of T inside the total space of Deligne's canonical extension of the associated vector bundle. It is not normal, but its normalization is locally toric.