Related papers: Notes on the decomposition theorem for blowups
We prove a decomposition theorem of the quantum cohomology D-module of the blowup of a smooth projective variety X along a smooth subvariety Z. The main tools we use are shift operators and Fourier analysis for equivariant quantum…
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…
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…
Over the past few years, it is gradually understood that de Rham Cohomology Theory is closely related to Saint-Venant's compatibility condition in the Elasticity Theory. In this article, we will discuss the Hodge Theory and de Rham…
Inspired by the recent works of S. Rao--S. Yang--X.-D. Yang and L. Meng on the blow-up formulae for de Rham and Morse--Novikov cohomology groups, we give a new simple proof of the blow-up formula for Morse--Novikov cohomology by introducing…
We compute the double complex of smooth complex-valued differential forms on projective bundles over and blow-ups of compact complex manifolds up to a suitable notion of quasi-isomorphism. This simultaneously yields formulas for 'all'…
We give an explicit presentation with generators and relations of the quantum cohomology ring of the blow-up of a projective space along a linear subspace.
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…
Let G=G(t,z) be one of the N^2-dimensional bicovariant first order differential calculi for the quantum groups GL_q(N), SL_q(N), O_q(N), or Sp_q(N), where q is a transcendental complex number and z is a regular parameter. It is shown that…
In this paper, we study cohomology theories of $\mathbb{Q}$-modulus pairs, which are pairs $(X, D)$ consisting of a scheme $X$ and a $\mathbb{Q}$-divisor $D$. Our main theorem provides a sufficient condition for such a cohomology theory to…
We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…
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…
We explain a correct proof of the decomposition theorem for direct images of constant Hodge modules by proper K\"ahler morphisms of complex manifolds. We also give some examples showing certain difficulty in the non-constant Hodge module…
A Lefschetz module is a module over a graded algebra $A$ that satisfies analogues of Poincar\'{e} duality, the Hard Lefschetz property, and the Hodge--Riemann relations with respect to an open convex cone $\mathscr{K}$ in the degree one…
In this expository article, we outline the theory of harmonic differential forms and its consequences. We provide self-contained proofs of the following important results in differential geometry: (1) Hodge theorem, which states that for a…
We explore and extend the application of homological algebra to describe quantum entanglement, initiated in arXiv:1901.02011, focusing on the Hodge-theoretic structure of entanglement cohomology in finite-dimensional quantum systems. We…
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…
We prove the decomposition theorem for Hodge modules with integral structure along proper K\"ahler morphisms, partially generalizing M. Saito's theorem for projective morphisms. Our proof relies on compactifications of period maps of…
The Hodge-de Rham Theorem is introduced and discussed. This result has implications for the general study of several partial differential equations. Some propositions which have applications to the proof of this theorem are used to study…
These notes give a proof of the representability of homotopy invariant K-theory in the stable homotopy category of schemes (which was announced by Voevodsky). One deduces from the proper base change theorem in stable homotopy theory of…