2

If we have a surjective morphism of representable fppf sheaves over the fppf site over a field,it may not be surjective as etale sheaves. For example, consider $p$ power from $G_m$ to $G_m$ when the base field has char $p$ nonzero.

Do we know any such example in char 0 with finite type assumption?

  • Have you seen this? https://math.stackexchange.com/a/3182788/16497 – Alex Youcis Apr 27 '19 at 05:18
  • @AlexYoucis I know this, but here I require we are on a char $0$ base field. In fact, this counterexample is still due to positive characteristic problems. –  Apr 27 '19 at 05:20
  • I misunderstood. I'll answer later if no one else does. – Alex Youcis Apr 27 '19 at 05:27
  • So, I thought some more about this. This is going to be really annoying because your example cannot be representable by something finite type. If your sheaf is representable by a finite type thing over $k$ then it's auomatically smooth by Chevalley's theorem and thus by Grothendieck's observation you have that $H^1_\text{fppf}$ coincides with $H^1_\text{et}$ for your sheaf. Does that answer your question? – Alex Youcis Apr 27 '19 at 09:13
  • @Alex Youcis Not quitely... As surjectivity does not imply H1 is zero. –  Apr 27 '19 at 14:31
  • But if H^1 is zero, then you are surjective so surjecitve in fppf implies H^1 etale vanishes implies surjective in etale. – Asvin Apr 27 '19 at 16:35
  • @Asvin here I mean the subjectivity as sheaves, so there is nothing to do with taking global sections. –  Apr 27 '19 at 16:36
  • @asvin But the point is that you can apply etale cohomology on any $U$! Namely for any short exact sequence of fppf $0\to\mathcal{F}1\to\mathcal{F}_2\to\mathcal{F}_3\to 0$ you know that the lack of surjectivity of $\mathcal{F}_2(U)\to \mathcal{F}_3(U)$ is captured by an element of $H^1\text{fppf}(U,\mathcal{F}1)$. Namely, if $x\in\mathcal{F}_3(U)$ you get an element $b(x)\in H^1\text{fppf}(U,\mathcal{F}_1)$ which is zero iff $b(x)$ is hit. The point is that every cohomology class in fppf cohomology is killed fppf locally. But, since etale=fppf cohomology its actually killed etale locally. – Alex Youcis Apr 27 '19 at 17:34
  • Thus you should get an actual surjectivity of sheaves on the etale site if $\mathcal{F}_1$ is representable by something of finite type due to the Cartier/Grothendieck observations I said before. – Alex Youcis Apr 27 '19 at 17:35
  • That makes sense. What is the precise statement of Grothendieck's observation? – Asvin Apr 27 '19 at 17:49
  • @Asvin Oops. I didn't meant to tag you, I meant to tag the OP. Grothendieck's theorem is that fppf and etale cohomology coincide for smooth group schemes and Cartier's observation is that over a char 0 field a finite type group scheme is automatically smooth. – Alex Youcis Apr 27 '19 at 18:42
  • @Asvin If you're curious, I gave an answer below. – Alex Youcis Apr 28 '19 at 02:47
  • @zzy Last thing I'll say is that the Z example I linked is actually not due to char p problems. In some sense it's more subtle than that--a purely integral problem. But, yes, it is a "p is not invertible" problem. – Alex Youcis Apr 28 '19 at 04:35

1 Answers1

2

Let me write as an answer the claim that I was trying to make in the above comments. I believe the following is correct:


NB: All sites in the following are the 'big' versions of the sites or, if your fppf site is the small fppf site, below is discussing the stronger claim that you still get an etale sheaf with underlying category the same as that of the small fppf site but with the etale topology. You can get even stronger claims (I think), like having a lot of these "for all $X$-schemes $Y$" conditions go away in a lot of situations if you only care about getting a sheaf on the small etale site.

In fact, if you want to know that a short exact sequence of fppf sheaves on $\mathrm{Spec}(k)$ is actually short exact on the small etale of $\mathrm{Spec}(k)$ when $k$ is characteristic $0$ (or perfect), then this is actually fairly easy.

Namely, suppose that $k$ is arbitrary and that we have a short exact sequence of etale sheaves

$$0\to \mathcal{F}_1\to\mathcal{F}_2\xrightarrow{f}\mathcal{F}_3\to 0$$

of sheaves on the fppf site of $\mathrm{Spec}(k)$. We claim that the map $\mathcal{F}_2(\overline{k})\to \mathcal{F}_3(\overline{k})$ is surjective. Indeed, if $z\in\mathcal{F}_3(\overline{k})$ then we know there is an fppf map $X\to\mathrm{Spec}(\overline{k})$ and some $x\in \mathcal{F}_2(X)$ such that $f(x)=z\mid_X$. But, note that $X$ has an $\overline{k}$-point $y$ since it's finite type. Note then that

$$f(x\mid_y)=(z\mid_X)\mid_y=z$$

so that, in fact, $z$ is in the image of $f$ on $\overline{k}$.

