Decomposition theorem for perverse sheaves on algebraic
varieties, proved by Beilinson-Bernstein-Deligne-Gabber, is one of
the most important and useful theorems in the contemporary
mathematics. By the Riemann-Hilbert correspondence, we may
regard...