7
$\begingroup$

What is an example of two non-isomorphic schemes $(X,\mathcal{O}_X)$ and $(X,\mathcal{O}_X')$ with the same topological space such that there are isomorphisms $\mathcal{O}_{X,p}\cong \mathcal{O}_{X,p}'$ of all stalks?

  • 0
    Do you want there to be a morphism $f:(X,\mathcal{O}_X)\to (X, \mathcal{O}_X^\prime)$ which is the identity on topological spaces but not an isomorphism with the additional property that the sheaves $\mathcal{O}_X$ and $\mathcal{O}_X^\prime$ are isomorphic? (They are locally (hence globally) isomorphic.)2012-03-07
  • 0
    you probably mean $\mathcal{O}'_{X,p}$2012-03-07

1 Answers 1

5

Let $X$ be the affine line over $k$ (say the algebraic closure of a finite field), let $Y$ be the complement of a closed point in $X$. Let $f : X\to Y$ be any bijection sending the generic point of $X$ to that of $Y$. Then $f$ is a homeomorphism, $O_{X,x}\cong O_{Y,f(x)}\cong k[T]_{Tk[T]}$ for all closed points $x\in X$, and $O_{X,\xi}\cong O_{Y,f(\xi)}=k(T)$ for the generic point $\xi$ of $X$

Now let $O_{X}'=f^{-1}O_Y$. Then $(X, O_X)$ and $(X, O_{X}')$ satisfy your requirement and there are not isomorphic to each other because the second scheme is isomorphic to $(Y, O_Y)$, and $O(X)$ is not isomorphic as a ring to $O(Y)$ ($O(X)^{\star}$ is torsion group but not $O(Y)^{\star}$).