stringtranslate.com

Módulo plano

En álgebra , los módulos planos incluyen módulos libres , módulos proyectivos y, sobre un dominio ideal principal , módulos libres de torsión . Formalmente, un módulo M sobre un anillo R es plano si al tomar el producto tensorial sobre R con M se conservan secuencias exactas . Un módulo es fielmente plano si al tomar el producto tensorial con una secuencia se obtiene una secuencia exacta si y solo si la secuencia original es exacta.

La planitud fue introducida por Jean-Pierre Serre  (1956) en su artículo Géometrie Algébrique et Géométrie Analytique .

Definición

Un módulo izquierdo M sobre un anillo R es plano si se cumple la siguiente condición: para cada función lineal inyectiva de módulos R derechos , la función

también es inyectiva, donde el mapa es inducido por

Para esta definición, basta con restringir las inyecciones a las inclusiones de ideales finitamente generados en R.

De manera equivalente, un R -módulo M es plano si el producto tensorial con M es un funtor exacto ; es decir, si, para cada secuencia corta exacta de R -módulos, la secuencia también es exacta. (Esta es una definición equivalente ya que el producto tensorial es un funtor exacto recto ).

Estas definiciones se aplican también si R es un anillo no conmutativo y M es un módulo R izquierdo ; en este caso, K , L y J deben ser módulos R derechos , y los productos tensoriales no son módulos R en general, sino solo grupos abelianos .

Caracterizaciones

La planitud también se puede caracterizar por la siguiente condición ecuacional, lo que significa que R - relaciones lineales en M se derivan de relaciones lineales en R .

Un módulo R izquierdo M es plano si y sólo si, para cada relación lineal

con y , existen elementos y tales que [1]

para

y

para

Equivale a definir n elementos de un módulo, y una función lineal de a este módulo, que mapea la base estándar de a los n elementos. Esto permite reescribir la caracterización anterior en términos de homomorfismos, de la siguiente manera.

Un R -módulo M es plano si y solo si se cumple la siguiente condición: para cada función donde es un R -módulo libre finitamente generado , y para cada R -submódulo finitamente generado de la función se factoriza a través de una función g a un R -módulo libre tal que

Propiedad factorial de un módulo plano

Relaciones con otras propiedades del módulo

La planicidad está relacionada con otras propiedades de los módulos, como ser libre, proyectivo o libre de torsión. En particular, cada módulo plano es libre de torsión , cada módulo proyectivo es plano y cada módulo libre es proyectivo.

Existen módulos finitamente generados que son planos y no proyectivos. Sin embargo, los módulos planos finitamente generados son todos proyectivos sobre los anillos que se consideran más comúnmente. Además, un módulo finitamente generado es plano si y solo si es localmente libre, lo que significa que todas las localizaciones en ideales primos son módulos libres.

Esto se resume en parte en el siguiente gráfico.

Propiedades de los módulos en el álgebra conmutativa
Propiedades de los módulos en el álgebra conmutativa

Módulos sin torsión

Todo módulo plano está libre de torsión . Esto resulta de la caracterización anterior en términos de relaciones tomando m = 1 .

Lo contrario se cumple para los números enteros y, más generalmente, para los dominios ideales principales y los anillos de Dedekind .

Un dominio integral sobre el cual cada módulo libre de torsión es plano se denomina dominio de Prüfer .

Módulos libres y proyectivos

Un módulo M es proyectivo si y sólo si hay un módulo libre G y dos aplicaciones lineales y tales que En particular, todo módulo libre es proyectivo (tomemos y ).

Todo módulo proyectivo es plano. Esto se puede demostrar a partir de las caracterizaciones anteriores de planicidad y proyectividad en términos de aplicaciones lineales tomando y

Por el contrario, los módulos planos finitamente generados son proyectivos en condiciones moderadas que generalmente se satisfacen en el álgebra conmutativa y la geometría algebraica . Esto hace que el concepto de planitud sea útil principalmente para módulos que no se generan finitamente.

