I am trying to learn perverse sheaves. They are complexes $ M$ of sheaves with constructible cohomology (say we are working with algebraic varieties and the transcendental topology) such that the following holds: $ $ \dim \mathrm{supp} \mathcal{H}^i(M) \leq -i, \qquad \dim \mathrm{supp} \mathcal{H}^i(\mathbb{D}M) \leq -i, $ $ where $ \mathbb{D}$ denotes the Verdier dual.Read more