##  [Dualidad de Koszul](/es/node/63709) 

 Definición

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

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

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

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

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

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

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

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

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.