Re: Sheaves and the empty set



On 2007-05-18 04:53:33 -0400, Jose Capco <cliomseerg@xxxxxxxxxxxxxxxxxxxxxxxxx> said:

Dear NG,

We know very well that if F is a sheaf of rings/groups, then
F(emptyset)=the zero ring/groups..

Suppose X is any topological space. For every open set U in X, define
F(U) = Z
where Z is the ring of integers. Define all restriction maps to be the identity map on Z.

Is F a sheaf?

--

-kira

.



Relevant Pages

  • Re: Sheaves and the empty set
    ... F=the zero ring/groups.. ... where Z is the ring of integers. ... Define all restriction maps to be the ... Is F a sheaf? ...
    (sci.math)
  • Re: Sheaves and the empty set
    ... Define all restriction maps to be the ... Fmust be the zero ring if F were a sheaf.. ...
    (sci.math)
  • Re: Extension by Zero of a Sheaf
    ... From "Sheaf theory" by Bredon: ... topology on the point set B_union_, ... subspace and the projection onto X is a local homeomorphism (we ... identify Axwith the zero section of B). ...
    (sci.math)
  • Re: Extension by Zero of a Sheaf
    ... From "Sheaf theory" by Bredon: ... With this topology and the canonical algebraic structure, B_union_is denoted by B^X. ... The sheaf B^X is called the extension of B by zero." ... restrict to the case that A is closed by restricting everything to open subsets of a base of the topology of X such that U/\A is closed in U and showing that everything patches together again. ...
    (sci.math)