Un complexe de chaînes fini et libre, construit à partir d'une suite finie d'éléments d'un anneau commutatif, qui encode les relations par contraction avec ces éléments ; il détecte les suites régulières et calcule Tor et certaines groupes d'homologie relatifs à cette suite.

Principe

Construire l'algèbre extérieure (ou graduée) sur des générateurs en degré un duals de la suite et lui donner la différentielle unique qui contracte avec la suite choisie ; l'homologie de ce complexe mesure l'indépendance linéaire, la profondeur et les annihilateurs de la suite sur les modules.

Démonstration

Pour R = k[x,y] et la suite (x,y), le complexe de Koszul K(x,y;R) est une résolution libre finie de R/(x,y) dont l'homologie s'annule hors du degré 0 ; le calcul de Tor_i^R(R/(x,y),M) se réduit à H_i(K(x,y;R) ⊗_R M).

Mauvaise application

Considérer le complexe de Koszul comme une résolution projective dans des contextes où la suite n'est pas régulière, ou supposer l'annulation de l'homologie pour des suites arbitraires ; une autre erreur est d'ignorer la dépendance à la suite choisie et de supposer une invariance sous permutation sans vérifier la régularité.

Conséquence

Appliqué correctement à une suite régulière, le complexe de Koszul fournit une résolution finie explicite, détecte la profondeur et les critères de régularité, et permet des calculs concrets de Tor et Ext par produit tensoriel et Hom.

Inversion

Au lieu d'un test algébrique fini construit à partir d'une suite, on peut considérer des constructions cohomologiques qui localisent plutôt que de résoudre (par exemple les complexes de Čech) ; inverser le point de vue Koszul met l'accent sur la localisation et les limites dérivées plutôt que sur des modèles finis explicites.

Limite

S'applique aux suites finies dans des anneaux commutatifs et à leurs modules ; il ne traite pas automatiquement les suites infinies, les bases non commutatives sans modification, ni ne remplace des résolutions projectives plus fines nécessaires dans des situations pathologiques ou non régulières.

Tension sémantique

Ce terme se situe entre la construction libre finie spécifique et la classe plus large des résolutions libres : contrairement à une résolution libre quelconque, un complexe de Koszul est canonique pour une suite donnée mais peut ne pas être une résolution si la suite n'est pas régulière.

Synthèse

Le complexe de Koszul est le complexe algébrique fini explicite associé à une suite d'éléments d'anneau dont l'homologie mesure la régularité et calcule Tor relatif ; c'est un modèle canonique dépendant de la suite utilisé pour les tests de profondeur et les calculs dérivés concrets.