- Here’s a suggestive hallucination, useful to me for keeping some things straight, but maybe not useful to anyone else:

Let be a p-adic reductive group, an algebraically closed field of characteristic zero (or maybe just of characteristic ). The set of isom. classes of smooth irreducible -representations of really wants to be an algebraic variety, but it’s not. However, has a canonical*best approximation*by an (ind-)algebraic variety, the Bernstein variety . The canonical map is “quasifinite and birational”. The*algebraic functions*on are given by trace forms, i.e. by functions of the form for some arbitrary . There is also a canonical*second-best approximation*of by an algebraic variety, the spectral Bernstein variety , i.e. the coarse quotient of the stack parametrizing (-relevant) L-parameters . It is second-best in the sense that there is a quasifinite map . The composite map sends to its semisimple L-parameter.Should I post more hallucinations like this?

- I have to admit that I struggle psychologically with things related to foundations, especially subtleties arising from “big” constructions and the usual prophylactics involving universes or cutoff cardinals or whatever. For one thing, I don’t really care. But more significantly, the idea that ZFC (or something like it) should be accepted as the “standard foundations” of mathematics is
*absolutely revolting and nonsensical*to me. The fact that*everything*in ZFC is a set makes it a complete non-starter for me as a reflection of how mathematics really operates. In some sense, I don’t really believe in “naked” sets.

Anyway, I was never able to articulate my thoughts about this stuff very precisely. It was thus something of a revelation when I read this article at the Xena project, and realized that type theory is what I’ve been craving all along. I also strongly recommend this article by Todd Trimble which articulates my problems with ZFC much more eloquently than I can. (I don’t really understand ETCS yet, but it also seems like it would satisfy me.) - Is the twitter account @GeoMoChi08 a parody? I would dearly love to know what’s going on with this account (and with @math_jin).

## Comparing local Langlands correspondences

At least six people have independently asked me some variant of the question:

What are the prospects for showing that the Fargues-Scholze construction of L-parameters is compatible with other constructions of the local Langlands correspondence?

In this post I’ll briefly lay out the answer as I see it.

For reductive groups over finite extensions , the situation is complicated, since the status of LLC is complicated.

- and . Compatibility for these groups is known and already proved in Fargues-Scholze, and follows from the realization of local Langlands and local Jacquet-Langlands in the cohomology of the Lubin-Tate tower.
- Any inner form of . Compatibility here is Theorem 1.0.3 in H.-Kaletha-Weinstein.
- and inner forms. Compatibility should follow from the previous two points, but I guess it’s not completely trivial. Someone should write it down.
- and , and their unique inner forms. Compatibility for these groups has been proved by my student Linus Hamann. His preprint should be available very soon, and I’ll write a detailed blog post about it at that time. The arguments here rely on a number of special features of the group .
- Split and closely related groups. Partial results here are definitely possible by extending Hamann’s arguments, but it’s not clear to me whether complete results can be expected. I’ll say more about this when I write about Hamann’s paper.
- Unitary groups. Partial results should be possible by combining some aspects of Hamann’s methods with recent works of Nguyen and Bertoloni-Meli–Nguyen.
- and and their inner forms, . This seems out of reach.
- Even special orthogonal groups. I’m frankly confused about what’s going on here. Is there even an unambiguous LLC? In any case, this also seems hard.
- Exceptional groups. There’s no “other” LLC here. Go home. (OK, for there’s a very cool recent paper of Harris-Khare-Thorne.)
- General groups splitting over a tame extension, not too small. Here Kaletha has given a general construction which attaches a supercuspidal L-packet to any supercuspidal L-parameter. Compatibility of this construction with Fargues-Scholze might be approachable by purely local methods, but it seems to require substantial new ideas. An extremely weak partial result – constancy on Kaletha’s packets of the FS map from reps to L-parameters – is probably within reach, using the main results in H.-Kaletha-Weinstein.

The key point in many of the above situations is the following. Let’s say a group is *accessible *if it admits a geometric conjugacy class of minuscule cocharacters such that

1. The pair is totally Hodge-Newton reducible in the sense of Chen-Fargues-Shen.

2. Any L-parameter can be recovered up to isomorphism from the composition . (In practice one asks for slightly weaker versions of this.)

3. The local Shimura varieties attached to the local Shimura datum (with the unique basic element) uniformize the basic locus in a global Shimura variety of abelian type.

For groups satisfying this condition, there is hope. *Very* roughly, condition 2. implies that the FS construction is incarnated in the cohomology of a single local Shimura variety, whose cohomology can also be tightly related to the cohomology of a global Shimura variety using conditions 1. and 3. One then needs to know enough about the cohomology of these global Shimura varieties, namely that it realizes the “other” LLC you care about. Of course, this short outline veils substantial technical difficulties.

