Espectro de un anillo para niños

Para el concepto de espectro de anillos en la teoría de la homotopía, véase Espectro de anillos.

En álgebra conmutativa, el espectro principal (o simplemente el espectro) de un anillo R es el conjunto de todos los ideales primos de R, y generalmente se denota por $\operatorname{Spec}{R}$ ; en geometría algebraica es simultáneamente un espacio topológico equipado con el haz de anillos $\mathcal{O}$ .

Contenido

Topología de Zariski
Haces y esquemas
Perspectiva funcional
Motivación desde la geometría algebraica
Ejemplos
Ejemplos no afines
Topologías que no son de Zariski en un espectro principal
Espectros globales o relativos
- Ejemplo de un espectro relativo
Perspectiva desde la teoría de la representación
Generalizaciones
Véase también

Topología de Zariski

Artículo principal: Topología de Zariski

Para cualquier ideal I de R, se define $V_I$ como el conjunto de ideales primos que contienen I. Se puede establecer una topología en $\operatorname{Spec}(R)$ definiendo que una colección de conjuntos cerrados sea

\{V_I \colon I \text{es un ideal de } R \}.

Esta topología se denomina topología de Zariski.

Una base para la topología de Zariski se puede construir de la siguiente manera. Para f ∈ R, se define D_f como el conjunto de ideales primos de R que no contienen a f. Entonces, cada D_f es un subconjunto abierto de $\operatorname{Spec}(R)$ , y $\{D_f:f\in R\}$ es una base para la topología de Zariski.

$\operatorname{Spec}(R)$ es un espacio compacto, pero casi nunca un espacio de Hausdorff: de hecho, los ideales máximos en R son precisamente los puntos cerrados en esta topología. Por el mismo razonamiento, en general no es un espacio T₁. Sin embargo, $\operatorname{Spec}(R)$ es siempre un espacio de Kolmogórov (satisface el axioma T₀); y también es un espacio espectral.

Haces y esquemas

Dado el espacio $X= \operatorname{Spec}(R)$ con la topología de Zariski, el haz de estructura O_X se define en los subconjuntos abiertos distinguidos D_f estableciendo Γ(D_f, O_X) = R_f, la localización de R por las potencias de f. Se puede demostrar que esto define un B-haz y por lo tanto define un haz. Más detalladamente, los subconjuntos abiertos distinguidos son una base de la topología de Zariski, por lo que para un conjunto abierto arbitrario U, descrito como la unión de {D_fi}_i∈I, se establece Γ(U ,O_X) = lim_i∈I R_fi. Se puede comprobar que este haz previo es un haz, por lo que $\operatorname{Spec}(R)$ es un espacio anillado. Cualquier espacio anillado isomorfo a uno de esta forma se denomina esquema afín. Los esquemas generales se obtienen uniendo esquemas afines.

De manera similar, para un módulo M sobre el anillo R, se puede definir un haz $\tilde{M}$ sobre $\operatorname{Spec}(R)$ . Para ello, en los subconjuntos abiertos distinguidos se establece Γ(D_f, $\tilde{M}$ ) = M_f, usando la localización de un módulo. Como antes, esta construcción se extiende a un haz previo en todos los subconjuntos abiertos de $\operatorname{Spec}(R)$ y satisface los axiomas de pegado. Un haz de esta forma se denomina haz casi coherente.

Si P es un punto en $\operatorname{Spec}(R)$ , es decir, un ideal primo, entonces el tallo del haz de estructura en P es igual a la localización de R en el ideal P, y este es un anillo local. En consecuencia, $\operatorname{Spec}(R)$ es un espacio anillado localmente.

Si R es un dominio integral, con cuerpo de fracciones K, entonces se puede describir el anillo Γ(U,O_X) más concretamente de la siguiente manera. Se dice que un elemento f en K es regular en un punto P en X si se puede representar como una fracción f = a/b con b no en P. Se debe tener en cuenta que esto concuerda con la noción de función regular en geometría algebraica. Usando esta definición, se puede describir Γ(U,O_X) precisamente como el conjunto de elementos de K que son regulares en cada punto P en U.

