Álgebra Homológica y Álgebra Conmutativa
El propósito original de este libro era presentar los resultados sobre álgebra conmutativa necesarios para un futuro libro de geometría algebraica moderna (teoría de esquemas). Algunos de estos resultados requieren para su demostración una base de álgebra homológica, que en una primera redacción aparecía intercalada en los distintos capítulos a medida que iba siendo necesaria y, para las demostraciones, remitía a menudo a mi libro de Topología algebraica. Sin embargo, dado que la teoría de esquemas requiere una exposición más general del álgebra homológica que la que en principio exigiría la finalidad de este libro, decidí finalmente tratar esta materia con la generalidad necesaria a largo plazo en un primer capítulo preliminar. Me encontré entonces con que la teoría de este primer capítulo tiene aplicaciones a la topología algebraica y a la geometría diferencial más inmediatas que sus pretendidas aplicaciones a la teoría de esquemas, por lo que decidí incluirlas también en el presente libro. A su vez, este tratamiento del álgebra homológica hacía natural anticipar algunos resultados que en un principio pensaba introducir en el libro sobre teoría de esquemas.
El resultado final es que, formalmente, este libro ha pasado de ser un libro de álgebra conmutativa a tener dos partes de aproximadamente igual peso: una primera de álgebra homológica, dividida en dos capítulos, y una segunda de álgebra conmutativa, dividida en tres. Por otra parte, en cuanto a su contenido se pueden distinguir tres niveles, que pueden dar lugar a tres lecturas diferentes según los intereses de cada lector. En primer lugar están los resultados de álgebra homológica con aplicaciones a la topología algebraica y a la geometría diferencial; en segundo lugar están los resultados de álgebra conmutativa que incluyen una parte de álgebra homológica; y en tercer lugar están los resultados de álgebra homológica —más un apéndice en el que se combinan las dos álgebras— incluidos aquí para referirme a ellos en el citado libro de geometría algebraica, y que sería razonable omitir en una primera lectura.
Prescindiendo de algunos ejemplos y comentarios marginales, el esquema de dependencia entre las distintas partes es el que aparece en la página siguiente. La primera columna contiene los resultados de álgebra homológica (Capítulo I) y sus aplicaciones relacionadas con la geometría diferencial y la topología algebraica. En la sección 2.1 se construyen los funtores Tor, que son la única herramienta cohomológica necesaria en la parte de álgebra conmutativa, mientras que las secciones 2.3 y 2.4 contienen propiedades sobre los módulos localmente libres y sobre los funtores Ext que no tendrán ninguna aplicación en este libro, pero que son necesarios en la teoría de esquemas (y lo mismo vale para los resultados sobre los funtores f* y f∗ estudiados en el apéndice B). La tercera columna corresponde a los resultados de álgebra conmutativa propiamente dicha. En la sección 2.5 se usará un resultado sobre módulos que aparece demostrado en el apéndice A, si bien la prueba se basa únicamente en resultados elementales. Por último, las aplicaciones de las secciones 2.6-2.9 hacen referencia a los resultados de topología algebraica y geometría diferencial que aparecen demostrados en mi libro de Topología Algebraica.
Fuente: Carlos Ivorra Castillo
Deja una respuesta