Espectro de un anillo
En álgebra conmutativa, el espectro principal (o simplemente el espectro) de un anillo[1] R es el conjunto de todos los ideales primos de R, y generalmente se denota[2] por ; en geometría algebraica es simultáneamente un espacio topológico equipado con el haz de anillos[3] .
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.[4] 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).[5]
- (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.[6]
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.[7] 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.[8][9]
En (Hochster, 1969), Hochster consideró lo que denominó la topología de parche en un espectro principal.[10][11][12] 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
- Esquema
- Esquema proyectivo
- Espectro de una matriz
- Teorema de afinidad de Serre
- Espectro de Étale
- Espectro de Ziegler
- Espectro primitivo
Referencias
- ↑ «CLASES DE ANILLOS CONMUTATIVOS QUE CARACTERIZAN ALGUNOS AXIOMAS DE SEPARACION». Consultado el 18 de mayo de 2022.
- ↑ Sharp, 2001, Def. 3.26.
- ↑ Hartshorne, 1977, Definition.
- ↑ A.V. Arkhangel'skii, L.S. Pontryagin (Eds.) General Topology I (1990) Springer-Verlag ISBN 3-540-18178-4 (Véase el ejemplo 21, sección 2.6.)
- ↑ Atiyah, Macdonald, Ch. 1. Exercise 23. (iv)
- ↑ M. Hochster (1969). Prime ideal structure in commutative rings. Trans. Amer. Math. Soc., 142 43—60
- ↑ R.Vakil, Foundations of Algebraic Geometry (see Chapter 4, example 4.4.1)
- ↑ Atiyha–Macdonald,, Ch. 5, Exercise 27.
- ↑ (Tarizadeh, 2019)
- ↑ http://mat.uab.cat/~kock/cat/spec.pdf UAB Spec.pdf
- ↑ M. Fontana and K. A. Loper, The patch topology and the ultrafilter topology on the prime spectrum of a commutative ring, Comm. Algebra 36 (2008), 2917–2922.
- ↑ Willy Brandal, Commutative Rings whose Finitely Generated Modules Decompose
Bibliografía
- Atiyah, Michael Francis; Macdonald, I.G. (1969). Introduction to Commutative Algebra. Westview Press. ISBN 978-0-201-40751-8.
- Cox, David; O'Shea, Donal; Little, John (1997), Ideals, Varieties, and Algorithms, Berlin, New York: Springer Science+Business Media, ISBN 978-0-387-94680-1 .
- Eisenbud, David; Harris, Joe (2000), The geometry of schemes, Graduate Texts in Mathematics 197, Berlin, New York: Springer Science+Business Media, ISBN 978-0-387-98637-1, MR 1730819 .
- Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer Science+Business Media, ISBN 978-0-387-90244-9, MR 0463157 .
- Sharp, Rodney Y. (2001). Steps in Commutative Algebra (2nd edición). Cambridge University Press. ISBN 978-0-511-62368-4.
- Tarizadeh, Abolfazl (2019). «Flat topology and its dual aspects». Communications in Algebra 47: 195-205. S2CID 119574163. arXiv:1503.04299. doi:10.1080/00927872.2018.1469637.
Enlaces externos
- Kevin R. Coombes: El espectro de un anillo
- http://stacks.math.columbia.edu/tag/01LL, especificaciones relativas
- Miles Reid. «Undergraduate Commutative Algebra». p. 22. Archivado desde el original el 14 de abril de 2016.
Datos: Q1154351