4
$\begingroup$

I have the following problem:

Let X be a Noetherian Scheme and suppose that $X_{red}$ is affine. Show that this implies that X is affine.

OK, so I know the "classical" proof of this using Serre's criterion for affineness and with cohomology. However, I encountered this in an early chapter of Görtz-Wedhorn's book where none of these concepts have thus far been defined. I have been trying to come up with an elementary proof but without much success. Clearly, we can assume that the ideal sheaf $\mathcal{N}$ satisfies $\mathcal{N}^2 = 0$.

I would be very grateful for help with this problem of any sort, ranging from hints to solutions.

  • 2
    The tricky part is to prove that $\Gamma(X,O_X) \to \Gamma(X_{red},O_{X_{red}})$ is surjective i.e. $H^1(X,\mathcal{N}) = 0$ which I think can be done by hand. Once you have that you can deduce that $X \to Spec(\Gamma(X,O_X))$ is an homeomorphism (because it is so for $X_{red}$). Then check that $\Gamma(X,O_X)_{\mathfrak{p}} \to O_{X,\mathfrak{p}}$ is an isomorphism for each $\mathfrak{p}$.2012-06-23
  • 0
    I posted [a similar question](http://mathoverflow.net/questions/162121/non-cohomological-proof-that-a-noetherian-scheme-x-is-affine-if-its-reduction) in MathOverflow.2014-04-02
  • 0
    @YBL Dear YBL, I wonder how you prove that the last homomorphism of local rings is an isomorphism. Regards,2014-04-05

1 Answers 1