Le calcul des syzygies consiste à trouver des générateurs du module des relations entre un ensemble donné de générateurs d'un module ou d'un idéal ; concrètement, pour des générateurs g1,…,gn d'un idéal I on calcule tous les n-uplets (a1,…,an) tels que Σ ai gi = 0, c'est-à-dire une présentation du module des syzygies et typiquement une partie d'une résolution libre.

Principe

Utiliser des bases de Gröbner, l'algorithme de Schreyer ou des méthodes homologiques pour obtenir un ensemble générateur du module Syz : considérer les relations comme noyau de l'application R^n → I et calculer des générateurs de ce noyau, puis itérer pour obtenir des syzygies d'ordre supérieur pour des résolutions libres.

Démonstration

Pour I = (x^2, xy, y^2) dans k[x,y] la relation x·(xy) - y·(x^2) = 0 fournit une syzygie première ( -y, x, 0 ), et de même on trouve d'autres syzygies reliant ces générateurs. Un calcul de base de Gröbner avec un ordre de Schreyer donne un ensemble fini de générateurs de toutes les syzygies.

Mauvaise application

Confondre les syzygies avec de simples dépendances linéaires sur le corps de base (au lieu de relations de module sur l'anneau polynomiale) sous-estime leur complexité algébrique ; omettre de calculer un ensemble minimal de générateurs peut gonfler les résultats et masquer l'information sur les multiplicités.

Conséquence

Le calcul des syzygies fournit des présentations explicites et des résolutions libres qui déterminent les nombres de Betti, la dimension projective et la profondeur ; ces invariants contrôlent des propriétés homologiques et orientent l'interprétation géométrique des singularités et immersions.

Inversion

Si l'on ignore les syzygies (c.-à-d. si l'on traite les générateurs comme indépendants), on perd les invariants homologiques et la structure des relations ; inversement, s'acharner sur des syzygies d'ordre très élevé alors que seules des informations d'ordre bas suffisent gaspille le calcul.

Limite

Le calcul des syzygies est standard pour les modules de type fini sur des anneaux de polynômes et fonctionne efficacement dans des contextes noethériens ; pour des modules non finiment générés ou sur des anneaux dépourvus d'outils effectifs de Gröbner les calculs peuvent être irréalisables.

Tension sémantique

Tension entre calculer un ensemble générateur quelconque et une résolution libre minimale : le premier est algorithmiquement plus simple mais peut contenir des syzygies redondantes, tandis que le second donne des invariants canoniques à coût de calcul plus élevé.

Synthèse

Le calcul des syzygies trouve des générateurs du module des relations entre des générateurs donnés, formant les premières étapes des résolutions libres ; via des algorithmes de Gröbner ou homologiques il fournit présentations et invariants homologiques essentiels à l'analyse algébrique et géométrique.