Perspectiva funcional

Es útil usar el lenguaje de la teoría de categorías y observar que $\operatorname{Spec}$ es un funtor. Cada homomorfismo de anillos $f: R \to S$ induce una aplicación continua $\operatorname{Spec}(f): \operatorname{Spec}(S) \to \operatorname{Spec}(R)$ (dado que la preimagen de cualquier ideal primo en $S$ es un ideal primo en $R$ ). De esta forma, $\operatorname{Spec}$ puede verse como un funtor contravariante de la categoría de anillos conmutativos a la categoría de espacios topológicos. Además, para todo primo $\mathfrak{p}$ el homomorfismo $f$ desciende a los homomorfismos

\mathcal{O}_{f^{-1}(\mathfrak{p})} \to \mathcal{O}_\mathfrak{p}

de anillos locales. Así, $\operatorname{Spec}$ incluso define un funtor contravariante de la categoría de anillos conmutativos a la categoría de espacio anillado localmente. De hecho, es el funtor universal, por lo que puede usarse para definir el funtor $\operatorname{Spec}$ hasta el isomorfismo natural.

El funtor $\operatorname{Spec}$ produce una equivalencia contravariante entre la categoría de anillos y la categoría de esquemas afines. Cada una de estas categorías a menudo se considera como la categoría opuesta de la otra.

Motivación desde la geometría algebraica

Siguiendo con el ejemplo, en geometría algebraica se estudian los conjuntos algebraicos, es decir, subconjuntos de Kⁿ (donde K es un cuerpo algebraicamente cerrado) que se definen como los ceros comunes de un conjunto de polinomios en n variables. Si A es un conjunto algebraico de este tipo, se considera el anillo conmutativo R de todas las funciones polinómicas A → K. Los ideales máximos de R corresponden a los puntos de A (porque K es algebraicamente cerrado), y los ideales primos de R corresponden a las subvariedades de A (un conjunto algebraico se llama irreducible o variedad si no puede escribirse como la unión de dos subconjuntos algebraicos propios).

Por lo tanto, el espectro de R consta de los puntos de A junto con elementos para todas las subvariedades de A. Los puntos de A son cerrados en el espectro, mientras que los elementos correspondientes a subvariedades tienen un cierre formado por todos sus puntos y subvariedades. Si solo se consideran los puntos de A, es decir, los ideales máximos en R, entonces la topología de Zariski definida anteriormente coincide con la topología de Zariski definida sobre conjuntos algebraicos (que tiene precisamente los subconjuntos algebraicos como conjuntos cerrados). Específicamente, los ideales máximos en R, es decir, $\operatorname{MaxSpec}(R)$ , junto con la topología de Zariski, es el homomorfo a A también con la topología de Zariski.

Por lo tanto, se puede ver el espacio topológico $\operatorname{Spec}(R)$ como un "enriquecimiento" del espacio topológico A (con topología de Zariski): para cada subvariedad de A, se ha introducido un punto no cerrado adicional, y este punto "sigue la pista" de la subvariedad correspondiente. Este punto se puede ver como el punto genérico para la subvariedad. Además, el haz de $\operatorname{Spec}(R)$ y el haz de funciones polinómicas de A son esencialmente idénticos. Al estudiar espectros de anillos polinómicos en lugar de conjuntos algebraicos con topología de Zariski, se pueden generalizar los conceptos de geometría algebraica a campos no cerrados algebraicamente y más allá, llegando finalmente al lenguaje de esquemas.

Ejemplos

