Decomposition theorem

In mathematics, especially algebraic geometry the decomposition theorem is a set of results concerning the cohomology of algebraic varieties.

Statement

Decomposition for smooth proper maps

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

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

Here $\eta$ is the fundamental class of a hyperplane section, $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 $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}f_{*}(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.

Decomposition for projective maps

The decomposition theorem generalizes this fact to the case of a projective, but not necessarily smooth map $f:X\to Y$ between smooth projective 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 $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_{*}\mathbb {Q} \cong \bigoplus _{i}{}^{p}H^{i}(Rf_{*}\mathbb {Q} ).}$

Finally, the summands at the right hand side are semi-simple perverse 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}$.

Proofs

The decomposition theorem was first proved by Beilinson, Bernstein, and Deligne.^[1] Their proof is based on the usage of weights on l-adic sheaves in positive characteristic. A different proof using mixed Hodge modules was given by Saito. A more geometric proof, based on the notion of semismall maps was given by de Cataldo and Migliorini.^[2]

References

1. Beilinson, Alexander A.; Bernstein, Joseph; Deligne, Pierre (1982). "Faisceaux pervers". Astérisque (in French). Société Mathématique de France, Paris. 100.
2. de Cataldo, Mark Andrea; Migliorini, Luca (2005). "The Hodge theory of algebraic maps". Annales Scientifiques de l'École Normale Supérieure. 38 (5): 693–750. doi:10.1016/j.ansens.2005.07.001.