3 votos

¿Cuándo es la imagen de un punto cerrado bajo un morfismo entre esquemas?

Dejemos que $f: X \rightarrow Y$ sea un morfismo entre esquemas. ¿Cuándo es cerrada la imagen de un punto cerrado? En otra pregunta Ya se han hecho algunas observaciones. Por ejemplo, si $X$ y $Y$ son de tipo finito sobre un campo, entonces la imagen de un punto cerrado es siempre cerrada (incluso si el mapa $f$ no está cerrado). Por otro lado, ejemplos como $Spec\, \mathbb{Q} \to Spec \, \mathbb{Z}_{(p)}$ nos proporcionan ejemplos de mapas (planos, de tipo finito) tales que la imagen de un punto cerrado no es cerrada.

¿Existe algún criterio algebraico razonablemente general cuando un morfismo envía puntos cerrados a puntos cerrados si los esquemas no son sobre un campo?

2voto

Jeff Puntos 804

Un morfismo integral preserva (y también refleja) los puntos cerrados. Esto es porque para una extensión integral de dominios integrales $D \subseteq D'$ sabemos que $D$ es un campo si $D'$ es un campo.

Además, hay muchos refuerzos importantes y conocidos:

proyectiva $\Longrightarrow$ adecuado $\Rightarrow$ cerrado (=preserva subconjuntos cerrados) $\Rightarrow$ conserva los puntos cerrados

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X