Une résolution libre d'un module M sur un anneau R est minimale si aucun facteur direct libre ne peut être retiré en aucun degré ; équivalemment, sur un anneau local (R,m) les différentielles d'une résolution libre minimale ont leurs images contenues dans m fois le module suivant, de sorte que les rangs des modules libres (nombres de Betti) sont aussi petits que possible et deviennent invariants.

Principe

La minimisation supprime les summands libres redondants pour que la résolution enregistre la complexité homologique intrinsèque : la minimalité isole les générateurs essentiels et les syzygies de M et produit des invariants numériques canoniques (nombres de Betti gradués, série de Poincaré) sous les hypothèses usuelles (anneaux locaux ou gradués connexes de type fini).

Démonstration

Pour un module gradué de type fini sur l'anneau polynôme k[x_1,…,x_n] muni de la graduation standard, la résolution libre minimale graduée se construit en choisissant des générateurs homogènes minimaux pour chaque module de syzygies de sorte que les matrices des différentielles n'ont pas d'entrées scalaires non nulles ; les degrés et le nombre de summands à chaque étape donnent la table de Betti graduée utilisée en calcul formel et en géométrie algébrique.

Mauvaise application

Utiliser une résolution libre quelconque à la place d'une résolution minimale pour comparer des nombres de Betti ou lire des invariants : les résolutions non minimales peuvent gonfler les rangs et masquer les véritables données homologiques. Autre erreur : prétendre à la minimalité sans les hypothèses locales ou de graduation qui garantissent l'unicité à isomorphisme près.

Conséquence

Les résolutions libres minimales fournissent des invariants canoniques (nombres de Betti, dimension projective, régularité) qui facilitent la comparaison des modules et la détection de propriétés comme la profondeur et la propriété Cohen–Macaulay ; elles sont centrales en méthodes de calcul en algèbre commutative et pour révéler la structure des syzygies.

Inversion

Le concept inverse est une résolution libre non minimale (ou redondante) où des sommands libres se peuvent annuler ou se scinder ; une telle résolution peut être plus simple à construire mais dissimule les données invariantes, et on passe souvent d'une résolution non minimale à une minimale par annulations successives ou équivalences d'homotopie.

Limite

L'existence et l'unicité (à isomorphisme de complexes près) des résolutions libres minimales sont garanties pour les modules de type fini sur des anneaux noethériens locaux ou sur des anneaux gradués connexes sur un corps ; hors de ces cadres la minimalité peut ne pas exister ni être bien définie, et les annulations de sommes directes peuvent ne pas converger.

Tension sémantique

Tension entre résolutions libres minimales et résolutions projectives dans des catégories où les modules projectifs existent mais la minimalité est dépourvue de sens (p. ex. anneaux non locaux), ou entre minimalité et commodité algorithmique où des présentations non minimales mais plus simples à calculer peuvent être préférables ; il faut distinguer les invariants canoniques minimaux des modèles pratiques non canoniques.

Synthèse

Une résolution libre minimale est le complexe libre le plus serré résolvant un module qui élimine les summands redondants afin de capturer des invariants homologiques intrinsèques (nombres de Betti, régularité, dimension projective); elle existe et est unique à isomorphisme près sous les hypothèses locales ou graduées de finitude et constitue l'outil principal pour lire les syzygies et mesurer la complexité.