Un módulo finitamente presentado (que es el cociente de un módulo libre finitamente generado por un submódulo finitamente generado) que es plano es siempre proyectivo. Esto se puede demostrar tomando f sobreyectiva y en la caracterización anterior de la planicidad en términos de aplicaciones lineales. La condición implica la existencia de una aplicación lineal tal que y por lo tanto Como f es sobreyectiva, se tiene por lo tanto y M es proyectiva.

Sobre un anillo noetheriano , cada módulo plano finitamente generado es proyectivo, ya que cada módulo finitamente generado se presenta finitamente. El mismo resultado es cierto sobre un dominio integral , incluso si no es noetheriano. [2]

En un anillo local cada módulo plano finitamente generado es libre. [3]

Un módulo plano finitamente generado que no es proyectivo se puede construir de la siguiente manera. Sea el conjunto de las sucesiones infinitas cuyos términos pertenecen a un cuerpo fijo F . Es un anillo conmutativo con adición y multiplicación definidas por componentes. Este anillo es absolutamente plano (es decir, todo módulo es plano). El módulo donde I es el ideal de las sucesiones con un número finito de términos distintos de cero, es por tanto plano y finitamente generado (solo un generador), pero no es proyectivo.

No-ejemplos

Sumas directas, límites y productos

Una suma directa de módulos es plana si y sólo si cada uno es plano.

Un límite directo de plano es plano. En particular, un límite directo de módulos libres es plano. A la inversa, todo módulo plano puede escribirse como un límite directo de módulos libres finitamente generados . [4]

Los productos directos de módulos planos no necesitan ser, en general, planos. De hecho, dado un anillo R , todo producto directo de módulos R planos es plano si y sólo si R es un anillo coherente (es decir, todo ideal finitamente generado está finitamente presentado). [5]

Extensiones de anillo plano

Un homomorfismo de anillo es plano si S es un módulo R plano para la estructura de módulo inducida por el homomorfismo. Por ejemplo, el anillo polinómico R [ t ] es plano sobre R , para cualquier anillo R .

Para cualquier subconjunto multiplicativo de un anillo conmutativo , la localización es un R - álgebra plana (es proyectiva sólo en casos excepcionales). Por ejemplo, es plana y no proyectiva sobre

Si es un ideal de un anillo conmutativo noetheriano , la completitud de con respecto a es plana. [6] Es fielmente plana si y sólo si está contenida en el radical de Jacobson de (Véase también anillo de Zariski .) [7]

Propiedad local

En esta sección, R denota un anillo conmutativo . Si es un ideal primo de R , la localización en se denota, como es habitual, con como índice. Es decir, y, si M es un R -módulo,

Si M es un módulo R las tres condiciones siguientes son equivalentes:

Esta propiedad es fundamental en el álgebra conmutativa y la geometría algebraica, ya que reduce el estudio de la planicidad al caso de los anillos locales . A menudo se expresan diciendo que la planicidad es una propiedad local .

Morfismos planos de esquemas

La definición de un morfismo plano de esquemas resulta inmediatamente de la propiedad local de planitud.

Un morfismo de esquemas es un morfismo plano si el mapa inducido está en anillos locales

es un homomorfismo de anillo plano para cualquier punto x en X .

Por lo tanto, las propiedades de los homomorfismos de anillos planos (o fielmente planos) se extienden naturalmente a las propiedades geométricas de los morfismos planos en geometría algebraica.

Por ejemplo, considere el álgebra plana (ver más abajo). La inclusión induce el morfismo plano.

Cada fibra (geométrica) es la curva de ecuación (Ver también degeneración plana y deformación a cono normal ).

