8 votos

"Dibujar un cuadro" de $\operatorname{Spec}(\mathbb{Z})$

El libro de álgebra conmutativa de Atiyah/Macdonald pide al lector que haga dibujos del espectro primo de $\mathbb{Z}$ en el ejercicio 1.16. Lo trabajé por mi cuenta, descubrí cómo es el espacio como conjunto y dónde están los conjuntos abiertos/cerrados, pero cuando investigué un poco para comprobar mi trabajo encontré la siguiente imagen: enter image description here

¿Qué se supone que representa exactamente la línea cuadriculada? $(0)$ ? Eso tiene un poco de sentido para mí, ya que el cierre de (0) es todo el espacio, pero contradice el hecho de que (0) es un solo punto en el espectro primo. Otra fuente dice que hay que dibujar $\operatorname{Spec}(\mathbb{Z})$ como una curva que pasa por los ideales $(2),(3),(5),\ldots$ y un punto separado a un lado para representar $(0)$ Pero, de nuevo, no entiendo cómo dibujar una curva ayuda a aclarar la estructura del espacio. ¿Por qué no dibujarlo como un conjunto discreto de puntos y omitir la curva?

Edición: Aquí hay otra suposición que se me acaba de ocurrir: Si ponemos la topología de complemento finito en la línea real y luego creamos un espacio cociente identificando cada punto que no es un entero positivo primo como un punto y lo llamamos (0), ¿tenemos $\operatorname{Spec}(\mathbb{Z})$ ? Si este es el caso, definitivamente ayudaría a justificar el dibujo.

3voto

David Lui Puntos 58

$(0)$ es el punto genérico. Es un punto único, en cierto sentido, "en ningún lugar en particular" (citando a Vakil). Una forma de pensar en ello es que los puntos cerrados son puntos reales, y los puntos genéricos son puntos "gordos/borrosos" (citando a aquí )

El punto genérico se dibuja como si pasara por todos los demás puntos porque el cierre del punto genérico es todo el espacio.

3voto

Lejoon Puntos 83

Me gusta mucho la forma en que Yuri Manin describe cómo los puntos y los puntos genéricos construyen esquemas afines. En este sentido, las curvas en $\mathbb{C}[T_1, C_2]$ tienen puntos cerrados pero también puntos genéricos que se sitúan en un "nivel inferior". Estos puntos genéricos se sitúan a su vez por encima del punto genérico $(0)$ .

Para $\operatorname{Spec} \mathbb{Z}$ serían puntos sentados en un plano con el punto genérico debajo de ellos, más o menos los dos niveles inferiores de la imagen de abajo.

$\hskip2in$C

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