5
$\begingroup$

I am searching for a scheme $X$ which can be obtained by gluing two affine schemes (along open subsets) such that: 1) X is non-reduced; 2) $\Gamma(X,\mathcal O_X)$ is a reduced ring. Any ideas? Thanks in advance.

$\endgroup$
3
$\begingroup$

Hint:

Can you construct a ''fat'' projective line of some sort? Namely, remember that $\text{Spec } k[x]$ is the affine line and we get projective space by gluing together two affine lines. Can you do something similar by fattening up the lines you glue?

My example was the following. Take $\text{Proj } k[x,y,z]/z^2$. I believe that working on affines, this should produce something with only $k$ as global sections. I haven't worked it out in detail however.

$\endgroup$
  • $\begingroup$ What is your specific example? A fat projective line as a fat ring of global sections, basically because you cannot glue along the fat variable. $\endgroup$ – Martin Brandenburg Oct 24 '14 at 14:43
  • $\begingroup$ I am also thinking in this direction, but I find it difficult to prevent the nilpotent sections to be glued together and form a nilpotent global section. $\endgroup$ – AYK Oct 24 '14 at 14:45
  • $\begingroup$ @MartinBrandenburg See my example here. I hope it works, I haven't worked it through in detail as I wrote. $\endgroup$ – user101036 Oct 24 '14 at 14:50
  • 1
    $\begingroup$ $\mathrm{Proj}(k[x,y,z]/(z^2)) = D_+(x) \cup D_+(y)$ (since $D_+(z)=\emptyset$) with $D_+(x) = \mathrm{Spec}(k[y/x,z/x]/(z/x)^2)$ and $D_+(y) = \mathrm{Spec}(k[x/y,z/y]/(z/y)^2)$. I don't think that the ring of global sections contains $z$. It has a good chance to be $k$. $\endgroup$ – Martin Brandenburg Oct 24 '14 at 15:05
  • $\begingroup$ I have computed this and barring mistakes, I believe that this has global sections $k$. $\endgroup$ – user101036 Oct 24 '14 at 15:06

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.