A Bloch-Ogus Theorem for henselian local rings in mixed characteristic

TL;DR

This paper establishes a Nisnevich analogue of the Bloch-Ogus theorem for étale cohomology over henselian discrete valuation rings with infinite residue fields, extending the understanding of cohomological complexes in mixed characteristic.

Contribution

It proves a conditional exactness for the Nisnevich Gersten complex for A^1-invariant cohomology theories over Dedekind rings, leading to a new Bloch-Ogus type result in mixed characteristic.

Findings

Conditional exactness of the Nisnevich Gersten complex

Nisnevich analogue of the Bloch-Ogus theorem for étale cohomology

Extension of cohomological tools to mixed characteristic settings

Abstract

We show a conditional exactness statement for the Nisnevich Gersten complex associated to an $\mathbb{A}^1$-invariant cohomology theory with Nisnevich descent for smooth schemes over a Dedekind ring with only infinite residue fields. As an application we derive a Nisnevich analogue of the Bloch-Ogus theorem for \'etale cohomology over a henselian discrete valuation ring with infinite residue field.

Equations

$$\begin{gathered} 0\to H^n(Y,E)\to \underset{z\in Y^{(0)}}{⨁}{H}_{\overline{\{z\}}}^n(Y,E)\to \underset{z\in X^{(1)}}{⨁}{H}_{\overline{\{z\}}}^{n+1}(Y,E)\to \cdots \\ \cdots \to \underset{z\in X^{(d-1)}}{⨁}{H}_{\overline{\{z\}}}^{n+d-1}(Y,E)\to \underset{z\in X^{(d)}}{⨁}{H}_{\overline{\{z\}}}^{n+d}(Y,E)\to 0, \end{gathered}$$

$$\mathbb{R}{\Gamma }_{Y_{\sigma }}(Y_{\mathrm{Nis}},E)\to \Gamma (Y,E)$$

$$0\to {\mathrm{H}}^n(Y_{\mathrm{et}},K)\to \underset{z\in Y^{(0)}}{⨁}{\mathrm{H}}^n(k(z),K)\to \cdots \to \underset{z\in Y^{(d)}}{⨁}{\mathrm{H}}^{n-d}(k(z),K(-d))\to 0.$$

$${\bar{f}}^{\ast }:{\mathrm{Spt}}_{S^1}(\mathrm{S}{\mathrm{m}}_Y)\rightleftarrows {\mathrm{Spt}}_{S^1}(\mathrm{S}{\mathrm{m}}_X):{\bar{f}}_{\ast }$$

$${\underaccent{\bar}{f}}:\mathrm{S}\mathrm{m}_{X}\rightleftarrows\mathrm{S}\mathrm{m}_{Y}:{\bar{f}}$$

$${\underaccent{\bar}{f}}^{*}:\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{X})\rightleftarrows\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{Y}):{\underaccent{\bar}{f}}_{*}$$

$${\mathrm{Spt}}_{S^1}(X_{\mathrm{Nis}})\underset{f^{\ast }}{\stackrel{f_{♯}}{\rightleftarrows }}{\mathrm{Spt}}_{S^1}(Y_{\mathrm{Nis}})\underset{f_{\ast }}{\stackrel{f^{\ast }}{\rightleftarrows }}{\mathrm{Spt}}_{S^1}(X_{\mathrm{Nis}})$$

$${\delta }_{X/Y}^{\ast }:{\mathrm{Spt}}_{S^1}(X_{\mathrm{Nis}})\rightleftarrows {\mathrm{Spt}}_{S^1}(\mathrm{S}{\mathrm{m}}_Y):{\delta }_{X/Y,\ast }$$

$$X_{\mathrm{Nis}}\xrightarrow{\delta_{X}}\mathrm{S}\mathrm{m}_{X}\xrightarrow{\underaccent{\bar}{f}}\mathrm{S}\mathrm{m}_{Y}$$

$${\mathrm{Spt}}_{S^1}(X_{\mathrm{Nis}})\underset{{\delta }_{X,\ast }}{\stackrel{{\delta }_X^{\ast }}{\rightleftarrows }}{\mathrm{Spt}}_{S^1}(\mathrm{S}{\mathrm{m}}_X)\underset{f^{\ast }}{\stackrel{f_{♯}}{\rightleftarrows }}{\mathrm{Spt}}_{S^1}(\mathrm{S}{\mathrm{m}}_Y).$$

$$X_{\mathrm{Nis}}$$

$${\mathrm{Spt}}_{S^1}(X_{\mathrm{Nis}})$$

$${\delta }_{X/S,\ast }E\to g_{\ast }{\delta }_{\tilde{X}/S,\ast }E.$$

$${\mathfrak{z}}_{\ast }{\mathfrak{z}}^{\ast }{\pi }_n(E)\to {\pi }_n({\mathfrak{z}}_{\ast }{\mathfrak{z}}^{\ast }E)$$

$$f^{\ast }{\pi }_0(E)\cong {\pi }_0(E){\times }_{X}U\cong {\pi }_0(E{\times }_{X}U)\cong {\pi }_0(f^{\ast }E).$$

$$f_{\ast }(f^{\ast }\underline{\mathrm{Hom}}(S^n,E))\stackrel{\cong }{\to }{f}_{\ast }(\underline{\mathrm{Hom}}(f^{\ast }(S^n),f^{\ast }(E)))\stackrel{\cong }{\to }\underline{\mathrm{Hom}}(S^n,f_{\ast }{f}^{\ast }(E))$$

$$\begin{array}[]{rcl}f_{*}f^{*}\pi_{n}(E)&\cong&f_{*}f^{*}\pi_{0}\operatorname{\underline{\operatorname{Hom}}}(S^{n},E)\\ &\cong&\pi_{0}f_{*}f^{*}\operatorname{\underline{\operatorname{Hom}}}(S^{n},E)\\ &\cong&\pi_{0}\operatorname{\underline{\operatorname{Hom}}}(S^{n},f_{*}f^{*}(E))\\ &\cong&\pi_{n}(f_{*}f^{*}E)\end{array}$$

$${\mathfrak{z}}_{\ast }{\mathfrak{z}}^{\ast }(F)\cong \underset{i\in \mathcal{I}}{\mathrm{colim}}{d}_{i,\ast }{d}_i^{\ast }(F)$$

$$\mathrm{codim}(Z,X):=\sup \{s\in {\mathbb{N}}_{\infty }\mid Z=Z_s⊊\dots ⊊Z_0\subseteq X\text{ with Zi⊆X irred. cl.}\}.$$

$$\mathrm{codim}(Z,X):=\inf \{\mathrm{codim}(Z^{\prime },X)\mid \text{Z′⊆Z is an irreducible component}\},$$

$$\mathrm{codim}(Z,X)=\underset{z\in Z}{\inf }\dim ({\mathcal{O}}_{X,z}).$$

$$Z\ne Z^{\prime }\iff \mathrm{codim}(Z,X)\ge s+1.$$

$$\mathrm{codim}(Z,X)=\mathrm{codim}(Z,Z^{\prime })+\mathrm{codim}(Z^{\prime },X).$$

$$X^{(s)}=\{z\in X\mid \mathrm{codim}(\overline{\{z\}},X)=s\}$$

$$\dim (Z)+\mathrm{codim}(Z,X)\le \dim (X)$$

$${\eta }_j:E_X\to j_{\ast }{j}^{\ast }{E}_X=j_{\ast }{E}_{X\setminus Z}$$

$$\tilde{X}\setminus \tilde{Z}$$

$$E_{Z/X}\to E_{Z^{\prime }/X}\to j_{\ast }{E}_{(Z^{\prime }\setminus Z)/(X\setminus Z)}$$

$$X\setminus Z^{\prime }=(X\setminus Z)\setminus (Z^{\prime }\setminus Z)\stackrel{k}{\to }X\setminus Z\stackrel{j}{\to }X,$$

$$F[-1]$$

Full text

The authors are supported by the SFB/CRC 1085 Higher Invariants (Regensburg) funded by the DFG and the DFG-Forschergruppe 1920 Symmetrie, Geometrie und Arithmetik (Heidelberg–Darmstadt)

1. Introduction

Given an $\mathbb{A}^{1}$-invariant cohomology theory $E$ for smooth varieties $X$ over a field $k$ with Nisnevich descent, Colliot-Thélène, Hoobler and Kahn proved in [3] the exactness of the associated Gersten complex

[TABLE]

where $Y=\operatorname{Spec}(\mathcal{O}_{X,x})$ is the local scheme at a point $x$ and $d$ is the dimension of $X$. The main ingredient of their proof is a geometric presentation theorem [3, Theorem 3.1.1] for a closed immersion $Z\hookrightarrow X$ which is due to Gabber. If $E$ is algebraic $K$-theory, this result implies the Gersten conjecture for smooth schemes over a field, originally proved by Quillen [7, Theorem 5.11]. Taking $E$ as étale cohomology with constant torsion coefficients defined over $k$, one obtains the Bloch–Ogus theorem [2].