It turns out that , , , and are all accessible, and this accounts for the definitive results in scenarios 1.-4. above and my optimism in scenarios 5.-6. On the other hand, is not accessible for , and neither is for , and no exceptional groups are accessible. Hence my pessimism in scenarios 7.-9.

For reductive groups over finite extensions , the situation is completely different. Here Genestier-Lafforgue have constructed a local Langlands correspondence for all groups, uniquely characterized by its compatibility with V. Lafforgue’s construction of global Langlands parameters. It is an extremely attractive problem to compare the Genestier-Lafforgue LLC with the Fargues-Scholze LLC. This should absolutely be within reach! After all, both constructions are realized in the cohomology of moduli spaces of shtukas, so the only “real” task should be to physically relate the moduli spaces of shtukas used by GL with those used by FS. This is probably not trivial: the spaces used by FS are local and totally canonical, while those used by GL seem to depend on a globalization and some auxiliary choices in a messy way. Nevertheless, I’d be surprised if this comparison is still an open problem two years from now.

## H.-Kaletha-Weinstein study guide and FAQ

Tasho Kaletha, Jared Weinstein and I have just posted a joint paper, On the Kottwitz conjecture for local shtuka spaces. This is a heavily revised and rewritten version of a preprint by Tasho and Jared which has been available since 2017 (henceforth “KW”).

**Is the main result here the same as in KW?**More or less, yes. The main theorem confirms the Kottwitz conjecture for the cohomology of moduli spaces of local shtukas, ignoring the Weil group action and allowing for an “error term” consisting of a non-elliptic virtual representation.

**Is the rough idea of the proof still the same as in KW?**Yes: the idea is still to compute the cohomology by applying a suitable Lefschetz-Verdier trace formula, and explicitly computing the “local terms” at all of the elliptic fixed points.

**OK, what’s new, then?**Well, basically all of the details are different. First and foremost, the discussion of the relevant Lefschetz-Verdier trace formula for v-stacks has been completely rewritten, using Lu-Zheng’s magical formalism of symmetric monoidal 2-categories of cohomological correspondences. This leads to huge conceptual simplifications, both in the statements and the proofs. Actually, we go beyond the formalism of Lu-Zheng, introducing certain 2-categories of “based cohomological correspondences”. This formalism play a crucial role in the proof of Theorem 4.5.3, which is a key ingredient in the proof of the main theorem. It’s also hard to imagine proving Theorem 4.6.1 without this formalism.

Secondly, a key calculation of local terms on the -affine Grassmannian, Theorem 5.1.3, now has a completely different and correct (!) proof, via a degeneration to a similar calculation on the Witt vector affine Grassmannian. This degeneration argument relies on the observation that the local terms appearing in the Lefschetz-Verdier trace formula are compatible with any base change, Proposition 5.3.1; this seems to be a new observation even for schemes. (My first proof of Proposition 5.3.1 involved checking the commutativity of 500 diagrams, but eventually I realized that it follows immediately from the Lu-Zheng formalism!) Once we’ve degenerated to the Witt vector affine Grassmannian, we make an intriguing global-to-local argument using the trace formula and known properties of the weight functors in geometric Satake, and relying crucially on a recent result of Varshavsky.

There are some other notable improvements:

- All assumptions in KW of the form “assume that some representation admits an invariant -lattice” have now been eliminated. This is far from formal, since we definitely don’t have a 6-functor formalism with -coefficients at hand. Instead, the idea is to reduce “by a continuity argument” to the case where things do admit lattices. The key ingredient here is Theorem 6.5.4, formerly a conjecture of Taylor, which should have lots of other applications.
- The final part of the main theorem, giving practical criteria for the error term to vanish, is new.
- Theorem 1.0.3 is new.

On a practical note, the Fargues-Scholze paper is now finished and available, so we can properly build on the powerful machinery and results in that paper.

Finally, the margins are no longer gigantic.

**Any advice on how to read the paper?**Sure. The main Theorem 1.0.2/6.5.1 in the paper is essentially a combination of two separate results, Theorem 6.5.2 and Theorem 3.2.9. Theorem 3.2.9 is conditional on the refined local Langlands correspondence, and the material needed to formulate and prove this result is developed in Chapter 3 and Appendix A. The bulk of the paper (sections 4-6 and Appendices B-C) is devoted to building up enough material to prove Theorem 6.5.2.

