*The money will be spent on higher categories for the needy.

]]>Perhaps surprisingly, the situation for affinoid perfectoid spaces is a lot better. In particular, if is a perfectoid Tate-Huber pair, there are canonical bijections (satisfying some obvious compatibilities) between

1) closed subsets of ,

2) Zariski-closed subsets of ,

3) (isomorphism classes of) maps of Tate-Huber pairs where is a perfectoid Tate ring, is surjective, and is the integral closure of the image of in .

We’ve already discussed the bijection 1) <–> 2). For 3) –> 1) or 2), just send to the closed subset cut out by the ideal . The miracle is the association 2) –> 3), which holds by an amazing theorem of Bhatt: if is a closed ideal in a perfectoid Tate ring , then the uniform completion of is perfectoid and the natural map is surjective, cf. Theorem 2.9.12 in Kedlaya’s notes here. Moreover, the map remains surjective after rational localization on . In particular, if is a Zariski-closed subset, then 2) –> 3) gives an honest closed immersion of locally ringed spaces, and maps homeomorphically onto .

The point of all this is that Zariski-closed immersions of affinoid perfectoid spaces behave as well as one could ever dream (with one caveat, which I’ll get to later). The following definition then suggests itself.

**Definition. **A map of small v-stacks is a Zariski-closed immersion if for any affinoid perfectoid space with a map , the base change is a Zariski-closed immersion of affinoid perfectoid spaces.

Now of course we’re free to make any definition we want in mathematics, but if it doesn’t capture some essential idea or experimentally observed phenomenon, then who cares? Let me now give some evidence that this definition passes this test.

**Example 0.** The property of being a Zariski-closed immersion is preserved under composition and base change. If is a Zariski-closed immersion and is (a small v-sheaf, a diamond, a locally spatial diamond, qc or qs or separated or partially proper over a base ), then so is .

**Example 1. **Let be a closed immersion of locally Noetherian adic spaces. If is affinoid (so is too), then the map of diamonds is a Zariski-closed immersion. This is easy.

**Example 2. **Let be a closed immersion of locally Noetherian adic spaces again, but now assume that is the analytification of a closed immersion of quasiprojective varieties. Then is a Zariski-closed immersion. For this, we can use the assumption on to choose a vector bundle on together with a surjection . Then for any map from an affinoid perfectoid, the pullback (in the usual sense of ringed spaces) is a vector bundle on , hence generated by finitely many global sections by Kedlaya-Liu. The images of along the natural map generate an ideal, and the associated closed immersion of affinoid perfectoids represents the fiber product . (Hat tip to PS for suggesting this vector bundle trick.)

**Example 3. **Let be a minimally compactified Hodge-type Shimura variety with infinite level at . Then the boundary is a Zariski-closed immersion, and so is the diagonal . (These both reduce to the previous example, using a small limit argument in the second case.) In particular, if are any open affinoid perfectoid subsets, then is also affinoid perfectoid. This small observation plays a non-negligible role in my forthcoming paper with Christian Johansson, where (among other things) we prove that any minimally compactified Shimura variety of pre-abelian type with infinite level at is perfectoid.

**Example 4. **Fix a perfectoid base field of characteristic zero. Then the inclusions are Zariski-closed immersions of (ind-)diamonds over . This can be proved by induction on , and the base case reduces to the fact that the inclusion is the pullback of along . (To make the induction work, you need to pick an element generating .)

**Example 5. **Fix a complete algebraically closed extension . Fix a reductive group and a geometric conjugacy class of -valued cocharacters . Then is a Zariski-closed immersion. Also, if , then is a Zariski-closed immersion. These claims can be reduced to the case , which in turn reduces to Example 4 by some trickery.

**Example 6. **Fix a complete algebraically closed nonarchimedean field of residue characteristic , and let be any injective map of coherent sheaves on the Fargues-Fontaine curve . Then the associated map of Banach-Colmez spaces is a Zariski-closed immersion. This can also be reduced to Example 4.

