Un invariant reg(M) d’un module gradué de type fini M sur un anneau polynômial (ou algèbre standard graduée) qui mesure le plus grand degré où certains modules de cohomologie locale ou de syzygies échouent à s’annuler ; équivalemment le maximum j−i tel que le nombre de Betti gradué β_{i,j}(M) soit non nul.

Principe

Contrôle de la complexité : la régularité borne les degrés nécessaires pour engendrer M et ses syzygies et gouverne donc quand la cohomologie s’annule et quand la fonction de Hilbert coïncide avec le polynôme de Hilbert ; elle encapsule l’interaction entre l’indice homologique et le degré interne.

Démonstration

Pour un idéal homogène I dans k[x0,...,xr], la régularité du quotient mesure le plus grand décalage dans une résolution libre minimale graduée ; pour une intersection complète engendrée par des formes de degrés d1,...,dk, la régularité vaut Σ di − k dans les cas standard, traduisant des degrés de syzygies prédictibles.

Mauvaise application

Interpréter une petite régularité comme impliquant une lissité projective ou une simplicité géométrique sans vérifications supplémentaires, ou appliquer la définition graduée telle quelle à des modules locaux non gradués où la notion demande adaptation.

Conséquence

Une régularité de Castelnuovo–Mumford finie et petite fournit des bornes effectives : elle limite les degrés des générateurs, assure l’annulation des cohomologies supérieures des faisceaux associés après twists, et donne des garanties de terminaison pour des calculs algorithmiques comme les bases de Gröbner et la construction de résolutions.

Inversion

Aborder la complexité via la dimension projective ou d’autres mesures homologiques au lieu de la régularité met l’accent sur la longueur minimale des résolutions plutôt que sur la croissance en degrés des syzygies ; l’inversion change l’attention des bornes de degré vers les propriétés de longueur de résolution.

Limite

Définie principalement pour des modules gradués de type fini sur des algèbres standard graduées (couramment des anneaux polynômiaux) et pour des faisceaux cohérents sur l’espace projectif ; prudence en présence de multi-graduations, de graduations non standard ou de contextes non noethériens où l’invariant peut se comporter différemment.

Tension sémantique

Tension avec la dimension projective : un module peut avoir une faible régularité mais une grande dimension projective ou l’inverse ; de même la régularité d’un faisceau et d’un module doivent être comparées avec soin car les décalages et les twists modifient les valeurs numériques.

Synthèse

La régularité de Castelnuovo–Mumford est le régulateur numérique de la complexité graduée : en suivant la plus grande combinaison degré–indice où surgissent des obstructions homologiques ou cohomologiques, elle fournit des bornes effectives pour la génération, les syzygies et les théorèmes d’annulation, reliant comportement algébrique et géométrique.