El esquema afín $\operatorname{Spec}(\mathbb{Z})$ es el objeto final en la categoría de esquemas afines, ya que $\mathbb{Z}$ es el objeto inicial en la categoría de anillos conmutativos.
El esquema afín $\mathbb{A}^n_\mathbb{C}= \operatorname{Spec}(\mathbb{C}[x_1,\ldots, x_n])$ es un esquema teórico análogo a $\mathbb{C}^n$ . Desde la perspectiva del funtor de puntos, un punto $(\alpha_1,\ldots,\alpha_n) \in \mathbb{C}^n$ se puede identificar con el morfismo de evaluación $\mathbb{C}[x_1,\ldots, x_n] \xrightarrow{ev_{(\alpha_1,\ldots, \alpha_n)}} \mathbb{C}$ . Esta observación fundamental permite dar sentido a otros esquemas afines.
$\operatorname{Spec}(\mathbb{C}[x,y]/(xy))$ se ve topológicamente como la intersección transversal de dos planos complejos en un punto, aunque normalmente esto se representa como $+$ ya que los únicos morfismos bien definidos para $\mathbb{C}$ son los morfismos de evaluación asociados con los puntos $\{(\alpha_1,0), (0,\alpha_2) : \alpha_1,\alpha_2 \in \mathbb{C} \}$ .
El espectro principal de un anillo booleano (por ejemplo, un anillo booleano) es un espacio compacto (de Hausdorff).
(M. Hochster) Un espacio topológico es homeomorfo al espectro primo de un anillo conmutativo (es decir, un espacio espectral) si y solo si es cuasi-compacto, casi separado y sobrio.

Ejemplos no afines

Estos son algunos ejemplos de esquemas que no son esquemas afines. Se construyen a partir de la unión de esquemas afines.

El $n$ -espacio proyectivo $\mathbb{P}^n_k= \operatorname{Proj}k[x_0,\ldots, x_n]$ sobre un cuerpo $k$ . Esta consideración se puede generalizar fácilmente a cualquier anillo base, consúltese construcción proyectiva (de hecho, se puede definir el espacio proyectivo para cualquier esquema base). El espacio proyectivo $n$ para $n \geq 1$ no es afín, ya que la sección global de $\mathbb{P}^n_k$ es $k$ .
Plano afín menos el origen. Dentro de $\mathbb{A}^2_k= \operatorname{Spec}\, k[x,y]$ se distinguen los subesquemas afines abiertos $D_x , D_y$ . Su unión $D_x \cup D_y= U$ es el plano afín pero sin el origen. Las secciones globales de $U$ son pares de polinomios en $D_x,D_y$ que se restringen al mismo polinomio en $D_{xy}$ , que se puede demostrar que es $k[x,y]$ , la sección global de $\mathbb{A}^2_k$ . $U$ no es afín como $V_{(x)} \cap V_{(y)}= \varnothing$ en $U$ .

Topologías que no son de Zariski en un espectro principal

Algunos autores (en particular, M. Hochster) consideran topologías en espectros principales distintas de la topología de Zariski.

Primero, está la noción de topología construible: dado un anillo A, los subconjuntos de $\operatorname{Spec}(A)$ de la forma $\varphi^*(\operatorname{Spec} B), \varphi: A \to B$ satisfacen los axiomas para conjuntos cerrados en un espacio topológico. Esta topología en $\operatorname{Spec}(A)$ se denomina topología construible.

En (Hochster, 1969), Hochster consideró lo que denominó la topología de parche en un espectro principal. Por definición, la topología de parche es la topología más pequeña en la que los conjuntos de las formas $V(I)$ y $\operatorname{Spec}(A) - V(f)$ están cerrados.

Espectros globales o relativos

