Skip to main content
2 of 4
removed capitals, added tag
YCor
  • 63.9k
  • 5
  • 187
  • 286

Flasque sheaves on a site

This is a cross-post from MathStackexchange.

We define a flasque sheaf on a site as one whose first Čech cohomology vanishes for every covering of every object of the site. I know this definition is non-standard, but Lei Fu's 'Étale cohomology theory' uses it and shows it to be equivalent to the standard one (i.e, that all higher cohomology groups vanish for every object).

In the proof, he uses the following lemma which I could not prove: If $$0\rightarrow F'\rightarrow F\rightarrow F''\rightarrow 0$$ is an exact sequence and $F'$ and $F$ are flasque, so is $F''$. I am not entirely sure if this is true or if Fu has made a mistake, because I have never seen this claim made anywhere else.

Here is the relevant section in the book:

enter image description here

As an aside, how does this relate to the 'restriction maps are surjective' definition?

Jehu314
  • 153
  • 4