Related papers: Derived intersections and the Hodge theorem
In a beautiful paper Deligne and Illusie proved the degeneration of the Hodge-to-de Rham spectral sequence using positive characteristic methods. In a recent paper Arinkin, C\u{a}ld\u{a}raru and the author of this paper gave a geometric…
In its simplest form the Decomposition Theorem asserts that the rational intersection cohomology of a complex projective variety occurs as a summand of the cohomology of any resolution. This deep theorem has found important applications in…
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…
We give a geometric proof of the Decomposition Theorem of Beilinson, Bernstein, Deligne and Gabber for the direct image of the intersection cohomology complex under a proper map of complex algebraic varieties. The method rests on new…
We propose a geometric and categorical approach to the Hodge Conjecture for all smooth projective complex varieties. By embedding any such variety into a flat family with general fibers smooth complete intersections, we prove the conjecture…
According to the decomposition and relative hard Lefschetz theorems, given a projective map of complex quasi projective algebraic varieties and a relatively ample line bundle, the rational intersection cohomology groups of the domain of the…
This is the second paper of a series. It extends the results of the first paper from number fields to finitely generated fields, based on the recent theory of adelic line bundles of the same authors. We prove an arithmetic Hodge index…
We develop a framework that systematically casts the solvability and uniqueness conditions of linearized geometric boundary-value problems into cohomological terms. The theory is designed to be applicable without assumptions on the…
We construct Hodge filtered cohomology groups for complex manifolds that combine the topological information of generalized cohomology theories with geometric data of Hodge filtered holomorphic forms. This theory provides a natural…
This is the first paper of a series. We prove an arithmetic Hodge index theorem for adelic line bundles on projective varieties over number fields. It extends the arithmetic Hodge index theorem of Faltings, Hriljac and Moriwaki on…
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…
We establish a positive characteristic analogue of intersection cohomology theory for variations of Hodge structure. It includes: a) the de Rham-Higgs comparison theorem for the intersection de Rham complex; b) the $E_1$-degeneration…
We use a version of the method of Deligne-Illusie to prove that the Hodge-to-de Rham, a.k.a. Hochschild-to-cyclic spectral sequence degenerates for a large class of associative, not necessariyl commutative DG algebras. This proves, under…
Let $C$ be a smooth projective curve of genus $2$. Following a method by O' Grady, we construct a semismall desingularization $\tilde{\mathcal{M}}_{Dol}^G$ of the moduli space $\mathcal{M}_{Dol}^G$ of semistable $G$-Higgs bundles of degree…
At the end of the 70s, Gross and Deligne conjectured that periods of geometric Hodge structures with multiplication by an abelian number field are products of values of the gamma function at rational arguments, with exponents determined by…
Building on the nonabelian Hodge theory in positive characteristic developed by Ogus, Vologodsky, and Schepler, we propose a generalization of the decomposition theorem of Deligne and Illusie from the perspective of mixed Hodge modules.…
We generalize the logarithmic decomposition theorem of Deligne-Illusie to a filtered version. There are two applications. The easier one provides a mod $p$ proof for a vanishing theorem in characteristic zero. The deeper one gives rise to a…
Intersection cohomology is a way to enhance classical cohomology, allowing us to use a famous result called Poincar\'e duality on a large class of spaces known as stratified pseudomanifolds. There is a theoretically powerful way to arrive…
For smooth families of projective algebraic curves, we extend the notion of intersection pairing of metrized line bundles to a pairing on line bundles with flat relative connections. In this setting, we prove the existence of a canonical…
This article is part of a series of works by the authors with the goal of completing a far-reaching program propounded by Deligne, aiming to extend the codimension one part of the Grothendieck-Riemann-Roch theorem from isomorphism classes…