Abstract
We show that any strongly rigid-noetherian Huber ring A is sheafy. In particular, we positively answer Problem 31 in the Nonarchimedean Scottish Book.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the paper [7], Huber defined the notion of an adic spectrum \({\text {Spa}}(A, A^+)\) for a Huber pair \((A, A^+)\). One of the main nuisances of this theory is that the structure presheaf \({\mathcal {O}}_{(A, A^+)}\) is not always a sheaf on \({\text {Spa}}(A, A^+)\) (see [7, Exampleafter Proposition 1.6]). However, Huber showed that \({\mathcal {O}}_{(A, A^+)}\) is a sheaf in two important cases: if A is a strongly noetherian Tate ring; and if A has a noetherian ring of definition. The former case was later generalized in [8] to the strongly noetherian analytic case. Huber gave different arguments for the two cases. In the former case his argument is very close in the spirit to Raynaud’s theory of admissible blow-ups and “generic fibers”; in the latter case he was able to adapt the Tate’s proof of sheafiness of \({\mathcal {O}}_A\) in the rigid geometry, this argument is based on some analytic considerations.
The two mentioned above examples cover adic spaces that come from rigid spaces or noetherian formal schemes. However, one important disadvantage of these results is that they do not cover formal schemes that are (locally) topologically finitely presented over \({\mathcal {O}}_{{\mathbf {C}}_p}\) as the ring \({\mathcal {O}}_{{\mathbf {C}}_p}\) is not noetherian. In contrast, there is a good theory of formal schemes over \({\mathcal {O}}_{{\mathbf {C}}_p}\) developed, for example, in [1], and significantly generalized in [5].
David Hansen proposed a question in the Nonarchimedean Scottish Book if any complete, universally topologically rigid-noetherian ring A (see Definition 2.8) is sheafy. The main reason why Huber’s proof in the case of a noetherian ring of definition does not work in this more general setup is that Huber needs to use certain finiteness results from [4] that require the noetherian hypotheses. Our main new idea is to use results from the recent book [5] in place of [4] to make Huber’s argument work in a bigger generality.
Based on this approach, we are able to show that any Huber ring A with a topologically universally rigid-noetherian ring of definition is sheafy. This unifies the two cases done by Huber and the case done by Kedlaya. Moreover, it provides a new proof in the strongly noetherian analytic case that does not use any analytic considerations.
Theorem 1.1
(Theorem 3.5) Let \((A, A^+)\) be a strongly rigid-noetherian Huber pair (see Definition 2.8). Then the structure presheaf \({\mathcal {O}}_X\) is a sheaf of topological rings on \(X={\text {Spa}}(A, A^+)\). Furthermore, \({\mathrm{H}}^i(U, {\mathcal {O}}_X)=0\) for any rational subdomain \(U\subset X\) and \(i\ge 1\).
Corollary 1.2
(Lemma 2.12 and Theorem 1.1) Let \(k^+\) be a complete microbial valuation ring, and A a topologically finite type \(k^+\)-algebra. Then the structure presheaf \({\mathcal {O}}_X\) is a sheaf of topological rings on \(X={\text {Spa}}(A, A)\). Furthermore, \({\mathrm{H}}^i(U, {\mathcal {O}}_X)=0\) for any rational subdomain \(U\subset X\) and \(i\ge 1\).
Corollary 1.3
([8, Theorem 1.2.11], Lemma 2.11 and Theorem 1.1) Let \((A, A^+)\) be a Huber pair with an analytic, strongly noetherian A. Then the structure presheaf \({\mathcal {O}}_X\) is a sheaf of topological rings on \(X={\text {Spa}}(A, A^+)\). Furthermore, \({\mathrm{H}}^i(U, {\mathcal {O}}_X)=0\) for any rational subdomain \(U\subset X\) and \(i\ge 1\).
Let us now discuss new complications in the proof of Theorem 1.1 that do not appear in the classical proof when A has a noetherian ring of definition.
The first complication is that the finiteness results that Huber uses in his proof are not known in this generality; instead we use theory of the FP-approximated sheaves (see Appendix 1) to get finiteness only up to some torsion modules. These results were announced in [5, Appendix C to Chapter I] but the proofs will appear only in their upcoming work. The second problem is that even if we try to work in a less general situation (i.e., topologically universally adhesive rings) where the finiteness results are known, there is a problem due to the issue that certain morphisms/sheaves are only of finite type and not of finite presentation. The finiteness results (probably) hold only under the finite presentation assumption. This issue can also be elegantly resolved by using the theory of FP-approximated sheaves.
There are other sheafiness results that are somehow orthogonal to the result of this paper. For instance, Scholze showed sheafiness of perfectoid algebras in Scholze [10], Buzzard and Verberkmoes generalized it to any stably uniform Tate ring in Buzzard [3], and recently Hansen and Kedlaya [9] gave new examples of sheafy rings by verifying the stable uniformity of a certain class of rings.
2 Rational localizations
We review the theory of rational localizations of Huber pairs. We spell out the main definitions from [7]. One reason for doing this is that the construction of (uncompleted) rational localizations does not show up much once the foundational aspects of the theory are developed, but we will really need it in our proof.
Definition 2.1
Let A be a Huber ring with a pair of definition \((A_0, I)\) and elements \(f_1, \dots , f_n, s \in A\) such that \(f_1A +f_2A + \dots +f_n A\) is an open ideal in A.
-
The rational localization \(A\left( \frac{f_1}{s}, \dots , \frac{f_n}{s}\right) \) is a Huber ring such that:
-
(1)
The ring structure is given by \(A\left( \frac{f_1}{s}, \dots , \frac{f_n}{s}\right) =A\left[ \frac{1}{s}\right] \).
-
(2)
A ring of definition is given by
$$\begin{aligned} A_0\left[ \frac{f_1}{s}, \dots , \frac{f_n}{s}\right] \subset A\left[ \frac{1}{s}\right] , \end{aligned}$$where \(A_0\left[ \frac{f_1}{s}, \dots , \frac{f_n}{s}\right] \) is the \(A_0\)-subagebra of \(A\left[ \frac{1}{s}\right] \) generated by \(\frac{f_1}{s}, \dots , \frac{f_n}{s}\) (in particular, \(A_0\left[ \frac{f_1}{s}, \dots , \frac{f_n}{s}\right] \) depends on A and not only on \(A_0\)).
-
(3)
An ideal of definition is given by \(IA_0\left[ \frac{f_1}{s}, \dots , \frac{f_n}{s}\right] \subset A\left[ \frac{1}{s}\right] \).
-
(1)
-
The completed rational localization \(A\left\langle \frac{f_1}{s}, \dots , \frac{f_n}{s}\right\rangle \) is defined as the completion of the Huber ring \(A\left( \frac{f_1}{s}, \dots , \frac{f_n}{s}\right) \).
Remark 2.2
One can check that \(A\left( \frac{f_1}{s}, \dots , \frac{f_n}{s}\right) \) is well-defined, i.e., it is indeed a Huber ring and it is independent of a choice of a couple of definition \((A_0, I)\). See [7, Lemma and definition on p.516 and the universal property (1.2) on p.517].
Remark 2.3
[6, Lemma 1.6(ii)] implies that \(A\left\langle \frac{f_1}{s}, \dots , \frac{f_n}{s}\right\rangle \) is a Huber ring with a ring of definition equal to
and an ideal of definition \(IA_0\left\langle \frac{f_1}{s}, \dots , \frac{f_n}{s}\right\rangle \).
Remark 2.4
The main importance of this construction is that it gives values of the structure presheaf on rational subdomains. More precisely, suppose that \(X={\text {Spa}}(A, A^+)\) for a complete Huber pair \((A, A^+)\). Then we have a topological isomorphism
for any \(f_1, \dots , f_n, s\in A\) such that the ideal \(f_1A+ \dots +f_nA\) is open in A.
We also review a slightly more general version of this construction that will be convenient for our later purposes.
Definition 2.5
Let A be a Huber ring, \(s_1, s_2, \dots , s_n\) elements of A, and finite sets \(F_1, F_2, \dots , F_n\) of elements of A such that the ideal generated by \(F_i\) is open. Let \((A_0, I)\) be a pair of definition.
-
The rational localization \(A\left( \frac{F_1}{s_1};\dots ; \frac{F_n}{s_n}\right) \) is a Huber ring such that:
-
(1)
The ring structure is given by \(A\left( \frac{F_1}{s_1};\dots ; \frac{F_n}{s_n}\right) =A\left[ \frac{1}{s_1}, \dots , \frac{1}{s_n}\right] \).
-
(2)
A ring of definition is given by
$$\begin{aligned} A_0\left[ \frac{F_1}{s_1}; \dots ; \frac{F_n}{s_n}\right] {:}{=}\,A_0\left[ \frac{f}{s_i} \ | \ i=1, \dots , n, f\in F_i\right] \subset A\left[ \frac{1}{s_1}, \dots , \frac{1}{s_n}\right] . \end{aligned}$$ -
(3)
An ideal of definition is given by \(IA_0\left[ \frac{F_1}{s_1}; \dots ; \frac{F_n}{s_n}\right] \subset A\left( \frac{F_1}{s_1};\dots ; \frac{F_n}{s_n}\right) \).
-
(1)
-
The completed rational localization \(A\left\langle \frac{F_1}{s_1};\dots ; \frac{F_n}{s_n}\right\rangle \) is defined as the completion of the Huber ring \(A\left( \frac{F_1}{s_1};\dots ; \frac{F_n}{s_n}\right) \).
Remark 2.6
If we set \(F=\{f_1,\dots , f_n\}\), it is clear that
Remark 2.7
Similarly to Remark 2.4, we have a canonical topological isomorphism
for any Huber pair \((A, A^+)\) with complete A, elements \(s_1, \dots , s_n \in A\), and finite sets \(F_1, \dots , F_n \subset A\) such that the ideal generated by \(F_i\) is open for any i.
Definition 2.8
Let \((A_0, I)\) be a pair of a ring \(A_0\) and a finitely generated ideal I. We say that \(A_0\) is topologically universally rigid-noetherian if \({\text {Spec}}\widehat{A_0}\langle X_1, \dots , X_d\rangle \) is noetherian outside \(I\widehat{A_0}\langle X_1, \dots , X_d\rangle \) for every \(d\ge 0\)Footnote 1.
A Huber ring A is strongly rigid-noetherian if A admits a pair of definition \((A_0, I)\) that is topologically universally rigid-noetherian.
Remark 2.9
We want to emphasize that strong rigid-noetherianness of A does not imply that A is noetherian. For instance, the ring \({\mathcal {O}}_{{\mathbf {C}}_p}\) is strongly rigid-noetherian, but \({\mathcal {O}}_{{\mathbf {C}}_p}\) is not noetherian.
Remark 2.10
The definition of a strongly rigid-noetherian Huber pair does not depend on a choice of a pair of definition \((A_0, I)\). Indeed, it clearly does not depend on a choice of an ideal of definition I inside a fixed ring of definition \(A_0\).
Now we may and do assume that A is complete. Suppose \(A_0\) and \(A_1\) are two rings of definition, so [6, Corollary 1.3] implies that \(A_0\cdot A_1\) is again a ring of definition, so it suffices to show that claim under the additional assumption that \(A_0 \subset A_1\). If I is an ideal of definition in \(A_0\), then \(IA_1\) is an ideal of definition in \(A_1\). So it is enough to show that \({\text {Spec}}A_0\) is noetherian outside \(f\in I\) if and only if so is \({\text {Spec}}A_1\)Footnote 2. Now [6, Lemma 3.7] ensures that \((A_0)_f \rightarrow A_f\) and \((A_1)_f \rightarrow A_f\) are isomorphisms. This finishes the proof.
Lemma 2.11
Let A be a complete analytic ring (in the sense of [8, Definition 1.1.2]). Then A is strongly noetherian if and only if it is strongly rigid-noetherian. In particular, a complete Tate ring is strongly noetherian if and only if it is strongly rigid-noetherian.
Proof
Pick a pair of definition \((I, A_0)\) in A. We need to check that, for any \(n\ge 0\), a scheme \({\text {Spec}}A_0\langle T_1, \dots , T_n\rangle \setminus \mathrm{V}(IA_0\langle T_1, \dots , T_n\rangle )\) is noetherian if and only if \(A\langle T_1, \dots , T_n\rangle \) is noetherian. After replacing A with \(A\langle T_1, \dots , T_n\rangle \), it suffices to show it for \(n=0\). Therefore, it is enough to show that the natural morphism
is an isomorphism. Now [8, Lemma 1.1.3] ensures that the only open ideal in A is trivial, and thus the the claim follows from [6, Lemma 3.7]. \(\square \)
Lemma 2.12
Let \(k^+\) be a complete microbial valuation ring (in the sense of Definition [11, Definition 9.1.4]), and A topologically finite type \(k^+\)-algebra. Then A is a strongly rigid-noetherian.
Proof
Pick a pseudo-uniformizer \(\varpi \in k^+\). We need to show that \(A\langle T_1,\dots , T_n\rangle [\frac{1}{\varpi }]\) is noetherian for any \(n\ge 0\). A \(k^+\)-algebra \(A\langle T_1,\dots , T_n\rangle \) is topologically finite type, e.g., there is a surjection
Therefore, it suffices to show that \(k^+\langle T_1, \dots , T_m \rangle [\frac{1}{\varpi }]\) is noetherian for any \(m\ge 0\). But this is just the usual Tate algebra \(k\langle T_1, \dots , T_m \rangle \) over the non-archimedean field \(k{:}{=}\,\mathrm{Frac}(k^+)\). It is noetherian by [1, Proposition 2.2/14]. \(\square \)
Lemma 2.13
Let A be a strongly rigid-noetherian Huber ring, and \(f_1, \dots , f_n, s \in A\) elements such that \(f_1A +f_2A + \dots +f_n A\) is an open ideal in A. Then the completed rational localization
is a strongly rigid-noetherian Huber ring.
Proof
Without loss of generality, we can assume that A is complete, equivalently, any ring of definition \(A_0\) is complete. Now, it suffices to show that \(A\left\langle \frac{f_1}{s}, \dots , \frac{f_n}{s}\right\rangle \) admits a topologically universally rigid-noetherian pair of definition. Remark 2.3 implies that this ring admits a pair of definition \(\left( A_0\left\langle \frac{f_1}{s}, \dots , \frac{f_n}{s}\right\rangle , IA_0\left\langle \frac{f_1}{s}, \dots , \frac{f_n}{s}\right\rangle \right) \). Clearly, there a surjection
Thus, \(A_0\left\langle \frac{f_1}{s}, \dots , \frac{f_n}{s}\right\rangle \) is a topologically finitely generated \(A_0\)-algebra. Therefore, the pair
is topologically universally rigid-noetherian as \((A_0, I)\) is so. \(\square \)
Definition 2.14
A pair (A, I) of a ring A and a finitely generated ideal \(I\subset A\) is pseudo-adhesive (or A is I-adically pseudo-adhesive) if \({\text {Spec}}A\) is noetherian outside \(\mathrm{V}(I)\) and any finite A-module M has bounded I-power torsion (i.e., \(M[I^{\infty }]=M[I^n]\) for some n).
A pair (A, I) of finite type is universally pseudo-adhesive (or A is I-adically universally pseudo-adhesive) if \((A[X_1, \dots , X_d], IA[X_1, \dots , X_d])\) is pseudo-adhesive for any \(d\ge 0\).
Remark 2.15
It is easy to see that any finite type A-algebra over a universally pseudo-adhesive pair (A, I) is I-adically universally pseudo-adhesive.
The following theorem of Fujiwara, Gabber, and Kato will play a crucial role in what follows. It will give us a way to apply results from Appendix 1 in our context.
Theorem 2.16
[5, Theorem 0.8.4.8] Let \((A_0, I)\) be a complete topologically universally rigid-noetherian pair. Then it is universally pseudo-adhesive.
3 Sheafiness of strognly noetherian huber pairs
We show that any strongly rigid-noetherian Huber ring A is sheafy. Our proof follows Huber’s proof of the same result for Huber pairs with a noetherian ring definition very closely (see [7, Theorem 2.2]). The main obstacle why his proof does not work in this more general situation is that he needs to use certain finiteness of cohomology groups from [4] that require the noetherian hypothesis. Instead, we use the results from Sect. 1 in place of the results from [4]. However, we want to point out one complication is that Theorem A.5 does not give an honest finiteness result.
The following lemma plays a crucial role in our argument:
Lemma 3.1
[7, Lemma 2.6] Let \((A, A^+)\) be a complete Huber pair, and \(\{V_j\}_{j\in J}\) be an open covering of \(X={\text {Spa}}(A, A^+)\). Then there exist \(f_0, \dots , f_n\in A\) such that \(A = f_0A + f_1A +\dots +f_n A\) and, for every \(i \in \{0, \dots , n\}\), the rational subset \( X\left( \frac{f_0}{f_i}, \dots , \frac{f_n}{f_i}\right) \) is contained in some \(V_j\).
Definition 3.2
A standard covering of \(X={\text {Spa}}(A, A^+)\) is a covering of the form
for some \(f_0, \dots , f_n\in A\) such that \(A = f_0A + f_1A +\dots +f_n A\).
Definition 3.3
A morphism of topological groups \(\varphi :A\rightarrow B\) is called strict of it is continuous and \(A \rightarrow \varphi (A)\) is open for the subspace topology on the target.
Definition 3.4
A presheaf of topological rings \({\mathcal {F}}\) on a topological space X is a sheaf if \({\mathcal {F}}\) is a sheaf of sets and the natural map \({\mathcal {F}}(U) \rightarrow \prod _{i\in I} {\mathcal {F}}(U_i)\) is a topological embedding for any covering \(U=\cup _{i\in I} U_i\).
Theorem 3.5
Let \((A, A^+)\) be a strongly rigid-noetherian Huber pair. Then the structure presheaf \({\mathcal {O}}_X\) is a sheaf of topological rings on \(X={\text {Spa}}(A, A^+)\). Furthermore, \({\mathrm{H}}^i(U, {\mathcal {O}}_X)=0\) for any rational subdomain \(U\subset X\) and \(i\ge 1\).
One can actually prove the same result for sheaves \(M\otimes {\mathcal {O}}_X\) for any finite A-module M. The proof should be slightly modified as done in [7, Theorem 2.5]. We prefer to write the argument only in the case of the structure presheaf as it simplifies the exposition significantly.
Proof
Step 0. We may assume that A is complete: This follows from the fact that there is a canonical isomorphism
Step 1. We reduce theorem to showing that \(\check{C}_{aug}^\bullet ({\mathcal {U}}, {\mathcal {O}}_X)\) is exact with strict differentials for a standard covering\({\mathcal {U}}=\{U_0, \dots , U_n\}\) of X: The sheaf condition means that the sequence
is a exact with strict d for any for any covering \({\mathcal {U}}\) of an open U. Since rational subsets form a basis of X, it suffices to show the claim for a covering of a rational subdomain \(U\subset X\) by rational subdomains \(U_i\subset X\). Then Lemma 3.1 allows us to assume that the covering is standard. Lemma 2.13 shows that \(U={\text {Spa}}(B, B^+)\) is an affinoid with a strongly rigid-noetherian complete Huber ring B. So we may replace X by U.
Likewise, the Čech-to-derived spectral sequence and Lemma 3.1 implies that it is sufficient to show that \(\check{{\mathrm{H}}}^i({\mathcal {U}}, {\mathcal {O}}_X)=0\) for any \(i> 0\), rational U, and any standard covering \({\mathcal {U}}\) of U. Lemma 2.13 ensures that we can replace X with U to assume that \({\mathcal {U}}\) is a covering of X.
Therefore, we reduced the original question to show that the augmented (alternating) Čech complex
is exact with strict differentials for any standard covering \({\mathcal {U}}\) of X.
Step 2. We show that the “decompleted” augmented Čech complex is exact: Now suppose that the standard covering is given by elements \(f_0, \dots , f_n \in A\) with \(f_0A + \dots + f_n A =A\). Then we choose a pair of definition \((A_0, I)\) with a topologically universally rigid-noetherian \(A_0\). We consider the \(A_0\)-module \(J{:}{=}\,f_0A_0 + f_1A_0 + \dots + f_nA_0\) inside A. We denote \(S{:}{=}\,{\text {Spec}}A_0\), \(U{:}{=}\,{\text {Spec}}A\), \(P{:}{=}\,\mathrm {Proj}\oplus J^m\)Footnote 3, and \(P'{:}{=}\,\mathrm {Proj}\oplus (JA)^m\). Then we have a commutative square
Clearly, p is an isomorphism as \(JA=A\), so s induces a morphism \(s:U \rightarrow P\) such that the diagram
is commutative. We note that s is an affine morphism as \(j=g\circ s\) is affine and g is separated. Therefore, \({\mathrm{R}}^is_*{\mathcal {O}}_U\) vanish for \(i>0\). This implies that \({\mathrm{H}}^i(P, s_*{\mathcal {O}}_U)={\mathrm{H}}^i(U, {\mathcal {O}}_U)=0\) for \(i>0\), and \({\mathrm{H}}^0(P, s_*{\mathcal {O}}_U)=A\).
Now we compute the same cohomology groups in a different way using the Čech complex. We choose an affine covering \({{\mathcal {P}}}{:}{=}\,\{{\mathrm{D}}_+(f_i)\}\) of P. Since s is quasi-compact and quasi-separated, the \({\mathcal {O}}_P\)-module \(s_*{\mathcal {O}}_U\) is quasi-coherent. So we can compute its cohomology via the Čech complex. Consider
The above computation of the cohomology groups \({\mathrm{H}}^i(P, s_*{\mathcal {O}}_U)\) implies that the augmented Čech complex
is exact. For brevity, write \(F=\{f_0, \dots , f_n\}\). Now we note that
We topologize it as in Definition 2.5. Therefore, we see that after completing it with respect to this topology, we get
In other words, we see that \(C^i_{aug}\) is a “decompletion” of \(\check{C}^i_{aug}({\mathcal {U}}, {\mathcal {O}}_X)\). Now we invoke [2, III.2.12, Lemma 2] that says that \(\check{C}^i_{aug}({\mathcal {U}}, {\mathcal {O}}_X)\simeq \widehat{C}^\bullet _{aug}\) is exact with strict differentials if \(C^\bullet _{aug}\) is so. We already know that it is exact, so we are left to show that the differentials of \(C^\bullet _{aug}\) are strict.
Step 3. We reduce the claim to showing that the differentials \(d^i:\check{C}^i_{aug}({{\mathcal {P}}}, {\mathcal {O}}_P) \rightarrow \ker d^{i+1}\)are open: We start by considering the natural morphism \({\mathcal {O}}_P \rightarrow s_*{\mathcal {O}}_U\). We compute this map on the affine opens \({\mathrm{D}}_+(f_{j_0}) \cap \dots \cap {\mathrm{D}}_+(f_{j_i}) = {\mathrm{D}}_+(f_{j_0}\dots f_{j_i})\). We note that, for \(F=\{f_{0}, \dots , f_{n}\}\),
We topologize it using the I-adic topology. Then the map
is naturally identified with
In particular, it is an injective, continuous and open morphism since \(A_0\left[ \frac{F}{f_{j_0}}; \cdots ; \frac{F}{f_{j_i}}\right] \) is a ring of definition in \(A\left( \frac{F}{f_{j_0}}; \cdots ; \frac{F}{f_{j_i}}\right) \). Therefore, for any \(i\ge 0\), we conclude that
is injective and identifies \(\check{C}^i_{aug}({{\mathcal {P}}}, {\mathcal {O}}_P)\) with a ring of definition of \(C^i_{aug}\).
Now we deal with the case of \(i=-1\), separately. We note that
and
Therefore, injectivity of \(\check{C}^{-1}_{aug}({{\mathcal {P}}}, {\mathcal {O}}_P) \rightarrow C^{-1}_{aug}\) follows from injectivity in degree 0. So we only need to topologize \(\check{C}^{-1}_{aug}({{\mathcal {P}}}, {\mathcal {O}}_P)\) in a way that \(\check{C}^{-1}_{aug}({{\mathcal {P}}}, {\mathcal {O}}_P)\) is a ring of definition of \(C^{-1}_{aug}=A\).
We topologize it using the subspace topology from \(\check{C}^0({{\mathcal {P}}}, {\mathcal {O}}_P)\). This topology coincides with the natural I-topology (see Definition A.7) by Remark A.8. Now Theorem A.13Footnote 4 ensures that this topology is the I-adic topology. So we need to show that
is an open subring and the subspace topology is the I-adic topology.
Now we note that the morphism \(g^{*}{\mathcal {O}}_S \rightarrow {\mathcal {O}}_P\) gives the morphism \(A_0 \rightarrow B\) such that when composed with the inclusion \(B \rightarrow A\) it is equal to the embedding \(A_0 \rightarrow A\). This implies that \(I^m \subset I^mB\), so it suffices to show that, for any k, there is an m such that \(I^mB \subset I^k\).
Theorem A.5 guarantees that B is FP-approximated as an \(A_0\)-module, i.e., there is a finite \(A_0\)-submodule \(M\subset B\) such that the module quotient is annihilated by \(I^d\) for some d. Since I is an ideal of definition in A, and M is finitely generated, we can find c such that \(I^cM \subset I^k\). Therefore, \(I^{c+d}B \subset I^cM \subset I^k\). This finishes the argument.
Overall, we see that the \(\check{C}^i_{aug}({{\mathcal {P}}}, {\mathcal {O}}_P) \rightarrow C^i_{aug}\) is injective and identifies \(\check{C}^i_{aug}({{\mathcal {P}}}, {\mathcal {O}}_P)\) with a ring of definition in \(C^i_{aug}\) for every \(i\ge -1\).
Now, it suffices to show that the differentials \(d^i_C :C^i_{aug} \rightarrow \ker d^{i+1}_C\) are open to conclude that \(d^i_C:\check{C}^i_{aug} \rightarrow \check{C}^{i+1}_{aug}\) are strict for every \(i\ge -1\). We claim that it is actually sufficient to show that the differentials \(\delta ^i :K^i \rightarrow \ker \delta ^{i+1}\) is open, where \(K^\bullet {:}{=}\,\check{C}^i_{aug}({{\mathcal {P}}}, {\mathcal {O}}_P)\) and \(\delta \) is the differential of this complex.
Grant this opennness. We just need to deduce that \(d^i_C(I^mK^i)\) is open for any \(m\ge 0\) as \(\{I^mK^i\}\) for a fundamental system of neighborhoods of 0 in \(C^i_{aug}\) (\(K^i\) is a ring of definition in \(C^i_{aug}\)). We know that
is open in \(\ker \delta ^{i+1}=\ker d_C^{i+1}\cap K^{i+1}\). So as \(K^{i+1}\) is open in \(C_{aug}^{i+1}\), we conclude that \(\ker \delta ^{i+1}\) is open in \(\ker d_C^{i+1}\). As a result, we get that \(d^i_C(I^mK^i)\) is open in \(C^{i+1}_{aug}\) for every \(m\ge 0\), \(i\ge -1\).
Step 4. We show that the differentials of \(\delta ^i :K^i \rightarrow \ker \delta ^{i+1}\)are open: The claim for \(\delta ^i\) is trivial if \(i<-1\). If \(i=-1\), the map \(\delta ^{-1}:K^{-1} \rightarrow \ker \delta ^0\) is even a homeomorphism because
and topology on \(K^{-1}\) was defined to be the subspace topology.
We consider the restriction \(\delta ^i :K^i \rightarrow \ker \delta ^{i+1}\), where the target is endowed with the subspace topology. This map is open if and only if, for each k, there is m such that
Now we note that
Then it suffices to show that, for any k, there is m such that
that is equivalent to
This means that we need to find m such that
is zero. Unravelling the definitions, we get that this is equivalent to find m such that
is zero.
Now we prove that claim under the assumption that \(I^c{\mathrm{H}}^{i+1}(P, I^k{\mathcal {O}}_P)=0\) for some c (depending on k and \(i\ge 0\)) and then we show that this assumption always holds. We firstly observe that
where \({\mathrm{F}}^\bullet \) stands for the natural I-filtration (see Definition A.7). Now we note that \(I^k{\mathcal {O}}_P\) is a finitely generated, quasi-coherent \({\mathcal {O}}_P\)-module, so it is FP-approximated by Lemma A.3. Therefore, Theorem A.13 ensures that the natural I-topology on \({\mathrm{H}}^{i+1}(P, I^k{\mathcal {O}}_P)\) is the I-adic topology. Then there is some d such that
Claim 2 below ensures that \({\mathrm{H}}^{i+1}(P, I^k{\mathcal {O}}_P)\) is indeed annihilated by some \(I^c\) for some c depending on k and \(i\ge 0\). \(\square \)
Claim 1
The morphism \(g:P \rightarrow S\) is an isomorphism away from \(\mathrm{V}(I)\).
Proof
It suffices to show that g is isomorphism over \({\mathrm{D}}(f)\) for any \(f\in I\). We note that
as \(A_0 \rightarrow (A_0)_f\) is flat. Therefore, it suffices to show that \((A_0)_f\simeq A_f\) as then
and so g is an isomorphism over \((A_0)_f\). Now (the proof of) [6, Lemma 3.7] implies that the natural map \((A_0)_f \rightarrow A_f\) is an isomorphism. \(\square \)
Claim 2
For any \(i, k\ge 0\), there is c such that \(I^c{\mathrm{H}}^{i+1}(P, I^k{\mathcal {O}}_P)=0\).
Proof
We note that g is quasi-compact and separated, so
Now Claim 1 says that g is an isomorphism over \({\text {Spec}}A_0 \setminus \mathrm{V}(I)\), so since \(i\ge 0\) we have
Since I is finitely generated, this says
As g is projective, Theorem A.5 implies that \({\mathrm{H}}^{i+1}(P, I^k{\mathcal {O}}_P)\) is an FP-approximated \(A_0\)-module. Therefore, Lemma A.2 ensures that for some \(c\ge 0\) we have
i.e., \({\mathrm{H}}^{i+1}(P, I^k{\mathcal {O}}_P)\) is annihilated by \(I^c\). \(\square \)
Notes
This definition differs from [5, Definition 0.8.4.3] as we do not require \(A_0\) to be noetherian outside I.
Then apply the same reasoning to \(A_0\langle \underline{T}\rangle \) and \(A_1\langle \underline{T}\rangle \).
The notation \(J^m\) means the \(A_0\)-submodule of A generated by all m-fold products of elements in J. In particular, \(J^0=A_0\).
Note that \(A_0\) is universally pseudo-adhesive by Theorem 2.16.
We use here that \(r<0\).
References
Bosch. S.: Lectures on formal and rigid geometry, volume 2105 of Lecture Notes in Mathematics. Springer, Cham (2014)
Bourbaki, N.: Commutative algebra. Chapters 1–7. Elements of Mathematics (Berlin). Springer-Verlag, Berlin, Translated from the French, Reprint of the 1989 English translation (1998)
Buzzard, K., Verberkmoes, A.: Stably uniform affinoids are sheafy. J. Reine Angew. Math. 740, 25–39 (2018)
Grothendieck, A.: Éléments de géométrie algébrique. III. Étude cohomologique des faisceaux cohérents. I. Inst. Hautes Études Sci. Publ. Math. (11): 167 (1961)
Fujiwara, K., Kato, F.: Foundations of rigid geometry. I. EMS Monographs in Mathematics. European Mathematical Society (EMS), Zürich (2018)
Huber, R.: Continuous valuations. Math. Z. 212(3), 455–477 (1993)
Huber, R.: A generalization of formal schemes and rigid analytic varieties. Math. Z. 217(4), 513–551 (1994)
Kedlaya, K.: Sheaves, stacks, and shtukas. lecture notes at arizona winter school. http://swc.math.arizona.edu/aws/2017/2017KedlayaNotes.pdf, (2017)
Hansen, D., Kedlaya, K.: Sheafiness criteria for huber rings. https://kskedlaya.org/papers/criteria.pdf (2021)
Scholze, P.: Perfectoid spaces. Publ. Math. Inst. Hautes Études Sci. 116, 245–313 (2012)
Seminar authors, T.L: Stanford learning seminar. https://stacks.math.columbia.edu, 2014–2015
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. FP-Approximated Sheaves
Appendix A. FP-Approximated Sheaves
This section is a summary of the results from [5, Appendix C to Chapter I]. However, some of them were only announced in that Appendix, but no proof was given. Since these results are crucial for our proof of Theorem 3.5, we decided to provide the reader with the proofs in the generality we need in this paper. All main ideas are already present in [5]
For the rest of the appendix, we fix a universally pseudo-adhesive pair (R, I) (see Definition 2.14). In particular, \({\text {Spec}}R\) noetherian outside \(\mathrm{V}(I)\) and I is finitely generated.
We recall that an R-scheme is universally I-adically pseudo-adhesive (or simply universally pseudo-adhesive) if it has a covering by open affines \({\text {Spec}}A_i\) such that each \(A_i\) is I-adically universally pseudo-adhesive (see [5, § 0.8.6] for a more detailed discussion of this notion). Any finite type R-scheme is universally pseudo-adhesive by Remark 2.15. In particular, any quasi-coherent \({\mathcal {O}}_X\)-module of finite type \({\mathcal {F}}\) has bounded I-power torsion, i.e., \({\mathcal {F}}[I^{\infty }]={\mathcal {F}}[I^n]\) for some n.
Let us mention that the main reason to bring in the pseudo-adhesive assumption is to rescue noetherian techniques for non-noetherian situations with suitable finitely generated ideals. For instance, we will need to ensure that a submodule of a finite A-module has some precise finiteness property (Lemma A.3) and its subspace topology coincides with the I-adic topology (Lemma A.10).
Definition A.1
-
(1)
A morphism of \({\mathcal {O}}_X\)-modules \(\varphi :{\mathcal {F}}\rightarrow {\mathcal {G}}\) is a weak isomorphism if \(\mathrm{coker} \varphi \) and \(\ker \varphi \) are annihilated by \(I^n\) for some n.
-
(2)
An FP-approximation of a quasi-coherent \({\mathcal {O}}_X\)-module \({\mathcal {F}}\) is a weak isomorphism \(\varphi :{\mathcal {G}}\rightarrow {\mathcal {F}}\) from a finitely presented \({\mathcal {O}}_X\)-module \({\mathcal {G}}\).
-
(3)
An FP-thickening of a quasi-coherent \({\mathcal {O}}_X\)-module \({\mathcal {F}}\) is a surjective FP-approximation \(\varphi :{\mathcal {G}}\rightarrow {\mathcal {F}}\).
-
(4)
A quasi-coherent \({\mathcal {O}}_X\)-module is FP-approximated if there is an FP-approximation \(\varphi :{\mathcal {G}}\rightarrow {\mathcal {F}}\).
-
(5)
An R-module M is FP-approximated if \({\widetilde{M}}\) is an FP-approximated sheaf on \({\text {Spec}}R\).
Lemma A.2
Let M be an FP-approximated R-module. Then its \(I^{\infty }\)-torsion is bounded, i.e., \(M[I^{\infty }]=M[I^n]\) for some \(n\ge 0\).
Proof
The definition of FP-approximated modules implies that there is a finite type R-submodule \(N\subset M\) such that M/N is killed by \(I^m\) for some m. So we may and do assume that M is an R-finite module. This case follows from the definition of pseudo-adhesive pairs. \(\square \)
Lemma A.3
Let X be a finite type R-scheme. Then
-
(1)
any quasi-coherent \({\mathcal {O}}_X\)-module of finite type admits an FP-thickening,
-
(2)
the category of FP-approximated sheaves is a Weak Serre abelian subcategory of the category of \({\mathcal {O}}_X\)-modules,
-
(3)
Any quasi-coherent sub or quotient sheaf of an FP-approximated \({\mathcal {F}}\) is FP-approximated.
Proof
Part (1) is [5, Proposition I.C.2.2]. Part (2) is [5, Theorem I.C.2.5].
We firstly prove Part (3) for quasi-coherent quotients of \({\mathcal {F}}\). The definition of FP-approximated sheaves easily implies that there is finite type quasi-coherent \({\mathcal {O}}_X\)-submodule \({\mathcal {G}}\subset {\mathcal {F}}\) such that \({\mathcal {F}}/{\mathcal {G}}\) is annihilated by some \(I^n\). Then if \(\pi :{\mathcal {F}}\rightarrow {\mathcal {F}}'\) is a surjective map of quasi-coherent \({\mathcal {O}}_X\)-modules, we define \({\mathcal {G}}' {:}{=}\,\pi ({\mathcal {G}})\). Clearly, \({\mathcal {G}}'\) is a quasi-coherent \({\mathcal {O}}_X\)-module of finite type, and \({\mathcal {F}}'/{\mathcal {G}}'\) is annihilated by \(I^n\). Therefore, Part (1) implies that \({\mathcal {F}}'\) is FP-approximated.
Now if \({\mathcal {F}}'\) is a quasi-coherent subsheaf of \({\mathcal {F}}\), it is clear that \({\mathcal {F}}''{:}{=}\,{\mathcal {F}}/{\mathcal {F}}'\) is quasi-coherent. So \({\mathcal {F}}''\) is FP-approximated by the discussion above. Thus, Part (2) implies that \({\mathcal {F}}'\) is FP-approximated because FP-approximated sheaves are closed under kernels. \(\square \)
Corollary A.4
Let \(i:X \rightarrow Y\) be a closed immersion of finite type R-schemes, and let \({\mathcal {F}}\) be an FP-approximated \({\mathcal {O}}_X\)-module. Then \(i_*{\mathcal {F}}\) is an FP-approximated \({\mathcal {O}}_Y\)-module.
Proof
As \(i_*\) is exact, it suffices to show that the corollary holds for finitely presented \({\mathcal {O}}_X\)-modules. So we may and do assume that \({\mathcal {F}}\) is finitely presented. Then \(i_*{\mathcal {F}}\) is clearly a quasi-coherent \({\mathcal {O}}_X\)-module of finite type. Therefore, it is FP-approximated by Lemma A.3(1). \(\square \)
Now we want to study cohomology groups of FP-approximated sheaves on projective R-schemes. We show that these cohomology are always FP-approximated R-modules, and a certain natural topology on these modules coincides with the I-adic topology. These results were announced in the proper case in [5, Appendix C to Chapter I]. We do not discuss this generalization as the projective case is sufficient for our purposes.
Theorem A.5
Let X be a projective R-scheme, and let \({\mathcal {F}}\) be an FP-approximated \({\mathcal {O}}_X\)-module. Then \({\mathrm{H}}^i(X, {\mathcal {F}})\) is an FP-approximated R-module for any \(i\ge 0\).
Remark A.6
We do not impose the finite presentation assumption on X. The finite presentation version of Theorem A.5 will be inadequate for the purpose of proving Theorem 3.5.
Proof
We firstly reduce to the case \(X={\mathbf {P}}_{R}^n\). Namely, there is a closed immersion \(i :X \rightarrow {\mathbf {P}}^n_R\) as X is projective. Since \(i_*\) is exact, it suffices to show the claim for the sheaf \(i_*{\mathcal {F}}\) that is FP-approximated by Corollary A.4.
Now we argue that \({\mathrm{H}}^i({\mathbf {P}}^n_R, {\mathcal {F}})\) is an FP-approximated R-module by descending induction on i.
We claim that \({\mathrm{H}}^i({\mathbf {P}}^n_R, {\mathcal {F}})=0\) if \(i>n\). Indeed, \({\mathbf {P}}^n_R\) admits the standard affine covering \({\mathcal {U}}=\{U_i\}\) by \(n+1\) opens. So the cohomology groups of any quasi-coherent sheaf can be computed by the alternating Cech complex with respect to that covering. Thus, \({\mathrm{H}}^i({\mathbf {P}}^n_R, {\mathcal {F}})=0\) for any \(i>n\).
Now we do the induction step. Suppose we know the claim for all FP-approximated sheaves \({\mathcal {F}}\) and all \(i>k\), we conclude the statement for \(i=k\). By definition, we can find a weak isomorphism \({\mathcal {G}}\rightarrow {\mathcal {F}}\) with a finitely presented \({\mathcal {O}}_X\)-module \({\mathcal {G}}\). It is clear that morphisms \({\mathrm{H}}^i({\mathbf {P}}^n_R, {\mathcal {G}}) \rightarrow {\mathrm{H}}^i({\mathbf {P}}^n_R, {\mathcal {F}})\) are weak isomorphisms for any i. Thus it suffices to prove the claim for a finitely presented \({\mathcal {O}}_X\)-module \({\mathcal {F}}\).
We invoke the ample line bundle \({\mathcal {O}}_{{\mathbf {P}}^n_R}(1)\) to say that there is always a short exact sequence
for some negative r. Lemma A.3(2) implies that \({\mathcal {F}}'\) is FP-approximated, so \({\mathrm{H}}^i({\mathbf {P}}^n_R, {\mathcal {F}}')\) are FP-approximated for any \(i>k\) by the induction assumption.
Firstly we consider the case \(k=n\). Then we know that \({\mathrm{H}}^{n+1}({\mathbf {P}}^n_R, {\mathcal {F}}')=0\) by the discussion above. So the natural morphism \({\mathrm{H}}^k({\mathbf {P}}^n_R, {\mathcal {O}}_{{\mathbf {P}}^n_R}(r))^m \rightarrow {\mathrm{H}}^k({\mathbf {P}}^n_R, {\mathcal {F}})\) is surjective. This implies that \({\mathrm{H}}^k({\mathbf {P}}^n_R, {\mathcal {F}})\) is a finite R-module by Serre’s computation. Therefore, it is FP-approximated by Lemma A.3(1).
Now suppose that \(k<n\). Then we know that \({\mathrm{H}}^k({\mathbf {P}}^n_R, {\mathcal {O}}_{{\mathbf {P}}^n_R}(r))^m=0\) by Serre’s computationFootnote 5. Therefore, we conclude that the natural map \({\mathrm{H}}^k({\mathbf {P}}^n_R, {\mathcal {F}}) \rightarrow {\mathrm{H}}^{k+1}({\mathbf {P}}^n_R, {\mathcal {F}}')\) is injective. Thus, \({\mathrm{H}}^k({\mathbf {P}}^n_R, {\mathcal {F}})\) is FP-approximated by Lemma A.3(3) and the induction assumption. \(\square \)
Now we try to understand a topology on \({\mathrm{H}}^i(X, {\mathcal {F}})\).
Definition A.7
The natural I-filtration \({\mathrm{F}}^\bullet {\mathrm{H}}^i(X, {\mathcal {F}})\) is
The natural I-topology on \({\mathrm{H}}^i(X, {\mathcal {F}})\) is the topology induced by the filtration \({\mathrm{F}}^\bullet {\mathrm{H}}^i(X, {\mathcal {F}})\).
Remark A.8
Suppose X is a separated quasi-compact R-scheme, \({\mathcal {F}}\) a quasi-coherent \({\mathcal {O}}_X\)-module, and \({\mathcal {U}}=\{U_1, \dots , U_n\}\) an open affine covering of X. Then the natural I-topology on \({\mathrm{H}}^i(X, {\mathcal {F}})\) coincides with the subquotient topology on \({\mathrm{H}}^i(X, {\mathcal {F}})\simeq \check{{\mathrm{H}}}^i({\mathcal {U}}, {\mathcal {F}})\) induced from the I-adic topology on the (alternating) Čech complex \(\check{C}^i({\mathcal {U}}, {\mathcal {F}})\).
Clearly \(I^n {\mathrm{H}}^i(X, {\mathcal {F}}) \subset {\mathrm{F}}^n {\mathrm{H}}^i(X, {\mathcal {F}})\) for any n. These two filtrations on \({\mathrm{H}}^i(X, {\mathcal {F}})\) are usually different, but we claim that the induced topologies are the same for any FP-approximated sheaf \({\mathcal {F}}\) on a projective R-scheme X.
Before proving this claim, we need the following lemma:
Lemma A.9
Let M be an FP-approximated R-module, and \(N\subset M\) be any submodule. The the I-adic topology on M restricts to the I-adic topology on N.
Proof
If M is a finitely generated this is proven in [5, Proposition 0.8.5.6].
Now we deal with the case of any FP-approximated R-module M. Clearly, \(I^nN \subset I^nM\cap N\) for any n. So it suffices to show that, for any n, there is m such that \(I^mM \cap N \subset I^n N\).
We can find a finite R-submodule \(M' \subset M\) such that \(M/M'\) is annihilated by \(I^c\). Then we know that the I-adic topology on \(M'\) restricts to the I-adic topology on \(N'{:}{=}\,M' \cap N\) by the case of finite R-modules. This means that there is an integer p such that \(I^pM' \cap N \subset I^n N'\). Then
So \(m=c+p\) does the job. \(\square \)
Corollary A.10
Let X be a finite type R-scheme, \({\mathcal {F}}\) an FP-approximated sheaf, \({\mathcal {G}}\subset {\mathcal {F}}\) be a quasi-coherent \({\mathcal {O}}_X\)-submodule of \({\mathcal {F}}\). Then, for any n, there is m such that \(I^m{\mathcal {F}}\cap {\mathcal {G}}\subset I^n{\mathcal {G}}\).
Proof
It suffices to assume that X is affine, in which case it follows from Lemma A.9. \(\square \)
Corollary A.11
Let X be a finite type R-scheme, \({\mathcal {G}}\) an FP-approximated sheaf, and \(\varphi :{\mathcal {G}}\rightarrow {\mathcal {F}}\) a weak isomorphism of quasi-coherent \({\mathcal {O}}_X\)-modules. Then, for every \(i\ge 0\), the natural I-topology on \({\mathrm{H}}^i(X, {\mathcal {F}})\) coincides with the topology induced by the filtration
Proof
Consider the short exact sequences
where \({{\mathcal {K}}}\) and \({{\mathcal {Q}}}\) are annihilated by \(I^n\) for some n. The first short exact sequence induced the short exact sequence
for any \(m\ge 0\). Corollary A.10 implies that \({{\mathcal {K}}}\cap I^m{\mathcal {G}}\subset I^n{{\mathcal {K}}}=0\) for large enough m. Therefore, the natural map \(I^m{\mathcal {G}}\rightarrow I^m{{\mathcal {H}}}\) is an isomorphism for large enough m. So we can replace \({\mathcal {G}}\) with \({{\mathcal {H}}}\) to assume that \(\varphi \) is injective [since \({{\mathcal {H}}}\) is FP-approximated by Lemma A.3(3)].
Now clearly \(\mathrm{Fil}_{\mathcal {G}}^k{\mathrm{H}}^i(X, {\mathcal {F}}) \subset {\mathrm{F}}^k{\mathrm{H}}^i(X, {\mathcal {F}})\) for every k. So it suffices to show that, for any k, there m such that \({\mathrm{F}}^m{\mathrm{H}}^i(X, {\mathcal {F}}) \subset \mathrm{Fil}_{\mathcal {G}}^k{\mathrm{H}}^i(X, {\mathcal {F}})\). We consider the short exact sequence
If \(m\ge n\) we get that \({\mathcal {G}}\cap I^m {\mathcal {F}}= I^m{\mathcal {F}}\) because \(I^m{{\mathcal {Q}}}\simeq 0\). Now we use Corollary A.10 to conclude there is \(m\ge n\) such that
Therefore, \({\mathrm{F}}^m{\mathrm{H}}^i(X, {\mathcal {F}}) \subset \mathrm{Fil}_{\mathcal {G}}^k{\mathrm{H}}^i(X, {\mathcal {F}})\). \(\square \)
Lemma A.12
Let X be a finite type R-scheme, \({\mathcal {G}}\) an FP-approximated sheaf, and \({\mathcal {G}}\rightarrow {\mathcal {F}}\) a weak isomorphism of quasi-coherent \({\mathcal {O}}_X\)-modules. Suppose that the natural I-topology on \({\mathrm{H}}^i(X, {\mathcal {G}})\) is the I-adic topology. Then the same holds for \({\mathrm{H}}^i(X, {\mathcal {F}})\).
Proof
Clearly, \(I^n{\mathrm{H}}^i(X, {\mathcal {F}}) \subset {\mathrm{F}}^n{\mathrm{H}}^i(X, {\mathcal {F}})\). So it suffices to show that, for every n, there is an m such that \({\mathrm{F}}^m {\mathrm{H}}^i(X, {\mathcal {F}}) \subset I^n{\mathrm{H}}^i(X, {\mathcal {F}})\).
The assumption that the natural I-topology on \({\mathrm{H}}^i(X, {\mathcal {G}})\) coincides with the I-adic topology guarantees that \({\mathrm{F}}^k{\mathrm{H}}^i(X, {\mathcal {G}}) \subset I^n{\mathrm{H}}^i(X, {\mathcal {G}})\) for large enough k. Pick such k. Corollary A.11 implies that
for large enough m. So we get, for such m, that
for a large enough m. \(\square \)
Theorem A.13
Let X be a projective R-scheme, and \({\mathcal {F}}\) be an FP-approximated \({\mathcal {O}}_X\)-module. Then the natural I-topology on \({\mathrm{H}}^i(X, {\mathcal {F}})\) coincides with the I-adic topology for any i.
The proof follows the idea of the proof of the Formal Function Theorem in rigid geometry. Namely, we give a relatively simple argument in the case I is generated by one element, and then argue by induction on the number of generators. See [1, Proposition6.4/8] for an example of a classical argument of this form. However, it would be nice to give a proof of Theorem A.13 as a formal consequence of Theorem A.5 similar to what happens in [5, Proposition I.8.5.2].
Proof
Step 1. Case of a principal ideal I: Suppose that I is a generated by one element a. Choose a finite open affine covering \(X=\cup _{i=1}^n U_i\) that we denote by \({\mathcal {U}}\). Then we define
to be the (alternating) Cech complex of \({\mathcal {F}}\) with respect to the covering \({\mathcal {U}}\). We note that \(I^nC^\bullet =\check{C}^\bullet ({\mathcal {U}}, I^n{\mathcal {F}})\). So we conclude that
Since the natural I-topology on \({\mathrm{H}}^i(X, {\mathcal {F}})\) is induced from the subspace topology on \(\ker d^i\), it suffices to show subspace topology on \(\ker d^i \subset C^i\) coincides with the I-adic topology. [5, Lemma 0.8.2.14] ensures that it suffices to verify that \(C^i/\ker d^i\) has bounded \(a^\infty \)-torsion. Since \(C^i/\ker d^i\) is naturally a submodule of \(C^{i+1}\), it suffices to justify the claim for \(C^{i+1}\). Now we recall that \(C^{i+1}=\check{C}^{i+1}({\mathcal {U}}, {\mathcal {F}})\), so it suffices to show that \({\mathcal {F}}(U_{j_0}\cap \dots U_{j_{i+1}})\) has bounded \(a^\infty \)-torsion for all possible \(j_0, \dots , j_{i+1}\in [1, n]\). This follows from affinness of each intersection \(U_{j_0}\cap \dots \cap U_{j_{i+1}}\) and Lemma A.2 since \({\mathcal {F}}\) is FP-approximated.
Step 2. The General Case: We argue by induction on the number of generators \(I=(a_1, \dots , a_r)\) over all such \({\mathcal {F}}\). The claim for \(r=1\) was proven in Step 1. So we assume that the claim is known for any \(i<r\) and all such \({\mathcal {F}}\), we show that this implies the claim for r.
Clearly, \(I^n{\mathrm{H}}^i(X, {\mathcal {F}}) \subset {\mathrm{F}}^n{\mathrm{H}}^i(X, {\mathcal {F}})\), so it suffices to show that, for any n, there is an m such that
Lemma A.12 ensures that it suffices to prove the claim under the assumption that \({\mathcal {F}}\) is a quasi-coherent \({\mathcal {O}}_X\)-module of finite type. In particular, \({\mathcal {F}}\) is FP-approximated with respect to \(I_0=(a_1, \dots , a_{r-1})\) and \(a_r\) by Lemma A.3(1). We also note that both pairs \((R, I_0)\) and \((R, a_r)\) are universally pseudo-adhesive.
Indeed, [5, Proposition 0.8.2.16] implies that they satisfy the \(({{\mathbf {B}}}{{\mathbf {T}}})\) property, i.e., any finite R-module M has bounded \(a_r\)-power and \(I_0\)-power torsion. Clearly, \({\text {Spec}}R\) is noetherian outside \(\mathrm{V}(a_r)\) and \(\mathrm{V}(I_0)\) as \((a_r), I_0\subset I\). Applying the same argument to \(R[T_1, \dots , T_d]\) for every d, we get that R is universally \(I_0\)-adically and \(a_r\)-adically pseudo-adhesive. Therefore, the induction hypothesis can be applied to both \((R, I_0)\) and \((R, a_r)\).
Now we consider the short exact sequence
and define
with the topology induced from the natural I-topology on \({\mathrm{H}}^i(X, {\mathcal {F}})\). More precisely, it is topology defined by the filtration
The following two claims finish the proof. \(\square \)
Claim 1
It suffices to show that the topology on \({\mathrm{H}}^i\) coincides with the I-adic topology for any \(k\ge 0\)
Proof
Step 1 justifies that there is d such that \({\mathrm{Im}}\left( {\mathrm{H}}^i\left( X, a_r^d{\mathcal {F}}\right) \rightarrow {\mathrm{H}}^i\left( X, {\mathcal {F}}\right) \right) \subset a_r^n{\mathrm{H}}^i\left( X, {\mathcal {F}}\right) \). Then we use the assumption for \(k=d\) to see that there is m such that
This implies that
So this constructs the desired m. \(\square \)
Claim 2
The topology on \({\mathrm{H}}^i\) coincides with the I-adic topology for any \(k\ge 0\).
Proof
Clearly, \({\mathrm{F}}^n{\mathrm{H}}^i \subset I^n{\mathrm{H}}^i\). Thus, we only need to show that, for any n, there is m such that \({\mathrm{F}}^m{\mathrm{H}}^i \subset I^n{\mathrm{H}}^i\). Now we note that the \(I_0\)-adic topology on \({\mathrm{H}}^i\) coincides with the I-adic topology on \({\mathrm{H}}^i\). Therefore, it suffices to show that, for any n, there is m such that
Now Theorem A.5 implies that \({\mathrm{H}}^i(X, {\mathcal {F}}/a^k_r{\mathcal {F}})\) is an FP-approximated module for the pair \((R, I_0)\). Therefore, \({\mathrm{H}}^i\) is also FP-approximated as a submodule of an FP-approximated module \({\mathrm{H}}^i(X, {\mathcal {F}}/a^k_r{\mathcal {F}})\). Now Lemma A.9 says that the subspace topology on \({\mathrm{H}}^i\) coincides with the \(I_0\)-adic topology. Thus, it suffices to show that, for any n, there is m such that
However, there is an evident inclusion
Now we invoke the induction hypotheses to say that the natural \(I_0\)-adic topology on \({\mathrm{H}}^i(X, {\mathcal {F}}/a_r^k{\mathcal {F}})\) coincides with the \(I_0\)-adic topology in \({\mathrm{H}}^i(X, {\mathcal {F}}/a_r^k{\mathcal {F}})\). This, in turn, implies that there is m such that
\(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zavyalov, B. Sheafiness of strongy rigid-noetherian huber pairs. Math. Ann. 386, 1305–1324 (2023). https://doi.org/10.1007/s00208-022-02422-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-022-02422-8