- 3.2k Downloads
Although perverse sheaves have a short history, they play an important role in various branches of mathematics, such as algebraic geometry or group representation. This theory is now well understood, but it is difficult to find in the literature a systematic treatment of it in the analytical case.
In this chapter, we define perverse sheaves on a real analytic manifold X and show that they form an abelian subcategory of D ℝ−c b (X). Then we study the case where X is a complex manifold. We prove that perversity is a microlocal property, that is, an object of D ℂ−c b (X) is perverse if and only if it is pure of shift — dimℂ X at generic points of its micro-support. Because Morse theory is well-adapted to the microlocal characterization, we can prove a vanishing theorm for perverse sheaves on Stein manifolds. Then we prove that perversity is preserved by various operations and in particular by specialization, microlocalization and Fourier-Sato transformation. To achieve this program we need some complements of homological algebra. In section 1, we explain the notion of t-structures which permits to construct abelian subcategories in triangulated categories.
References are made to Beilinson-Bernstein-Deligne  and Goresky-MacPherson [2, 3], (cf. also Borel et al.  and Gelfand-Manin ).
We keep conventions 8.0.
KeywordsExact Sequence Complex Manifold Full Subcategory Abelian Category Triangulate Category
Unable to display preview. Download preview PDF.