##  [Dualité de Koszul](/fr/node/63709) 

 Définition

Une relation entre certains objets algébriques quadratiques (ou de type quadratique) et leurs duaux homologiques, réalisée par les constructions bar et cobar ou via les algèbres d’Ext ; elle identifie une algèbre à un objet dual dérivé ou homotopique dont l’homologie encode les résolutions de l’algèbre d’origine.

 

 

 

 

 

 





## Principe

Principe

Les relations quadratiques déterminent un objet quadratique dual par dualité linéaire sur les générateurs et complément orthogonal sur les relations ; l’algèbre homologique (Tor/Ext, bar/cobar) élève cette correspondance en équivalence entre catégories dérivées ou structures de modèles appropriées.

 

 

 

 

 





## Démonstration

Démonstration

Exemple : l’algèbre symétrique Sym(V) sur un espace vectoriel de dimension finie est une algèbre de Koszul dont le dual de Koszul est l’algèbre extérieure Λ(V*) ; le complexe de Koszul fournit une résolution linéaire du corps de base et calcule Ext_{Sym(V)}(k,k) ≅ Λ(V*).

 

 

 

 

## Mauvaise application

Mauvaise application

Prétendre que la dualité de Koszul s’applique à des algèbres non quadratiques ou de dimension infinie sans vérifier une présentation quadratique, des conditions de finitude homologique ou de graduation ; confondre le dual linéaire classique V* avec le dual de Koszul qui mêle degrés et information Ext/Tor.

 

 

 

 

 





## Conséquence

Conséquence

Quand elle est valide, la dualité de Koszul fournit des résolutions linéaires explicites, calcule les algèbres d’Ext et de Tor, permet de passer entre descriptions algèbre/coalgebra (ou opérade/coprérade) et donne souvent des équivalences dérivées simplifiant les calculs homologiques.

 

 

 

 

## Inversion

Inversion

Appliquer deux fois le dual de Koszul (prendre le dual quadratique du dual quadratique) reconstruit souvent l’algèbre initiale à une complétion ou à un décalage de graduation près ; inversement, passer à l’algèbre Ext transforme les opérations strictes en opérations homotopiques supérieures hors des hypothèses strictes de Koszul.

 

 

 

 

 





## Limite

Limite

S’applique principalement aux algèbres graduées quadratiques (ou opérades) satisfaisant des conditions de connexité et de finitude ; exclut les algèbres non graduées générales, de nombreuses présentations non quadratiques et les situations à dimension homologique infinie incontrôlée.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Entre en tension avec la dualité linéaire naïve (duaux d’espaces vectoriels) et avec les dualités de type Morita : la dualité de Koszul est une dualité homologique, sensible aux degrés, et non une simple identification de dual vectoriel ni forcément une équivalence de catégories sans hypothèses supplémentaires.

 

 

 

 

 





## Synthèse

Synthèse

La dualité de Koszul est une correspondance homologique qui convertit des données générateurs-et-relations quadratiques en un objet dual contrôlant les résolutions et la structure Ext/Tor, permettant des calculs concrets et des traductions au niveau dérivé entre descriptions algébriques et coalgebriques ou opéradiques.