36
$\begingroup$

It is well-known (Hartshorne 2.1.1) that if $F$ and $G$ are sheaves on a space $X$, then $\phi:F\rightarrow G$ is an isomorphism if and only if the induced stalk map $\phi_p:F_p\rightarrow G_p$ is an isomorphism for all $p\in X$. However, if we have a collection of isomorphisms $\{\psi_p:F_p\rightarrow G_p\}_{p\in X}$, this does not guarantee that $F$ and $G$ are isomorphic, because the $\psi_p$ might not be related to each other, i.e. there might not be a sheaf map $\psi:F\rightarrow G$ such that $\psi_p$ is the induced stalk map for all $p\in X$.

However, I was recently making this point to someone and was unable to think of a good example of non-isomorphic $F$ and $G$ having isomorphisms $\psi_p:F_p\rightarrow G_p$. I'm sure I knew one at some point, but I'm blanking on it now. Can someone provide an illustrative example, e.g. an example that occurs in some natural or basic problem, or one that captures the essential pattern of any example where this issue arises, or one where it is clear that $F$ and $G$ could not be isomorphic?

$\endgroup$
  • 11
    $\begingroup$ Just curious, why the downvote? $\endgroup$ – Zev Chonoles Jun 5 '11 at 9:17
18
$\begingroup$

On a locally ringed space $(X,\mathcal O_X)$, a locally free sheaf $\mathcal E$ of rank $r$ has (as the name indicates) your property $\mathcal E_p \simeq \mathcal O^{\oplus r}_{X,p}$ (isomorphism of $O_{X,p}$-modules). Hence you get any number of natural examples by considering non-trivial locally free sheaves $\mathcal E \not\simeq \mathcal O^{\oplus r}_X $ in your favourite category: schemes, topological manifolds, differentiable manifolds, analytic spaces, ...

$\endgroup$
  • 3
    $\begingroup$ ...and a locally free sheaf is more or less the same thing as a vector bundle, so there are indeed a lot of examples $\endgroup$ – Grigory M Jun 5 '11 at 8:52
9
$\begingroup$

Let $X$ be a Hausdorff space. Consider:

  1. The constant sheaf $\mathbb{Z}$.
  2. The sheaf $\bigoplus_{x \in X} i_*(\mathbb{Z})$ where $i_*$ means the inclusion of the point $x \in X$. Note that the stalks are $\mathbb{Z}$ at each $x \in X$ as taking stalks commutes with colimits (it's left adjoint to the skyscraper sheaf functor, and is in fact a special case of the inverse image functor).

But these will almost never be isomorphic. If $X$ is $\mathbb{R}$, for instance, then the global sections of the first example will just be $\mathbb{Z}$. There will be a lot more global sections in the second example.

$\endgroup$
4
$\begingroup$

Let $X$ be a topological space, and the open sets are: $X=\{a,b\}$, $U=\{a\}$ and empty set.

$F$ and $G$ are two sheaves on $X$ of Abelian groups. Set $F(X)=F(U)=G(X)=G(U)=\mathbb{Z}/2$, $\phi:F(X)\to F(U)$ is identity. But $\psi:G(X)\to G(U)$ is zero map. Verify $F$ and $G$ are sheaves on $X$. But they cannot be isomorphic.

$\endgroup$

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.