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.

  • 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

1

It suffices to prove the following proposition without using cohomology.

Proposition Let $X$ be a scheme. Suppose there exists a quasi coherent $\mathcal O_X$-ideal $\mathcal I$ such that $\mathcal I^2 = 0$ and $(X, \mathcal O_X/\mathcal I)$ is affine. Let $\mathcal F$ be a quasi-coherent $\mathcal O_X$-module. Then $\mathcal F$ is quasi-flasque.

Proof(without using cohomology): Consider the following exact sequence. $0 \rightarrow \mathcal I \mathcal F \rightarrow \mathcal F \rightarrow \mathcal F/\mathcal I\mathcal F \rightarrow 0$. Since $\mathcal I \mathcal F$ and $\mathcal F/\mathcal I\mathcal F$ are both quasi-coherent $\mathcal O_X/\mathcal I$-modules, they are quasi-flasque by my answer to this question. Hence $\mathcal F$ is quasi-flasque by jdc's answer to this question.