Consider a continuous map $f\colon X\to Y$ between topological spaces. Let $\mathcal F$ be a sheaf on $X$ and $\mathcal G$ a sheaf on $Y$ (let's say of abelian groups). There exists canonical morphisms $$\mathcal G\to f_*f^{-1}\mathcal G\quad (1),\qquad f^{-1}f_*\mathcal F\to \mathcal F\quad (2),$$ where $f_*$ is the direct image functor and $f^{-1}$ the inverse image functor (we define $f^{-1}\mathcal G$ as the sheafification of the presheaf $f_p\mathcal G$ on $X$ defined by the assignment $U\mapsto \varinjlim_{V\supseteq f(U)} \mathcal G(V)$ ).

I am interested in what we can say about these morphisms in certain specific cases (e.g. about injectivity, surjectivity). For example: what can we say when $f$ is an embedding (resp. open embedding resp. closed embedding)? Or: what if $f$ is a surjective map?

Suppose $x\in X, y\in Y$ and $f(x) = y$. Is it true that the stalk $(f_*f^{-1}\mathcal G)_y$ is isomorphic to the stalk $\mathcal G_y$?

Thanks in advance!

  • $\begingroup$ We suppose that $f(x) = y$, so in particular $y$ is in the image of $f$. $\endgroup$ – AYK Dec 18 '14 at 4:30
  • $\begingroup$ Read it too quickly, sorry. In any case, $f_*$ can lose a lot of information. Have you cooked up for yourself an example where the canonical map $(f_*\mathscr F)_y \to \mathscr F_x$ isn't an isomorphism? $\endgroup$ – Hoot Dec 18 '14 at 4:32
  • $\begingroup$ Yes, that statement is clear. But now take $\mathcal F$ to be equal to $f^{-1}\mathcal G$.. $\endgroup$ – AYK Dec 18 '14 at 4:42

Let $\mathscr F$ be a sheaf on $X$ and $\mathscr G$ a sheaf on $Y$ and let $f:X\to Y$ be continuous. Write $Pre(f^{-1}\mathscr G)$ for the presheaf $U\mapsto\varinjlim_{V\supset f(U)}\mathscr G(V)$. Then the sheaf $f^{-1}\mathscr G$ is the sheaf of continuous sections of the espace étalé $\operatorname{Spé}(Pre(f^{-1}\mathscr G))$, which is given the final topology induced by the sections of the presheaf. These sections are functions valued in the stalks of the presheaf. For $V\subset Y$, the sections $\Gamma(V,–)$ of the sheaf $f_*f^{-1}\mathscr G$ are given by continuous sections of $\operatorname{Spé}(Pre(f^{-1}\mathscr G))$ over $f^{-1}(V)$. Since the topology on $X$ is at least as fine as the initial topology induced by $f$, the topology on $\operatorname{Spé}(Pre(f^{-1}\mathscr G))$ is at least as coarse as the one induced by only the sections of the presheaf $f^{-1}(V)\mapsto\varinjlim_{V'\supset f(f^{-1}(V))}\mathscr G(V)$ for $V\subset Y$ (this is the presheaf that would arise from $f^{-1}\mathscr G$ if we had given $X$ the initial topology induced by $f$). There is a natural map $\mathscr G(V)\cong\varinjlim_{V'\supset V}\mathscr G(V')\xrightarrow{\rho}\varinjlim_{V'\supset f(f^{-1}(V))}\mathscr G(V')$, and a necessary condition for $\rho$ to be an isomorphism is for $f$ to be epi. (More generally, $\rho$ is itself epi if $\mathscr G$ is flasque.) If $s\in\mathscr G(V)$, there is continuous section of the espace étalé $t:f^{-1}(V)\mapsto\operatorname{Spé}(Pre(f^{-1}\mathscr G))$ where if $x\in f^{-1}(y)$, $t(x)=\rho(s)_y\in\operatorname{Spé}(Pre(f^{-1}\mathscr G))$. (It is continuous as $\rho(s)\in Pre(f^{-1}\mathscr G)$.) The natural map $s\mapsto t$ induces a canonical natural morphism of sheaves $\varphi:\mathscr G\to f_*f^{-1}\mathscr G$. One sees that a section $s\in\mathscr G$ is in $\ker\varphi$ iff $f^{-1}(\operatorname{supp} s)=\emptyset$. In particular, if $f$ is an epimorphism, $\varphi$ is a monomorphism. If moreover $X$ has the initial topology induced by $f$, and $f$ is an epimorphism, then $\varphi$ is an isomorphism; if $f$ is not epi but instead $f(X)\subset Y$ is open (and $X$ has the initial topology induced by $f$) then $\varphi$ induces an isomorphism of sheaves $f_*f^{-1}\mathscr G\cong\left.\mathscr G\right|_{f(X)}$.

As for stalks, given $x\in X$, $f(x)=y\in Y$, note that looking over just the stalks of the presheaf $f_*(Pre(f^{-1}\mathscr G))$, we have that for $y$ in the image of $f$ as above that

$$(f_*(Pre(f^{-1}\mathscr G)))_y =\varinjlim_{V\ni y}\varinjlim_{V'\supset f(f^{-1}(V))}\mathscr G(V')=\mathscr G_y.$$

Since $(f_*(Pre(f^{-1}\mathscr G)))_y$ may be canonically identified with a subset of $(f_*f^{-1}\mathscr G)_y$, if $y\in\operatorname{im} f$, $\varphi_y$ is a monomorphism. This makes sense, since we know that $\varphi$ is a monomorphism iff $\varphi_y$ is mono on all stalks. Now consider general stalks of the sheaf $f_*f^{-1}\mathscr G$. They are in general much larger than stalks of the presheaf discussed above, since if, say, $\left|f^{-1}(y)\right|>1$ and there is a neighborhood $V$ of $y$ such that $f^{-1}(V)$ has one connected component $C_i\subset X$ for each point $x_i$ in $f^{-1}(y)$, then $(f_*f^{-1}\mathscr G)_y$ will be isomorphic to $\prod_i\mathscr G_y$ under a mild assumption described below, and the map $\varphi_y:\mathscr G_y\hookrightarrow (f_*f^{-1}\mathscr G)_y$ will be the diagonal embedding. Suppose $f$ is injective and let $g\in (f_*f^{-1}\mathscr G)(V)$ for $V\ni y$. Then $f^{-1}(V)\supset \exists U\ni x=f^{-1}(y)$ such that $g(p)=t_p$ for some $t\in\varinjlim_{V'\supset f(U)}\mathscr G(V')$.* If $f(U)$ contains a neighborhood $W$ of $y$, then $\left.g\right|_{f^{-1}(W)}$ represents the same class in the stalk $(f_*f^{-1}\mathscr G)_y$ as $g$, and this class is represented by an element of $\mathscr G(W)$, as in that case, $\varinjlim_{V'\supset f(f^{-1}(W)))}\mathscr G(V')=\varinjlim_{V'\supset W}\mathscr G(V')\cong\mathscr G(W)$. So one can make the local statement that if $f^{-1}(y)=x$ and the preimage under $f$ of a local (neighborhood) system at $y$ is a local (neighborhood) base for $x$, then $(f_*f^{-1}\mathscr G)_y=\mathscr G_y$. In particular, if $f$ is an open embedding, then it induces an isomorphism on stalks between $f_*f^{-1}\mathscr G$ and $\left.\mathscr G\right|_{f(X)}$, and hence an isomorphism of sheaves $f_*f^{-1}\mathscr G\xrightarrow{\sim}\left.\mathscr G\right|_{f(X)}$.

*N.B. If the local condition above is not met, the section $t\in\varinjlim_{V'\supset f(U)}\mathscr G(V')$ may be unrecognizable, since $f(U)$ need not be open, so $t$ might be an equivalence class of sections quite different from the stalk at $y$, or anything else I can think of.


You could take $f: X:=\{0,1\}\to Y:=\{\ast\}$ to be the projection map. Then $$\text{Shv}_{\text{Ab}}(Y)\xrightarrow[\cong]{(-)_{\ast}}\text{Ab}\quad\text{and}\quad\text{Shv}_{\text{Ab}}(X)\xrightarrow[\cong]{(-)_{0}\times(-)_1}\text{Ab}\times\text{Ab},$$ and $f^{-1}:\text{Ab}\to\text{Ab}\times\text{Ab}$ is the diagonal while $f_{\ast}=\Gamma:\text{Ab}\times\text{Ab}\to\text{Ab}$ is the direct product.

Given ${\mathcal G} = A\in \text{Shv}_{\text{Ab}}(Y)\cong\text{Ab}$, the canonical map ${\mathcal G}\to f_{\ast}f^{-1}({\mathcal G})$ is the diagonal $A\to A\times A$.


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.