Take the projective line and the coherent sheaves and , where the latter is a twisting sheaf on projective space. Both are line bundles, so each stalk is a free rank-one -module and therefore at every point.
They are nevertheless not isomorphic. On the standard charts with coordinates and , choose frames of with . A global section would give polynomials and satisfyingThe left side has only nonnegative powers of , and the right side only strictly negative powers. Thus both vanish, giving . For the structure sheaf, the corresponding equality is , whose solutions are precisely the constants. HenceA morphism of sheaves which is an isomorphism on all stalks would be an isomorphism; this example only asserts the existence of separate stalk isomorphisms, not that they come from one morphism of sheaves.
Articles by others on the same topic
There are currently no matching articles.