Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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?

share|improve this question
10  
Just curious, why the downvote? –  Zev Chonoles Jun 5 '11 at 9:17
add comment

3 Answers 3

up vote 11 down vote accepted

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, ...

share|improve this answer
2  
...and a locally free sheaf is more or less the same thing as a vector bundle, so there are indeed a lot of examples –  Grigory M Jun 5 '11 at 8:52
add comment

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.

share|improve this answer
add comment

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.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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