Elementary construction of perverse sheaves.
Let be a ring. In two previous articles [12, 14] we studied the homotopy category of projective -modules. We produced a set of generators for this category, proved that the category is -compactly generated for any ring , and showed that it need not always be compactly generated, but is for sufficiently nice . We furthermore analyzed the inclusion and the orthogonal subcategory . And we even showed that the inclusion has a right adjoint; this forces some natural map to be an equivalence...