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

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

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

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

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

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

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

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

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.