MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 1 [made Community Wiki]

The decomposition theorem for perverse sheaves is used in many areas of mathematics, for example representation theory, while the details of the weights machinery involved in its proofs are notoriously hard.