Better understanding of the pre sheaf kernel of &#x03C6;<!-- φ --> I'm currently reading cha

glutynowy44

glutynowy44

Answered question

2022-07-09

Better understanding of the pre sheaf kernel of φ
I'm currently reading chapter II of Hartshorne's algebraic geometry and am comfortable with the definition of a sheaf. I am new to the idea of the presheaf kernel of φ however.
Let φ : F G be a morphism of pre sheaves of abelian groups on a topological space X.
Am I correct in defining the kernel pre sheaf on φ to be the contra variant functor that consists of the data
For every open set U X, we have an abelian group Γ ( ker φ ( U ) , F )
For every inclusion V U open sets in X, we have a morphism ρ U V : Γ ( ker φ ( U ) , F ) Γ ( ker φ ( V ) , F ) that satisfies the usual three conditions (empty set, identity map and composition condition)?
Moreover,
Hartshorne remarks that while the pre sheaf kernel is a sheaf, in general, the pre sheaf cockernel and image are not sheaves. Is there any intuition for why this would be so?

Answer & Explanation

Jayvion Tyler

Jayvion Tyler

Beginner2022-07-10Added 23 answers

Your notation is a little bit off. The letter Γ typically denotes the global section functor. It takes in a topological space and a sheaf on that space, so Γ ( ker φ ( U ) , F ) doesn't make sense. Instead, it's better to define the presheaf kernel kerφ as the presheaf that takes an open set U and assigns the abelian group ker φ ( U ), where φ : F G is a morphism of sheaves. The restriction maps, as you observed, should be the restriction maps of F restricted to ker φ ( U ). If we want to take global section of an open set with respect to this sheaf, we write Γ ( U , ker φ ).
Now why should this presheaf be a sheaf? Suppose we have an open cover { U i } of our space X, and let s be a global section of the presheaf kernel such that s | U i = 0 for all i. Since the restriction maps of the presheaf are induced by those of the original sheaf, this means that s | U i = 0 as a section of F , and so is zero, by virtue of F being a sheaf.
For the second axiom, suppose we have elements s i ker φ ( U i ) such that s i | U i U j = s j | U i U j for all i and j. Pick s Γ ( X , F ) such that s | U i = s i for all i. To see that s must be in ker φ ( X ), we need to show φ X ( s ) = 0. Now since φ commutes with the restriction maps, we have φ ( s i ) | U i U j = φ ( s j ) | U i U j . Pick t Γ ( X , G ) such that t | U i = φ ( s i ). Again by commutativity, and uniqueness of sections, we have that φ ( s ) = t = 0.
The main idea for why the cokernel is not a sheaf is that there's no reason the image of the sheaf should have "enough" sections to satisfy the gluing condition. Notice in the proof above, the essential point is that we're taking sections from our original sheaf.

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?