Variations on the Bloch-Ogus theorem (Q1812331)

Summary: Let \(R\) be a semi-local regular ring of geometric type over a field \(k\). Let \(\mathcal U=\text{Spec} R\) be the semi-local scheme. Consider a smooth proper morphism \(p:Y \rightarrow \mathcal U\). Let \(Y_{k(u)}\) be the fiber over the generic point of a subvariety \(u\) of \(\mathcal U\). We prove that the Gersten-type complex for étale cohomology \[ 0 \rightarrow H^q_{\text{ét}}(Y,C) \rightarrow H^q_{\text{ét}}(Y_{k(\mathcal U)},C) \rightarrow \coprod_{u\in \mathcal U^{(1)}} H^{q-1}_{\text{ét}}(Y_{k(u)},C(-1)) \rightarrow\ldots \] is exact, where \(C\) is a locally constant sheaf with finite stalks of \(\mathbb Z/n\mathbb Z\)-modules on \(Y_{\text{ét}}\) and \(n\) is an integer prime to char \((k)\).