Espectro de un anillo

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 ; en geometría algebraica es simultáneamente un espacio topológico equipado con el haz de anillos .

Topología de Zariski

Para cualquier ideal I de R, se define  como el conjunto de ideales primos que contienen I. Se puede establecer una topología en  definiendo que una colección de conjuntos cerrados sea

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 Df como el conjunto de ideales primos de R que no contienen a f. Entonces, cada Df es un subconjunto abierto de , y  es una base para la topología de Zariski.

 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 T1. Sin embargo,  es siempre un espacio de Kolmogórov (satisface el axioma T0); y también es un espacio espectral.

Haces y esquemas

Dado el espacio  con la topología de Zariski, el haz de estructura OX se define en los subconjuntos abiertos distinguidos Df estableciendo Γ(Df,  OX) = Rf, 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 {Dfi}i∈I, se establece Γ(U ,OX) = limi∈I Rfi. Se puede comprobar que este haz previo es un haz, por lo que  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  sobre . Para ello, en los subconjuntos abiertos distinguidos se establece Γ(Df, ) = Mf, 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  y satisface los axiomas de pegado. Un haz de esta forma se denomina haz casi coherente.

Si P es un punto en , 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,  es un espacio anillado localmente.

Si R es un dominio integral, con cuerpo de fracciones K, entonces se puede describir el anillo Γ(U,OX) 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,OX) 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  es un funtor. Cada homomorfismo de anillos  induce una aplicación continua  (dado que la preimagen de cualquier ideal primo en  es un ideal primo en ). De esta forma,  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  el homomorfismo  desciende a los homomorfismos

de anillos locales. Así,  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  hasta el isomorfismo natural.

El funtor  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 Kn (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, , 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  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  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  es el objeto final en la categoría de esquemas afines, ya que  es el objeto inicial en la categoría de anillos conmutativos.
 El esquema afín  es un esquema teórico análogo a . Desde la perspectiva del funtor de puntos, un punto  se puede identificar con el morfismo de evaluación . Esta observación fundamental permite dar sentido a otros esquemas afines.
  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  son los morfismos de evaluación asociados con los puntos .
 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 -espacio proyectivo  sobre un cuerpo . 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  para  no es afín, ya que la sección global de  es .
 Plano afín menos el origen. Dentro de  se distinguen los subesquemas afines abiertos . Su unión  es el plano afín pero sin el origen. Las secciones globales de  son pares de polinomios en  que se restringen al mismo polinomio en , que se puede demostrar que es , la sección global de .  no es afín como  en .

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  de la forma  satisfacen los axiomas para conjuntos cerrados en un espacio topológico. Esta topología en  se denomina topología construible.

En , 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  y  están cerrados.

Espectros globales o relativos
Existe una versión relativa del funtor  llamada  global o  relativo. Si  es un esquema, el  relativo se denota por  o . Si  está claro en el contexto, entonces el espectro relativo puede indicarse como  o . Para un esquema  y un haz de -álgebras casi coherente , existe un esquema  y un morfismo  tales que para cada afín abierto , existe un isomorfismo , y tal que para los afines abiertos , la inclusión  es inducida por el mapa de restricción . 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 -álgebras conmutativas y esquemas sobre . En fórmulas,

donde  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  sobre  Considérese el haz de álgebras  y sea  un haz de ideales de  Entonces el Spec relativo  parametriza la familia deseada. De hecho, la fibra sobre  es la recta que pasa por el origen de  y contiene el punto  Suponiendo que  la fibra se puede calcular observando la composición de los diagramas hacia atrás

donde la composición de las flechas inferiores

da la recta que contiene el punto  y el origen. Este ejemplo se puede generalizar para parametrizar la familia de rectas a través del origen de  sobre  dejando  y

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  o, sin una base, . Como aclara la última formulación, un anillo polinomial es el álgebra de grupo sobre un espacio vectorial, y escrita en términos de  corresponde a elegir una base para el espacio vectorial. Entonces, un I ideal, o equivalentemente un módulo  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  corresponde al punto ). Estas representaciones de  son luego parametrizadas por el espacio dual , siendo dado el covector enviando cada  al  correspondiente. Por lo tanto, una representación de  (aplicaciiones lineales K ) viene dada por un conjunto de n números, o de manera equivalente, un covector 

Por lo tanto, los puntos en el espacio n dimensional, considerados como el espectro máximo de , 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.

Perspectiva desde el análisis funcional

El término espectro proviene de su uso en teoría de operadores. Dado un operador lineal T en un espacio vectorial de dimensión finita V, se puede considerar el espacio vectorial con operador como un módulo sobre el anillo polinómico en una variable R=K [T], como en el teorema de estructura para módulos finitamente generados sobre un dominio ideal principal. Entonces el espectro de K[T] (como anillo) es igual al espectro de T (como operador).

Además, la estructura geométrica del espectro del anillo (equivalentemente, la estructura algebraica del módulo) captura el comportamiento del espectro del operador, como la multiplicidad algebraica y la multiplicidad geométrica. Por ejemplo, para la matriz identidad 2×2 tiene el módulo correspondiente:

la matriz cero 2×2 tiene módulo

mostrando la multiplicidad geométrica 2 para el valor propio cero, mientras que una matriz nilpotente 2×2 no trivial tiene un módulo

mostrando multiplicidad algebraica 2 pero multiplicidad geométrica 1.

Con más detalle:
 Los valores propios (con multiplicidad geométrica) del operador corresponden a los puntos (reducidos) de la variedad, con multiplicidad.
 La descomposición primaria del módulo corresponde a los puntos no reducidos de la variedad.
 Un operador diagonalizable (semisimple) corresponde a una variedad reducida.
 Un módulo cíclico (un generador) corresponde al operador que tiene un vector cíclico (un vector cuya órbita bajo T abarca el espacio).
 El último factor invariante del módulo es igual al polinomio mínimo del operador, y el producto de los factores invariantes es igual al polinomio característico.

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  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

Referencias

Bibliografía

Enlaces externos
 Kevin R. Coombes: El espectro de un anillo
 http://stacks.math.columbia.edu/tag/01LL, especificaciones relativas
 

Teoría de anillos
Geometría algebraica
Álgebra conmutativa
Análisis funcional