Continuous K-Theory and Cohomology of Rigid Spaces

We establish a connection between continuous K-theory and integral cohomology of rigid spaces. Given a rigid analytic space over a complete discretely valued field, its continuous K-groups vanish in degrees below the negative of the dimension. Likewise, the cohomology groups vanish in degrees above the dimension. The main result provides the existence of an isomorphism between the lowest possibly non-vanishing continuous K-group and the highest possibly non-vanishing cohomology group with integral coefficients. A key role in the proof is played by a comparison between cohomology groups of an admissible Zariski-Riemann space with respect to different topologies; namely, the rh-topology which is related to K-theory as well as the Zariski topology whereon the cohomology groups in question rely.

1. INTRODUCTION The negative algebraic K-theory of a scheme is related to its singularities.If X is a regular scheme, then K −i (X ) vanishes for i > 0. For an arbitrary noetherian scheme X of dimension d we know that K −d (X ) ≅ H d cdh (X ; Z).The affine case of (i) was a question of Weibel [Wei80, 2.9] who proved (i) and (ii) for d ≤ 2 [Wei01, 2.3, 2.5, 4.4].For varieties in characteristic zero (i)-(iii) were proven by Cortiñas-Haesemeyer-Schlichting-Weibel [CHSW08] and the general case is due to Kerz-Strunk-Tamme [KST18].As an example for the lowest possibly non-vanishing group K −d (X ), the cusp C = {y 2 = x 3 } over a field has K −1 (C) = 0 whereas the node N = {y 2 = x 3 + x 2 } over a field (of characteristic not 2) has K −1 (N) = Z; more generally, for a nice curve the rank is the number of loops [Wei01,2.3].The main result of this article are analogous statements of (i)-(iii) for continuous K-theory of rigid analytic spaces in the sense of Morrow [Mor16].
There is a long history of versions of K-theory for topological rings that take the topology into account.For instance, the higher algebraic K-groups of a ring A can be defined via the Address: Mathematisches Institut, Im Neuenheimer Feld 205, 69120 Heidelberg, Germany.Email: cdahlhausen@mathi.uni-heidelberg.deORCID-ID: 0000-0002-0478-969X .
where X berk is the Berkovich space associated with X .
If X is smooth over k or the completion of a k-scheme of finite type, then there is an isomorphism H d (X berk ; Z) ≅ H d sing (X berk ; Z) with singular cohomology by results of Berkovich [Ber99] and Hrushovski-Loeser [HL16].The identification of Corollary B is very helpful since it is hard to actually compute K-groups whereas the cohomology of Berkovich spaces is amenable for computations.For instance, the group H d (X berk ; Z) is finitely generated since X berk has the homotopy type of a finite CWcomplex; such a finiteness statement is usually unknown for K-theory.
An important tool within the proof of Theorem A is the admissible Zariski-Riemann space ⟨X ⟩ U which we will associate, more generally, with every quasi-compact and quasi-separated scheme X with open subscheme U.The admissible Zariski-Riemann space ⟨X ⟩ U is given by the limit of all U-modifications of X in the category of locally ringed spaces (Definition 3.1).
In our case of interest where A is a reduced affinoid algebra and A ○ is its open subring of power-bounded elements, then we will set X = Spec(A ○ ) and U = Spec(A).We shall relate its Zariski cohomology to the cohomology with respect to the so-called rh-topology, i.e. the minimal topology generated by the Zariski topology and abstract blow-up squares (Definition A.2).
To every topology τ on the category of schemes (e.g.Zar, Nis, rh, cdh), there is a corresponding appropriate site Sch τ (⟨X ⟩ U ) for the admissible Zariski-Riemann space (Definition 4.10).We show the following statement which is later used in the proof of Theorem A and which is the main new contribution of this article.
Theorem C (Theorem 4.16).For every constant abelian rh-sheaf F on Sch(⟨X ⟩ U ) the canonical map is an isomorphism.In particular, colim where Mdf(X ,U) is the category of all U-modifications of X and X ′ ∖ U is equipped with the reduced scheme structure.The same statement also holds if one replaces 'Zar' by 'Nis' and 'rh' by 'cdh'.
We also show an rh-version of a cdh-result of Kerz-Strunk-Tamme [KST18,6.3].This is not a new proof but the observation that the analogous proof goes through.The statement will enter in the proof of Theorem A.
Theorem D (Theorem A.15).Let X be a finite dimensional noetherian scheme.Then the canonical maps of rh-sheaves with values in spectra on Sch X L rh K ≥0 → L rh K → KH are equivalences.
Proofsketch for the main result.We shall briefly sketch the proof of Theorem A(iii) in the affinoid case (Theorem 6.1).For every reduced affinoid algebra A and every model X ′ → Spec(A ○ ) over the subring A ○ of power-bounded elements with pseudo-uniformiser π there exists a fibre sequence [KST19, 5.8] (⋆) K(X ′ on π) → K cont (X ′ ) → K cont (A).Now let us for a moment assume that A is regular and that resolution of singularities is available so that we could choose a regular model X ′ whose special fibre X ′ π is simple normal crossing.In this case, K(X ′ on π) vanishes in negative degrees and hence we have where (1) follows from K cont −i (X ′ on π) = 0 for i > 0, (2) from nil-invariance of K-theory in degrees ≥ d (Lemma 6.3), and (3) is (iii) above resp.[KST18, Cor.D].Let (D i ) i∈I be the irreducible components of X ′ π.As X ′ π is simple normal crossing, all intersections of the irreducible components are regular, hence their cdh-cohomology equals their Zariski cohomology which is Z concentrated in degree zero; hence H d cdh (X ′ π; Z) can be computed by the Čech nerve of the cdh-cover D ∶= ⊔ i∈I D i → X π.On the other hand, the Berkovich space Spb(A) associated with A is homotopy equivalent to its skeleton which is homeomorphic to the intersection complex ∆(D) [Nic14, 2.4.6, 2.4.9].Putting these together yiels K cont In the general case where X ′ is an aribtrary model, we have do proceed differently.For n < 0 and α ∈ K n (X ′ on π) there exists by Raynaud-Gruson's platification par éclatement an admissible blow-up X ′′ → X ′ such that the pullback of α vanishes in K n (X ′′ on π) [Ker18,7].In the colimit over all models this yields that K cont and the latter is isomorphic to H d rh (⟨A 0 ⟩ A π; Z) via a descent spectral sequence argument (Theorem A.20).Using Theorem C (Theorem 4.16) we can pass to Zariski cohomology.Now the result follows from identifying ⟨A ○ ⟩ A with the adic spectrum Spa(A, A ○ ) (Theorem 5.8).

