# A problem on universally locally acyclic

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $X$ and $S$ be two smooth varieties over $k$ and $\mathcal F$ a constructible \'etale sheaf of $\mathbb F_\ell$-modules on $X$ ($\ell\neq p$). Let $\pi\colon X\rightarrow S$ be a smooth morphism.

Let $x\in X$ be a closed point and $s=\pi(x)$. Let $f\colon X\rightarrow \mathbb A_S^1$ be a $S$-morphism.

Assume that:

(1) $\pi$ is universally locally acyclic relative to $\mathcal F$.

(2) $f_s\colon X_s\rightarrow \mathbb A_s^1$ is universally locally acyclic relative to $\mathcal F|_{X_s}$ for all $s\in S$.

My question is that:

Is $f$ locally acyclic relative to $\mathcal F$? Can you prove this or give a counterexample.

How about this simple case: $S=\mathrm{Spec}~k[T_0]$ and $X=\mathrm{Spec}~k[T_0,T_1]$ or $X=\mathrm{Spec}~k[T_0,T_1,T_2]$?

For the definition of locally acyclic we refer to SGA 4.5, P. Deligne, Theoremes de finitude en cohomologie $\ell$-adique.

• This is not true. Take $S=\mathbb A_k^1, X=\mathbb A_S^1$ and $f=identity$. Let $\mathcal F$ is Artin-Schreier sheaf on $X$.... – ely Oct 14 '15 at 14:21