stringtranslate.com

Espectro de un anillo

En álgebra conmutativa , el espectro primo (o simplemente el espectro ) de un anillo conmutativo R es el conjunto de todos los ideales primos de R , y usualmente se denota por ; [1] en geometría algebraica es simultáneamente un espacio topológico equipado con el haz de anillos . [2]

Topología de Zariski

Para cualquier ideal I de R , definamos como el conjunto de ideales primos que contienen a I . Podemos plantear una topología definiendo la colección de conjuntos cerrados como

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

Se puede construir una base para la topología de Zariski de la siguiente manera. Para fR , definamos D f como el conjunto de ideales primos de R que no contienen a f . Entonces cada D f es un subconjunto abierto de , y es una base para la topología de Zariski.

es un espacio compacto , pero casi nunca de Hausdorff : de hecho, los ideales maximales en R son precisamente los puntos cerrados en esta topología. Por el mismo razonamiento, no es, en general, un espacio T 1 . [3] Sin embargo, es siempre un espacio de Kolmogorov (satisface el axioma T 0 ); también es un espacio espectral .

Gavillas y esquemas

Dado el espacio con la topología de Zariski, el haz de estructura se define en los subconjuntos abiertos distinguidos estableciendo la localización de R por las potencias de f . Se puede demostrar que esto define un B-haz y, por lo tanto, que define un haz . Con más detalle, los subconjuntos abiertos distinguidos son una base de la topología de Zariski, por lo que para un conjunto abierto arbitrario U , escrito como la unión de , establecemos donde denota el límite inverso con respecto a los homomorfismos de anillo naturales Se puede verificar que este prehaz es un haz, por lo que es un espacio anillado . Cualquier espacio anillado isomorfo a una de esta forma se llama esquema afín . Los esquemas generales se obtienen pegando esquemas afines.

De manera similar, para un módulo M sobre el anillo R , podemos definir un haz sobre . Sobre el conjunto de subconjuntos abiertos distinguidos utilizando la localización de un módulo . Como antes, esta construcción se extiende a un prehaz sobre todos los subconjuntos abiertos de y satisface el axioma de unión . Un haz de esta forma se denomina haz cuasicoherente .

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 podemos describir el anillo de manera más concreta de la siguiente manera. Decimos 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. Nótese que esto concuerda con la noción de función regular en geometría algebraica. Usando esta definición, podemos describir con precisión el conjunto de elementos de K que son regulares en cada punto P en U.

Perspectiva funcional

Es útil utilizar el lenguaje de la teoría de categorías y observar que es un funtor . Todo homomorfismo de anillos induce una función continua (ya que la preimagen de cualquier ideal primo en es un ideal primo en ). De esta manera, puede verse como un funtor contravariante de la categoría de anillos conmutativos a la categoría de espacios topológicos . Además, para cada primo el homomorfismo desciende a homomorfismos

de anillos locales. Por lo tanto, incluso define un funtor contravariante de la categoría de anillos conmutativos a la categoría de espacios anillados localmente . De hecho, es el funtor universal de este tipo y, por lo tanto, puede usarse para definir el funtor hasta el isomorfismo natural . [ cita requerida ]

El funtor produce una equivalencia contravariante entre la categoría de anillos conmutativos y la categoría de esquemas afines ; cada una de estas categorías se considera a menudo 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, los subconjuntos de K n (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 AK . 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).

El espectro de R consiste, por lo tanto, en los puntos de A junto con elementos para todas las subvariedades de A . Los puntos de A están cerrados en el espectro, mientras que los elementos correspondientes a las subvariedades tienen una clausura que consiste en todos sus puntos y subvariedades. Si solo se consideran los puntos de A , es decir, los ideales maximales en R , entonces la topología de Zariski definida anteriormente coincide con la topología de Zariski definida en conjuntos algebraicos (que tiene precisamente los subconjuntos algebraicos como conjuntos cerrados). Específicamente, los ideales maximales en R , es decir , junto con la topología de Zariski, son homeomorfos a A también con la topología de Zariski.

