Remark 59.88.1. Let $f : X \to S$ be a morphism of schemes. Let $n$ be an integer. We will say $BC(f, n, q_0)$ is true if for every commutative diagram

with $X' = X \times _ S S'$ and $Y = X' \times _{S'} T$ and $g$ quasi-compact and quasi-separated, and every abelian sheaf $\mathcal{F}$ on $T_{\acute{e}tale}$ annihilated by $n$ the base change map

is an isomorphism for $q \leq q_0$.

## Comments (0)