Leitfaden.
In section 2 we recall the definition of and some basic facts about continuous Ktheory.Then we introduce admissible Zariski-Riemann spaces in section 3 and we establish a comparison between their rh-cohomology and their Zariski cohomology (Theorem 4.16) in section 4. Subsequently we recall the connection between formal Zariski-Riemann spaces and adic spaces in section 5; this causes the adic spaces showing up in the main result.In section 6 we prove the main result in the affine case (Theorem 6.1).In section 7 we present, following Morrow, a global version of continuous K-theory and in section 8 we prove the main result in the global case (Theorem 8.8).Finally, there is an Appendix A about the rh-topology and rh-versions of results for the cdh-topology.
Notation.Discrete categories are denoted by upright letters whereas genuine ∞-categories are denoted by bold letters.We denote by Spc the ∞-category of spaces [Lur09, 1.2.16.1] and by Sp the ∞-category of spectra [Lur17, 1.4.3.1].Given a scheme X we denote by Sch X the category of separated schemes of finite type over X .If X is noetherian, then every scheme in Sch X is noetherian as well.
Acknowledgements.This article is a condensed version of my PhD thesis.I am thankful to my advisors Moritz Kerz and Georg Tamme for their advise and their constant support.I thank Johann Haas for many helpful discussions on the subject and Florent Martin for explaining to me Berkovich spaces and their skeleta.Concerning the expositon, I thank my thesis' referees Moritz Kerz and Matthew Morrow for their feedback as well as Georg Tamme for helpful comments on a draft of the present paper.Conflict of interest statement.The author states that there is no conflict of interest.

CONTINUOUS K-THEORY FOR TATE RINGS
In this section we recall the definition of continuous K-theory as defined by Morrow [Mor16] and further studied by Kerz-Saito-Tamme [KST19].
For i ∈ Z we denote by K i (X ) and K i (A) the i-th homotopy group of K(X ) and K(A), respectively.
Remark 2.2.For a scheme X the homotopy category Ho(Perf(X )) is equivalent to the derived category of perfect complexes Perf(X ) and the K-theory spectrum K(X ) is equivalent to the one constructed by §3].Every relevant scheme in this article is quasi-projective over an affine scheme, hence admits an ample family of line bundles.Thus K-theory can be computed in terms of the category Vec(X ) of vector bundles (i.e.locally free O X -modules).In view of Bass' Fundamental Theorem, for n ≥ 1 the group K −n (X ) is a quotient of K 0 (X × G n m ) wherein elements coming from K 0 (X × A n ) vanish.
In order to define continous K-theory for adic rings, we give some reminders about adic rings and pro-objects.
Reminder 2.3.Let A 0 be be a ring and let I be an ideal of A 0 .Then the ideals (I n ) n≥0 form a basis of neighbourhoods of zero in the so-called I-adic topology.An adic ring is a topological ring A 0 such that its topology coincides with the I-adic topology for some ideal I of A 0 .We say that I is an ideal of definition.Note that adic rings have usually more than one ideal of definition.If the ideal I is finitely generated, the completion Â0 is naturally isomorphic to the limit lim n≥1 A 0 I n .Reminder 2.4.We briefly recall the notion of pro-objects and, in particular, of pro-spectra.For proofs or references we refer to Kerz-Saito-Tamme [KST19,§2].
Given an ∞-category C which is assumed to be accessible and to admit finite limits, one can built its pro-category Pro(C) = Fun lex,acc (C, Spc) op   where Fun lex,acc (C, Spc) is the full subcategory of Fun(C, Spc) consisting of functors which are accessible (i.e.preserve κ-small colimits for some regular cardinal number κ) and left-exact (i.e.commute with finite limits).The category Pro(C) has finite limits and, if C has, also finite colimits which both can be computed level-wise.If C is stable, then also Pro(C) is.
As a matter of fact, a pro-object in C can be represented by a functor X ∶ I → C where I is a small cofiltered ∞-category.In this case, we write "lim" i∈I X i for the corresponding object in Pro(C).In our situations, the index category I will always be the poset of natural numbers N.
Our main example of interest is the category Pro(Sp) of pro-spectra whereas we are interested in another notion of equivalence.For this purpose, let ι∶ Sp + ↪ Sp be the inclusion of the full stable subcategory spanned by bounded above spectra (i.e. whose higher homotopy groups eventually vanish).The induced inclusion Pro(ι)∶ Pro(Sp + ) ↪ Pro(Sp) is right-adjoint to the restriction functor ι * ∶ Pro(Sp) → Pro(Sp + ).
A map X → Y of pro-spectra is said to be a weak equivalence iff the induced map ι * X → ι * Y is an equivalence in Pro(Sp + ).This nomenclature is justified by the fact that the map X → Y is a weak equivalence if and only if some truncation is an equivalence and the induced map on pro-homotopy groups are pro-isomorphisms.Similarly, one defines the notions of weak fibre sequence and weak pullback.Definition 2.5.Let A 0 be a complete I-adic ring for some ideal I of A 0 .The continuous K-theory of A 0 is defined as the pro-spectrum where K is nonconnective algebraic K-theory (Definition 2.1).This is independent of the choice of the ideal of definition.
Definition 2.6.A topological ring A is called a Tate ring if there exists an open subring A 0 ⊂ A which is a complete π-adic ring (i.e. it is complete with respect to the (π)-adic topology) for some π ∈ A 0 such that A = A 0 [π −1 ].We call such a subring A 0 a ring of definition of A and such an element π a pseudo-uniformiser.A Tate pair (A, A 0 ) is a Tate ring together with the choice of a ring of definition and a Tate triple (A, A 0 , π) is a Tate pair together with the choice of a pseudo-uniformiser. 2 Example 2.7.Every affinoid algebra A over a complete nonarchimedean field k is a Tate ring.
One can take A 0 to be those elements x which have residue norm x α ≤ 1 with respect to some presentation k⟨t 1 , . .., t n ⟩ α ↠ A and any π ∈ k with π < 1 is a pseudo-uniformiser.Definition 2.8.Let (A, A 0 , π) be a Tate triple.We define the continuous K-theory K cont (A) of A as the pushout Remark 2.9.In the situation of Definition 2.8 we obtain a fibre sequence ] for another complete λ-adic ring A ′ 0 , one obtains a weakly equivalent pro-spectrum, i.e. there is a zig-zag of maps inducing pro-isomorphisms on pro-homotopy groups [KST19, Prop.5.4].
For regular rings algebraic K-theory vanishes in negative degrees.For continuous K-theory this may not be the case since it sees the reduction type of a ring of definition.
Example 2.10.Let (A, A 0 ) be a Tate pair.By definition there is an exact sequence . . .

