Inverse image sheaf and éspace étalé

592 Views Asked by At

Let $f\colon X \rightarrow Y$ be a continuous map of topological spaces. Let $\mathcal{F}$ be a sheaf of abelian groups on $Y$. The inverse image sheaf $f^{-1}(\mathcal{F})$ is the sheaf associated to the presheaf which assigns $\operatorname{colim}_{f(U) \subset V} \mathcal{F}(V)$ for every open subset $U$ of $X$, where $V$ runs through every open subset $V$ of $Y$ containing $f(U)$. We identify $\mathcal{F}$ with its éspace étalé (e.g. Hartshorne's algebraic geometry, Ch. II). Let $X\times_Y \mathcal{F}$ be the fiber product of topological spaces. Then how do we prove $f^{-1}(\mathcal{F}) = X\times_Y \mathcal{F}$?