In the mixed characteristic case of a discrete valuation ring with infinite residue field, an analogue of Gabber’s geometric presentation theorem for a closed immersion $Z\hookrightarrow X$ was shown in [8, Theorem 2.1]. However, there are two crucial differences to the equal characteristic case: Firstly, one has to require that the closed subscheme $Z$ does not contain any irreducible component of the special fibre of $X$. Secondly, the presentation is not Zariski- but only Nisnevich-local in $X$.

In this paper, our goal is to adopt the techniques of Colliot-Thélène, Hoobler and Kahn to the mixed characteristic case using the more restricted version of the presentation theorem. Our main result is the following (see Theorem 5.12, below).

Theorem**.**

Let $S$ be a Dedekind scheme with only infinite residue fields and $E$ an $\mathbb{A}^{1}$-invariant cohomology theory for smooth schemes of finite type over $S$ with Nisnevich descent. Let $X/S$ be such a smooth scheme of dimension $d$, $x\in X$ a point and $Y=\operatorname{Spec}(\mathcal{O}_{X,x}^{h})$ the Henselian local scheme at $x$.

1. (1)

The Gersten complex (1a) is exact possible except at the first and third (non-trivial) spot. 2. (2)

If for each point $x$ of $X$ the forget support map for the special fibre $Y_{\sigma}$

[TABLE]

is trivial, then the Gersten complex is exact everywhere.

In presence of the second condition, one obtains the usual resolution of the Nisnevich sheafification of the cohomology given by $E$ by flabby Nisnevich sheaves. If $E$ is algebraic $K$-theory, the theorem was known before, see [1] and [6].

As an application of the theorem above, we derive the following analogue of the Bloch–Ogus theorem in mixed characteristic (see Corollary 6.10).

Theorem**.**

Let $Y=\operatorname{Spec}(\mathcal{O}_{X,x}^{h})$ be a Henselian local scheme of a $d$-dimensional smooth scheme $X$ of finite type over a Henselian discrete valuation ring $\mathfrak{o}$ with infinite residue field of characteristic $p$. Let $K$ be a locally constant constructible sheaf of $\mathbb{Z}/m$-modules for $m$ prime to $p$ on the small étale site of $\operatorname{Spec}(\mathfrak{o})$. Then the Gersten complex

[TABLE]

is exact. Here $H^{i}(k(z),-)$ denotes the Galois-cohomology of the field $k(z)$.

We remark that in [5] Geisser derived the exactness of the above Gersten complex from the Bloch–Kato-Conjecture even for a (Zariski) local scheme $Y=\operatorname{Spec}(\mathcal{O}_{X,x})$ but only for coefficients $K=\boldsymbol{\mu}_{m}^{\otimes r}$ where $n\leq r$. Our method of proof is more elementary, at least if the residue and quotient field of $\mathfrak{o}$ are perfect (see Remark 6.9 and Remark 6.11).

The organization of the paper is as follows. In Section 2 we recall some known results on basechange of presheaves of spectra. We include a short reminder on elementary properties of the codimension for schemes not necessarily over a field. In Section 3 we define the coniveau filtration for a spectrum with Nisnevich descent and show that the filtration quotients are flabby Nisnevich sheaves. In Section 4 the Nisnevich Gersten complex is introduced. Up to this point, the $\mathbb{A}^{1}$-invariance property has not been used yet. Section 5 contains an effaceability result which makes use of $\mathbb{A}^{1}$-invariance and the geometric presentation theorem. This leads to our main theorem. The final Section 6 deals with the application to étale cohomology with torsion coefficients.

2. Preliminaries

Let $S$ be a base scheme, which is always assumed to be noetherian and of finite dimension. Let moreover $\mathrm{S}\mathrm{m}_{S}$ be the category of smooth schemes of finite type over $S$ and $\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ the category of presheaves of spectra on $\mathrm{S}\mathrm{m}_{S}$. For an object $X\in\mathrm{S}\mathrm{m}_{S}$ we define the category $\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$ analogously where $X_{\mathrm{Nis}}$ denotes the small Nisnevich site on $X$.

