Una relación entre ciertos objetos algebraicos cuadráticos (o de tipo cuadrático) y sus duales homológicos, realizada típicamente mediante construcciones bar y cobar o tomando álgebras Ext; identifica una álgebra con un objeto dual derivado u homotópico cuya homología codifica las resoluciones de la álgebra original.

Principio

Las relaciones cuadráticas determinan un objeto cuadrático dual mediante la dualidad lineal en los generadores y complementos ortogonales en las relaciones; el álgebra homológica (Tor/Ext, bar/cobar) eleva esta correspondencia a una equivalencia entre categorías derivadas o estructuras de modelos apropiadas.

Demostración

Ejemplo: la álgebra simétrica Sym(V) sobre un espacio vectorial V de dimensión finita es una álgebra de Koszul cuyo dual de Koszul es la álgebra exterior Λ(V*); el complejo de Koszul proporciona una resolución libre lineal del cuerpo base y calcula Ext_{Sym(V)}(k,k) ≅ Λ(V*).

Aplicación incorrecta

Suponer que la dualidad de Koszul vale para álgebras arbitrarias no cuadráticas o de dimensión infinita sin comprobar presentación cuadrática, finitud homológica o graduación adecuada; confundir la dualidad lineal clásica V* con la dualidad de Koszul, que mezcla grados e información Ext/Tor.

Consecuencia

Cuando es válida, la dualidad de Koszul proporciona resoluciones lineales explícitas, calcula las álgebras Ext y Tor, permite pasar entre descripciones álgebra/coalgebra (u operada/cooperada) y suele producir equivalencias derivadas que simplifican los cálculos homológicos.

Inversión

Aplicar el dual de Koszul dos veces (tomar el dual cuadrático del dual cuadrático) suele recuperar la álgebra original salvo por una completación o un corrimiento de graduación; inversamente, pasar al álgebra Ext convierte operaciones algebraicas estrictas en operaciones homotópicas superiores fuera de las hipótesis estrictas de Koszul.

Límite

Se aplica principalmente a álgebras graduadas cuadráticas (u operadas) con hipótesis adecuadas de conectividad y finitud; excluye álgebras no graduadas generales, muchas presentaciones no cuadráticas y situaciones con dimensión homológica infinita incontrolada.

Tensión semántica

Entra en tensión con la dualidad lineal ingenua (duales de espacios vectoriales) y con dualidades tipo Morita: la dualidad de Koszul es una dualidad homológica sensible a los grados, no una mera identificación de duales vectoriales ni necesariamente una equivalencia de categorías sin hipótesis adicionales.

Síntesis

La dualidad de Koszul es una correspondencia homológica que convierte datos cuadráticos de generadores y relaciones en un objeto dual que controla resoluciones y la estructura Ext/Tor, permitiendo cálculos concretos y traducciones al nivel derivado entre descripciones algebraicas y coalgebraicas u operádicas.