Uma introdução às Homologias de Koszul
Álgebra Homológica, Álgebra Exterior, Complexo de Koszul, Linkage, Ligação de Ideais.
Um objeto de grande relevância na álgebra comutativa é o complexo de Koszul. O objetivo desta dissertação é apresentar uma introdução ao estudo das homologias de Koszul e desenvolver suas propriedades fundamentais. Inicialmente, como preliminares, revisaremos os fundamentos da álgebra exterior, noções básicas de álgebra homológica, a teoria da dimensão de anéis e módulos, bem como o conceito de sequências regulares. Em seguida, apresentaremos a construção do complexo de Koszul, analisaremos as sequências exatas longas induzidas por sua homologia e investigaremos a relação entre o complexo de Koszul e a profundidade de módulos, o que permitirá a caracterização de sequências regulares e o cálculo de invariantes homológicos. Como consequência, empregaremos esses resultados na demonstração de teoremas centrais da álgebra comutativa, como a Fórmula de Auslander–Buchsbaum e o Teorema de Serre. Finalmente, seguindo a abordagem desenvolvida por Craig Huneke, introduziremos a classe dos ideais algebricamente ligados e investigaremos o comportamento das homologias de Koszul sobre essa classe.