5
$\begingroup$

If $X$ is a (general) scheme and $X$ is reduced at $p$, i.e. $\mathscr{O}_{X,p}$ is reduced, does there necessarily exist an open neighborhood of $p$ on which $X$ is reduced, i.e. $\mathscr{O}_X(U)$ is reduced?

This should be true at least when $X$ is Noetherian, since one can pick generators for the nilradical of any affine neighborhood $U$ and kill them off. How generally is it true?

  • 0
    On a positive side note, note that $X$ is reduced if and only if $\mathcal{O}_X(U)$ is reduced for all open subsets $U$ of $X$.2012-08-02

0 Answers 0