Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $X$ be a topological space and $U\subset X$ an open subset. Let's work in the category of sheaves of abelian groups on $X$. Consider the constant sheaf on $U$, $\mathbb{Z}_U$, given by $\mathbb{Z}_U(V)=\{\text{contonuous maps }U\cap V\rightarrow \mathbb Z\}$, where $\mathbb Z$ is given the discrete topology. I've been struggling to derive from Yoneda's lemma the formula $\hom(\mathbb{Z}_U,F)=F(U)$. Is this a consequence of Yoneda? If so, how? If it doesn't follow from Yoneda, is it true at all? If not, how can one compute $\hom(\mathbb{Z}_U,\mathbb{Z}_V)?$

share|improve this question
    
Yes, it is a formal consequence of Yoneda and the fact that sheafification and the free abelian group functor are left adjoints. –  Zhen Lin Mar 8 '13 at 13:00
add comment

3 Answers

up vote 4 down vote accepted

This is not true; for example, take $X = \mathbb R^2$, $U = \mathbb R^2 \smallsetminus \{(0,0)\}$. Then your $\mathbb Z_U$ coincides with $\mathbb Z_X$, and $Hom(\mathbb Z_U, F)$ is $F(X)$, not $F(U)$.

For the formula to hold you have to take as $\mathbb Z_U$ the extension of the constant sheaf by $0$, which is a very different animal.

share|improve this answer
    
@Angelo, thanks! Indeed you're right, I must have confused both things, what would then be a direct description of $\mathbb{Z}_U(V)$ for the right $\mathbb{Z}_U$ you suggests? (The extension of the constant sheaf $\mathbb{Z}$ on $U$ to $0$ in the rest). –  Fernando Muro Mar 8 '13 at 15:25
1  
Locally constant function $V \to \mathbb Z$ that are zero on $V\smallsetminus U$. –  Angelo Mar 8 '13 at 15:39
    
@Angelo, thanks again! –  Fernando Muro Mar 8 '13 at 17:18
    
You are very welcome. –  Angelo Mar 8 '13 at 17:47
add comment

See [Tamme, Introduction to étale cohomology], p. 31, Remark (2.1.3).

share|improve this answer
    
And the sheafification of Tamme's $Z_U$ is my $\mathbb{Z}_U$ above, isn't it? –  Fernando Muro Mar 8 '13 at 12:55
1  
You have to distinguish $j_!\mathbf{Z}$ from your $\mathbf{Z}_U$ above. –  Timo Keller Mar 8 '13 at 13:33
1  
@Timo, thanks! Is there any easy direct description of the values $(j_!\mathbb{Z})(V)$? –  Fernando Muro Mar 8 '13 at 15:30
1  
@Fernando: See [Hartshorne, Algebraic Geometry] Exercise II.1.19 ("Extending a sheaf by zero"). –  Timo Keller Mar 8 '13 at 15:35
add comment

Pierre Schapira has some very nice, and more elementary notes that could help you.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.