Skip to main content
1 of 4
AT0
  • 1.5k
  • 1
  • 11
  • 23

Stalks of étale sheaves

I want to prove that $0 \to F\to G\to H \to 0$ is an exact sequence of étale sheaves. I understand that it is enough to show that $0\to F_{\bar{x}}\to G_{\bar{x}}\to H_{\bar{x}}\to 0$ is exact at every geometric point $\bar{x}\to X$. Why is it then enough to show that $0\to F(U)\to G(U)\to H(U)\to 0$ is exact for every strictly Hensel local scheme $U$?

I ask this because I don't understand the proof of proposition 6.12 of Voevodsky's "Lecture notes on motivic cohomology".

AT0
  • 1.5k
  • 1
  • 11
  • 23