show/hide this revision's text 3 added 1083 characters in body; edited title

Examples of The "pullback presheavespresheaf" that fail to be sheavesand the proper base change theorem in topology

One may check that $f'\mathcal{F}$ gives a presheaf on $X$. Under some strong assumptions one may show that $f'\mathcal{F}$ is a sheaf on $X$. For example, if Let me give two examples

  • If $Y$ is Hausdorff, locally compact and paracompact and $f$ is a closed embedding then $f'\mathcal{F}$ is actually a sheaf (this is not a trivial exercise, it took me a while to figure that out).

    So here

  • A variation of 1. ismy : if $Y$ is Hausdorff and locally compact, and $f$ is the embedding of a compact subset $Y\subseteq X$.

    • I got interested in this question since it is directly related to the proper base change theorem in topology which says the following:

    Proper base change theorem: Let $f:X\rightarrow Y$ be a proper map with $Y$ Hausdorff and locally compact and $X$ paracompact. Then for any sheaf$\mathcal{F}$ on $Y$ and $y\in Y$ one has thatR^qf_*(\mathcal{F})_y\simeq H^q(X_y, f|_{X_y}^{-1}\mathcal{F}) \hspace{2cm} (\star)where $X_y=f^{-1}(y)$ is the fiber above $y$.

    So here are 3 questions:

    Q 1 Is there a common generalization of 1. and 2. in the topological setting ?

    Q 2 I would like to have a couple of (non-artificial ) examples where the presheaf $f'\mathcal{F}$ fails to be a sheaf in order to have a feeling for the possible geometrical (and/or topological) obstructions. (Note that this is closely related to examples of mapswhere the isomorphism $(\star)$ above fail).

    Q 3 To what extend is it possible to generalize the proper base change theoremin the topological setting? (so here I have in mind of relaxing the assumptions on $f$and may be adding additional restrictions on $Y$)
    show/hide this revision's text 2 deleted 5 characters in body

    Let $f:X\rightarrow Y$ be a continuous map of topological spaces and let $\mathcal{F}$ be a sheaf (say of abelian groups to fix the idea) on $Y$. Define the following rule on open sets of $X$: $$ V\mapsto f'\mathcal{F}(V):=\varinjlim_{U\supseteq f(V)}\mathcal{F}(U) $$ One may check that $f'\mathcal{F}$ gives a presheaf on $X$. Under some strong assumptions one may show that $f'\mathcal{F}$ is a sheaf on $X$. For example, if $Y$ is Hausdorff, locally compact and paracompact ; $X$ is paracompact and $f$ proper is a closed embedding then $f'\mathcal{F}$ is actually a sheaf (this is not a trivial exercise, it took me a while to figure that out).

    So here is my question:

    Q I would like to have a couple of (non-artificial ) examples where the presheaf $f'\mathcal{F}$ fails to be a sheaf in order to have a feeling for the possible geometrical (and/or topological) obstructions.
    show/hide this revision's text 1

    Examples of "pullback presheaves" that fail to be sheaves

    Let $f:X\rightarrow Y$ be a continuous map of topological spaces and let $\mathcal{F}$ be a sheaf (say of abelian groups to fix the idea) on $Y$. Define the following rule on open sets of $X$: $$ V\mapsto f'\mathcal{F}(V):=\varinjlim_{U\supseteq f(V)}\mathcal{F}(U) $$ One may check that $f'\mathcal{F}$ gives a presheaf on $X$. Under some strong assumptions one may show that $f'\mathcal{F}$ is a sheaf on $X$. For example, if $Y$ is Hausdorff, locally compact and paracompact; $X$ is paracompact and $f$ proper then $f'\mathcal{F}$ is actually a sheaf (this is not a trivial exercise, it took me a while to figure that out).

    So here is my question:

    Q I would like to have a couple of (non-artificial ) examples where the presheaf $f'\mathcal{F}$ fails to be a sheaf in order to have a feeling for the possible geometrical (and/or topological) obstructions.