We consider the (stable) object-wise model structure on $\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$. Its homotopy category $\operatorname{{\mathcal{S}\mathcal{H}}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ is a triangulated category with exact triangles given by the homotopy (co)fibre sequences. The left Bousfield localization at the equivalences on Nisnevich stalks is called the (stable) Nisnevich local model structure with a fibrant replacement functor $L_{\mathrm{Nis}}$. Likewise, in the case of the small site $X_{\mathrm{Nis}}$, we define the (stable) Nisnevich local model structure on $\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$ analogously. In the case of the big site $\mathrm{S}\mathrm{m}_{S}$, a further left Bousfield localization yields the (stable) $\mathbb{A}^{1}$-Nisnevich local model structure with a fibrant replacement functor $L_{\mathrm{mot}}$. The details of this model structures play no essential role for this text and we refer to the preliminary section of [8] for further explanation and references. We are working in the non-localized model structure only and use the fibrant replacement functors to obtain statements about the localizations. Hence, whenever we speak of an exact triangle or a homotopy cofibre, we mean the respective terms for the object-wise model structure.

2.1. Basechange

A morphism $f\colon X\to Y$ of noetherian schemes of finite Krull dimension induces a covering preserving functor $\bar{f}\colon\mathrm{S}\mathrm{m}_{Y}\to\mathrm{S}\mathrm{m}_{X}$ by pullback. Precomposition ${\bar{f}}_{*}$ with ${\bar{f}}$ is the right adjoint of a Quillen adjunction

[TABLE]

for each of the model structures from above (see again the preliminary section of [8] for more details and references). By abuse of notation, we write $f_{*}:={\bar{f}}_{*}$ and $f^{*}:={\bar{f}\,}^{*}$. If the morphism $f$ is an object of $\mathrm{S}\mathrm{m}_{Y}$ itself, there is an adjunction

[TABLE]

with the left adjoint given by post-composition. Again, precomposition with {\underaccent{\bar}{f}} is the right adjoint of a Quillen adjunction

[TABLE]

for each of the model structures. We clearly have {\underaccent{\bar}{f}}_{*}={\bar{f}\,}^{*}=f^{*} and set f_{\sharp}:={\underaccent{\bar}{f}}^{*}.

Likewise, for a morphism $f\colon X\to Y$, we obtain Quillen adjunctions

[TABLE]

for the object-wise and the Nisnevich local model structure where again for the first one we have to assume that $f$ is an object of $Y_{\mathrm{Nis}}$ whereas the second always exists.

For an object $X\to Y$ in $\mathrm{S}\mathrm{m}_{Y}$, there is a canonical covering preserving inclusion functor $\delta_{X/Y}\colon X_{\mathrm{Nis}}\to\mathrm{S}\mathrm{m}_{Y}$. Precomposition with this functor yields the right adjoint of a Quillen adjunction

[TABLE]

for the object-wise and the Nisnevich local model structures. The inclusion functor $\delta_{X/Y}$ factorizes as

[TABLE]

(where we set $\delta_{X}:=\delta_{X/X}$) and the adjunction (2b) factorizes as

[TABLE]

If moreover $X$ is an object of $Y_{\mathrm{Nis}}$, there is a commutative diagram

[TABLE]

inducing the diagramm

[TABLE]

of Quillen adjunctions with diagonal (2b). In particular, for an étale morphism $f\colon X\to Y$ the restriction $\delta_{*}$ to the respective small sites commutes with $f^{*}$. In particular, these observations imply the following lemma.

Lemma 2.1**.**

Let $X\in\mathrm{S}\mathrm{m}_{S}$ and $g\colon\tilde{X}\to X$ étale. Then $g^{\ast}\delta_{X/S,\ast}\cong\delta_{\tilde{X}/S,\ast}$. In particular, the unit of the adjunction $g^{\ast}\dashv g_{\ast}$ induces a canonical map

[TABLE]

for $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$.

Remark 2.2**.**

Let $f\colon X\to Y$ be any morphism between noetherian schemes of finite Krull dimension. A diagram analogous to (2c) with $\bar{f}$ in place of \underaccent{\bar}{f} shows that the restriction $\delta_{*}$ to the respective small sites commutes with $f_{*}$.

Definition 2.3**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ or $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$ be a spectrum. For $n\in\mathbb{Z}$, one sets $E^{n}(X):=\pi_{-n}(E(X))$.

Lemma 2.4**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$ be a spectrum, $z\in X$ a point and consider the canonical morphism $\mathfrak{z}\colon\operatorname{Spec}(\mathcal{O}_{X,z})\to X$. Then the canonical morphism

[TABLE]

is an isomorphism of presheaves on $X_{\mathrm{Nis}}$ for every $n\in\mathbb{Z}$.

Proof.

For any morphism $f$, we have an isomorphism $f_{*}\pi_{n}(E)\cong\pi_{n}(f_{*}E)$ as $\pi_{n}$ and $f_{*}$ are defined object-wise. Suppose for a moment that $\mathfrak{z}$ were an object $f\colon U\to X$ of the site $X_{\mathrm{Nis}}$. In this case $f^{*}(F)\cong F\times_{X}U$. Since homotopy presheaves and pullbacks of presheaves are calculated object-wise, we obtain

[TABLE]

We may write $\pi_{n}(F)$ alternatively as $\pi_{0}(\operatorname{\underline{\operatorname{Hom}}}(S^{n},F))$, where $\operatorname{\underline{\operatorname{Hom}}}$ denotes the internal mapping space of preshaves. For this internal mapping space, there are isomorphisms

[TABLE]

where for the first we used that $f$ was assumed to be in $X_{\mathrm{Nis}}$. Alltogether, we have

[TABLE]

in the case of $f$ being an object of the site $X_{\mathrm{Nis}}$.

For the case of the essentially open immersion $\mathfrak{z}\colon\operatorname{Spec}(\mathcal{O}_{X,z})\to X$ of the lemma, we write $\mathfrak{z}$ as the cofiltered limit of the diagram $D_{\scaleobj{0.7}{(-)}}\colon\mathcal{I}\to X_{\mathrm{Nis}}$ given by the affine Zariski neighbourhoods of $z$ in $X$. Then by the proof of [8, Lemma 1.5] (and after choosing a cofinal subdiagram) one has a canonical natural isomorphism

[TABLE]

where $d_{i}\colon D_{i}\to X$ is the structural morphism which is an open immersion. The result now follows from the case handled above and from the fact that homotopy groups commute with filtered colimits. ∎

2.2. Codimension

In this subsection, we recall basic notations on the codimension for the convenience of the reader.

Let $X$ be a scheme and $Z\subseteq X$ an irreducible closed subset. Define

[TABLE]

For an arbitrary closed subset $Z\subseteq X$ we set

[TABLE]

where by convention $\operatorname*{codim}(\emptyset,X)=\infty$, as the codimension of $Z$ in $X$. One has

[TABLE]

If $Z$ is irreducible closed with generic point $\eta_{Z}$, then $\operatorname*{codim}(Z,X)=\operatorname*{dim}(\mathcal{O}_{X,\eta_{Z}})$. Recall that a scheme $X$ is called catenary, if for every two irreducible closed subsets $Z\subseteq Z^{\prime}\subseteq X$ every maximal chain $Z=Z_{s}\subsetneq\ldots\subsetneq Z_{0}=Z^{\prime}$ of irreducible closed subsets has the same finite length. Examples of such are schemes (locally) of finite type over a field or over a one dimensional noetherian domain, e.g., a discrete valuation ring.

We have the following two easy lemmas.

Lemma 2.5**.**

Let $X$ be a scheme and $Z\subseteq Z^{\prime}\subseteq X$ two irreducible closed subsets with $\operatorname*{codim}(Z^{\prime},X)=s$. Then

[TABLE]

Lemma 2.6**.**

Let $X$ be a scheme and $Z_{1},Z_{2}\subseteq X$ two closed subsets with both $\operatorname*{codim}(Z_{1},X)\geq s$ and $\operatorname*{codim}(Z_{2},X)\geq s$. Then $\operatorname*{codim}(Z_{1}\cup Z_{2},X)\geq s$.

Lemma 2.7**.**

Let $X$ be an irreducible catenary scheme and $Z\subseteq Z^{\prime}\subseteq X$ two irreducible closed subsets. Then

[TABLE]

For an integer $s\geq 0$, define

[TABLE]

and say that $z$ has codimension $s$ in $X$ if $z\in X^{(s)}$. Note, that $\overline{\{z\}}$ is always an irreducible closed subset of $X$ and $z$ is its generic point. One has $X^{(s)}=\emptyset$ for $s>\operatorname*{dim}(X)$ as $\operatorname*{dim}(X)=\sup_{x\in X}\operatorname*{dim}(\mathcal{O}_{X,x})$. We have $\operatorname*{codim}(Z,X)=0$ if and only if $Z$ contains a whole irreducible component of $X$. Hence a point $z\in X$ is a generic point of an irreducible component of $X$ if and only if $\operatorname*{dim}(\mathcal{O}_{X,z})=0$. Thus, $X^{(0)}$ is precisely the set of generic points of irreducible components of $X$.

Remark 2.8**.**

Please note that the inequality

[TABLE]

is not always an equality, even for catenary schemes.

3. The coniveau filtration

3.1**.**

In this section we define the coniveau filtration for a Nisnevich local fibrant spectrum on $\mathrm{S}\mathrm{m}_{S}$. We fix a spectrum $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$.

Definition 3.2**.**

Let $X/S\in\mathrm{S}\mathrm{m}_{S}$, $Z\subseteq X$ a closed subset with complementary open immersion $j\colon(X\smallsetminus Z)\hookrightarrow X$. Let $E_{X}$ be the spectrum $\delta_{X/S,\ast}E$ in $\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$. Lemma 2.1 induces a morphism

[TABLE]

in $\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$ whose homotopy fibre, we denote by $E_{Z/X}\in\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$.

Remark 3.3**.**

Note that $E_{X/X}=E_{X}$ and $E_{\emptyset/X}=*$ in $\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$.

Remark 3.4**.**

Throughout Sections 3 and 4, we could as well work with arbitrary spectra $E_{X}\in\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$, not necessarily of the form $\delta_{X/S,\ast}E$ for a spectrum $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$. In this case, $E_{\tilde{X}}$ will be defined as $f^{\ast}E_{X}$ for an étale morphism $f\colon\tilde{X}\to X$ of finite type.

3.5**.**

We fix an étale morphism $f\colon\tilde{X}\to X$ of finite type and a closed subset $Z\subseteq X$. Let $\tilde{Z}=Z\times_{X}\tilde{X}$ denote the pullback of $Z$ along $f$. We get an induced morphism $\tilde{f}\colon(\tilde{X}\smallsetminus\tilde{Z})\to(X\smallsetminus Z)$ on the open complements. By Lemma 2.1, $f^{\ast}E_{X}\cong E_{\tilde{X}}$ and we have a canonical morphism $E_{X}\to f_{\ast}E_{\tilde{X}}$.

Lemma 3.6**.**

In the situation of 3.5, we have $f^{\ast}E_{Z/X}\simeq E_{\tilde{Z}/\tilde{X}}$ in $\operatorname{\mathrm{Spt}}_{S^{1}}(\tilde{X}_{\mathrm{Nis}})$.

Proof.

Let $j\colon(X\smallsetminus Z)\hookrightarrow X$ and $\tilde{j}\colon(\tilde{X}\smallsetminus\tilde{Z})\hookrightarrow\tilde{X}$. First, we apply the homotopy exact functor $f^{*}$ to the homotopy fibre sequence $E_{Z/X}\to E_{X}\to j_{*}j^{*}E_{X}$. Base change (since $f\in X_{\mathrm{Nis}}$) for the pullback square

[TABLE]

yields an equivalence $f^{*}j_{*}\simeq\tilde{j}_{*}\tilde{f}^{*}$ and it remains to observe that $\tilde{f}^{*}j^{*}\simeq(j\tilde{f})^{*}\simeq(f\tilde{j})^{*}\simeq\tilde{j}^{*}f^{*}$, which is easy. ∎

Lemma 3.7** (Forget support map).**

Let $Z$ and $Z^{\prime}$ be closed subsets of $X$ with $Z\subseteq Z^{\prime}\subseteq X$ and let $E_{X}\in\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$ be a spectrum. Then there is a canonical forget support map $E_{Z/X}\to E_{Z^{\prime}/X}$. Further, this map sits in a canonical exact triangle

[TABLE]

of objects from $\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$, where $j\colon(X\smallsetminus Z)\hookrightarrow X$.

Proof.

Note first that $j^{\prime}\colon(X\smallsetminus Z^{\prime})\hookrightarrow X$ factorizes as

[TABLE]

and therefore the unit $\mathrm{id}\to k_{*}k^{*}$ of the adjunction $k^{*}\dashv k_{*}$ induces a morphism $j_{*}j^{*}\to j_{*}k_{*}k^{*}j^{*}\simeq j^{\prime}_{*}j^{\prime*}$. This map is compatible with the units of the adjunctions $j^{\prime*}\dashv j^{\prime}_{*}$ and $j^{*}\dashv j_{*}$, thus inducing the forget support map $E_{Z/X}\to E_{Z^{\prime}/X}$ on homotopy fibres.

For the exact triangle consider the diagram

[TABLE]

of distinguished triangles. It remains to identify $F$ with $j_{*}E_{(Z^{\prime}\smallsetminus Z)/(X\smallsetminus Z)}$. Applying the exact functor $j_{*}$ to the exact triangle

[TABLE]

yields the right vertical exact triangle

[TABLE]

where we used the definition $j^{\prime*}E_{X}\simeq E_{(X\smallsetminus Z)}$. ∎

Remark 3.8**.**

In particular, the previous Lemma 3.7 induces in particular a long exact sequence

[TABLE]

3.9**.**

Recall that a Nisnevich distinguished square

[TABLE]

is a pullback square such that $j$ is an open immersion, $f$ is an étale morphism of finite type and $(X-j(U))_{\mathrm{red}}\times_{X}\tilde{X}\to(X-j(U))_{\mathrm{red}}$ is an isomorphism.

3.10**.**

Recall moreover, that an object-wise fibrant spectrum $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ (i.e., every evaluation $E(X)$ is an ordinary omega spectrum) is Nisnevich local fibrant if and only if $E(\emptyset)=*$ and for each Nisnevich distinguished square $Q$ as in 3.9, the square $E(Q)$ is a homotopy pullback square (or equivalently a homotopy pushout square). Equivalently, the sequence

[TABLE]

is a distinguished triangle and hence induces long exact sequences on homotopy groups. The same observation holds for the Nisnevich local fibrant objects of $\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$ and the right adjoint $\delta_{X/S,*}\colon\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})\to\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$ of the adjunction (2b) preserves Nisnevich local fibrant objects.

