Tell me more ×
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.
up vote 2 down vote favorite
1

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.

share|improve this question
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}$. – YBL Jun 23 '12 at 21:07

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.