Existe una versión relativa del funtor $\operatorname{Spec}$ llamada $\operatorname{Spec}$ global o $\operatorname{Spec}$ relativo. Si $S$ es un esquema, el $\operatorname{Spec}$ relativo se denota por $\underline{\operatorname{Spec}}_S$ o $\mathbf{Spec}_S$ . Si $S$ está claro en el contexto, entonces el espectro relativo puede indicarse como $\underline{\operatorname{Spec}}$ o $\mathbf{Spec}$ . Para un esquema $S$ y un haz de $\mathcal{O}_S$ -álgebras casi coherente $\mathcal{A}$ , existe un esquema $\underline{\operatorname{Spec}}_S(\mathcal{A})$ y un morfismo $f : \underline{\operatorname{Spec}}_S(\mathcal{A}) \to S$ tales que para cada afín abierto $U \subseteq S$ , existe un isomorfismo $f^{-1}(U) \cong \operatorname{Spec}(\mathcal{A}(U))$ , y tal que para los afines abiertos $V \subseteq U$ , la inclusión $f^{-1}(V) \to f^{-1}(U)$ es inducida por el mapa de restricción $\mathcal{A}(U) \to \mathcal{A}(V)$ . Es decir, así como los homomorfismos de anillos inducen aplicaciones opuestas de espectros, las aplicaciones de restricción de un haz de álgebras inducen las aplicaciones de inclusión de los espectros que forman el Spec del haz.

El espectro global tiene una propiedad universal similar a la propiedad universal del espectro ordinario. Más precisamente, así como el Spec y el funtor de sección global son adjuntos a la derecha contravariantes entre la categoría de anillos y los esquemas conmutativos, el Spec global y el funtor de imagen directa para la aplicación estructural son adjuntos a la derecha contravariantes entre la categoría de $\mathcal{O}_S$ -álgebras conmutativas y esquemas sobre $S$ . En fórmulas,

\operatorname{Hom}_{\mathcal{O}_S\text{-alg}}(\mathcal{A}, \pi_*\mathcal{O}_X) \cong \operatorname{Hom}_{\text{Sch}/S}(X, \mathbf{Spec}(\mathcal{A})),

donde $\pi \colon X \to S$ es un morfismo de esquemas.

Ejemplo de un espectro relativo

El Spec relativo es la herramienta necesaria para parametrizar la familia de rectas a través del origen de $\mathbb{A}^2_\mathbb{C}$ sobre $X= \mathbb{P}^1_{a,b}.$ Considérese el haz de álgebras $\mathcal{A}= \mathcal{O}_X[x,y],$ y sea $\mathcal{I}= (ay-bx)$ un haz de ideales de $\mathcal{A}.$ Entonces el Spec relativo $\underline{\operatorname{Spec}}_X(\mathcal{A}/\mathcal{I}) \to \mathbb{P}^1_{a,b}$ parametriza la familia deseada. De hecho, la fibra sobre $[\alpha:\beta]$ es la recta que pasa por el origen de $\mathbb{A}^2$ y contiene el punto $(\alpha,\beta).$ Suponiendo que $\alpha \neq 0,$ la fibra se puede calcular observando la composición de los diagramas hacia atrás

\begin{matrix} \operatorname{Spec}\left( \frac{\mathbb{C}[x,y]}{\left(y-\frac{\beta}{\alpha}x\right)} \right) & \to & \operatorname{Spec}\left( \frac{\mathbb{C}\left[\frac{b}{a}\right] [x,y]}{\left(y-\frac{b}{a}x\right)} \right) & \to & \underline{\operatorname{Spec}}_X\left( \frac{\mathcal{O}_X[x,y]}{\left(ay-bx\right)} \right)\\ \downarrow & & \downarrow & & \downarrow \\ \operatorname{Spec}(\mathbb{C})& \to & \operatorname{Spec}\left(\mathbb{C}\left[\frac{b}{a}\right]\right)=U_a & \to & \mathbb{P}^1_{a,b} \end{matrix}

donde la composición de las flechas inferiores

\operatorname{Spec}(\mathbb{C})\xrightarrow{[\alpha:\beta]} \mathbb{P}^1_{a,b}

da la recta que contiene el punto $(\alpha,\beta)$ y el origen. Este ejemplo se puede generalizar para parametrizar la familia de rectas a través del origen de $\mathbb{A}^{n+1}_\mathbb{C}$ sobre $X= \mathbb{P}^n_{a_0,...,a_n}$ dejando $\mathcal{A}= \mathcal{O}_X[x_0,...,x_n]$ y $\mathcal{I}= \left( 2\times 2 \text{ menores de } \begin{pmatrix}a_0 & \cdots & a_n \\ x_0 & \cdots & x_n\end{pmatrix} \right).$