If both
A and A 0 are regular, it follows that K cont ) due to nilinvariance of negative algebraic K-theory (which follows from nilinvariance of K 0 [Wei13, II.Lem.2.2] and the definition of negative K-theory in terms of K 0 [Wei13, III.Def.4.1]).Now let k be a discretely valued field and let π ∈ k ○ be a uniformiser.(i) If A ≅ k⟨x, y⟩ (x 3 − y 2 + π), we can choose A 0 ∶= k ○ ⟨x, y⟩ (x 3 − y 2 + π) so that both A and A 0 are regular.The reduction For the reader's intuition we state some properties of continuous K-theory.
(iii) Continuous K-theory satifies an analytic version of Bass Fundamental Theorem; more precisely, for i ∈ Z there is an exact sequence  There are not always rings of definition which behave nice enough so that we will have to deal with other models which may not be affine.Hence we define similarly to Definition 2.8 the following.Definition 2.12.Let X be a scheme over a π-adic ring A 0 .Its continuous K-theory is Proposition 2.13 (Kerz-Saito-Tamme [KST19, 5.8]).Let (A, A 0 , π) be a Tate triple such that A 0 is noetherian and let X → Spec(A 0 ) be an admissible blow-up, i.e. a proper morphism which is an isomorphism over Spec(A).Then there exists a weak fibre sequence For a more detailed account of continuous K-theory we refer the reader to [KST19, §6].

ADMISSIBLE ZARISKI-RIEMANN SPACES
Using a regular model X ′ of a regular affinoid algebra A makes the fibre sequence (Proposition 2.13) much easier as the left-hand term vanishes in negative degrees, cf. the proofsketch for the main result (p.3).Unfortunately, resolution of singularities is not available at the moment in positive characteristic.A good workaround for this inconvenience is to work with a Zariski-Riemann type space which is defined as the inverse limit of all models, taken in the category of locally ringed spaces.This is not a scheme anymore, but behaves in the world of K-theory almost as good as a regular model does.For instance K cont n (A) ≅ K cont n (⟨A 0 ⟩ A ) for negative n where ⟨A 0 ⟩ A is the admissible Zariski-Riemann space associated with A (Definition 3.6).
The key part of this article is a comparison of rh-cohomology and Zariski cohomology for admissible Zariski-Riemann spaces (Theorem 4.16).Furthermore, we will see later that Zariski-Riemann spaces for formal schemes are closely related to adic spaces (Theorem 5.8).
Notation.In this section let X be a reduced quasi-compact and quasi-separated scheme and let U be a quasi-compact open subscheme of X .Definition 3.1.A U-modification of X is a projective morphism X ′ → X of schemes which is an isomorphism over U. Denote by Mdf(X ,U) the category of U-modifications of X with morphisms over X .We define the U-admissible Zariski-Riemann space of X to be the limit in the category of locally ringed spaces; it exists due to [FK18, ch.0, 4.1.10].
Lemma 3.2.The underlying topological space of ⟨X ⟩ U is coherent and sober and for any X Proof.This is a special case of [FK18, ch.0, 2.2.10].
The notion of a U-admissible modification is quite general.However, one can restrict to a more concrete notion, namely U-admissible blow-ups.Definition 3.3.A U-admissible blow-up is a blow-up Bl Z (X ) → X whose centre Z is finitely presented and contained in X ∖U.Denote by Bl(X ,U) the category of U-admissible blow-ups with morphisms over X .
Proposition 3.4.The inclusion Bl(X ,U) ↪ Mdf(X ,U) is cofinal.In particular, the canonical morphism is an isomorphism of locally ringed spaces.
Proof.Since a blow-up in a finitely presented centre is projective and an isomorphism outside its centre, Bl(X ,U) lies in Mdf(X ,U).On the other hand, every U-modification is dominated by a U-admissible blow-up [Tem08, Lem.2.1.5].Hence the inclusion is cofinal and the limits agree. 4 Lemma 3.5.The full subcategory Mdf red (X ,U) spanned by reduced schemes is cofinal in Mdf(X ,U).
Proof.As U is reduced by assumption, the map The remainder of this section is merely fixing notation for the application of admissible Zariski-Riemann spaces to the context of Tate rings.Definition 3.6.Let (A, A 0 , π) be a Tate triple (Definition 2.6).Setting X = Spec(A 0 ) and U = Spec(A), we are in the situation of Definition 3.1.For simplicity we denote Adm(A 0 ) ∶= Mdf(Spec(A), Spec(A 0 )) and call its objects admissible blow-ups.Furthermore, we call the locally ringed space X the admissible Zariski-Riemann space associated to the pair (A, A 0 ).Remark 3.7.The admissible Zariski-Riemann space ⟨A 0 ⟩ A depends on the choice of the ring of definition A 0 .However, if B 0 is another ring of definition, then also the intersection C 0 ∶= A 0 ∩ B 0 is.Hence we get a cospan which is compatible with the inclusions of Spec(A) into these.Hence every admissible blow-up X → Spec(C 0 ) induces by pulling back an admissible blow-up X A 0 → Spec(A 0 ) and a morphism X → X A 0 .Precomposed with the canonical projections we obtain a map ⟨A 0 ⟩ A → X .Hence the universal property yields a morphism ⟨A 0 ⟩ A → ⟨C 0 ⟩ A .The same way, we get a morphism ⟨B 0 ⟩ A → ⟨C 0 ⟩ A .One checks that the category of all admissible Zariski-Riemann spaces associated with A is filtered.