Lemma 3.11**.**

An object-wise fibrant spectrum $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ is Nisnevich local fibrant if and only if for all Nisnevich distinguished squares as in 3.9, the induced morphism

[TABLE]

(see Lemma 3.6) is an equivalence. Here, $Z:=X\smallsetminus U$ and $\tilde{Z}:=(\tilde{X}\smallsetminus\tilde{U})\cong f^{-1}(Z)$.

Proof.

This follows immediately from the fact the a square of spectra is a homotopy pullback square if and only if the homotopy fibres of the horizontal morphisms are equivalent. ∎

Lemma 3.12**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ be a Nisnevich local fibrant spectrum. Let $Z_{1}$ and $Z_{2}$ be closed subsets of $X$, and set $Z_{12}=Z_{1}\cap Z_{2}$ and $Z=Z_{1}\cup Z_{2}$. Then the forget support maps

[TABLE]

form a homotopy (co)fibre square in $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$.

Proof.

First, observe that the respective open immersions form a Nisnevich distinguished square

[TABLE]

Denote by $j\colon X\smallsetminus Z\hookrightarrow X$ and $j_{i}\colon X\smallsetminus Z_{i}\hookrightarrow X$ for $i=1$, $i=2$ or $i=12$ the complementary open immersions. Since $E$ is Nisnevich local fibrant, it follows that

[TABLE]

is a homotopy pullback square. Mapping into this square from the square with edges ${\rm id}_{E_{X}}$, which is a homotopy pullback square for trivial reasons, and taking homotopy fibres, yields the square (3b). Thus, (3b) is a homotopy pullback square, too. ∎

Corollary 3.13**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ be a Nisnevich local fibrant spectrum and $Z_{1},\ldots,Z_{r}\subseteq X$ be disjoint closed subsets. Then

[TABLE]

Definition 3.14**.**

Let $E_{X}\in\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$ be a spectrum. For an integer $s\geq 0$, we define the spectrum

[TABLE]

in $\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$. The structure maps for the colimit are the forget support maps (see Lemma 3.7).

Remark 3.15**.**

Informally, one should think of the colimit in the previous Definition 3.14 as “making the $Z$’s bigger”. The index category is filtered as one can take the union of two closed sets.

3.16**.**

Since a closed subset of $X$ of codimension $\geq(s+1)$ is in particular a closed subset of codimension $\geq s$, we get a filtration

[TABLE]

of presheaves of spectra on $X_{\mathrm{Nis}}$. For the last equivalence, observe that the colimit in Definition 3.14 has a terminal object $Z=X$ in the case $s=0$.

Definition 3.17**.**

We denote the homotopy cofibre of $E_{X^{(s+1)}}\to E_{X^{(s)}}$ by $E_{X^{(s/s+1)}}$.

3.18**.**

As usual, one can associate a spectral sequence (more precisely, a presheaf on $X_{\mathrm{Nis}}$ of spectral sequences) to such a situation: Applying $\pi_{n}$ for an integer $n$ to the filtration of 3.16 yields a finite filtration

[TABLE]

and the associated spectral sequence

[TABLE]

is degenerate (and hence always converges in the strongest sense) as the filtration above is bounded. Reindexing and rephrasing along Definition 2.3, we get

[TABLE]

The constructed spectral sequence is not yet the coniveau spectral sequence. To obtain the latter, we will sheafify the whole situation (after taking homotopy groups as above) and identify the homotopy cofibres $E_{X^{(p/p+1)}}$ with certain coproducts.

Proposition 3.19**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ be a Nisnevich local fibrant spectrum. Then for every integer $s\geq 0$, we have an equivalence

[TABLE]

where $\mathfrak{z}^{*}:\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})\rightleftarrows\operatorname{\mathrm{Spt}}_{S^{1}}(\operatorname{Spec}(\mathcal{O}_{X,z})_{\mathrm{Nis}}):\mathfrak{z}_{*}$ is the adjunction (2a) for the canonical morphism $\mathfrak{z}\colon\operatorname{Spec}(\mathcal{O}_{X,z})\to X$ and where we set $Z:=\overline{\{z\}}$ in each summand by abuse of notation.

Proof.

For closed subsets $Z$ and $Z^{\prime}$ of $X$ with $Z\subseteq Z^{\prime}$, Lemma 3.7 yields an exact triangle

[TABLE]

Taking filtered colimits yields an exact triangle

[TABLE]

of objects from $\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$. In particular, the right-hand side is equivalent to $E_{X^{(s/s+1)}}$. The colimit in (3c) runs over the filtered category of pairs $(Z,Z^{\prime})$ where $Z\subseteq Z^{\prime}$ for $Z,Z^{\prime}\subseteq X$ closed subsets of the indicated codimensions with an arrow $(Z,Z^{\prime})\to(\hat{Z},\hat{Z}^{\prime})$ if and only if both $Z\subseteq\hat{Z}$ and $Z^{\prime}\subseteq\hat{Z}^{\prime}$.

We will now rewrite this colimit. Fix a pair $(Z,Z^{\prime})$. Since $X$ is noetherian, $Z^{\prime}$ is noetherian as a topological space and hence the union of its finite number of irreducible components $Z^{\prime}_{1},\ldots,Z^{\prime}_{r}$, each of codimension $\geq s$. It follows, that all the intersections $Z^{\prime}_{i}\cap Z^{\prime}_{j}$ for $i\neq j$ are of codimension $\geq s+1$ by Lemma 2.5. Set

[TABLE]

By Lemma 2.6, $\hat{Z}$ has codimension $\geq s+1$ and $(\hat{Z},\hat{Z}^{\prime}:=Z^{\prime})$ receives a map from our original pair $(Z,Z^{\prime})$. Let $T\subseteq X^{(s)}$ be the set of generic points of those $Z^{\prime}_{i}$ of codimension $s$. Then $\overline{T}\cup\hat{Z}=\hat{Z}^{\prime}$. Further, $\hat{U}=X\smallsetminus\hat{Z}\subseteq X$ is an open separating neighbourhood of $T$. By this we mean that $\overline{T}\cap\hat{U}$ splits into a disjoint union of closures of points of $T$ in $\hat{U}$. Combining these observations, we get a cofinal functor from the category of pairs $(T,U)$ with $T\subseteq X^{(s)}$ a finite subset and $U\subseteq X$ an open separating neighbourhood of $T$ into our original index category by mapping a pair $(T,U)$ to the pair $(X\smallsetminus U,\overline{T}\cup(X\smallsetminus U))$. In particular,

[TABLE]

As $U$ is a separating neighbourhood of $T$, Corollary 3.13 gives a splitting

[TABLE]

Note that the open separating neighbourhoods of $T$ are cofinal in all open neighbourhoods of $T$. In particular, we get

[TABLE]

Finally, by Lemma 3.6, $E_{(\overline{\{z\}}\cap U)/U}\simeq j^{\ast}E_{\overline{\{z\}}/X}$ and the claim follows. ∎

Corollary 3.20**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ be a Nisnevich local fibrant spectrum. Then for every integer $s\geq 0$ and every integer $q$, we have an isomorphism

[TABLE]

Proof.

By Proposition 3.19 $E_{X^{(s/s+1)}}\simeq\bigoplus_{z\in X^{(s)}}\mathfrak{z}_{*}\mathfrak{z}^{*}E_{Z/X}$. Using Lemma 2.4 we compute

[TABLE]

3.21**.**

Recall that a sheaf $F$ of abelian groups on the site $X_{\mathrm{Nis}}$ is called flabby, if the presheaf $\mathrm{H}^{q}(-,F)$ on $X_{\mathrm{Nis}}$ is zero for $q\neq 0$. A flabby sheaf is in particular acyclic, i.e., $\mathrm{H}^{q}(X,F)=0$ for $q\neq 0$.

Proposition 3.22**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ be a Nisnevich local fibrant spectrum, $z\in X^{(s)}$ with $Z:=\overline{\{z\}}$ and $q$ an integer. Then the presheaf

[TABLE]

of abelian groups is a flabby sheaf on $X_{\mathrm{Nis}}$.

Proof.

Let $q$ be an integer. Let $V\rightarrow X$ be étale of finite type with (set-theoretical) fibre $V(z)$ over the point $z\in X$. For a point $v\in V(z)$, we set $V_{v}^{\rm loc}:={\rm Spec}(\mathcal{O}_{V,v})$ and $V_{z}^{\rm loc}:=V\times_{X}X_{z}^{\rm loc}$. Using the identification $Z\times_{X}V_{z}^{\rm loc}=\coprod_{v\in V(z)}v$, we have

[TABLE]

Let us now prove the sheaf property of $\mathfrak{z}_{*}\mathfrak{z}^{*}E_{Z/X}^{q}$. Using Lemma 3.6, we may restrict us to Nisnevich covers $V\rightarrow X$ of $X$. Writing $W:=V\times_{X}V$, we have to show that

