David B. Massey
Abstract:We define and describe the properties of a class of perverse sheaves which is very useful when the base ring is not a field.
What problem does this paper attempt to address?
This paper attempts to solve the problem of how to define and describe a special class of "numerical perverse sheaves" when using non - field - based rings (such as the ring of integers \(\mathbb{Z}\)), so that these sheaves still maintain the perverse property after the Verdier duality operation and behave well under the action of other important functors. Usually, when the base ring \(R\) is a field, the support and cosupport conditions of perverse sheaves are Verdier - dual, so the sheaf after Verdier duality is still perverse. However, for a general ring \(R\), this property no longer holds. For example, when \(X\) has only one point and \(R=\mathbb{Z}\), if there is a finitely generated \(\mathbb{Z}\)-module with both a free part and a torsion part at the 0 - th level, then its Verdier dual complex will have non - zero cohomology at both the 0 - th and 1 - st levels, so it is no longer perverse even after a shift.
The author proposes a class of sheaves called "numerical". The special feature of these sheaves is that their Morse modules are non - zero only at the 0 - th level, and the Morse module at this level is a free \(R\)-module. In this way, the author is able to define a new type of perverse sheaf that works well even when the base ring is not a field, especially for the ring of integers \(\mathbb{Z}\) which is commonly used in topological applications. The paper also discusses some properties of this type of sheaf, such as their stability under Verdier duality and their behavior under operations such as nearby cycles and vanishing cycles.