Skip to main content
edited tags
Link
Zhen Lin
  • 15.9k
  • 1
  • 46
  • 84
added 2 characters in body
Source Link
Jehu314
  • 153
  • 4

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 infrom the book:

enter image description here

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

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?

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 from the book:

enter image description here

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

removed capitals, added tag
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

A Question About Flasque Sheavessheaves on a Sitesite

This is a cross-post from Stackexchange: https://math.stackexchange.com/q/4428946/531227cross-post from MathStackexchange.

We define a Flasque Sheafflasque sheaf on a site as one whose first Čech Cohomologycohomology vanishes for every covering of every object of the site. I know this definition is non-standard, but Lei Fu's 'Étale Cohomology Theory''É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 Lemmalemma which I could not prove: If $$0\rightarrow F'\rightarrow F\rightarrow F''\rightarrow 0$$ is an exact sequence and $F'$ and $F$ are Flasqueflasque, 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?

A Question About Flasque Sheaves on a Site

This is a cross-post from Stackexchange: https://math.stackexchange.com/q/4428946/531227.

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?

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?

Source Link
Jehu314
  • 153
  • 4
Loading