[TABLE]

is an exact sequence. Since $V\to X$ is a Nisnevich cover, we can find a point $v_{0}$ in the fibre $V(z)$ with residue field $k(v_{0})=k(z)$. In particular, by Lemma 3.11, the composition

[TABLE]

is an isomorphism, which settles the exactness at $\mathfrak{z}_{*}\mathfrak{z}^{*}E_{Z/X}^{q}(X)$.

For the exactness at $\mathfrak{z}_{*}\mathfrak{z}^{*}E_{Z/X}^{q}(V)$, observe that $\bigoplus_{v\in V(z)}E_{v/V_{v}^{\rm loc}}^{q}(V_{v}^{\rm loc})$ splits into a direct sum of $E_{z/X_{z}^{\rm loc}}^{q}(X_{z}^{\rm loc})$ and $\bigoplus_{v_{0}\neq v\in V(z)}E_{v/V_{v}^{\rm loc}}^{q}(V_{v}^{\rm loc})$. Hence, it is enough to show that the restricted map $\bigoplus_{v_{0}\neq v\in V(z)}E_{v/V_{v}^{\rm loc}}^{q}(V_{v}^{\rm loc})\rightarrow\bigoplus_{w\in W(z)}E_{w/W_{w}^{\rm loc}}^{q}(W_{w}^{\rm loc})$ is a monomorphism. To this end, it is suffices to show that

[TABLE]

is a monomorphism for each $v$ different from $v_{0}$. But even the projection

[TABLE]

is an isomorphism by Lemma 3.11: Indeed, the equality $k(v\otimes v_{0})=k(v)$ follows from $k(v_{0})=k(z)$, so ${\rm pr}_{1}\colon(W_{v\otimes v_{0}}^{\rm loc},v\otimes v_{0})\rightarrow(V_{v}^{\rm loc},v)$ is (essentially) a Nisnevich neighbourhood. This finishes the proof of the sheaf property of $\mathfrak{z}_{*}\mathfrak{z}^{*}E_{Z/X}^{q}$.

In order to show the flabbieness, let us first show that $\mathfrak{z}^{*}E_{Z/X}^{q}$ is flabby: Again, we have $\mathfrak{z}^{*}E_{Z/X}^{q}=E_{z/X_{z}^{\rm loc}}^{q}$ by Lemma 3.6. Let $j\colon U\hookrightarrow X_{z}^{\rm loc}$ be the open complement of the closed point $z\in X_{z}^{\rm loc}$. Then $j^{*}E_{z/X_{z}^{\rm loc}}^{q}$ is trivial by construction. Hence, $E_{z/X_{z}^{\rm loc}}^{q}$ is supported on $z$, i.e., $E_{z/X_{z}^{\rm loc}}^{q}=z_{*}z^{*}E_{z/X_{z}^{\rm loc}}^{q}$ is flabby as a skyscraper-sheaf. For the flabbiness of $\mathfrak{z}_{*}\mathfrak{z}^{*}E_{Z/X}^{q}$, we have to show that ${\rm H}^{i}(V_{\rm Nis},\mathfrak{z}_{*}\mathfrak{z}^{*}E_{Z/X}^{q})$ is trivial for all $V\rightarrow X$ étale of finite type and $i>0$. Since $\mathfrak{z}^{*}E_{Z/X}^{q}$ is flabby, it is $\mathbb{R}\mathfrak{z}_{*}$-acyclic, i.e., $\mathfrak{z}_{*}\mathfrak{z}^{*}E_{Z/X}^{q}\simeq\mathbb{R}\mathfrak{z}_{*}\mathfrak{z}^{*}E_{Z/X}^{q}$. In particular, we have

[TABLE]

but the latter group is trivial since $V_{z,{\rm Nis}}^{\rm loc}\rightarrow X_{z}^{\rm loc}$ is étale and $\mathfrak{z}^{*}E_{Z/X}^{q}$ is flabby. ∎

Corollary 3.23**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ be a Nisnevich local fibrant spectrum. Then for every integer $s\geq 0$ and every integer $q$, the presheaf $E_{X^{(s/s+1)}}^{q}$ is a flabby sheaf on $X_{\mathrm{Nis}}$.

Proof.

By Corollary 3.20, we have $E^{q}_{X^{(s/s+1)}}\simeq\bigoplus_{z\in X^{(s)}}\mathfrak{z}_{*}\mathfrak{z}^{*}E^{q}_{Z/X}$. Here the direct sum is the direct sum of presheaves. But $X_{\mathrm{Nis}}$ in noetherian (see e.g. [9, Proposition 5.2]), so the direct sum of sheaves is the direct sum of presheaves and the claim follows from Proposition 3.22. ∎

4. The Nisnevich Gersten complex

Lemma 4.1**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ be a spectrum and $n$ an integer. The cofibre sequences of Definition 3.17 yield a complex of presheaves on $X_{\mathrm{Nis}}$ of abelian groups

[TABLE]

The (Nisnevich) sheafification $(-)^{\sim}$ of this complex is exact at the first spot $(E_{X}^{n})^{\sim}$ if and only if the canonical map

[TABLE]

is zero and it is exact at the spot $(E^{{n+s}}_{X^{(s/s+1)}})^{\sim}$ for $s\geq 0$ if both the canonical maps

[TABLE]

are zero (where the first condition is empty for $s=0$).

Proof.

The long exact sequences on homotopy groups associated to the cofibre sequences $E_{X^{(s+1)}}\to E_{X^{(s)}}\to E_{X^{(s/s+1)}}$ from Definition 3.17 for $s\geq 0$ yield a diagram

[TABLE]

and we define the middle horizontal sequence as indicated. This sequence is clearly a complex as the diagonal lines are complexes. The remaining statement follows immediately from sheafification $(-)^{\sim}$ applied to the whole diagram. ∎

4.2**.**

For a Nisnevich local fibrant spectrum $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ we can rewrite the complex of presheaves on $X_{\mathrm{Nis}}$ of abelian groups from the previous Lemma 4.1 with the help of Corollary 3.20 as

[TABLE]

Definition 4.3**.**

For every integer $n$, we define the Nisnevich Gersten complex $\mathcal{G}^{\bullet}(E,n)$ of $E$ and homotopical degree $n$ as the complex with entries

[TABLE]

for $s\geq 0$ and zero otherwise. The differentials $d^{s}$ are defined as in 4.2.

4.4**.**

For every integer $n$, we can reformulate (4c) as a map

[TABLE]

into a complex of flabby sheaves (see Corollary 3.23) of abelian groups.

4.5**.**

In abuse of notation, we will just write $E(X_{x}^{h})$ for the stalk of $E$ at a point $x$ of $X$. Here of course $X_{x}^{h}$ denotes the Henselian local scheme ${\rm Spec}(\mathcal{O}_{X,x}^{h})$.

Proposition 4.6**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ be a Nisnevich local fibrant spectrum and $n$ an integer. There is a complex of sheaves on $X_{\mathrm{Nis}}$ of abelian groups

[TABLE]

where all but the first entry are flabby Nisnevich sheaves. This complex is

1. (1)

exact at the first spot $(E_{X}^{n})^{\sim}$ if and only if, for each point $x$ of $X$ and all $Z\subseteq X$ closed with $\operatorname*{codim}(Z,X)\geq 1$, the forget support map

[TABLE]

is trivial and 2. (2)

exact at $\mathcal{G}^{s}(E,n)$ for $s\geq 0$ if, Nisnevich-locally on $X$,

1. (i)

if $s=1$, for each point $x$ of $X$ and all $Z\subseteq X$ closed with $\operatorname*{codim}(Z,X)$ $\geq 1$, the forget support map

[TABLE]

is trivial and 2. (ii)

if $s>1$, for all $Z\subseteq X$ closed with $\operatorname*{codim}(Z,X)\geq s$, there exists $Z\subseteq Z^{\prime}\subseteq X$ closed with $\operatorname*{codim}(Z^{\prime},X)\geq s-1$ such that the forget support map

[TABLE]

is trivial and 3. (iii)

for all $s\geq 0$ and all $Z\subseteq X$ closed with $\operatorname*{codim}(Z,X)\geq s+2$, there exists $Z\subseteq Z^{\prime}\subseteq X$ closed with $\operatorname*{codim}(Z^{\prime},X)\geq s+1$ such that the forget support map

[TABLE]

is trivial.

Proof.

The complex is obtained by applying the sheafification functor to the complex (4c). By Corollary 3.23, all but the first entry are flabby Nisnevich sheaves. The exactness conditions are just expanded versions of (4a) and (4b). ∎

5. Effaceability

5.1**.**

In this chapter, let $S$ be the spectrum of a Henselian discrete valuation ring $\mathfrak{o}$ with infinite residue field $\mathbb{F}$ of characteristic $p$ and quotient field $k$. Note that we make use of this hypothesis only from Lemma 5.8 onwards.

Construction 5.2**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ be a spectrum and $f\colon\tilde{X}\to X$ a morphism in $\mathrm{S}\mathrm{m}_{S}$. We consider the morphism

[TABLE]

in $\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$ given on an étale morphism $V\to X$ of finite type as the map

[TABLE]

