Definition 59.93.1 (0GJP)—The Stacks project

Definition 59.93.1. Let $f : X \to S$ be a morphism of schemes. Let $K$ be an object of $D(X_{\acute{e}tale})$ .

Let $\overline{x}$ be a geometric point of $X$ with image $\overline{s} = f(\overline{x})$ . We say $f$ is locally acyclic at $\overline{x}$ relative to $K$ if for every geometric point $\overline{t}$ of $\mathop{\mathrm{Spec}}(\mathcal{O}^{sh}_{S, \overline{s}})$ the map (59.93.0.1) is an isomorphism ¹.
We say $f$ is locally acyclic relative to $K$ if $f$ is locally acyclic at $\overline{x}$ relative to $K$ for every geometric point $\overline{x}$ of $X$ .
We say $f$ is universally locally acyclic relative to $K$ if for any morphism $S' \to S$ of schemes the base change $f' : X' \to S'$ is locally acyclic relative to the pullback of $K$ to $X'$ .
We say $f$ is locally acyclic if for all geometric points $\overline{x}$ of $X$ and any integer $n$ prime to the characteristic of $\kappa (\overline{x})$ , the morphism $f$ is locally acyclic at $\overline{x}$ relative to the constant sheaf with value $\mathbf{Z}/n\mathbf{Z}$ .
We say $f$ is universally locally acyclic if for any morphism $S' \to S$ of schemes the base change $f' : X' \to S'$ is locally acyclic.

[1] We do not assume

$\overline{t}$ is an algebraic geometric point of

$\mathop{\mathrm{Spec}}(\mathcal{O}^{sh}_{S, \overline{s}})$ . Often using Lemma 59.90.2 one may reduce to this case.

The Stacks project