En The Geometry of Schemes de Eisenbud y Harris, el Ejercicio I-32 le pide a uno que muestre que un esquema $X$ se reduce si y solo si cada anillo local $\mathcal{O}_{X,p}$ se reduce para puntos cerrados $p \in X$. Sin embargo, esto no parece funcionar en general, ya que $X$ puede no tener suficientes puntos cerrados. ¿Qué hipótesis adicionales sobre $X$ necesito para que tal afirmación se mantenga?
Respuestas
¿Demasiados anuncios?Existen esquemas sin punto cerrado, sí. (Liu, ejercicios 3.3.26/27)
Pero bajo algunas condiciones adicionales muy razonables - creo que la cuasi-compacidad será suficiente, si estás contento con el uso del lema de Zorn - el resultado se mantiene. Use / pruebe la existencia de un punto cerrado, y el hecho de que localizar un anillo reducido todavía le da un anillo reducido.
Paul Tomblin
Puntos
83687
sergtk
Puntos
138