6
$\begingroup$

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.

$\endgroup$
  • $\begingroup$ 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$.... $\endgroup$ – ely Oct 14 '15 at 14:21

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.