A working mathematician’s summary of many results on the derived category, perverse sheaves, and vanishing cycles. This is the August 2025 version, with a completely revised section on vanishing cycles.
While morphisms of complexes which induce isomorphisms on cohomology sheaves become isomorphisms in the derived category, there are morphisms of complexes which induce the zero map on cohomology sheaves but are not zero in the derived category. The easiest example of such a morphism is given by the following.
Let X be a complex analytic space (not necessarily pure-dimensional). Then, {\mathbf P^\bullet} \in \mathbf D_c^b(X) is perverse provided that for all i:
The stalk cohomology of kernels, cokernels, and images in the perverse category do not correspond in any simple way to kernels, cokernels, and images of the stalk cohomology. In fact, the easiest example of this phenomenon is essentially our example from the warning in Section 1.
The graded pieces {\operatorname{Gr}}^i\psi_f[-1]{\mathbf I^\bullet} are semisimple in {\operatorname{Perv}}(f^{-1}(0)), i.e., they are direct sums of intersection cohomology complexes.
There is a natural isomorphism
and this isomorphism commutes with the corresponding monodromies.
Moreover, if we let \mathbf p:=(\mathbf x, \mathbf y)\in X\times Y be such that f(\mathbf x) = 0 and g(\mathbf y)=0, then, in an open neighborhood of \mathbf p, the complex \phi_{{}_{f\boxplus g}}[-1]\big({\mathbf A^\bullet}{\ {\boxtimes^L}\ }{\mathbf B^\bullet}\big) has support contained in V(f)\times V(g), and, in any open set in which we have this containment, there are natural isomorphisms
The text on this page is from arXiv:math/9908107v14 by David B. Massey, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/9908/math-9908107.jsonl.