COHOMOLOGY OF ADMISSIBLE ZARISKI-RIEMANN SPACES
This section is the heart of this article providing the key ingredient for the proof of our main result; namely, a comparison of Zariski cohomology and rh-cohomology for admissible Zariski-Riemann spaces (Theorem 4.16).This will be done in two steps passing through the biZariski topology.
Definition 4.1.Let S be a noetherian scheme.The biZariski topology is the topology generated by Zariski covers as well as by closed covers, i.e. covers of the form {Z i → X } i where X ∈ Sch S and the Z i are finitely many jointly surjective closed subschemes of X .This yields a site Sch biZar S . 4Cf. the proof of Lemma A.13.
Lemma 4.2.The points on the biZariski site (in the sense of Goodwillie-Lichtenbaum [GL01,§2]) are precisely the spectra of integral local rings.
Proof.This follows from the fact that local rings are points for the Zariski topology and integral rings are points for the closed topology [GK15].
Lemma 4.3.Let X be a noetherian scheme.The cover of X by its irreducible components refines every closed cover.
Proof.Let (X i ) i be the irreducible components of X with generic points η i ∈ X i .Let X = ⋃ α Z α be a closed cover.For every i there exists an α such that it is enough to show that the higher images R q u * A vanish for q > 0. We know that R q u * A is the Zariski sheaf associated with the presheaf and that its stalks are given by H q biZar (X ; A) for X a local scheme (i.e. the spectrum of a local ring).As the biZariski sheafification of R q u * A is zero and using Lemma 4.3, we see that H q biZar (X ; A) = 0 for every irreducible local scheme X .For a general local scheme X we can reduce to the case where X is covered by two irreducible components Z 1 and Z 2 .
First, let q = 1.We have an exact Mayer-Vietoris sequence Since local schemes are connected, the map α is surjective, hence ∂ = 0 and the second line remains exact with a zero added on the left.Thus H 1 biZar (X ; A) = 0 for any local scheme, hence R 1 u * A vanishes.For q > 1 we proceed by induction.Let 0 → A → I → G → 0 be an exact sequence of biZariski sheaves such that I is injective.This yields a commutative diagram with exact rows and columns Being a closed subscheme of a local scheme, Z 1 ∩Z 2 is also a local scheme.By the case q = 1, the group H 1 biZar (Z 1 ∩ Z 2 ; A) vanishes.Hence the map β is surjective.Using the analogous Mayer-Vietoris sequence (∆) above for G instead of A, we can conclude that Going on, we get the desired vanishing of R q u * A for every q > 0.
The remainder of the sections deals with the rh-topology defined by Goodwillie-Lichtenbaum [GL01].We freely use results which are treated in a more detailed way in Appendix A.
Definition 4.6.An abstract blow-up square is a cartesian diagram of schemes where Z → X is a closed immersion, X → X is proper, and the induced morphism X ∖ E → X ∖ Z is an isomorphism.For any noetherian scheme S, the rh-topology on Sch S is the topology generated by Zariski squares and covers {Z → X , X → X } for every abstract blow-up square (abs) as well as the empty cover of the empty scheme.
Notation.For the rest of this section, let X be a reduced quasi-compact and quasiseparated scheme and let U be a quasi-compact dense open subscheme of X .We denote by Z the closed complement equipped with the reduced scheme structure.
Definition 4.7.For any morphism p∶ X ′ → X we get an analogous decomposition By abuse of nomenclature, we call X Z the special fibre of X ′ and X U the generic fibre of X ′ .An (abstract) admissible blow-up of U over X .In particular, one obtains an abstract blow-up square At the end of this section, we will see that the Zariski cohomology and the rh-cohomology on the Zariski-Riemann space coincide for constant sheaves (Theorem 4.16).The following proposition will be used in the proof to reduce from the rh-topology to the biZariski topology.Proposition 4.8.Assume X to be noetherian and let X ′ ∈ Sch X .Then for every proper rhcover of the special fibre X ′ Z there exists an admissible blow-up X ′′ → X ′ such that the induced rh-cover of X ′′ Z can be refined by a closed cover.
Proof.We may assume that X ′ is reduced.Every proper rh-cover can be refined by a birational proper rh-cover (Lemma A.6). Thus a cover yields a blow-up square which can be refined by an honest blow-up square e. an abstract blow-up square where Y ′ = Bl V ′ (X ′ Z ) (Lemma A.13).We consider the honest blow-up square which is an admissible blow-up as V ′ ⊆ X ′ Z and decomposes into two cartesian squares where all the horizontal maps are closed immersions.By functoriality of blow-ups, we obtain a commutative diagram wherein both horizontal maps are closed immersions and the right vertical map is an isomorphism by the universal property of the blow-up.Thus Bl V ′′ (X ′′ Z ) → X ′′ Z is a closed immersion [GW10, Rem.9.11].Functoriality of blow-ups yields a commutative square By the universal property of the pullback, there exists a unique map Bl To sum up, we have shown that the pullback of the proper rh-cover Z which was to be shown.
Given a topology on (some appropriate subcategory of) the category of schemes, we want to have a corresponding topology on admissible Zariski-Riemann spaces.For this purpose, we will work with an appropriate site.
Remark 4.9.Let τ be a topology on the category Sch X .It restricts to a topology on the category Sch qc X of quasi-compact X -schemes.One obtains compatible topologies on the slice categories Sch qc Definition 4.10.Consider the category Sch qc (⟨X ⟩ U ) ∶= colim More precisely, the set of objects is the set of morphisms of schemes Y ′ → X ′ for some X ′ ∈ Mdf(X ,U).The set of morphisms between two objects Y ′ → X ′ and Y ′′ → X ′′ is given by where X runs over all modifications X ∈ Mdf(X ,U) dominating both X ′ and X ′′ .Analogously, define the category where the X ′ ∖U are equipped with the reduced scheme structure.
Definition 4.11.Let Y ′ → X ′ be an object of Sch qc (⟨X ⟩ U ).We declare a sieve R on Y ′ to be a τ-covering sieve of Y ′ → X ′ iff there exists a U-modification p∶ X ′′ → X ′ such that the pullback sieve p * R lies in τ(Y ′ × X ′ X ′′ ).Analogously we define τ-covering sieves in Sch qc (⟨X ⟩ U ∖U).
Lemma 4.12.The collection of τ-covering sieves in Definition 4.11 defines topologies on the categories Sch qc (⟨X ⟩ U ) and Sch qc (⟨X ⟩ U ∖U) which we will refer to with the same symbol τ.
Proof.This follows immedeately from the construction.
Remark 4.13.In practice, for working with the site (Sch qc (⟨X ⟩ U ), τ) it is enough to consider τ-covers in the category Sch qc X and identifying them with their pullbacks along U-modifications.
Caveat 4.14.The category Sch qc (⟨X ⟩ U ) is not a slice category, i.e. a scheme Y together with a morphism of locally ringed spaces Y → ⟨X ⟩ U does not necessarily yield an object of Sch qc (⟨X ⟩ U ).Such objects were studied e.g. by Hakim [Hak72].In contrast, an object of Sch qc (⟨X ⟩ U ) is given by a scheme morphism Y → X ′ for some X ′ ∈ Mdf(X ,U) and it is isomorphic to its pullbacks along admissible blow-ups.
In the proof of the main theorem we will need the following statement which follows from the construction of our site.Proposition 4.15.Let F be a constant sheaf of abelian groups on Sch qc (⟨X ⟩ U ). Then the canonical morphism colim is an isomorphism.Analogously, if F is a constant sheaf of abelian groups on Sch qc (⟨X ⟩ U ∖U), then the canonical morphism colim Proof.This is a special case of [Sta19, Tag 09YP] where the statement is given for any compatible system of abelian sheaves.
Theorem 4.16.For any constant sheaf F on Sch qc rh (⟨X ⟩ U ), the canonical map Proof.By construction, any rh-cover of ⟨X ⟩ U ∖U is represented by an rh-cover of X ′ Z for some Z where p is a proper rh-cover and q is a Zariski cover (Proposition A.14).The rh-cover Ỹ → X ′ Z is given by Y ′ ⊔ V ′ → X for an abstract blow-up square This is the situation of Proposition 4.8.Thus there exists an admissible blow-up X ′′ → X ′ and a refinement Z of the pulled back cover which consists of two closed immersions.Hence we have refined our given cover of ⟨X ⟩ U ∖U by a composition of a Zariski cover and a closed cover which yields a bi-Zariski cover.This implies that H * rh (⟨X ⟩ U ∖ U; F) equals H biZar (⟨X ⟩ U ∖U; F).Now the assertion follows from Lemma 4.5.
Corollary 4.17.For any constant sheaf F, we have colim Proof.This is a formal consequence of the construction of the topology on Sch qc (⟨X ⟩ U ) since the cohomology of a limit site is the colimit of the cohomologies [Sta19, Tag 09YP].

