Decomposition Theorems -- Dingxin Zhang, 13 December 2016

The derived category of complexes with constructible cohomology contains an abelian full subcategory known as perverse sheaves. The theory of weights for lisse ├ętale sheaves can be carried out for perverse sheaves, and implies the so-called decomposition theorem. We shall briefly talk about this circle of ideas.