Each of sections 3, 4, and 5 is fairly self-contained, although section 5 depends slightly on section 4. Section 6 builds heavily on sections 4 and 5, and also on [FS21]. Section 5 is actually devoted to proving a single result, Theorem 5.1.3 (and its reinterpretation Theorem 5.1.4), and can be treated as a black box.

One thing you could do is read the introduction, then jump to Proposition 6.4.7 and work your way backwards as needed until all the notation makes sense. This proposition is the technical heart of the paper. The key inputs into the proof of Proposition 6.4.7 are Theorem 5.1.4, Theorem 4.5.3, and Corollary 4.3.8. The use of “the trace formula” in this whole argument is actually somewhat hidden: it is entirely encoded in the equality sign labelled “Cor. 4.3.8” at the bottom of p. 66.

From Proposition 6.4.7, Theorem 6.4.9 (a weak form of Theorem 6.5.2) follows quickly, and then Theorem 6.5.2 follows from Theorem 6.4.9 by a continuity argument which relies crucially on Theorem 6.5.4.

**This sounds cool, but you didn’t punt any key ingredients into a separate and currently nonexistent paper, did you?**

I’m glad you asked. In working out the trace formula formalism in enough generality to give a conceptual proof of the main theorem, it became clear at some point that we needed the existence and expected properties of the functors and in etale cohomology for “smooth-locally nice” maps between Artin v-stacks. For maps which are actually “nice”, and in particular non-stacky, these functors were constructed by Scholze, but extending them to the setting of stacky maps is not formal. Already in the analogous setting of schemes versus Artin stacks, these functors for Artin stacks were only constructed recently by Liu-Zheng, making heavy use of -categories. In a forthcoming paper, Jared and I together with my postdoc Dan Gulotta will explain how to construct and for smooth-locally nice maps of Artin v-stacks. The arguments will very closely follow the arguments of Liu-Zheng, with the exception of one key non-formal piece of input (which took me three years of intermittent work).

**Why do you only prove an explicit formula for the virtual character of restricted to elliptic elements of ? What’s so special about elliptic elements in this context?**

The fixed points of elliptic elements lie in the “admissible locus” inside the relevant closed Schubert cell. This is discussed in detail in the introduction.

**Fine, but maybe there’s still an obvious explicit formula for the virtual character of at any strongly regular semisimple element.**

Here’s an example to illustrate why I think this is a hard problem. I’ll be slightly heuristic about the details; if you want more precision, please leave a comment.

Let’s take and , so we’re in the Lubin-Tate/Drinfeld setting with the units in the quaternion algebra over . Let be the *trivial* representation of . Then as a virtual representation of , by an old calculation of Schneider-Stuhler. Note that is a principal series representation, hence non-elliptic, so the virtual character of on elliptic elements of is the constant function . This matches perfectly with the fact that any elliptic has two fixed points in , both contained in , and the “naive” local terms of the relevant sheaf at both these points are . Here is the evident open immersion.

On the other hand, if is regular semisimple and nonelliptic, then it’s conjugate to some with . In this case there are still two fixed points, but they both lie in the “boundary” . Since restricted to the boundary is identically zero, its naive local terms at both fixed points are zero. Nevertheless, the trace formula still works, so the contribution of the true local terms at these two points must add up to the virtual character of evaluated at . This character value can be computed explicitly by van Dijk’s formula, and turns out to be . So this slightly strange expression needs to emerge from the sum of these two local terms.

Putting these observations together, we see that in this example, *the true local terms do not equal the naive local terms at the non-elliptic fixed points.* Morally, the analysis in Section 3 of the paper can and should be interpreted as an unravelling of

*naive*local terms (at elliptic fixed points). Hopefully this makes the difficulty clear.

**Can you give an example where the error term in Theorem 1.0.2 is nonzero?**

Sure, look at the two-dimensional Lubin-Tate local Shimura datum and take trivial again, so with the Steinberg parameter. Then as discussed in the previous answer, while the sum on the right-hand side in Theorem 1.0.2 is just . So in this case is, up to sign, a reducible principal series representation.

It would be very interesting to formulate an extension of the Kottwitz conjecture which covered all discrete L-parameters. Since the Kottwitz conjecture is best regarded as a reflection of the Hecke eigensheaf property in Fargues’s conjecture, this is closely related to understanding Fargues’s conjecture for general discrete parameters.

**It seems like the Kottwitz conjecture should also make sense for local shtukas over Laurent series fields. Why doesn’t the paper cover this case too?**