De este modo, se puede considerar el espacio topológico como un "enriquecimiento" del espacio topológico A (con la 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. Se piensa en este punto como el punto genérico para la subvariedad. Además, el haz en y el haz de funciones polinómicas en A son esencialmente idénticos. Al estudiar espectros de anillos polinómicos en lugar de conjuntos algebraicos con la topología de Zariski, se pueden generalizar los conceptos de geometría algebraica a cuerpos no algebraicamente cerrados y más allá, llegando finalmente al lenguaje de los esquemas .

Ejemplos

Ejemplos no afines

A continuación se presentan algunos ejemplos de esquemas que no son esquemas afines, sino que se construyen mediante la unión de esquemas afines.

Topologías no Zariski en un espectro principal

Algunos autores (notablemente M. Hochster) consideran topologías en espectros primos distintas de la topología de Zariski.

En primer lugar, está la noción de topología construible : dado un anillo A , los subconjuntos de la forma satisfacen los axiomas para conjuntos cerrados en un espacio topológico. Esta topología se denomina topología construible. [7] [8]

En Hochster (1969), Hochster considera lo que él llama la topología de parche en un espectro primo. [9] [10] [11] 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.

Especificación global o relativa

Hay una versión relativa del funtor llamada global o relativa . Si es un esquema, entonces relativo se denota por o . Si es claro a partir del contexto, entonces relativo Spec puede denotarse por o . Para un esquema y un haz cuasi coherente de -álgebras , hay un esquema y un morfismo tales que para cada afín abierto , hay un isomorfismo , y tales que para afines abiertos , la inclusión es inducida por el mapa de restricción . Es decir, como los homomorfismos de anillo inducen mapas opuestos de espectros, los mapas de restricción de un haz de álgebras inducen los mapas de inclusión de los espectros que componen el Spec del haz.

La Spec global tiene una propiedad universal similar a la propiedad universal para la Spec ordinaria. Más precisamente, así como la Spec y el funtor de sección global son adjuntos derechos contravariantes entre la categoría de anillos conmutativos y esquemas, la Spec global y el funtor de imagen directa para el mapa de estructura son adjuntos derechos contravariantes entre la categoría de -álgebras conmutativas y esquemas sobre . [ dudosodiscutir ] En fórmulas,

donde es un morfismo de esquemas.

Ejemplo de una especificación relativa

La especificación relativa es la herramienta correcta para parametrizar la familia de líneas que pasan por el origen de sobre Considere el haz de álgebras y sea un haz de ideales de Entonces la especificación relativa parametriza la familia deseada. De hecho, la fibra sobre es la línea que pasa por el origen de que contiene el punto Suponiendo que la fibra se puede calcular observando la composición de los diagramas de pullback

donde la composición de las flechas inferiores

da la línea que contiene el punto y el origen. Este ejemplo se puede generalizar para parametrizar la familia de líneas a través del origen de over haciendo y

Perspectiva de la teoría de la representación

Desde la perspectiva de la teoría de la 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 más generales corresponden a representaciones posiblemente reducibles que no necesitan ser cíclicas. Recordemos que, de manera abstracta, la teoría de la representación de un grupo es el estudio de los 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 polinómico o, sin una base, Como lo deja claro la última formulación, un anillo polinómico es el álgebra de grupo sobre un espacio vectorial , y escribir en términos de corresponde a elegir una base para el espacio vectorial. Entonces, un ideal I, o equivalentemente un módulo, es una representación cíclica de R (el significado cíclico es generado por 1 elemento como un R -módulo; esto generaliza representaciones unidimensionales).

En el caso de que el campo sea algebraicamente cerrado (por ejemplo, los números complejos), cada ideal máximo corresponde a un punto en el espacio n , por el Nullstellensatz (el ideal máximo generado por corresponde al punto ). Estas representaciones de se parametrizan entonces por el espacio dual, el covector se da enviando cada uno al correspondiente . Por lo tanto, una representación de ( K -aplicaciones lineales ) está dada por un conjunto de n números, o equivalentemente un covector

Así, los puntos en el espacio n , considerados como la especificación máxima de corresponden precisamente a representaciones unidimensionales de R , mientras que los conjuntos finitos de puntos corresponden a representaciones finitodimensionales (que son reducibles, correspondiendo geométricamente a ser una unión, y algebraicamente a no ser un ideal primo). Los ideales no máximos corresponden entonces a representaciones infinitesimales .

Perspectiva del análisis funcional

El término "espectro" proviene de su uso en la 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 polinomial 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 un anillo) es igual al espectro de T (como un 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 módulo correspondiente:

La matriz cero 2×2 tiene módulo

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

mostrando multiplicidad algebraica 2 pero multiplicidad geométrica 1.

Más detalladamente:

Generalizaciones

El espectro puede generalizarse desde anillos a C*-álgebras en teoría de operadores , produciendo 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, siendo análogas a las funciones regulares) es una C*-álgebra conmutativa , con el espacio siendo recuperado como un espacio topológico a partir del álgebra de escalares, 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. Generalizando a C*-álgebras no conmutativas produce topología no conmutativa .

Véase también

Citas

  1. ^ Sharp (2001), pág. 44, definición 3.26
  2. ^ Hartshorne (1977), pág. 70, Definición
  3. ^ Arkhangel'skii y Pontryagin (1990), ejemplo 21, sección 2.6
  4. ^ Atiyah y Macdonald (1969), Cap. 1. Ejercicio 23. (iv)
  5. ^ Hochster (1969)
  6. ^ Vakil (sin fecha), Capítulo 4, ejemplo 4.4.1
  7. ^ Atiyah y Macdonald (1969), Cap. 5, Ejercicio 27
  8. ^ Tarizadeh (2019)
  9. ^ Kock (2007)
  10. ^ Fontana y Loper (2008)
  11. ^ Brandal (1979)
  12. ^ ver https://www.math.ias.edu/~lurie/261ynotes/lecture14.pdf

Referencias

Lectura adicional

Enlaces externos