Explicit models for perverse sheaves (Q1884042): Difference between revisions

\textit{A. A. Beilinson}, \textit{J. Bernstein} and \textit{P. Deligne} introduced the category of perverse sheaves on a variety [in: ``Faisceaux pervers'', Astérisque 100 (1982; Zbl 0536.14011)]. This notion proved to be most useful in various branches of representation theory, topology, algebraic geometry. One starts by stratifying a space \(X\) into a closed subspace \(C\) and an open complement \(U\). Then, in the derived category of sheaves on \(X\) one looks at certain \(t\)-structures, that is abelian subcategories of the derived category of sheaves on \(X\), that come from gluing abelian subcategories on the derived category on \(U\) and on \(C\) inside the derived category of \(X\). The result is a (usually non trivial) abelian subcategory of the derived category of sheaves on \(X\). There exist abstract descriptions of the category of perverse sheaves. In the paper under review the authors construct explicitly an abelian category \({\mathcal B}\) and mutually inverse equivalences between this category \({\mathcal B}\) and the category of perverse sheaves on \(X\). Naturally this description is quite technical.