Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose that $X$ is a topological space, $\mathcal{F}$ is a sheaf (of abelian groups, rings, ideals, modules) on $X$ and $Y \subset X$. Do you know a natural way to get an induced sheaf on $Y$ from $\mathcal{F}$?

If $Y$ is open, the answer is straight forward. I will be happy with an answer assuming the following extra conditions: $Y$ is closed and $X$ is irreducible.

share|improve this question
    
What do you mean by "induced"? Is the pushforward not considered acceptable? –  Sanchez Apr 25 '13 at 3:44
    
Sorry, I don't get what you mean. You have an inclusion $Y \hookrightarrow$ X and a sheaf $\mathcal{F}$ on $X$, you don't have a sheaf on $Y$, what do you "pushforward"? –  mr.bigproblem Apr 25 '13 at 3:59
6  
Sorry, I misread your problem. What about pullback? en.wikipedia.org/wiki/Inverse_image_sheaf –  Sanchez Apr 25 '13 at 4:02
    
Uhm, this probably works. I remember seeing the "particular" construction (by particular, I mean with a direct formula) from some text but I cannot recall exactly what it is right now. Working out the sheafification in the pullback construction, perhaps one would get a direct formula. I'll check this tomorrow and response to your answer. Thanks! –  mr.bigproblem Apr 25 '13 at 4:07
2  
Yes, you can get a direct "formula" for the set of sections, but this is useless in all situations I know of. Better think of pullback as left adjoint of pushforward, and the latter is easy to describe. –  Martin Brandenburg Apr 25 '13 at 7:46
show 1 more comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.