## Easy special cases of the decomposition theorem?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

The decomposition theorem states roughly, that the pushforward of an IC complex, along a proper map decomposes into a direct sum of shifted IC complexes.

Are there special cases for the decomposition theorem, with "easy" proofs?

Are there heuristics, why the decomposition theorem should hold?

-

## 1 Answer

Well, it depends on what you mean by "easy". A special case, which I find very instructive, is a theorem of Deligne from the late 1960's.

Theorem. `$\mathbb{R} f_*\mathbb{Q}\cong \bigoplus_i R^if_*\mathbb{Q}[-i]$`, when $f:X\to Y$ is a smooth projective morphism of varieties over $\mathbb{C}$. (This holds more generally with $\mathbb{Q}_\ell$-coefficients.)

Corollary. The Leray spectral sequence degenerates.

The result was deduced from the hard Lefschetz theorem. An outline of a proof (of the corollary) can be found in Griffiths and Harris. It is tricky but essentially elementary.

A much less elementary, but more conceptual argument, uses weights. Say $Y$ is smooth and projective, then $E_2^{pq}=H^p(Y, R^qf_*\mathbb{Q})$ should be pure of weight $p+q$ (in the sense of Hodge theory or $\ell$-adic cohomology). Since $$d_2: E_2^{pq}\to E_2^{p+2,q-1}$$ maps a structure of one weight to another it must vanish. Similarly for higher differentials.

If $f$ is proper but not smooth, the decomposition theorem shows that $\mathbb{R} f_*\mathbb{Q}$ decomposes into sum of translates of intersection cohomology complexes. This follows from more sophisticated purity arguments (either in the $\ell$-adic setting as in BBD, or the Hodge theoretic setting in Saito's work). There is also a newer proof due to de Cataldo and Migliorini which seems a bit more geometric.

I have been working through some of this stuff slowly. So I may have more to say in a few months time. Rather than updating this post, it may be more efficient for the people interested to check here periodically.

-

Thanks, for the answer I will accept it. Although if you can add something more in a few months do it :) – Jan Weidner Sep 7 2010 at 6:26
Should one of the $p$'s in $E*{pq}2=H^p(Y,R^p f∗Q)$ be a $q$', above? – Richard Montgomery Sep 10 2010 at 3:16
Yes, thanks. Fixed. – Donu Arapura Sep 10 2010 at 11:18
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 13, "mathjax_display_tex": 1, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9237728714942932, "perplexity_flag": "middle"}