induced by the projection. This clearly generalizes the construction (3a) where the morphism $f$ was assumed to be étale. Indeed, in this case we have $f^{*}(E_{X})\cong E_{\tilde{X}}$.

Construction 5.3**.**

Next, for $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$, a closed subset $Z\subseteq X$ and a pullback diagram

[TABLE]

we want to define a morphism

[TABLE]

that coincides with (5a) for $Z=X$. First note that the commutative diagram (5b) induces the base-change morphism

[TABLE]

Further, by adjunction, Construction 5.2 induces a map

[TABLE]

Composition with the unit yields a morphism

[TABLE]

which is seen to fit into a commutative square

[TABLE]

inducing the desired map $\eta_{f}$ by taking horizontal homotopy fibres.

Lemma 5.4**.**

Let

[TABLE]

be two morphisms of noetherian schemes of finite Krull dimension, $Z\subseteq X$ a closed subset and $Z_{1}:=Z\times_{X}X_{1}$, $Z_{2}:=Z\times_{X}X_{2}$ the respective base changes. Then we have a commutative triangle

[TABLE]

in $\operatorname{\mathrm{Spt}}_{S^{1}}(X_{\mathrm{Nis}})$ of the respective morphisms (5c).

Proof.

By adjointness it suffices to show the commutativity of the outer square of the diagram

[TABLE]

where $j\colon U\hookrightarrow X$, $j_{1}\colon U_{1}\hookrightarrow X_{1}$ and $j_{2}\colon U_{2}\hookrightarrow X_{2}$ are the respective open complements of $Z$, $Z_{1}$ and $Z_{2}$ and where $f_{1|U}\colon U_{1}\to U$, $f_{2|U_{1}}$ and $(f_{1}f_{2})_{|U}$ are the respective restrictions. The triangle on the left-hand side commutes as base change morphisms are compatible with composition and the commutativity of the remaining part is seen easily. ∎

5.5**.**

Recall, that a Nisnevich local fibrant spectrum $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(S)$ is an $\mathbb{A}^{1}$-Nisnevich local fibrant spectrum if $E(X)\to E(X\times\mathbb{A}^{1})$ is an equivalence for all $X\in\mathrm{S}\mathrm{m}_{S}$.

Lemma 5.6**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ be an $\mathbb{A}^{1}$-Nisnevich local fibrant spectrum. Let $X\in\mathrm{S}\mathrm{m}_{S}$ be a scheme, $Z\subseteq X$ a closed subset and $\pi\colon\mathbb{A}^{1}_{X}\to X$ the projection. Then the canonical map (c.f. (5c))

[TABLE]

is a weak equivalence.

Proof.

By construction of the map in question as a homotopy fibre, it suffices to show that the two maps

[TABLE]

and

[TABLE]

from (5d) are both object-wise weak equivalences, This can be checked directly by evaluation on an object $V\to X$ of the site $X_{\mathrm{Nis}}$. ∎

Lemma 5.7**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ be an $\mathbb{A}^{1}$-Nisnevich local fibrant spectrum. Let $X\in\mathrm{S}\mathrm{m}_{S}$ be a scheme and $s\colon X\hookrightarrow\mathbb{A}^{1}_{X}$ a section of the projection $\pi\colon\mathbb{A}^{1}_{X}\to X$. Then there is a commutative diagram

[TABLE]

of weak equivalences. In particular, for another section $s^{\prime}\colon X\hookrightarrow\mathbb{A}^{1}_{X}$ of the projection, the morphisms $\pi_{*}\eta_{s}$ and $\pi_{*}\eta_{s^{\prime}}$ are equal in the homotopy category.

Proof.

This follows from the previous Lemmas 5.4 and 5.6. ∎

Lemma 5.8**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ be an $\mathbb{A}^{1}$-Nisnevich local fibrant spectrum. Let $V\in\mathrm{S}\mathrm{m}_{S}$ and $Z\hookrightarrow\mathbb{A}^{1}_{V}$ a closed subscheme such that $Z\hookrightarrow\mathbb{A}^{1}_{V}\xrightarrow{\pi}V$ is finite. Let $\bar{Z}:={\pi(Z)_{\text{red}}}$ be the reduced image. Then $\operatorname*{codim}(\mathbb{A}^{1}_{\bar{Z}},\mathbb{A}^{1}_{V})=\operatorname*{codim}(Z,\mathbb{A}^{1}_{V})-1$ and the forget support map induces the trivial morphism

[TABLE]

in the homotopy category.

Proof.

Consider the diagram

[TABLE]

where the non-vertical maps are the projections and $j$ is the canonical open immersion. Let us first prove that the triangle

[TABLE]

commutes in the homotopy category, where $\bar{s}_{\infty}\colon V\hookrightarrow\mathbb{P}_{V}^{1}$ is the section at infinity. Let $\bar{s}_{0}\colon V\xhookrightarrow{s_{0}}\mathbb{A}^{1}_{V}\xrightarrow{j}\mathbb{P}_{V}^{1}$ denote the zero-section. Since by Lemma 5.7 the morphism

[TABLE]

is a weak equivalence, it suffices to show that the outer triangle of the enlarged diagram

[TABLE]

commutes. Indeed, the bottom triangle is obtained by applying $\bar{\pi}_{*}$ to a commutative triangle considered in Lemma 5.4 for $\bar{s}_{0}=js_{0}$. By the same Lemma 5.4 applied to $\mathrm{id}=\pi s_{0}$, the right vertical composition is the identity. Hence, it suffices to show that $\bar{\pi}_{*}\eta_{\bar{s}_{0}}=\bar{\pi}_{*}\eta_{\bar{s}_{\infty}}$ holds in the homotopy category.

Since the sections $\bar{s}_{0}$ and $\bar{s}_{\infty}\colon V\to\mathbb{P}^{1}_{V}$ both factorize through the open immersion $j^{\prime}\colon\mathbb{P}^{1}_{V}\smallsetminus s_{1}(V)\hookrightarrow\mathbb{P}_{V}^{1}$ via $s_{0}^{\prime}$ and $s_{\infty}^{\prime}\colon V\to\mathbb{P}^{1}_{V}\smallsetminus s_{1}(V)$, we have a commutative diagram

[TABLE]

(and likewise for $\bar{s}_{\infty}$ and $s^{\prime}_{\infty}$). Here, $\pi^{\prime}\colon\mathbb{P}^{1}_{V}\smallsetminus s_{1}(V)\to V$ is the projection. As $\mathbb{P}^{1}_{V}\smallsetminus s_{1}(V)\cong\mathbb{A}^{1}_{V}$ and $\mathbb{P}^{1}_{\bar{Z}}\smallsetminus s_{1}(V)\cong\mathbb{A}^{1}_{\bar{Z}}$, we obtain $\pi^{\prime}_{*}\eta_{s_{0}^{\prime}}=\pi^{\prime}_{*}\eta_{s_{\infty}^{\prime}}$ by Lemma 5.7, thus $\bar{\pi}_{*}\eta_{\bar{s}_{0}}=\bar{\pi}_{*}\bar{\eta}_{s_{\infty}}$. Summing up, this yields the commutativity of diagram (5e).

In order to show that the morphism in question

[TABLE]

is trivial in the homotopy category, we consider the diagram

[TABLE]

where the middle triangle is (5e). The left horizontal maps are induced by the respective forget support maps. For the right triangle, we note that $\bar{s}_{\infty}\colon V\hookrightarrow\mathbb{P}_{V}^{1}$ factorizes through $j^{\prime\prime}\colon\mathbb{P}^{1}_{V}\smallsetminus Z\hookrightarrow\mathbb{P}^{1}_{V}$ via $s^{\prime\prime}_{\infty}\colon V\hookrightarrow\mathbb{P}^{1}_{V}\smallsetminus Z$. The commutativity of the square on the left-hand side is clear. The triangle on the right-hand side commutes again by Lemma 5.4. We observe that the lower horizontal line is given by $\bar{\pi}_{*}$ applied to the exact triangle of Lemma 3.7. In particular, it is an exact triangle itself and therefore the composition is trivial. Finally, the left vertical arrow is a weak equivalence by the excision Lemma 3.11. Hence the morphism $\pi_{*}E_{Z/\mathbb{A}^{1}_{V}}\to\pi_{*}E_{\mathbb{A}^{1}_{\bar{Z}}/\mathbb{A}^{1}_{V}}$ in question is trivial in the homotopy category.

For the assertion $\operatorname*{codim}(\mathbb{A}^{1}_{\bar{Z}},\mathbb{A}^{1}_{V})=\operatorname*{codim}(Z,\mathbb{A}^{1}_{V})-1$ we can argue component-wise on $Z$ so we may assume that $Z$ is irreducible. Further, we can replace $\mathbb{A}_{V}^{1}$ by a base change along a flat morphism $V^{\prime}\rightarrow V$. In particular, we may assume that $V$ is a local scheme with closed point $\bar{Z}$. As $Z$ is finite over $\bar{Z}$, it is just a finite union of points in the curve $\mathbb{A}_{\bar{Z}}^{1}$. Thus, $\operatorname*{codim}(Z,\mathbb{A}^{1}_{\bar{Z}})=1$ and the assertion follows by Lemma 2.7. ∎

Proposition 5.9**.**

