In the definition of adic spaces, one demands to be a sheaf. Hence it is neccessary to know for which the presheaf is a sheaf. The first criterion is due to Huber (from “`A generalization of formal schemes and rigid-anaytic varieties”‘). Recall that a Huber ring is Tate if it contains a topologically nilpotent unit.
Proposition 23 Let be a Huber pair. Then is a sheaf, and its higher cohomology vanishes on rational subdomains, if either of the following conditions holds:
- has a noetherian ring of definition.
- is a strongly noetherian Tate ring (i.e. for all the ring are noetherian).
Huber uses this theorem to show that locally noetherian formal schemes give rise to adic spaces (point (1) ensures that) as well as rigid-analytic varieties (by point (2)). On the other hand Scholze proved that is a sheaf when is perfectoid, in particular highly non-noetherian (we will discuss perfectoid spaces later on). Thus we would like to have a criterion for being sheafy which would apply to both these contexts: noetherian and non-noetherian. Before stating it, let us introduce two definitions. For what follows, we let be a Huber pair with Tate.
Definition 24 The pair is uniform if the open subring of power-bounded elements is bounded.
An example of non-uniform Tate ring is with the -adic topology. We have in this case , which is not bounded as it contains a -line.
Definition 25 The pair is stably uniform if for all rational subsets , the ring is unifom.
There are examples of pairs which are stably uniform, but not uniform. The main result of this section is the theorem of Buzzard and Verberkmoes:
Theorem 26 Let be a stably uniform Huber pair with Tate. Then is a sheaf and its higher sheaf cohomology vanishes on rational domains.
We have followed in this statement the seminar of Conrad (see L13). Observe that there is no finiteness assumption in the theorem which permits to apply it to perfectoid algebras. Let us now give a sketch of the proof of the sheaf property.
There are two steps. Let . First, one verifies the sheaf property for the cover of the form and , where is any element of , only assuming that is uniform. Second, one reduces the general case to this case, adding a stably uniform hypothesis.
In the first step we want to prove that
is exact. But before completion, this sequence is
where is the localisation map to both factors and is the substraciton of the second factor from the first. It is not hard to establish the exactness of this sequence. In order to conclude, we want to know that when we complete, we still end up with an exact sequence. This is not automatic! In order to do so, we need to prove that both and are strict, i.e. a map of topological abelian groups is strict if the quotient topology on from coincides with the subspace topology from . It is equivalent to being continuous and the induced map being open. In our setting is always strict, but in order to prove that is strict we have to use the uniformity. We leave it to the reader.
The second step, deducing the full theorem, follows the reasoning of Tate. By induction one checks the sheaf property for Laurent covers i.e. , where is a subset of , and
Then by using a refinement one passes to any rational domains and then to arbitrary covers by rational domains. See § 8.2 of [BGR].