In this post I want to talk about some ongoing joint work with Peter Scholze. Since this came up in Scholze’s geometrization lectures, I thought it would be fun to go into a little more detail here. All inaccuracies below are entirely due to me, and the standard caveats about blog-level rigor apply.
The goal, broadly speaking, is to define a relative notion of perversity in etale cohomology, with respect to any finite type morphism of schemes. In order to not make slightly false statements, I will take my coefficient ring to be for some prime invertible on . Everything below also works with more general torsion coefficients killed by an integer invertible on , but then one has to be mindful of the difference between and . With mild assumptions on , everything below also works with -coefficients.
When is a point, is just a finite type -scheme, and we have the familiar perverse t-structure on , with all its wonderful properties as usual. The key new definition is the following.
Definition. Given a finite type map of schemes , let be the full subcategory of objects such that for all geometric points .
It is easy to see that is stable under extensions and (after upgrading to derived -categories) under filtered colimits, and is set-theoretically reasonable, so it defines the left half of a t-structure on by Proposition 220.127.116.11 in Lurie’s Higher Algebra. We denote the right half of this t-structure, unsurprisingly, by , and call it the relative perverse t-structure (relative to , of course). We write and for the associated truncation functors.
This t-structure satisfies a number of good and fairly obvious formal properties which I won’t get into here (it can be glued from any open-closed decomposition of , various operations are obviously left- or right- t-exact, etc.). Less formally, if is a finite-dimensional excellent Noetherian scheme, then the relative perverse truncation functors preserve , so we get an induced relative perverse t-structure on . This follows from some results of Gabber: roughly, one can check that the relative perverse t-structure is the t-structure associated with the weak perversity function , and that the conditions in Theorem 8.2 are satisfied for excellent . (Nb. Gabber’s methods also reprove the existence of the relative perverse t-structure for any Noetherian , without appealing to -categories.)
However, the right half is defined in a very inexplicit way, and it isn’t clear how to get your hands on this at all. The really shocking theorem, then, is the following result.
Key Theorem. An object lies in if and only if for all geometric points .
Note that I really am taking *-restrictions to geometric fibers here, just as in the definition of . One might naively guess that !-restrictions should be appearing instead, but no!
This theorem has a number of corollaries.
Corollary 1. The heart of the relative perverse t-structure consists of objects which are perverse after restriction to any geometric fiber of . In particular, the objects with this property naturally have the structure of an abelian category.
This fully justifies the choice of name for this t-structure, and shows that the heart of the relative perverse t-structure gives a completely reasonable notion of a “family of perverse sheaves parameterized by ”.
Corollary 2. For any map , the pullback functor is t-exact for the relative perverse t-structures (relative to and , respectively). In particular, relative perverse truncations commute with any base change on , and pullback induces an exact functor .
Corollary 3. If is any finitely presented morphism of qcqs schemes, then the relative perverse truncation functors on preserve .
Corollaries 1 and 2 are immediate consequences of the Key Theorem. Corollary 3 then follows from the case where is Noetherian excellent finite-dimensional by Noetherian approximation arguments, using Corollary 2 crucially.
To prove the key theorem, we make some formal reductions to the situation where is excellent Noetherian finite-dimensional and . In this situation, we argue by induction on , with the base case being obvious. In general, this induction is somewhat subtle, and involves playing off the relative perverse t-structure on against the perverse t-structures on and the (absolute) perverse t-structure on (which exists once you pick a dimension function on ).
However, when is the spectrum of an excellent DVR, one can give a direct proof of the key theorem, and this is what I want to do in the rest of this post. Let and be the inclusions of the special and generic points, with obvious base changes and . By definition, lies in iff and . By standard results on gluing t-structures (see chapter 1 in BBDG), this implies that lies in iff and . Thus, to prove the key theorem in this case, we need to show that for any with , the conditions and are equivalent.
To show this, consider the triangle . The crucial observation is that by assumption, and that carries into . The italicized result follows from some theorems of Gabber generalizing the classical Artin-Grothendieck vanishing theorem for affine varieties, and is closely related to the well-known fact that nearby cycles are perverse t-exact. This immediately gives what we want: we now know that only can only have nonzero perverse cohomologies in degrees , so and have the same perverse cohomologies in degrees .