Let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ be an $\mathbb{A}^{1}$-Nisnevich local fibrant spectrum. Let $X\in\mathrm{S}\mathrm{m}_{S}$, $Z\hookrightarrow X$ be a closed subscheme and $x\in X$ be a point. If $x$ lies in the special fibre $X_{\sigma}$, assume that $Z_{\sigma}$ does not contain any connected components of $X_{\sigma}$. Then, Nisnevich-locally on $X$ around $x$, there exists a $V\in\mathrm{S}\mathrm{m}_{S}$, a smooth relative curve $p\colon X\to V$ with $Z$ finite over $V$ and a closed subscheme $Z^{\prime}\hookrightarrow X$ containing $Z$ such that $\operatorname*{codim}(Z^{\prime},X)=\operatorname*{codim}(Z,X)-1$ and the forget support map induces the trivial morphism

[TABLE]

in the homotopy category. In particular, $E_{Z/X}(X)\to E_{Z^{\prime}/X}(X)$ is trivial in this case.

Proof.

Possibly after shrinking $X$ Nisnevich-locally around $x$, we find a Nisnevich distinguished square

[TABLE]

such that $Z\hookrightarrow X\xrightarrow{f}\mathbb{A}^{1}_{V}\xrightarrow{\pi}V$ is finite by [8, Theorem 2.1]. Let $p\colon X\xrightarrow{f}\mathbb{A}^{1}_{V}\xrightarrow{\pi}V$ denote the composition and set $\bar{Z}:=p(Z)_{\text{red}}$ and $Z^{\prime}:=p^{-1}(\bar{Z})$. Since $f$ and $\pi$ and hence the composition $p$ is flat, the assertion about the codimensions holds true. By the excision Lemma 3.11, the upper horizontal morphism of the diagram

[TABLE]

is an equivalence, where the vertical maps are the respective forget support maps and $f^{-1}f(Z)=Z$. Application of $\pi_{*}$ yields the commutative diagram

[TABLE]

The left vertical morphism is trivial by the previous Lemma 5.8. Hence the right vertical morphism is trivial which proves the claim. ∎

5.10**.**

Denote by $X_{x,\eta}^{h}$ the generic fibre ${\rm Spec}(\mathcal{O}_{X,x}^{h}\otimes_{\mathfrak{o}}k)$ of the Henselian local scheme at $x$. Similar to 4.5, by $E(X_{x,\eta}^{h})$ we mean $\operatorname*{colim}_{(W,w)}E(W_{\eta})$, where $(W,w)$ runs through the Nisnevich neighbourhoods of $x$ and $W_{\eta}$ is the generic fibre.

Corollary 5.11**.**

Under the assumptions of Proposition 5.9, the forget support map

[TABLE]

*is trivial. *

Proof.

By [8, Theorem 2.1], there is a cofinal family of Nisnevich neighbourhoods $(W,w)$ of $x$ admitting a Nisnevich distinguished square of the form (5f) with the additional finiteness assumption. We even claim that for such neighbourhoods $(W,w)$, the forget support map $E_{Z/X}(W_{\eta})\to E_{X}(W_{\eta})$ is trivial. To show this, we may assume $W=X$, i.e., we assume $X$ admits a Nisnevich distinguished square as in (5f) with $Z/V$ finite. On the generic fibres, we still have a distinguished square

[TABLE]

and as pullback, $Z_{\eta}/V_{\eta}$ is still finite. Accordingly, the arguments in the proof of Proposition 5.9 go through for $Z_{\eta}\subseteq X_{\eta}$, as well. In particular, the forget support map $E_{Z/X}(X_{\eta})\to E_{X}(X_{\eta})$ is indeed trivial. ∎

Theorem 5.12**.**

Let $S$ be a Dedekind scheme with only infinite residue fields. Moreover, let $E\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ be an $\mathbb{A}^{1}$-Nisnevich local fibrant spectrum and $X\in\mathrm{S}\mathrm{m}_{S}$ of dimension $d$. The complex

[TABLE]

is exact, possible except at the spots $(E_{X}^{n})^{\sim}$ and $\bigoplus_{z\in X^{(1)}}\mathfrak{z}_{*}\mathfrak{z}^{*}E_{Z/X}^{n+1}$. Moreover, if for each point $x$ of $X$ the forget support map for the special fibre

[TABLE]

is trivial, then it is exact everywhere and thus a resolution of $(E_{X}^{n})^{\sim}$ by flabby Nisnevich sheaves. In this case, we have

[TABLE]

for $Y\in X_{\mathrm{Nis}}$ which vanishes for $p>d$.

Proof.

Since exactness is checked stalk-wise and we can compute the stalk at a point $x\in X$ after henselization of the local scheme obtained from $S$ at the image of $x$, we may assume, that $S$ is the spectrum of a Henselian discrete valuation ring with infinite residue field. Now the first result follows from Proposition 4.6 and Proposition 5.9.

Suppose the forget support maps $E_{X_{\sigma}/X}(X_{x}^{h})\to E_{X}(X_{x}^{h})$ are trivial for all points $x$. By our assumtion and Propositions 4.6 and 5.9, it is enough so show that the forget support map $E^{n}_{Z/X}(X_{x}^{h})\to E^{n}_{X}(X_{x}^{h})$ is trivial for closed subsets $X_{\sigma}\subsetneq Z\subsetneq X$. We may replace $X$ by the Henselian local scheme $X_{x}^{h}$. Write $Z=Z_{1}\cup Z_{2}$ with $Z_{1}=X_{\sigma}$ and $X_{\sigma}\nsubseteq Z_{2}$. Let $U=X\smallsetminus Z$ and $U_{i}=X\smallsetminus Z_{i}$ be the respective open complements. Observe that $U_{1}=X_{\eta}$ and $U=U_{2,\eta}$ are just the generic fibres. Consider the exact triangles

[TABLE]

and

[TABLE]

By our assumption, the forget support map in the latter triangle is trivial, so the restriction map $E_{X}(X)\to E_{X}(U_{1})$ admits a retraction $r_{1}$. By Corollary 5.11, the forget support map in the former triangle is trivial, so the restriction map $E_{X}(U_{1})\to E_{X}(U)$ admits a retraction $r_{2}$. Set $r:=r_{1}\circ r_{2}\colon E_{X}(U)\to E_{X}(X)$. By construction, $r$ is a retraction of the restriction map $E_{X}(X)\to E_{X}(U)$. Thus, using the exact triangle

[TABLE]

we get that the forget support map $E_{Z/X}(X)\to E_{X}(X)$ is indeed trivial. ∎

6. A Bloch-Ogus theorem for étale cohomology

In this section we want to apply Theorem 5.12 to étale cohomology. Let us first fix the situation:

6.1**.**

We are in the situation of 5.1. For the whole section, we fix an essentially smooth scheme $X/S$, connected and of finite dimension. Let us denote the structural morphism by $p_{X}\colon X\rightarrow S$. We fix a coefficient group $\Lambda:=\mathbb{Z}/m$ for an integer $m>0$ prime to $p$. We work in the derived category $\mathcal{D}_{c}^{b}(X_{\rm et},\Lambda)$ of bounded (above and below) complexes all of whose cohomology sheaves are constructible sheaves of $\Lambda$-modules. By an l.c.c. complex $K^{\bullet}$, we mean a complexes $K^{\bullet}\in\mathcal{D}_{c}^{b}(X_{\rm et},\Lambda)$ with locally constant cohomology sheaves ${\rm H}^{q}(K^{\bullet})$ for all $q$.

6.2**.**

Let $\varepsilon\colon X_{\rm et}\rightarrow X_{\rm Nis}$ be the canonical morphism of sites. Note that $\mathbb{R}\Gamma(X_{\rm et},-)\simeq\mathbb{R}\Gamma(X_{\rm Nis},\mathbb{R}\varepsilon_{\ast}(-))$. By abuse of notation, let us denote by $\varepsilon$ also the corresponding morphism $\mathrm{S}\mathrm{m}_{S,{\rm et}}\rightarrow\mathrm{S}\mathrm{m}_{S,{\rm Nis}}$ of the smooth sites. For an l.c.c. complex $K^{\bullet}$ in $\mathcal{D}_{c}^{b}(S_{\rm et},\Lambda)$, we denote by $K^{\bullet}$ also the complex in $\mathcal{D}^{b}(\mathrm{S}\mathrm{m}_{S,{\rm et}},\Lambda)$ that restricts to $p_{X}^{\ast}K^{\bullet}$ on each small site $X_{\rm et}$. Further, we fix a Nisnevich local fibrant spectrum $E(K^{\bullet})\in\operatorname{\mathrm{Spt}}_{S^{1}}(\mathrm{S}\mathrm{m}_{S})$ corresponding to $\mathbb{R}\varepsilon_{\ast}K^{\bullet}$ under the Dold–Kan correspondence.

Lemma 6.3**.**

The spectrum $E(K^{\bullet})$ is $\mathbb{A}^{1}$-local.

Proof.

Indeed, the projection $\pi\colon\mathbb{A}_{X}^{1}\rightarrow X$ induces a quasi-isomorphism $p_{X}^{\ast}K^{\bullet}\rightarrow\mathbb{R}\pi_{\ast}\pi^{\ast}p_{X}^{\ast}K^{\bullet}$ (e.g. [4, Corollary 7.7.4]) and hence a quasi-isomorphism on cohomology