Perspectiva desde la teoría de la representación

Desde la perspectiva de teoría de representación, un ideal primo I corresponde a un módulo R/I, y el espectro de un anillo corresponde a representaciones cíclicas irreducibles de R, mientras que las subvariedades generales corresponden a representaciones posiblemente reducibles que no necesitan ser cíclicas. Recuérdese que en abstracto, la teoría de la representación de un grupo es el estudio de módulos sobre su álgebra de grupo.

La conexión con la teoría de la representación es más clara si se considera el anillo de polinomios $R=K[x_1,\dots,x_n]$ o, sin una base, $R=K[V].$ . Como aclara la última formulación, un anillo polinomial es el álgebra de grupo sobre un espacio vectorial, y escrita en términos de $x_i$ corresponde a elegir una base para el espacio vectorial. Entonces, un I ideal, o equivalentemente un módulo $R/I,$ es una representación cíclica de R (significado cíclico generado por un elemento como un módulo R; esto generaliza las representaciones unidimensionales).

En el caso de que el cuerpo sea algebraicamente cerrado (como por ejemplo, los números complejos), todo ideal maximal corresponde a un punto en el espacio n, por el teorema de los ceros de Hilbert (el ideal máximo generado por $(x_1-a_1), (x_2-a_2),\ldots,(x_n-a_n)$ corresponde al punto $(a_1,\ldots,a_n)$ ). Estas representaciones de $K[V]$ son luego parametrizadas por el espacio dual $V^*,$ , siendo dado el covector enviando cada $x_i$ al $a_i$ correspondiente. Por lo tanto, una representación de $K^n$ (aplicaciiones lineales K $K^n \to K$ ) viene dada por un conjunto de n números, o de manera equivalente, un covector $K^n \to K.$

Por lo tanto, los puntos en el espacio n dimensional, considerados como el espectro máximo de $R=K[x_1,\dots,x_n],$ , corresponden precisamente a representaciones unidimensionales de R, mientras que los conjuntos finitos de puntos corresponden a representaciones de dimensión finita (que son reducibles, correspondiente geométricamente a ser una unión, y algebraicamente a no ser un ideal primo). Los ideales no máximos corresponden entonces a representaciones de dimensiones infinitas.

Generalizaciones

El espectro se puede generalizar de anillos a C*-álgebras en teoría de operadores, dando la noción de espectro de una C*-álgebra. En particular, para un espacio de Hausdorff, el álgebra de escalares (las funciones continuas acotadas en el espacio, que son análogas a las funciones regulares) es una C*-álgebra conmutativa, con el espacio recuperado como un espacio topológico de $\operatorname{MaxSpec}$ del álgebra de escalares, siendo de hecho funcionalmente así. Este es el contenido del teorema de Banach-Stone. De hecho, cualquier C*-álgebra conmutativa puede realizarse como el álgebra de escalares de un espacio de Hausdorff de esta manera, produciendo la misma correspondencia que entre un anillo y su espectro. La generalización a C*-álgebras no conmutativas produce una topología no conmutativa.

Véase también

En inglés: Spectrum of a ring Facts for Kids

Esquema
Esquema proyectivo
Espectro de una matriz
Teorema de afinidad de Serre
Espectro de Étale
Espectro de Ziegler
Espectro primitivo

Obtenido de «https://ninos.kiddle.co/index.php?title=Espectro_de_un_anillo&oldid=3828531»

Todo el contenido de los artículos de la Enciclopedia Kiddle (incluidas las imágenes) se puede utilizar libremente para fines personales y educativos bajo la licencia Atribución-CompartirIgual a menos que se indique lo contrario. Citar este artículo:

Espectro de un anillo para Niños. Enciclopedia Kiddle.