Ein Invariant reg(M) eines endlich erzeugten graduierten Moduls M über einem Polynomring (oder einer standardgraduierten Algebra), der den größten Grad misst, in dem gewisse lokale Kohomologie- oder Syzygienmodule noch nicht verschwinden; äquivalent das Maximum j−i mit nichtverschwindender gradierter Betti-Zahl β_{i,j}(M).

Prinzip

Kontrolle der Komplexität: Die Regulärität beschränkt die Grade, die zur Erzeugung von M und seinen Syzygien nötig sind, und steuert damit das Verschwinden von Kohomologie und den Übergang, wann Hilbert-Funktion und Hilbert-Polynom übereinstimmen; sie fasst das Zusammenspiel von homologischem Index und innerem Grad zusammen.

Demonstration

Für ein homogenes Ideal I in k[x0,...,xr] misst die Regulärität des Quotienten den größten Shift in einer minimalen graduierten freien Auflösung; für einen vollständigen Durchschnitt, erzeugt von Formen der Grade d1,...,dk, gilt in Standardfällen reg = Σ di − k, was vorhersagbare Syzygiengrade widerspiegelt.

Fehlanwendung

Kleine Regulärität als Hinweis auf projektive Glattheit oder geometrische Einfachheit fehlinterpretieren, ohne weitere Prüfungen, oder die gradierte Definition unverändert auf lokale nicht gradierte Module anwenden, wo die Notion anzupassen ist.

Konsequenz

Eine endliche und geringe Castelnuovo–Mumford-Regulärität liefert effektive Schranken: sie begrenzt Erzeugergrade, gewährleistet das Verschwinden höherer Kohomologie von assoziierten Garben nach Twistings und gibt algorithmische Abbruchgarantien für Rechnungen wie Gröbnerbasen und Auflösungsaufbau.

Umkehrung

Die Komplexität stattdessen über projektive Dimension oder andere homologische Maße zu betrachten, betont die minimale Länge von Auflösungen statt des Gradwachstums der Syzygien; diese Umkehr verschiebt den Fokus von Gradeschranken zur Auflösungslänge.

Abgrenzung

Definiert vornehmlich für endlich erzeugte gradierte Module über standardgraduierten Algebren (häufig Polynomringe) und für kohärente Garben auf dem projektiven Raum; Vorsicht bei Multigraduierungen, nicht-standardmäßigen Graduierungen oder nicht-noetherschen Kontexten, wo sich das Invariant anders verhält.

Semantische Spannung

Es besteht Spannung zwischen Regulärität und projektiver Dimension: Ein Modul kann geringe Regulärität aber große projektive Dimension haben oder umgekehrt; ebenso ist die Regulärität einer Garbe und eines Moduls nur mit Bedacht vergleichbar, da Shifts und Twists Zahlen verändern.

Synthese

Die Castelnuovo–Mumford-Regulärität ist der numerische Regler graduierter Komplexität: Indem sie die größte Kombination aus Grad und Index verfolgt, in der homologische oder kohomologische Hindernisse auftreten, liefert sie praktische Gradeschranken für Erzeugung, Syzygien und Vanishing-Sätze und verbindet algebraisches mit geometrischem Verhalten.