[TABLE]

Under the Dold–Kan correspondence this translates to our claim. ∎

6.4**.**

In order to apply Theorem 5.12 to the $\mathbb{A}^{1}$-local spectrum $E(K^{\bullet})$, we need to show that the forget support maps

[TABLE]

vanish for all points $x$ in $X$. Unravelling the definitions, these maps are just the forget support maps

[TABLE]

of étale cohomology.

In the following, we will make use of Gabber’s absolute purity theorem – but not in its full strength. The following easy special case will be sufficient for our cause:

Lemma 6.5**.**

In the situation of 6.1, let $i\colon Z\hookrightarrow X$ be a closed subscheme of codimension $c$, contained in the special fibre of $X/S$. Assume $Z/\mathbb{F}$ is smooth and connected. Then the canonical morphism $\mathbb{R}i^{!}K^{\bullet}|_{X}\rightarrow K^{\bullet}|_{Z}(-c)[-2c]$ is a quasi-isomorphism for all l.c.c. complexes $K^{\bullet}\in\mathcal{D}_{b}^{c}(S_{\rm et},\Lambda)$.

Proof.

Say, $X/S$ and $Z/\mathbb{F}$ have relative dimension $m$ and $n$ respectively. In particular, $c=m-n+1$. Consider the commutative diagram

[TABLE]

By Poincaré-duality for $X/S$ (respectively $Z/\mathbb{F}$) , $\mathbb{R}p_{X}^{!}K^{\bullet}\simeq p_{X}^{\ast}K^{\bullet}(m)[2m]$ (respectively $\mathbb{R}p_{Z}^{!}\sigma^{\ast}K^{\bullet}$ $\simeq p_{Z}^{\ast}\sigma^{\ast}K^{\bullet}(n)[2n]$). Further, by the special case of absolute purity for the closed point in $S$ (which is an easy exercise – e.g. the proof of [4, Lemma 8.3.6] goes through unchanged for l.c.c. sheaves and hence for l.c.c. complexes), $\mathbb{R}\sigma^{!}K^{\bullet}\simeq\sigma^{\ast}K^{\bullet}[-2]$. Summing up, we get

[TABLE]

finishing the proof. ∎

Lemma 6.6**.**

In the situation of 6.1, assume that $X$ is Henselian local with closed point $x$ in the special fibre of $X/S$. Then the canonical morphism $\sigma_{X,\ast}\mathbb{R}\sigma_{X}^{!}\Lambda\rightarrow\Lambda$ induces the trivial morphism in $\mathcal{D}^{b}(k(x)_{\rm et},\Lambda)$:

[TABLE]

In particular, the canonical map $\mathbb{R}\Gamma_{X_{\sigma}}(X_{\rm et},\Lambda)\rightarrow\mathbb{R}\Gamma(X_{\rm et},\Lambda)$ is trivial.

Proof.

The second claim follows from the first. Indeed, as $X$ is local Henselian $\mathbb{R}\Gamma(X_{\rm et},-)\simeq\mathbb{R}\Gamma(k(x)_{\rm et},x^{\ast}(-))$. For the first claim, it is enough to show that the Tate-twist

[TABLE]

is trivial in $\mathcal{D}^{b}(k(x)_{\rm et},\Lambda)$. By Lemma 6.5, $\mathbb{R}\sigma_{X}^{!}\Lambda(1)\simeq\Lambda[-2]$. In particular, the sheaf-cohomology of (6a) in degree $2$ is given by

[TABLE]

i.e., is trivial as $X$ is a local scheme. Further,

[TABLE]

which implies

[TABLE]

and (6a) corresponds to a class contained in the image of (6b) (more precisely, (6a) corresponds to the class $\hat{c}_{1}[\mathcal{O}(X_{\sigma})]$), hence it is trivial. ∎

Corollary 6.7**.**

In the situation of 6.1, assume that $X$ is Henselian local with closed point $x$ in the special fibre of $X/S$. Let $K^{\bullet}\in\mathcal{D}_{c}^{b}(S_{\rm et},\Lambda)$ be a l.c.c. complex. Then the canonical morphism $\sigma_{X,\ast}\mathbb{R}\sigma_{X}^{!}K^{\bullet}|_{X}\rightarrow K^{\bullet}|_{X}$ induces the trivial morphism in $\mathcal{D}^{b}(k(x)_{\rm et},\Lambda)$:

[TABLE]

In particular, the canonical map $\mathbb{R}\Gamma_{X_{\sigma}}(X_{\rm et},K^{\bullet}|_{X})\rightarrow\mathbb{R}\Gamma(X_{\rm et},K^{\bullet}|_{X})$ is trivial.

Proof.

By Lemma 6.6, $x^{\ast}$ applied to

[TABLE]

is trivial. By the projection formula and Lemma 6.5, (6c) is isomorphic to the canonical morphism $\sigma_{X,\ast}\mathbb{R}\sigma_{X}^{!}p_{X}^{\ast}K^{\bullet}\rightarrow p_{X}^{\ast}K^{\bullet}$, so the claim follows. ∎

Combining Theorem 5.12 and Corollary 6.7, we get:

Theorem 6.8**.**

Let $S$ be the spectrum of a Henselian discrete valuation ring with infinite residue field $\mathbb{F}$. Let $X/S$ be smooth, $d={\rm dim}(X)$ and $K^{\bullet}$ an l.c.c. complex in $\mathcal{D}_{c}^{b}(S_{\rm et},\Lambda)$. Then the Nisnevich Gersten complex $\mathcal{G}^{\bullet}(E(K^{\bullet}),n)$ is a flasque resolution of the Nisnevich sheafification $\mathbb{R}^{n}\varepsilon_{*}K^{\bullet}|_{X}$ of étale cohomology with coefficients $K^{\bullet}$. In particular, we get the exact sequence

[TABLE]

Proof.

The spectrum $E(K^{\bullet})$ is $\mathbb{A}^{1}$-local by Lemma 6.3. Combining Theorem 5.12 and Corollary 6.7, we get that $\mathcal{G}^{\bullet}(E(K^{\bullet}),n)$ is a flasque resolution of $\mathbb{R}^{n}\varepsilon_{*}K^{\bullet}|_{X}$.

Let us compute $\mathcal{G}^{s}(E(K^{\bullet}),n)=\bigoplus_{z\in X^{(s)}}\mathfrak{z}_{\ast}\mathfrak{z}^{\ast}E(K^{\bullet})_{Z/X}^{n+s}$: In the proof of Proposition 3.22 we saw that $\mathfrak{z}^{\ast}E(K^{\bullet})_{Z/X}^{n+s}=z_{\ast}z^{\ast}E(K^{\bullet})_{z/X_{z}^{\rm loc}}^{n+s}$. Unravelling the definitions, $z^{\ast}E(K^{\bullet})_{z/X_{z}^{\rm loc}}^{n+s}\cong{\rm H}_{z}^{n+s}(X_{z,{\rm et}}^{\rm loc},K^{\bullet})$. By absolute purity, ${\rm H}_{z}^{n+s}(X_{z,{\rm et}}^{\rm loc},K^{\bullet})\cong{\rm H}^{n-s}(k(z),K^{\bullet}(-s))$, which finishes the proof. ∎

Remark 6.9**.**

We can avoid absolute purity in its full strength if we assume $k$ and $\mathbb{F}$ to be perfect: Computing $\mathfrak{z}^{\ast}E(K^{\bullet})_{Z/X}^{n+s}$ under this assumption, we may assume $Z$ to be smooth over $k$ (if $z$ is contained in the generic fibre of $X/S$) or smooth over $\mathbb{F}$ (if $z$ is contained in the special fibre of $X/S$) by generic smoothness. In both cases, $\mathfrak{z}^{\ast}E(K^{\bullet})_{Z/X}^{n+s}\cong z_{\ast}H^{n-s}(k(z),K^{\bullet}(-s))$, either by relative purity or by Lemma 6.5.

Taking Nisnevich stalks, we get:

Corollary 6.10**.**

Let $S$ be the spectrum of a Henselian discrete valuation ring with infinite residue field $\mathbb{F}$. Let $X/S$ be smooth of finite type, $d={\rm dim}(X)$ and $K^{\bullet}$ an l.c.c. complex in $\mathcal{D}_{c}^{b}(S_{\rm et},\Lambda)$. Let $x$ be a point of $X$ and $Y=X_{x}^{h}$ the Nisnevich local scheme at $x$. Then there is an exact sequence

[TABLE]

Remark 6.11**.**

Using the Bloch–Kato-Conjecture, in [5] Geisser proved the exactness of the Gersten complex in degree $n$ for $X/S$ smooth even for $\varepsilon\colon X_{\rm et}\rightarrow X_{\rm Zar}$, but only for coefficients $K^{\bullet}=\Lambda(r)=\boldsymbol{\mu}_{m}^{\otimes r}$ for $n\leq r$. If $S$ is not strictly Henselian, this assumption excludes ${\rm H}^{2r}(Y_{\rm et},\Lambda(r))$ for $r>0$, i.e., the targets of the cycle class maps.