Decomposition theorem

The first case of the decomposition theorem arises via the hard Lefschetz theorem which gives isomorphisms, for a smooth proper map ${\displaystyle f:X\to Y}$ of relative dimension d between two projective varieties[1]

${\displaystyle -\cup \eta ^{i}:R^{d-i}f_{*}(\mathbb {Q} ){\stackrel {\cong }{\to }}R^{d+i}f_{*}(\mathbb {Q} ).}$

Here ${\displaystyle \eta }$ is the fundamental class of a hyperplane section, ${\displaystyle f_{*}}$ is the direct image (pushforward) and ${\displaystyle R^{n}f_{*}}$ is the n-th derived functor of the direct image. This derived functor measures the n-th cohomologies of ${\displaystyle f^{-1}(U)}$, for ${\displaystyle U\subset Y}$. In fact, the particular case when Y is a point, amounts to the isomorphism

${\displaystyle -\cup \eta ^{i}:H^{d-i}(X,\mathbb {Q} ){\stackrel {\cong }{\to }}H^{d+i}(X,\mathbb {Q} ).}$

This hard Lefschetz isomorphism induces canonical isomorphisms

${\displaystyle Rf_{*}(\mathbb {Q} ){\stackrel {\cong }{\to }}\bigoplus _{i=-d}^{d}R^{d+i}f_{*}(\mathbb {Q} )[-d-i].}$

Moreover, the sheaves ${\displaystyle R^{d+i}f_{*}\mathbb {Q} }$ appearing in this decomposition are local systems, i.e., locally free sheaves of Q-vector spaces, which are moreover semisimple, i.e., a direct sum of local systems without nontrivial local subsystems.

The decomposition theorem generalizes this fact to the case of a proper, but not necessarily smooth map ${\displaystyle f:X\to Y}$ between varieties. In a nutshell, the results above remain true when the notion of local systems is replaced by perverse sheaves.

The hard Lefschetz theorem above takes the following form: there is an isomorphism in the derived category of sheaves on Y:

${\displaystyle {}^{p}H^{-i}(Rf_{*}\mathbb {Q} )\cong {}^{p}H^{+i}(Rf_{*}\mathbb {Q} ),}$

where ${\displaystyle Rf_{*}}$ is the total derived functor of ${\displaystyle f_{*}}$ and ${\displaystyle {}^{p}H^{i}}$ is the i-th truncation with respect to the perverse t-structure.

Moreover, there is an isomorphism

${\displaystyle Rf_{*}IC_{X}^{\bullet }\cong \bigoplus _{i}{}^{p}H^{i}(Rf_{*}IC_{X}^{\bullet })[-i].}$

where the summands are semi-simple perverse-sheaves, meaning they are direct sums of push-forwards of intersection cohomology sheaves.

If X is not smooth, then the above results remain true when ${\displaystyle \mathbb {Q} [\dim X]}$ is replaced by the intersection cohomology complex ${\displaystyle IC}$.

Consider a rational morphism ${\displaystyle f:X\rightarrow \mathbb {P} ^{1}}$ from a smooth quasi-projective variety given by ${\displaystyle [f_{1}(x):f_{2}(x)]}$. If we set the vanishing locus of ${\displaystyle f_{1},f_{2}}$ as ${\displaystyle Y}$ then there is an induced morphism ${\displaystyle {\tilde {X}}=Bl_{Y}(X)\to \mathbb {P} ^{1}}$. We can compute the cohomology of ${\displaystyle X}$ from the intersection cohomology of ${\displaystyle Bl_{Y}(X)}$ and subtracting off the cohomology from the blowup along ${\displaystyle Y}$. This can be done using the perverse spectral sequence

${\displaystyle E_{2}^{l,m}=H^{l}(\mathbb {P} ^{1};{}^{\mathfrak {p}}{\mathcal {H}}^{m}(IC_{\tilde {X}}^{\bullet }(\mathbb {Q} ))\Rightarrow IH^{l+m}({\tilde {X}};\mathbb {Q} )\cong H^{l+m}(X;\mathbb {Q} )}$

• de Cataldo, Mark, Perverse sheaves and the topology of algebraic varieties Five lectures at the 2015 PCMI (PDF)
• de Cataldo, Mark; Milgiorini, Luca, The Decomposition Theorem, Perverse Sheaves, and the Topology of Algebraic Maps (PDF)

• Hotta, Ryoshi; Takeuchi, Kiyoshi; Tanisaki, Toshiyuki, D-Modules, Perverse Sheaves, and Representation Theory