1
$\begingroup$

Let $ f : X \to Y$ be a continuous map of topological spaces.. Let $ \mathcal{F} = \underline{\mathbb{R}} $ be a sheaf of locally constant function from Y to $\mathbb{R}$ on Y. Let $ f^* \mathcal{F}$ be the pullback of the sheaf on X. Is the pullback of $ \mathcal{F}$, the sheaf of locally constant functions on X?

$\endgroup$
  • 1
    $\begingroup$ $X$ and $Y$ are spaces or sheaves ? $\endgroup$ – Tsemo Aristide Feb 7 '17 at 10:06
  • $\begingroup$ they are topological spaces. sorry i need to edit. $\endgroup$ – Chirantan Chowdhury Feb 7 '17 at 10:11
  • $\begingroup$ The answer is "yes", despite a post below falsely claiming that the answer is "no". $\endgroup$ – Georges Elencwajg Feb 10 '17 at 20:40
  • $\begingroup$ @GeorgesElencwajg can you explain why on a separate answer? $\endgroup$ – Chirantan Chowdhury Feb 10 '17 at 20:42
  • $\begingroup$ OK, I've written a separate answer. $\endgroup$ – Georges Elencwajg Feb 10 '17 at 21:05
1
$\begingroup$

The answer is yes. This is one of the cases where it is better to think as sheaves as étalé spaces.

The constant sheaf $\mathcal F=\mathbb R_Y$on $Y$ with stalk $\mathbb R$ corresponds to the étalé space $Y\times \mathbb R_{disc}$, where $\mathbb R_{disc}$ denotes $\mathbb R$ endowed with the discrete topology.
The étalé space corresponding to $f^*(\mathcal F)$ is the fibre product $X\times_Y (Y\times \mathbb R_{disc})$ and this fibre product is homeomorphic to $X\times \mathbb R_{disc}$.
Now, the étalé space $X\times \mathbb R_{disc}$ on $X$ corresponds to the constant sheaf $\mathbb R_X$ and this shows what you wanted to know: $$ f^*(\mathcal F) =f^*(\mathbb R_Y) = \mathbb R_X $$

$\endgroup$
-1
$\begingroup$

No, suppose that $Y$ is a point. The pullback $f^*{\cal F}$ is a constant sheaf, and the sheaf of locally functions defined on $X$ is not always the constant sheaf.

$\endgroup$
  • 6
    $\begingroup$ I don't understand what you are trying to say. The constant sheaf $\underline{\mathbb{R}}$ is exactly the sheaf of locally constant function $X\rightarrow\mathbb{R}$. $\endgroup$ – Roland Feb 7 '17 at 11:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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