Sea un anillo polinómico sobre un anillo noetheriano conmutativo y un divisor distinto de cero. Entonces es plano sobre si y solo si es primitivo (los coeficientes generan el ideal unitario). [8] Un ejemplo es [9] que es plano (e incluso libre) sobre (véase también más abajo el significado geométrico). Tales extensiones planas se pueden utilizar para producir ejemplos de módulos planos que no son libres y no resultan de una localización.

Planitud fiel

Un módulo es fielmente plano si al tomar el producto tensorial con una secuencia se obtiene una secuencia exacta si y solo si la secuencia original es exacta. Aunque el concepto está definido para módulos sobre un anillo conmutativo no necesario, se utiliza principalmente para álgebras conmutativas . Por lo tanto, este es el único caso que se considera aquí, incluso si algunos resultados se pueden generalizar al caso de módulos sobre un anillo no conmutativo.

En esta sección se presenta un homomorfismo de anillos conmutativos, que da lugar a las estructuras de un álgebra y un módulo. Si un módulo es plano (o fielmente plano), se dice comúnmente que es plano (o fielmente plano) sobre y que es plano (o fielmente plano).

Si es plano las siguientes condiciones son equivalentes.

La segunda condición implica que un homomorfismo local plano de anillos locales es fielmente plano. De la última condición se sigue que para cada ideal de (tomemos ). En particular, si es un anillo noetheriano, entonces también es noetheriano.

La penúltima condición puede enunciarse en la siguiente forma reforzada: es sumergible , lo que significa que la topología de Zariski de es la topología cociente de la de (este es un caso especial del hecho de que un morfismo cuasicompacto fielmente plano de esquemas tiene esta propiedad. [10] ). Véase también Morfismo plano § Propiedades de los morfismos planos .

Ejemplos

Los dos últimos ejemplos están implícitamente detrás del amplio uso de la localización en el álgebra conmutativa y la geometría algebraica.

donde los operadores cofronterizos son las sumas alternadas de las funciones obtenidas al insertar 1 en cada punto; por ejemplo, . Entonces (Grothendieck) este complejo es exacto si es fielmente plano.

Homomorfismos locales fielmente planos

A continuación se presenta una caracterización de un homomorfismo fielmente plano para un homomorfismo no necesariamente plano. Dado un homomorfismo local inyectivo tal que es un ideal primario - , el homomorfismo es fielmente plano si y solo si el teorema de transición se cumple para él; es decir, para cada ideal primario - de , [13]

Caracterización homológica mediante funtores Tor

La planitud también se puede expresar utilizando los funtores Tor , los funtores derivados por la izquierda del producto tensorial. Un módulo izquierdo es plano si y solo si

para todos y todos los módulos correctos ). [b]

De hecho, basta con comprobar que el primer término de Tor se anula, es decir, M es plano si y sólo si

para cualquier módulo o, incluso más restrictivamente, cuando y es cualquier ideal finitamente generado.

Usando las secuencias largas y exactas del functor Tor , uno puede entonces probar fácilmente hechos acerca de una secuencia corta y exacta.

Si y son planos, entonces también lo es . Además, si y son planos, entonces también lo es . Si y son planos, no es necesario que sean planos en general. Sin embargo, si es puro en y es plano, entonces y son planos.

Resoluciones planas

Una resolución plana de un módulo es una resolución de la forma

donde todos son módulos planos. Cualquier resolución libre o proyectiva es necesariamente una resolución plana. Las resoluciones planas se pueden utilizar para calcular el functor Tor .

La longitud de una resolución plana finita es el primer subíndice n tal que no es cero y para . Si un módulo admite una resolución plana finita, la longitud mínima entre todas las resoluciones planas finitas de se llama su dimensión plana [14] y se denota . Si no admite una resolución plana finita, entonces por convención se dice que la dimensión plana es infinita. Como ejemplo, considere un módulo tal que . En esta situación, la exactitud de la secuencia indica que la flecha en el centro es un isomorfismo y, por lo tanto, ella misma es plana. [c]