Let me end with some caveats. First of all, I wasn’t able to prove that if is a closed immersion of reductive groups, the induced map is a Zariski-closed immersion, although it is surely true. The problem here is (roughly) that an -torsor over some affinoid perfectoid can only be reduced to a -torsor locally in the analytic topology on , and we then run into the following open question:

**Question. **Is the property of being Zariski-closed local for the analytic topology? More precisely, if is affinoid perfectoid with a covering by rational subsets , and is a closed subset such that is Zariski-closed in for all , is Zariski-closed?

There are also naturally occurring closed things which probably aren’t Zariski-closed immersions. For instance, I don’t think the map of Banach-Colmez spaces is a Zariski-closed immersion, because then pulling back would imply that is a Zariski-closed immersion, which seems extremely unlikely to me. (But I didn’t manage to disprove it! Actually, can one give an explicit example of an affinoid perfectoid and a closed subset such that maps isomorphically to the completed residue field at every point in and such that is NOT Zariski-closed? Surely such examples exist.) I also don’t think (closures of) Newton strata in flag varieties are Zariski-closed immersions – they are just too weird.

I also wasn’t able to settle the following compatibility (but admittedly I didn’t try very hard).

**Question. **Let be a monomorphism of locally Noetherian adic spaces. If is a Zariski-closed immersion, is actually a closed immersion?

Happy new year!

]]>

For the argument below to work, it would be enough to know that for any open subset , its image in contains an open subset. Is this true?

In any case, the Corollary is still true, although by a totally different argument.)

*****

I spent about six hours yesterday and today proving the following thing.

**Lemma. **Let be a spectral space, and let be a closed generalizing nowhere-dense subset of . Then is nowhere-dense for the constructible topology on , i.e. doesn’t contain any nonempty constructible subset of .

This has the following concrete consequence, which is what I really needed.

**Corollary**. Let be some Tate-Huber pair with adic spectrum , and let be a Zariski-closed nowhere-dense subset. Suppose and are quasicompact open subsets of such that . Then .

*Proof of Corollary.* We need to check that is empty. But is a constructible subset of contained in , so this is immediate from the lemma.

Amusingly, even though this corollary is pretty down-to-earth, I only managed to prove it by proving the lemma, and I only managed to prove the lemma by exploiting the structure of the w-localization of . Is there a more direct approach? Am I missing something obvious?

(Sketch of actual argument: the profinite set of closed points maps homeomorphically onto equipped with the constructible topology, so if is constructible it is clopen when viewed as a subset of . The key point is then to check that is nowhere-dense when viewed as a subset of . This can be done, using that the natural surjection is open and that (which is then closed, generalizing and nowhere-dense in , the last point by openness of ) is the preimage of its image in .

The openness of doesn’t seem to be stated in the literature, but it can be deduced from the proof of Lemma 2.1.10 in Bhatt-Scholze, using the fact that it’s obviously true for finite spaces.)

You may have noticed that RIMS is hosting a series of four workshops next year under the umbrella of a “RIMS Research Project” entitled Expanding Horizons of Inter-universal Teichmuller Theory. The first of the workshops looks pretty reasonable, the other three not so much. In case you’re wondering (as I did) how much money RIMS is ponying up for this, it seems to be capped at 5 million yen, or about $41k (according to e.g. this document). This doesn’t seem like very much money to support four workshops; I guess some funding is also coming from that infamous EPSRC grant.

Anyway, when you’re inside a black hole, your horizons might seem quite expansive indeed, but I doubt you’ll have much luck convincing others to join you.

]]>Less well-known, however, is the following result of Temkin (cf. Theorem 1.1.3 here):

**Temkin’s Factorization Theorem.** *Let be any separated morphism of qcqs schemes. Then can be factored as an affine morphism followed by a proper morphism.*

Telling other people about this theorem is an amusing experience. Invariably, their first reaction is that it simply cannot be true, and that the inclusion map should give a counterexample. But then they realize (or I point out) that can be factored as , where is the blowup of at the origin and is the natural (affine!) open immersion of into . Then they are convinced.

Unrelated: JW pointed out to me that I am now a professional writer of appendices. Maybe this should worry me?

]]>