Good question! The short answer is that all of the *p*-adic geometry should work out uniformly over Laurent series fields and over finite extensions of , and indeed Fargues-Scholze handles these two situations uniformly. However, the literature on local Langlands and harmonic analysis for reductive groups over positive characteristic local fields case is pretty thin. This is the main reason we stuck to the mixed characteristic case. For more on the state of the literature, take a look at section 1.6 in Kal16a.

**Do the methods of this paper give any information about for non-basic b?**

Yes: If is non-basic, or is basic and is parabolically induced, our methods can be applied to prove that is always a virtual combination of representations induced from proper parabolic subgroups of . This is a soft form of the Harris-Viehmann conjecture. The details of this argument will be given elsewhere (in the sense of Deligne-Mumford).

**Any surprising** **subtleties?**

Lemma 6.5.5 was a bracing experience. My first “proof” was absolute nonsense, due to some serious misconceptions I had about harmonic analysis on *p*-adic groups – big thanks to JT for setting me straight. My second proof didn’t work because I cited a result in a famous article (>100 mathscinet citations) whose proof turns out to be fallacious – big thanks to JFD for setting me straight. Tasho and I devised the current proof, which in hindsight is actually a very natural argument. (I was hoping, apparently unreasonably, for a shortcut.)

**Closing thoughts:**

-At least for me, the proof of Theorem 6.5.4 is a very striking illustration of the raw Wagnerian power of the machinery developed in [FS21]. This result was totally out of reach a few years ago, but with the machinery of [FS21] in hand, the proof is less than a page! Note that this argument crucially uses the and Hecke operator formalism of [FS21] with general coefficient rings.

-Let me again emphasize how heavily the paper depends on the recent preprints [LZ20], [Var20], and (of course) [FS21].

-The paper depends, more significantly than most, on a choice of isomorphism . It’s naturally of interest to wonder how everything depends on this choice. Imai has formulated a conjectural answer to this question. Of course, “independence of ” results in the etale cohomology of diamonds are probably very hard.

## Several more things

**Next year**

I’m very pleased that several outstanding young *p*-adic geometers are coming to Bonn soon: Haoyang Guo, Emanuel Reinecke, and Bogdan Zavyalov will all begin postdoc positions at the MPIM in September, and Ian Gleason will also begin a postdoc at the university in the fall. The group of *p*-adic people here was already pretty strong, but now it’ll just be off the charts. And as a bonus, JB will be here starting in July!

**Next week**Starting next week, I’m giving three lectures in the Arithmetic Monday seminar on local Shimura varieties and their cohomology. The goal here is to give a gentle introduction to local Langlands and local Jacquet-Langlands correspondences, and the idea that they should be realized in the cohomology of local Shimura varieties (whatever those are). I’ll try to keep everything down to earth and example-based, and I won’t really prove anything. Nevertheless, I hope these lectures might be useful to people starting out in this area.

## Several things

**A rant about valuations**

If you look at any detailed introductory text on adic spaces (e.g. the notes of Conrad, Morel, Wedhorn, etc.) you’ll find lots and lots and **lots** of preliminary material on valuation theory. On the one hand, this isn’t so crazy, since adic spaces are built from valuation spectra, and you have to eat your spinach before you get to have cake. On the other hand, I think this is pretty unfortunate, since valuation theory is incredibly boring and dry, and (more importantly) when you actually work with *analytic* adic spaces in real life, *you never need to worry about most of this material. *How often have I worried about horizontal specializations versus vertical specializations, etc.? Essentially never.

**Open** **problems**

Suppose you want to study representation theory of p-adic reductive groups with coefficients in some Noetherian ring with . You might be surprised to learn that the following basic results are *all unknown in general* (as Jean-Francois Dat kindly pointed out to me), even when is a DVR:

-parabolic induction preserves finitely generated objects,

-Jacquet modules preserve admissible objects,

-products of cuspidal objects are cuspidal,

-the category is Noetherian,

-second adjointness holds.

I believe the state of the art here is a paper of Dat from 2009, which explains the interrelations between these problems and solves them for many groups. Does anyone have in mind a strategy to solve these problems completely? I would love to know.

## The dangers of naming things after people

I spent part of last weekend reading Alice Silverberg’s blog, which is simultaneously depressing and hilarious. Everyone should read it, but you probably won’t *enjoy* reading it unless you enjoy Coen brothers movies or the short stories of Kafka. Anyway, the following thoughts have been in my head for a few months, but I decided to record them here after reading this.

The cohomology of non-basic local Shimura varieties is described by the “Harris-Viehmann conjecture”, which is formally stated as Conjecture 8.4 in Rapoport-Viehmann’s paper. This story started with a daring and beautiful conjecture of Harris (conjecture 5.2 here), whose formulation however turned out to be slightly incorrect in general, cf. Example 8.3 in RV. The conjecture was then modified by Viehmann, and Rapoport named this modified conjecture the Harris-Viehmann conjecture (footnote 5 in RV).

