Which statement do people usually call the Decomposition Theorem, and what is the precise reference for it?
Which statement is usually called the Decomposition Theorem (for perverse sheaves)? Is this (roughly): a proper pushforward of an intersection complex could be decomposed into a direct sum of ...
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 ...
I saw the statement of the decomposition theorem for perverse sheaves sometime ago. I know that (modulo most of the details) it implies some big theorems in algebraic geometry and gives new proofs for ...
There's an important piece of geometric knowledge usually quoted as Beilinson-Bernstein-Deligne. Here's a refresher: by $IC$ one means the intersection complex, which is just $\mathbb Q$ for a smooth ...
This is a follow-up to this post on the Decomposition Theorem. Hopefully, this will also invite some discussion about the theorem and perverse sheaves in general. My question is how does one use the ...
Let f:X→Y be a semismall resolution of singularities. Then the pushforward of the constant sheaf on X is a semisimple perverse sheaf on Y. Under these conditions, I know how to calculate the ...