Un módulo izquierdo M sobre un anillo R es plano si se cumple la siguiente condición: para cada aplicación lineal inyectiva de R -módulos derechos , la aplicación
también es inyectivo, ¿dónde está el mapa inducido por
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 correctos , 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 - las relaciones lineales en M surgen de relaciones lineales en R.
Un módulo R izquierdo M es plano si y sólo si, para toda relación lineal
con y , existen elementos y tales que [1]
para
y
para
Es equivalente a definir n elementos de un módulo y un mapa lineal desde este módulo, que asigna 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 sólo si se cumple la siguiente condición: para cada mapa donde hay un R -módulo libre finitamente generado , y para cada R -submódulo finitamente generado del mapa factores a través de un mapa g a un R libre - módulo tal que
Relaciones con otras propiedades del módulo
La planitud está relacionada con otras propiedades del módulo, como ser libre, proyectivo o sin torsión. En particular, cada módulo plano está libre de torsión , cada módulo proyectivo es plano y cada módulo libre es proyectivo.
Hay módulos generados finitamente que son planos y no proyectivos. Sin embargo, todos los módulos planos generados finitamente son proyectivos sobre los anillos que se consideran más comúnmente. Además, un módulo generado finitamente es plano si y solo es libre localmente, lo que significa que todas las localizaciones en ideales principales son módulos libres.
Esto se resume en parte en el siguiente gráfico.
Módulos sin torsión
Cada módulo plano está libre de torsión . Esto resulta de la caracterización anterior en términos de relaciones tomando m = 1 .
Un dominio integral sobre el cual cada módulo libre de torsión es plano se llama 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 (tomar y ).
Cada módulo proyectivo es plano. Esto se puede probar a partir de las caracterizaciones anteriores de planitud y proyectividad en términos de mapas lineales tomando y
Por el contrario, los módulos planos generados finitamente son proyectivos en condiciones suaves que generalmente se satisfacen en álgebra conmutativa y geometría algebraica . Esto hace que el concepto de planitud sea útil principalmente para módulos que no se generan de forma finita.
Un módulo presentado finitamente (es decir, el cociente de un módulo libre generado finitamente por un submódulo generado finitamente) que es plano siempre es proyectivo. Esto se puede probar tomando f sobreyectivo y en la caracterización anterior de la planitud en términos de aplicaciones lineales. La condición implica la existencia de una aplicación lineal tal que y por tanto. Como f es sobreyectiva, se tiene así y M es proyectivo.
Sobre un anillo noetheriano , cada módulo plano generado finitamente es proyectivo, ya que cada módulo generado finitamente se presenta finitamente. El mismo resultado es válido para un dominio integral , incluso si no es noetheriano. [2]
En un anillo local, cada módulo plano generado de forma finita es libre. [3]
Un módulo plano generado finitamente que no es proyectivo se puede construir de la siguiente manera. Sea el conjunto de las sucesiones infinitas cuyos términos pertenecen a un campo fijo F . Es un anillo conmutativo con suma y multiplicación definidas por componentes. Este anillo es absolutamente plano (es decir, cada módulo es plano). El módulo donde I es el ideal de las secuencias 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
Si I es un ideal en un anillo conmutativo noetheriano R , entonces no es un módulo plano, excepto si I es generado por un idempotente (es decir, un elemento igual a su cuadrado). En particular, si R es un dominio integral , es plano sólo si es igual a R o es el ideal cero .
En un dominio integral, un módulo plano está libre de torsión . Por tanto, un módulo que contiene elementos de torsión distintos de cero no es plano. En particular , todos los campos de características positivas son módulos no planos , donde es el anillo de los números enteros y es el campo de los números racionales.
Sumas directas, límites y productos
Una suma directa de módulos es plana si y sólo si cada uno de ellos es plano.
En general , los productos directos de módulos planos no necesitan ser planos. De hecho, dado un anillo R , todo producto directo de R -módulos planos es plano si y sólo si R es un anillo coherente (es decir, todo ideal finitamente generado se presenta de forma finita). [5]
Extensiones de anillo plano
Un homomorfismo de anillo es plano si S es un módulo R plano para la estructura del módulo inducida por el homomorfismo. Por ejemplo, el anillo polinómico R [ t ] es plano sobre R , para cualquier anillo R .
En esta sección, R denota un anillo conmutativo . Si es un ideal primo de R , la localización en se denota, como de costumbre, con un í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 álgebra conmutativa y geometría algebraica, ya que reduce el estudio de la planitud al caso de anillos locales . A menudo se expresan diciendo que la planitud 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.
es un homomorfismo de anillo plano para cualquier punto x en X .
Por 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.
Sea un anillo polinómico sobre un anillo noetheriano conmutativo y un divisor distinto de cero. Entonces es plano si y sólo si es primitivo (los coeficientes generan el ideal unitario). [8] Un ejemplo es [9] que es plano (e incluso libre) (ver también más abajo el significado geométrico). Estas extensiones planas se pueden utilizar para generar ejemplos de módulos planos que no son libres y no son el resultado de una localización.
Fiel planitud
Un módulo es fielmente plano si al tomar el producto tensorial con una secuencia se produce una secuencia exacta si y sólo 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 pueden generalizarse al caso de módulos sobre un anillo no conmutativo.
En esta sección, hay un homomorfismo de anillo de anillos conmutativos, que da lugar a las estructuras de un -álgebra y un -módulo. Si es un módulo -plano (o fielmente plano), se dice comúnmente que es plano (o fielmente plano) encima y que es plano (o fielmente plano).
Si es plano, las siguientes condiciones son equivalentes.
es fielmente plano.
Para cada ideal máximo de , se tiene
Si es un módulo distinto de cero, entonces
Para cada ideal primo de existe un ideal primo de tal que En otras palabras, el mapa inducido por en los espectros es sobreyectivo.
es inyectivo y es un subanillo puro de es decir, es inyectivo para cada módulo . [a]
La segunda condición implica que un homomorfismo local plano de anillos locales es fielmente plano. De la última condición se deduce que para todo ideal de (tomar ). En particular, si es un anillo noetheriano, entonces también lo es.
La penúltima condición se puede enunciar de 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 de esquemas cuasicompacto fielmente plano tiene esta propiedad [10] ). Ver también Morfismo plano § Propiedades de los morfismos planos .
Ejemplos
Un homomorfismo de anillo tal que sea un módulo R libre distinto de cero es fielmente plano. Por ejemplo:
Cada extensión del campo es fielmente plana. Esta propiedad está implícitamente detrás del uso de la complejización para demostrar resultados en espacios vectoriales reales.
Un anillo polinomial es una extensión fielmente plana de su anillo de coeficientes.
La suma directa de las localizaciones de todos sus ideales primos es un módulo fielmente plano que no es un álgebra, excepto si hay un número finito de ideales primos.
Los dos últimos ejemplos están implícitamente detrás del amplio uso de la localización en álgebra conmutativa y geometría algebraica.
Para un homomorfismo de anillo dado hay un complejo asociado llamado complejo de Amitsur : [12]
donde los operadores cofronteros son las sumas alternas de los mapas obtenidos insertando 1 en cada punto; p.ej, . Entonces (Grothendieck) este complejo es exacto si es fielmente plano.
Homomorfismos locales fielmente planos
Aquí hay una caracterización de un homomorfismo fielmente plano para un homomorfismo no necesariamente plano. Dado un homomorfismo local inyectivo tal que sea un ideal primario , el homomorfismo es fielmente plano si y sólo si el teorema de transición es válido para él; es decir, para cada ideal primario de , [13]
Caracterización homológica mediante functores Tor.
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 están todos los módulos planos. Cualquier resolución libre o proyectiva es necesariamente una resolución plana. Se pueden utilizar resoluciones planas para calcular el functor Tor .
La longitud de una resolución plana finita es el primer subíndice n tal que es distinto de 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 denomina 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, 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 de la derecha. Para las resoluciones proyectivas, esta condición es casi invisible: una precobertura 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 por la noción más común de resoluciones proyectivas mínimas, donde se requiere que cada mapa sea una cobertura proyectiva del núcleo del mapa de la derecha. Sin embargo, no es necesario que existan coberturas proyectivas en general, por lo que las resoluciones proyectivas mínimas solo tienen un uso limitado en anillos como los números enteros.
Cubiertas planas
Si bien 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 mapa de un módulo plano sobre M factores a través de F , y cualquier endomorfismo de F sobre M es un automorfismo. Esta conjetura de la cubierta plana fue expresada explícitamente por primera vez en Enochs (1981, p. 196). La conjetura resultó ser cierta, resuelta positivamente y 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 en todos los anillos, las resoluciones planas mínimas pueden reemplazar las resoluciones proyectivas mínimas en muchas circunstancias. La medición de la desviación de las resoluciones planas de las resoluciones proyectivas se denomina álgebra homológica relativa y se trata en clásicos 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 tienen una importancia cada vez mayor en matemáticas constructivas , donde los módulos proyectivos son menos útiles. Por ejemplo, que todos los módulos libres sean proyectivos equivale al axioma completo de elección , por lo que los teoremas sobre módulos proyectivos, incluso si se demuestran constructivamente, no necesariamente se aplican a los módulos libres. Por el contrario, no se necesita elección para demostrar que los módulos libres son planos, por lo que aún se pueden aplicar los teoremas sobre módulos planos. [dieciséis]
^ Prueba: Supongamos que es fielmente plano. Para un módulo R , el mapa se presenta como un subanillo puro y, por lo tanto, es inyectivo. Por tanto, es inyectivo. Por el contrario, si hay un módulo terminado , entonces
^ De manera similar, un módulo derecho es plano si y solo si para todos y todos los módulos izquierdos .
^ Un módulo isomorfo a un módulo plano es, por supuesto, plano.
Citas
^ Bourbaki, cap. I, § 2. Proposición 13, Corolario 1
^ Cartier 1958, Déjame 5, p. 249
^ Matsumura 1986, Teorema 7.10
^ Lazard 1969
^ Persecución 1960
^ Matsumura 1970, Corolario 1 del Teorema 55, p. 170
^ Matsumura 1970, Teorema 56
^ Eisenbud 1995, ejercicio 6.4
^ Artín, pag. 3
^ SGA I, Exposé VIII., Corolay 4.3
^ Artin 1999, Ejercicio (3) después de la Proposición III.5.2
^ "Complejo Amitsur". ncatlab.org .
^ Matsumura 1986, cap. 8, Ejercicio 22.1
^ Lam 1999, pag. 183
^ Bican, El Bashir y Enocs 2001
^ Hombre rico 1997
Referencias
Artín. "Teoría de la deformación" (PDF) . Archivado (PDF) desde el original el 18 de noviembre de 2019.
Artín, Michael (1999). "Anillos no conmutativos" (PDF) .
Bicán, L.; El-Bashir, R.; Enochs, E. (2001), "Todos los módulos tienen cubiertas planas", Bull. Matemáticas de Londres. Soc. , 33 (4): 385–390, doi :10.1017/S0024609301008104, ISSN 0024-6093, SEÑOR 1832549
Cartier, Pierre (1958). "Cuestiones de racionalidad de los divisores en geometría algébrique". Bulletin de la Société Mathématique de France (en francés). 86 : 177–251. doi : 10.24033/bsmf.1503 .
Enochs, Edgar E. (1981), "Cubiertas, sobres y resolutivos inyectivos y planos", Israel Journal of Mathematics , 39 (3): 189–209, doi : 10.1007/BF02760849 , ISSN 0021-2172, MR 0636889, S2CID 120567780
Enocs, Edgar E.; Jenda, Overtoun MG (2000), Álgebra homológica relativa , Exposiciones de Gruyter en Matemáticas, vol. 30, Berlín: Walter de Gruyter & Co., doi :10.1515/9783110803662, ISBN 978-3-11-016633-0, señor 1753146
Kunz, Ernst (1969), "Caracterizaciones de anillos locales regulares de la característica p ", American Journal of Mathematics , 91 (3): 772–784, doi :10.2307/2373351, JSTOR 2373351, MR 0252389
Lam, Tsit-Yuen (1999), Conferencias sobre módulos y anillos , Textos de Graduado en Matemáticas N° 189, vol. 189, Berlín, Nueva York: Springer-Verlag , doi :10.1007/978-1-4612-0525-8, ISBN 978-0-387-98428-5, señor 1653294
Matsumura, Hideyuki (1986). Teoría de anillos conmutativos. Estudios de Cambridge en Matemáticas Avanzadas. vol. 8. Prensa de la Universidad de Cambridge. ISBN 0-521-36764-6. Señor 0879273. Zbl 0603.13001.
Mumford, David , El libro rojo de variedades y esquemas.
Richman, Fred (1997), "Dimensión plana, constructividad y teorema de la sizigia de Hilbert", New Zealand Journal of Mathematics , 26 (2): 263–273, ISSN 1171-6096, MR 1601663
SGA 1 , Exposé VIII – esta es la referencia principal (pero depende de un resultado de Giraud (1964), que reemplazó (en una forma mucho más general) la Exposé VII inédita de SGA1)