En algunas áreas de la teoría de módulos, una resolución plana debe satisfacer el requisito adicional de que cada mapa sea una precubierta plana del núcleo del mapa a la derecha. Para las resoluciones proyectivas, esta condición es casi invisible: una precubierta proyectiva es simplemente un epimorfismo de un módulo proyectivo. Estas ideas están inspiradas en el trabajo de Auslander en aproximaciones. Estas ideas también son familiares a partir de la noción más común de resoluciones proyectivas mínimas, donde se requiere que cada mapa sea una cubierta proyectiva del núcleo del mapa a la derecha. Sin embargo, las cubiertas proyectivas no necesitan existir en general, por lo que las resoluciones proyectivas mínimas solo son de uso limitado sobre anillos como los números enteros.

cubiertas planas

Aunque no siempre existen cubiertas proyectivas para módulos, se especuló que para anillos generales, cada módulo tendría una cubierta plana, es decir, cada módulo M sería la imagen epimórfica de un módulo plano F tal que cada función de un módulo plano sobre M se factoriza a través de F , y cualquier endomorfismo de F sobre M es un automorfismo. Esta conjetura de cubierta plana fue enunciada explícitamente por primera vez en Enochs (1981, p. 196). La conjetura resultó ser verdadera, se resolvió positivamente y fue demostrada simultáneamente por L. Bican, R. El Bashir y E. Enochs. [15] Esto fue precedido por importantes contribuciones de P. Eklof, J. Trlifaj y J. Xu.

Dado que existen cubiertas planas para todos los módulos sobre todos los anillos, las resoluciones planas mínimas pueden reemplazar a las resoluciones proyectivas mínimas en muchas circunstancias. La medición de la desviación de las resoluciones planas con respecto a las resoluciones proyectivas se denomina álgebra homológica relativa y se aborda en obras clásicas como Mac Lane (1963) y en trabajos más recientes centrados en resoluciones planas como Enochs y Jenda (2000).

En matemáticas constructivas

Los módulos planos han aumentado su importancia en las matemáticas constructivas , donde los módulos proyectivos son menos útiles. Por ejemplo, que todos los módulos libres sean proyectivos es equivalente al axioma completo de elección , por lo que los teoremas sobre módulos proyectivos, incluso si se prueban de manera constructiva, no necesariamente se aplican a los módulos libres. Por el contrario, no se necesita ninguna elección para probar que los módulos libres son planos, por lo que los teoremas sobre módulos planos aún pueden aplicarse. [16]

Véase también

Notas

  1. ^ Demostración: Supongamos que es fielmente plano. Para un módulo R, la función se muestra como un subanillo puro y, por lo tanto, es inyectiva. Por lo tanto, es inyectiva. A la inversa, si es un módulo sobre , entonces
  2. ^ De manera similar, un módulo derecho es plano si y solo si para todos y todos los módulos izquierdos .
  3. ^ Un módulo isomorfo a un módulo plano es por supuesto plano.

Citas

  1. ^ Bourbaki, Cap. I, § 2. Proposición 13, Corolario 1
  2. ^ Cartier 1958, Léme 5, pág. 249
  3. ^ Matsumura 1986, Teorema 7.10
  4. ^ Lazard 1969
  5. ^ Persecución 1960
  6. ^ Matsumura 1970, Corolario 1 del Teorema 55, p. 170
  7. ^ Matsumura 1970, Teorema 56
  8. ^ Eisenbud 1995, Ejercicio 6.4
  9. ^ Artin, pág. 3
  10. ^ SGA I, Exposición VIII., Corola 4.3
  11. ^ Artin 1999, Ejercicio (3) después de la Proposición III.5.2
  12. ^ "Complejo Amitsur". ncatlab.org .
  13. ^ Matsumura 1986, Cap. 8, Ejercicio 22.1
  14. ^ Lam 1999, pág. 183
  15. ^ Bican, El Bashir y Enocs 2001
  16. ^ Richman 1997

Referencias