FORMAL ZARISKI-RIEMANN SPACES AND ADIC SPACES
In this section we deal with Zariski-Riemann spaces which arise from formal schemes.According to a result of Scholze they are isomorphic to certain adic spaces (Theorem 5.8).This identification is used in the proof of the main theorem (Theorem 6.1) to obtain the adic spectrum Spa(A, A ○ ) in the statement.We start with some preliminaries on formal schemes; for a detailled account of the subject we refer to Bosch's lecture notes [Bos14, pt.II].
Notation.In this section, let R be a ring of one of the following types (cf.[Bos14, §7.3]): (V) R is an adic valuation ring with finitely generated ideal of definition I. Definition 5.1.For a scheme X over Spec(R) we denote by X its associated formal scheme colim n X I n over Spf(R).A formal scheme which is isomorphic to some X is called algebraic.
Setting U ∶= X ∖ X I, for every U-admissible blow-up X ′ → X the induced morphism of X ′ → X is an admissible formal blow-up [Abb10, 3.1.3].An admissible formal blow-up X ′ → X of an algebraic formal scheme is called algebraic whenever it is induced from a U-admissible blow up of X .
(i) Any quasi-affine formal scheme is algebraic.Indeed, an affine formal scheme Spf(A 0 ) is isomorphic to the formal completion of Spec(A 0 ).The quasi-affine case is Lemma 5.5 below.
(ii) For a nonarchimedean field k, every projective rigid k-space has an algebraic model.In fact, any closed subspace of the rigid analytic space P n,an k is the analytification of a closed subspace of P n k by a GAGA-type theorem [FvdP04,4.10.5].Since P n,an k can be obtained by glueing n + 1 closed unit discs B n k = Spm(k⟨t 1 , . .., t n ⟩) along algebraic maps [FvdP04,4.3.4], the rigid space P n,an k is (isomorphic to) the generic fibre of the formal completion (P n k ○ ) ∧ of the k ○ -scheme P n k ○ ; this argument also holds for closed subspaces.Hence every projective rigid k-space has an algebraic model.Lemma 5.3.Let X be an R-scheme locally of finite type.Assume that R is of type (N) or that X is without I-torsion (e.g.flat over R).Then every admissible formal blow-up of X is algebraic.
Proof.If R is of type (N), then R⟨t 1 , . .., t n ⟩ is noetherian [Bos14, §7.3 Rem.1] so that X is locally of topologically finite presentation.If X is without I-torsion, then X is locally of topologically finite presentation [Bos14, §7.3, Cor.5].Hence in both cases the notion of an admissible formal blow-up [Bos14, §8.2, Def.3] is defined.Set X I ∶= X × Spec(R) Spec(R I) and let I be the ideal sheaf of O X defining X I. Let X ′ → X be an admissible formal blow-up defined by an open ideal A of O X .In particular, there exists an n ∈ N such that I n O X ⊂ A. Let Z n ∶= X I n be the closed subscheme of X defined by I n .This yields a surjective map Lemma 5.4.For every R-algebra A 0 , the family Spf(A 0 ⟨f −1 ⟩ f ∈A 0 is a basis of the topology of Spf(A 0 ).

Proof. The family (Spec(A
forms a basis of the topology of Spec(A 0 ).Topologically, Spf(A 0 ) is a closed subspace of Spec(A 0 ).Thus the induced family Spec(A 0 ). Hence we are done.
Lemma 5.5.Every admissible formal blow-up of a quasi-affine admissible formal scheme is algebraic.
Proof.Let j∶ U ↪ X = Spf(A 0 ) be the inclusion of an open formal subscheme.and let U ′ → U be an admissible formal blow-up defined by a coherent open ideal In particular, U ′ → U extends to an admissible formal blow-up X ′ → X .By Lemma 5.3, this blow-up comes from an admissible blow-up p∶ X ′ → X = Spec(A 0 ).By Lemma 5.4, we can write which finishes the proof.
Definition 5.6.For a formal scheme X locally of topologically finite presentation over R its associated formal Zariski-Riemann space is defined to be the limit in the category of locally topologically ringed spaces where Adm(X ) denotes the category of all admissible formal blow-ups of X .
Lemma 5.7.Assume that the ideal ideal I is principal, say generated by π.Let X be an R-scheme locally of finite type.Assume that R is of type (N) or that X is without π-torsion (e.g.flat over R).Then its formal completion X is homeomorphic to the special fibre X π = Lemma 6.3 below and Theorem A.20 yield colim where the last isomorphism uses that d = dim(X π) if X ∈ Adm(A ○ ) is reduced.Corollary 4.17 says that colim The Zariski cohomology is just ordinary sheaf cohomology.The latter one commutes with colimits of coherent and sober spaces with quasi-compact transition maps [FK18, ch.0, 4.4.1].
Since the admissible Zariski-Riemann space is such a colimit we obtain colim where the right-hand side is sheaf cohomology.Finally we get that since the admissible Zariski-Riemann space ⟨A ○ ⟩ A is homeomorphic to the formal Zariski-Riemann space ⟨Spf(A ○ )⟩ (Lemma 5.7) which is isomorphic to the adic spectrum Spa(A, A ○ ) (Theorem 5.8).
Lemma 6.3.Let Y be a noetherian scheme of finite dimension d.Then for n ≥ d we have Proof.This follows by using the Zariski-descent spectral sequence and nilinvariance of negative algebraic K-theory for affine schemes.

CONTINOUS K-THEORY FOR RIGID SPACES
In this section we see that continuous K-theory, as defined for algebras in Definition 2.8, satisfies descent and hence defines a sheaf of pro-spectra for the admissible topology.The result and its proof are due to Morrow [Mor16]; we present here a slightly different argument.For the general theory on rigid k-spaces we refer the reader to Bosch's lecture notes [Bos14, pt.I].
Notation.In this section let k be a complete discretely valued field with valuation ring k ○ and uniformiser π.This implies that the ring k ○ is noetherian.For an affinoid k-algebra A denote by Spm(A) its associated affinoid k-space [Bos14, §3.2]. 6Denote by FSch k ○ the category of formal schemes over k ○ and by FSch lft k ○ its full subcategory of formal schemes that are locally finite type over k ○ ; we consider these as sites equipped with the Zariski-topology.Lemma 7.1.Let X be a formal scheme over k ○ which is assumed to be covered by two open formal subschemes X 1 and X 2 .Setting X 3 ∶= X 1 ∩ X 2 we obtain a cartesian square in the category Pro(Sp). 6Bosch uses the notation Sp(A).
Proof.For every n ≥ 1, the special fibre X π n is covered by X 1 π n and X 2 π n with intersection X 3 π n .Applying algebraic K-theory one obtains cartesian squares by Zariski descent.Now the claim follows as finite limits in the pro-category can be computed levelwise (Reminder 2.4).
Corollary 7.2.The presheaf K cont on the site FSch k ○ is a sheaf of pro-spectra and satisfies Proof.This is a standard consequence for topologies which are induced by cd-structures [AHW17, Thm.3.2.5].
Proof.We note that the definition of the ring A 3 is independent of the choices of the rings of definition A 1 + and A 2 + and we forget about these choices.According to Raynaud's equivalence of categories between quasi-compact admissible formal k ○ -schemes localised by admissible formal blow-ups and quasi-compact and quasi-separated rigid k-spaces we find an admissible formal blow-up X → Spf(A 0 ) and an open cover X = X 1 ∪ X 2 whose associated generic fibre is the given cover Spm(A) = Spm(A 1 ) ∪ Spm(A 2 ) [Bos14, §8.4].Since every admissible blow-up of the algebraic formal scheme Spf(A 0 ) is algebraic (Lemma 5.3), we find an admissible blow-up X → Spec(A 0 ) and an open cover X = X 1 ∪ X 2 whose formal completion is the cover X = X 1 ∪ X 2 .We set X 3 ∶= X 1 ∩ X 2 and note that for i ∈ {1, 2, 3} there exist rings of definition A i 0 of A i , respectively, and admissible blow-ups X i → Spec(A i 0 ).By Zariski descent have two cartesian squares K(X on π) where the right square is cartesian since it is levelwise cartesian (Reminder 2.4).There is map from the left square to the right square.By Proposition 2.13, the square of cofibres is weakly equivalent to the square (◻) which is therefore weakly cartesian.
The following statement is a standard result about extending sheaves from local objects to global ones and permits us to extend continuous K-theory to the category of rigid k-spaces.).Moreover, for every ∞-category D which admits small limits, the canonical map is an equivalence.
Proof.This follows from applying twice an ∞-categorical version of the "comparison lemma"

Corollary 7.5 ([Mor16, 3.5]
).There exists a unique sheaf K cont on the category Rig k (equipped with the admissible topology) that has values in Pro(Sp + ) and satisfies K cont (Spm(A)) ≃ K cont (A) for every affinoid k-algebra A.
Corollary 7.6.The functor Proof.This follows from the fact that Zariski covers of formal schemes induce on generic fibres admissible covers of rigid spaces.

MAIN RESULT: GLOBAL CASE
In this section we conjecture that an analogous version of our main result (Theorem 6.1) for rigid spaces is true.We prove this conjecture in the algebraic case (e.g.affinoid or projective) and in dimension at least two (Theorem 8.8).The constructions in this section are ad-hoc for our purposes and a full development of the formalism which will be based on adic spaces needs to be examined in future work.
Notation.In this section let k be a complete discretely valued field with valuation ring k ○ and uniformiser π.
Conjecture 8.1.Let X be a quasi-compact and quasi-separated rigid k-space of dimension d.Then there is an isomorphism of pro-abelian groups.In particular, the pro-abelian group K cont −d (X ) is constant.Definition 8.2.For an affine formal scheme Spf(A 0 ) with associated generic fibre Spm(A) where A = A 0 ⊗ k ○ k there is by definition a map K cont (A 0 ) → K cont (A).This map can be seen as a natural transformation FSch aff → Pro(Sp + ) which extends to a natural transformation ).For a formal scheme X locally of finite type over k ○ we define where X η is the associated generic fibre.By construction and by Corollary 7.2 and Corollary 7.6 the induced functor is a sheaf.
Lemma 8.3.Let X be a k ○ -scheme locally of finite type.Then there is a canonical equivalence In particular, K cont ( X on π) is equivalent to a constant pro-spectrum.
Proof.If X = Spec(A 0 ) is affine we have by Definition 2.8 a pushout square As the constant sheaf Z is overconvergent we infer the following.
Corollary 8.10.Let X be a quasi-compact and quasi-separated rigid analytic space of dimension d over a discretely valued field.Assume that d ≥ 2 or that there exists a formal model of X which is algebraic (e.g.X is affinoid or projective).Then there is an isomorphism where X berk is the Berkovich space associated with X .
Remark 8.11.If X berk is smooth over k or the completion of a k-scheme of finite type, then there is an isomorphism [Bre97, III.1.1] with singular cohomology since the Berkovich space X berk is locally contractible.For smooth Berkovich spaces this is a result of Berkovich [Ber99, 9.1] and for completions of k-schemes of finite type this was proven by Hrushovski-Loeser [HL16].
Finally, we prove vanishing and homotopy invariance of continous K-theory in low degrees.The corresponding statement for affinoid algebras was proven by Kerz [Ker18,Thm. 12].Theorem 8.12.Let k be a complete discretely valued field and let X be a quasi-compact and quasi-separated rigid k-space of dimension d.Then: where B n k ∶= Spm(k⟨t 1 , . .., t n ⟩) is the rigid unit disc.Proof.Let i ≥ 1.We have an exact sequence colim where X runs over all admissible formal models of X .The last term in the sequence vanishes due to Lemma 8.6.For i > d, we have K cont −i (X ) = K −i (X π) = 0 by Lemma 6.3 and vanishing of algebraic K-theory as dim(X π) = d.This shows (i).For (ii) this works analogously which is enough as the map in question is injective.

APPENDIX A. THE RH-TOPOLOGY
In this section we examine the rh-topology introduced by Goodwillie-Lichtenbaum [GL01, 1.2].We use a different definition in terms of abstract blow-up squares and show that both definitions agree (Corollary A.9).In the end, we will prove some rh-versions of known results for the cdh-topology; most importantly, that the rh-sheafification of K-theory is KH-theory (Theorem A.15).
Notation.Every scheme in this section is noetherian of finite dimension.Under these circumstances, a birational morphism is an isomorphism over a dense open subset of the target [Sta19, Tag 01RN].
Proof.Let η be a generic point of X .By assumption, there exists a point η of X mapping to η.Since p is a closed map, we have p { η} ⊃ p({ η}) = {η} and hence equality holds.Thus the restriction { η} → {η} is a morphism between reduced and irreducible schemes inducing an isomorphism on the stalks of the generic points, hence it is birational.Thus setting X ′ to be the (finite) union of all { η} for all generic points η of X does the job.
Lemma A.7 ([Voe10b, 2.18]).A proper map is an rh-cover if and only if it satisfies the Nisnevich lifting property.Definition A.8.A proper rh-cover is a proper map which is also an rh-cover, i.e. a proper map satisfying the Nisnevich lifting property.By Lemma A.6, every proper rh-cover of a reduced scheme has a refinement by a proper birational rh-cover.
Corollary A.9.The rh-topology equals the topology which is generated by Zariski covers and by proper rh-covers.
Definition A.10.We say that a set-valued presheaf F satisifes rh-excision iff for every abstract blow-up square (abs) as in Definition A.1 the induces square Proposition A.11.A Zariski sheaf is an rh-sheaf if and only if it satisfies rh-excision.
Proof.The proof is analogous to the proof of the corresponding statement for the Nisnevich topology [MVW06, 12.7], cf.Remark A.3.Definition A.12.The hrh-topology (honest rh-topology) (resp.the hcdh-topology) is the topology generated by honest blow-up squares

Z
G G X and Zariski squares (resp.Nisnevich squares) as well as the empty cover of the empty scheme.Lemma A.13.Let S be a noetherian scheme.On Sch S the hrh-topology equals the rh-topology and the hcdh-topology equals the cdh-topology.
Proof.Every hrh-cover is an rh-cover.We have to show conversely that every rh-cover can be refined by an hrh-cover.Let X ∈ Sch S .It suffices to show that a cover coming from an abstract blow-up square over X can be refined by an hrh-cover.As Bl X red (X ) = ∅, the map X red → X is an hrh-cover.Hence we can assume that X is reduced since pullbacks of abstract blow-up squares are abstract blow-up squares again.Let X = X 1 ∪ . . .∪ X n be the decomposition into irreducible components.For a closed subscheme Z of X one has By iteratively blowing up along the irreducible components, we can hence reduce to the case where be an abstract blow-up square.As X is irreducible, the complement U ∶= X ∖ Z is schematically dense in X .As p∶ X → X is proper and birational, also X is irreducible and p −1 (U) is schematically dense in X .Thus p is a U-modification and a result of Temkin tells us that there exists a U-admissible blow-up factoring over X [Tem08, Lem.2.1.5].8That means that there exists a closed subscheme Z ′ of X which lies in X ∖U = Z such that Bl Z ′ (X ) → X factors over X → X .Thus the rh-cover {Z → X , X → X } can be refined by the hrh-cover {Z ′ → X , Bl Z ′ (X ) → X } which was to be shown.The second part has the same proof.
Proposition A.14.Let S be a noetherian scheme and let X ∈ Sch S .Every rh-cover of X admits a refinement of the form U f → X p → X where f is a Zariski cover and p is a proper rh-cover.
The following theorem and its proof are just rh-variants of the corresponding statement for the cdh-topology by Kerz-Strunk-Tamme [KST18, 6.3].The theorem goes back to Haesemeyer [Hae04].Another recent proof for the cdh-topology which also works for the rh-topology was recently given by Kelly-Morrow [KM18,3.4In the proof of the theorem we will make use of the following lemma.
Lemma A.16.Let S be a finite dimensional noetherian scheme and let F be a presheaf of abelian groups on Sch S .Assume that (i) for every reduced affine scheme X and every element α ∈ F(X ) there exists a proper birational morphism X ′ → X such that F(X ) → F(X ′ ) maps α to zero and that (ii) F(Z) = 0 if dim(Z) = 0 and Z is reduced.Then a rh F = 0.
Proof.It suffices to show that for every affine scheme X the map vanishes as this implies that the rh-stalks are zero.Consider the diagram G G a rh F(X red ).As X red → X is an rh-cover, the right vertical map is an isomorphism.Thus we can assume that X is reduced.For any α ∈ F(X ) there exists, by condition (i), a proper birational morphism f ∶ X ′ → X such that α maps to zero in F(X ′ ).Let U be an open dense subscheme of X over which f is an isomorphism and set Z ∶= (X ∖U) red .Then dim(Z) < dim(X ) as U is dense.By condition (ii) we can argue by induction that α maps to zero in a rh F(Z).Since X ′ ⊔ Z → X is an rh-cover by construction, α vanishes on some rh-cover of Y .Thus the map F(X ) → a rh F(X ) maps every element to zero which finishes the proof.
Example A.17. (i) For i < 0, the functor F = K i satisfies the conditions of Lemma A.16. Zerodimensional reduced schemes are regular and hence their negative K-theory vanishes, and condition (i) was proven by Kerz-Strunk [KS17, Prop.5].(ii) Another example is the functor F = N K i for i ∈ Z which is defined by N K i (X ) ∶= K i (A 1 X ) K i (X ).
The following proposition is just a recollection from the literature which will be used in the proof of Theorem A.15.
Proposition A.18 (Voevodsky, Asok-Hoyois-Wendt).Let S be a noetherian scheme of finite dimension.Then: (i) The ∞-topos Sh rh (Sch S ) of space-valued rh-sheaves on Sch S is hypercomplete.(ii) The ∞-category Sh rh Sp (Sch S ) of spectrum-valued rh-sheaves on Sch S is left-complete.
(iii) A map in Sh rh Sp (Sch S ) is an equivalence if and only if it is an equivalence on stalks.
Proof.Proof of Theorem A.15.As the ∞-topos of space-valued sheaves on Sch rh S is hypercomplete, we can test the desired equivalences on stalks (Proposition A.18).Since spheres are compact, taking homotopy groups commutes with filtered colimits and we can check on the sheaves of homotopy groups of the stalks whether the maps are equivalences.Thus the first equivalence follows directly by applying Lemma A.16 and Example A.17 (i) and since the connective cover has isomorphic non-negative homotopy groups.
For the second equivalence we assume for a moment the existence of a weakly convergent spectral sequence E 1 p,q = a rh N p K q ⇒ a rh KH p+q in Sh Ab (Sch rh S ).It suffices to show that a rh N p K q = 0 for p ≥ 1 which follows from Lemma A.16 and Example A.17 (ii).Thus the proof is finished by the following lemma.

Lemma A.19.
There is a weakly convergent spectral sequence E 1 p,q = a rh N p K q ⇒ a rh KH p+q of rh-sheaves of abelian groups on Sch X .
Proof.For every ring R there is a weakly convergent spectral sequence [Wei13, IV.12.3]E 1 p,q = N p K q (R) ⇒ KH p+q (R).
This yields a spectral sequence E 1 p,q = N p K q on the associated presheaves of abelian groups on Sch X and hence a spectral sequence E 1 p,q = a rh N p K q of the associated rh-sheafifications.We have to check that the latter one converges to a rh KH p+q .This can be tested on rh-stalks which are filtered colimits of the weakly convergent spectral sequence above.As filtered colimits commute with colimits and finite limits, a filtered colimit of weakly convergent spectral sequence yields a weakly convergent spectral sequence.Hence we are done.
Theorem A.20.Let X be a d-dimensional noetherian scheme.Then there exists a canonical isomorphism Proof.As KH is an rh-sheaf, the Zariski descent spectral sequence appears as E p,q 2 = H p rh (X , a rh (K −q )) ⇒ KH −p−q (X ).
We know the following: • E p,q 2 = 0 for p > d as the rh-cohomological dimension is bounded by the dimension [Voe10b,2.27].
This implies that in the 2-page only the term E ∞ since all differentials of all E d,0 i for i ≥ 2 come from or go to zero.
Hence the theorem follows.

2
One should not confuse our notion of a Tate pair with the notion of an affinoid Tate ring (A, A + ), i.e. a Tate ring A together with an open subring A + of the power-bounded elements of A which is integrally closed in A. The latter one is used in the context of adic spaces.
(N) R is a noetherian adic ring with ideal of definition I such that R does not have Itorsion.An R-algebra is called admissible iff it is of topologically finite presentation and without Itorsion [Bos14, §7.3, Def.3].A formal R-scheme is called admissible iff it has a cover by affine formal R-schemes of the form Spf(A 0 ) for admissible R-algebras A 0 , cf. [Bos14, §7.4,Def.1].

[
Hoy14, C.3]: first to the inclusion Rig aff k ↪ Rig sep k of affinoid spaces into separated spaces and secondly to the inclusion Rig sep k ↪ Rig k .

d, 0 2
= H d rh (X ; Z) contributes on the line −p−q = −d and that already E d,0 2 = E d,0 The author was supported by the RTG/GRK 1692 "Curvature, Cycles, and Cohomology" and the CRC/SFB 1085 "Higher Invariants" (both Universität Regensburg) funded by the DFG and the Swiss National Science Foundation.Further thanks go to the Hausdorff Research Institute for Mathematics in Bonn for generous hospitality during the Hausdorff Trimester Program on "K-theory and related fields" during the months of May and June in 2017.
Bymaximality of the irreducible components we have equality.Let S be a noetherian scheme.Every constant Zariski sheaf on Sch S is already a bi-Zariski sheaf.Proof.Let A be an abelian group.For an open subset U of X ∈ Sch S , the sections over U are precisely the locally constant functions f ∶U → A. By Lemma 4.3, it suffices to check the sheaf condition for the cover of U by its irreducible components (U i ) i .We only have to show the glueing property.If f i ∶U i → A are locally constant functions which agree on all intersections, then they glue to a function f ∶U → A. We have to show that f is locally constant.If x ∈ U, for every i such that x ∈ U i there exists an open neighbourhood V i of x in U such that f becomes constant when restricted to U i ∩ V i .Hence f becomes also constant when restricted to the intersection of all these V i .Thus f is locally constant.Lemma 4.5.Let S be a noetherian scheme and let X ∈ Sch S .For any constant sheaf A on Sch Zar S we have H * Zar (X ; A) ≅ H * biZar (X ; A).Proof.Let u∶ Sch biZar S → Sch Zar S be the change of topology morphism of sites.Using the Leray spectral sequence H p Zar H d (X ′ ; Z) ≅ H d (⟨X ⟩; Z)) ≅ H d (X ad ; Z) ≅ H d (X ; Z)by using Theorem 5.8 for the middle isomorphism.The cases of Conjecture 8.1 which are not covered by Theorem 8.8 are curves which are not algebraic.In particular, they must not be affine nor projective nor smooth proper (cf.[Lüt16, 1.8.1]).
]. Notation.Let S be a scheme and let Sh Ab (Sch rh S ) be the category of rh-sheaves on Sch S with values in abelian groups.Its inclusion into the category PSh Ab (Sch S ) of presheaves on Sch S with values in abelian groups admits an exact left adjoint a rh .Similarly, the inclusion Sh Sp (Sch rh S ) ↪ PSh Sp (Sch S ) of rh-sheaves on Sch S with values in the ∞-category of spectra Sp admits an exact left adjoint L rh .
Theorem A.15.Let S be a finite-dimensional noetherian scheme.Then the canonical maps of rh-sheaves with values in spectra on Sch S L rh K ≥0 → L rh K → KH are equivalences.
The rh-topology is induced by a cd-structure [Voe10a, Def.2.1] which is complete, regular, and bounded [Voe10b, Thm.2.2].Hence a space-valued presheaf is a hypercomplete rh-sheaf if and only if it is rh-excisive; this follows from [Voe10a, Lem.3.5].On the other hand, as the cd-structure is complete and regular, a space-valued presheaf is an rh-sheaf if and only if it is rh-excisive; this follows from [AHW17, Thm.3.2.5].Together this implies (i), cf.[AHW17, Rem.3.2.6].The ∞-category Sh rh Sp (Sch S ) is equivalent to the ∞-category Sh rh Sp (Sh rh (Sch S )) of sheaves of spectra on the ∞-topos Sh rh (Sch S ) [Lur18, 1.3.1.7].Hence the ∞-topos Sh rh Sp (Sch S ) of connective objects is Postnikov complete.As we can write every object F as the colimit colim n∈N F ≥−n of objects which are (up to a shift) connective, this implies (ii) and (iii).