Now, to show that our sequence is short exact on the small etale site of $\mathrm{Spec}(k)$ we know that it suffices to check surjectivity of $\mathcal{F}_2\to\mathcal{F}_3$ on stalks. This amounts to checking that $\mathcal{F}_2(k^\mathrm{sep})\to\mathcal{F}_3(k^\mathrm{sep})$ is surjective. Since $\mathrm{char}(k)=0$ $k^\mathrm{sep}=\overline{k}$ and we're done.


Let us make the following claim:

Claim 1: Let $X$ be a scheme and let $$0\to\mathcal{F}_1\to\mathcal{F}_2\xrightarrow{f}\mathcal{F}_3\to 0\qquad (\ast)$$ be a short exact sequence of fppf sheaves of groups on $X$. Suppose that the natural map $$H^1_\text{et}(Y,\mathcal{F}_1)\to H^1_\text{fppf}(Y,\mathcal{F}_1)$$ is a bijection for all $X$-schemes $Y$. Then, $(\ast)$ is a short exact sequence of etale sheaves on $X$.

Proof: Let $U\to X$ be an $X$-scheme and let $z\in \mathcal{F}_3(U)$. Then, the functor

$$K:\mathsf{Sch}_U\to \mathsf{Set}$$ given by

$$K(T)=\{x\in\mathcal{F}_2(T):f(x)=z\mid_T\}$$

is a $\mathcal{F}_1$-torsor for the fppf site on $U$. By assumption, we have that every $\mathcal{F}_1$-torsor for the fppf site on $U$ is actually split etale locally. Thus, $K$ actually obtains a section etale locally on $U$. This shows that $f$ is etale locally surjective, and so $(\ast)$ is a short exact sequence on the etale site. $\blacksquare$

Recall then we have the following observation of Grothendieck:

Observation 1(Grothendieck): Let $U$ be any scheme and let $\mathcal{G}$ be a smooth commtuative group scheme on $U$. Then, the natural map $H^i_\text{et}(U,\mathcal{G})\to H^i_\text{fppf}(U,\mathcal{G})$ is an isomorphism for all $i\geqslant 0$.

Proof:$\text{ }$ This is Le Groupe de Brauer III, Theorem 11.7. $\blacksquare$

If you don't want to assume abelian, you can upgrade this easily to the following:

Observation 2: Let $U$ be a scheme and let $\mathcal{G}$ be a smooth group scheme on $U$ such that every fppf torsor of $\mathcal{G}$ is representable. Then, the natural map $H^1_\text{et}(U,\mathcal{G})\to H^1_\text{fppf}(U,\mathcal{G})$ is bijective.

Remark: The condition that every fppf torsor of $\mathcal{G}$ is representable is true fairly generally. For example, if:

  • $\mathcal{G}$ is affine (note that this is preserved by base change!)
  • $\dim U\leqslant 1$ (and $\mathcal{G}$ is separated).
  • $\mathcal{G}$ is an abelian scheme and $U$ is regular.

as some examples (see Theorem 4.3 of Milne's book on etale cohomology).

Proof (Observation 2): Let $\mathcal{F}$ be an fppf torsor for $\mathcal{G}$. By assumption, we know that $\mathcal{F}$ is represented by some $U$-scheme $\mathcal{T}$. Since $\mathcal{T}$ is a $\mathcal{G}$-torsor and $\mathcal{G}$ is smooth, we know that $\mathcal{T}$ is smooth. Thus, we know that it has a section etale locally on $U$ and so is split locally. The conclusion follows. $\blacksquare$

Combining all of this we deduce the following:

Claim 2: Let $X$ be a scheme and let $\mathcal{G}$ be a smooth group scheme on $X$ for which every $X$-scheme $Y$ any fppf torsor of $\mathcal{G}_Y$ is representable (or $\mathcal{G}$ is abelian). Then, any short exact sequence of fppf group sheaves on $X$ $$0\to\mathcal{G}\to \mathcal{F}_2\to\mathcal{F}_3\to 0$$ is actually a short exact sequence of etale sheaves on $X$.

Note though the following well-known result of Cartier:

Theorem(Cartier): Let $k$ be a field of characteristic $0$ and let $G/k$ be a finite type group scheme. Then, $G$ is smooth.

Proof: See Tag047N. $\blacksquare$

Thus:

Conclusion: Let $k$ be a field of characteristic $0$ and let $X$ be a $k$-scheme. Let $G$ be a finite type $k$ scheme and set $\mathcal{G}:=G_X$. Then, if for every $X$-scheme $Y$ every fppf torsor for $\mathcal{G}_Y$ is representable (or $\mathcal{G}$ is affine) then any short exact sequence of fppf sheaves on $X$ $$0\to\mathcal{G}\to\mathcal{F}_2\to\mathcal{F}_3\to0$$ is a short exact sequence of etale sheaves.

I think this shows that there is no example of a sequence $$0\to\mathcal{F}_1\to\mathcal{F}_2\to\mathcal{F}_3\to 0$$ of fppf sheaves on $\mathrm{Spec}(k)$ where $k$ is a field of characteristic $0$ such that $\mathcal{F}_1$ is representable by a finite type group scheme $G$ that is either affine or an abelian group (or, more generally, an abelian group or every $k$-scheme $Y$ we have that every fppf torsor for $G_Y$ is representable).

Alex Youcis
  • 56,595