Unfortunately, Conjecture 8.4 in RV is *still* not correct as stated: the Weil group action on the summands appearing on the right-hand side needs to be modified by certain half-integral Tate twists. As far as I know, Alexander Bertoloni-Meli is the only person who has publicly pointed out the need for this modification, and Conjecture 3.2.1 in his very cool paper is the only correct formulation of the Harris-Viehmann conjecture in print.

Since the need for these Tate twists was overlooked by a lot of very smart people, it only seems fair to me that Alexander should get credit for his contribution here. The obvious way to do this would be to refer to the Harris–Viehmann–Bertoloni-Meli conjecture, or the Bertoloni-Meli–Harris–Viehmann conjecture. You could pick the second option if you’re a stickler for alphabetical name orders in mathematics, or the first option if you feel (as I do) that Harris’s contribution here deserves priority.

But it gets even worse, because Harris also formulated another conjecture along similar lines (conjecture 5.4 in his article linked above), which has gotten somewhat less attention but which is nevertheless extremely interesting.* It turns out that one can formulate a unified conjecture which encompasses both Harris’s conjecture 5.4 and the Harris–Viehmann–Bertoloni-Meli conjecture. What should it be called? The Harris–Viehmann–Bertoloni-Meli—Harris conjecture? I guess not.

*Here’s a comment from MH: “I was (and am) much more attached to this conjecture than to the one that is called the Harris-Viehmann conjecture, because it required some work to find the right formalism (the parabolics that transfer between inner forms), whereas the other conjecture (independently of the incorrect formulation in my paper) was just the obvious extension of Boyer’s result.”

## Unappreciative

**Some things I appreciate but which I used to not appreciate: **The Bernstein center, -categories, etale cohomology, L-packets, perverse sheaves.

**Some things I still don’t appreciate: **Monads, endoscopy, rigid cohomology, A-packets, Springer theory.

## Remarks on Fargues-Scholze, part 2

Today I want to talk about section VII.3 in the manuscript. Here they define and study a functor on solid sheaves which is left adjoint to the usual pullback functor. But why is this called *relative homology*?

To explain this name, you have to remember that in the usual formalism of etale cohomology, homology is realized as the compactly supported cohomology of the dualizing complex. Symbolically, if is a variety with structure map , then the homology of is given by . Now, you might ask whether this works in families: if is some map of varieties, maybe I can find some complex on whose stalk at realizes the homology of ? If the constant sheaf is -ULA, then formation of commutes with any base change, and exactly the same formula works, but in general there is no naive sheaf with this property.

The punchline now is that does have this property: when the constant sheaf is -ULA (e.g. if is a point) it agrees with by Proposition VII.5.2, and its formation commutes with arbitrary base change, so it really does give a complex on whose stalks realize the homology of the fibers of . The only twist is that is a solid sheaf in general, not a classical etale sheaf.

## Remarks on Fargues-Scholze

The Fargues-Scholze geometrization paper is available! In this post, and probably some future posts also, I’ll make some random comments on this paper. These won’t mean anything unless you’ve read (at the very least) the beautifully written introduction to the paper. To be clear, I have nothing of substance to say about the “big picture” – these will be purely technical remarks.

First of all, at the bottom of p. 324, one finds the slightly cryptic claim that although there are no general functors in the setting (for a locally closed immersion), one can define functors in the setting, where is the inclusion of any Harder-Narasimhan stratum into . This is stated without proof. However, if you read carefully, you will notice that these lisse functors are actually used in the paper, in the proof of Proposition VII.7.6. So maybe it’s worth saying something about how to construct them.

To build in the setting, factor as the composition . Here is the open substack of bundles which are “more semistable” than . It will also be convenient to write . Note that is a closed immersion, and is an open immersion, so clearly preserves . The subtlety is in making sense of , since then we can write as usual.

For , we need the local chart and its punctured version . Recall that these charts also come with compatible maps and . Then for any , the correct definition turns out to be

.

The point here is that in the lisse world, the only pushforward functors which come for free are the functors for cohomologically smooth maps . Since and are cohomologically smooth – one of the hardest theorems in the paper! – the above construction preserves . Moreover, it’s easy to check that the formula above has the right properties. Indeed, the *-restriction of the RHS of (1) to is just , by Proposition VII.7.2, while its complementary restriction to clearly vanishes.

## Families of perverse sheaves

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 1.4.4.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 .