Ein numerischer Invariant e(I,M), definiert für ein m-primäres Ideal I in einem noetherschen lokalen Ring (A,m) und ein endlich erzeugtes A-Modul M, der das führende Verhalten des Wachstums der Länge von M/I^nM als Polynom in n für große n misst; äquivalent der normalisierte führende Koeffizient des Hilbert–Samuel-Polynoms.

Prinzip

Asymptotisches Längenprinzip: Längen der Quotienten durch steigende Potenzen eines m-primären Ideals stimmen schließlich mit einem Polynom überein, dessen führender Koeffizient nach Normierung mit Fakultäten die Multiplizität ist; dies erfasst die lokale Größe und die Intensität einer Singularität am abgeschlossenen Punkt.

Demonstration

In einem regulären lokalen Ring der Dimension d ist die Hilbert–Samuel-Multiplizität des maximalen Ideals gleich 1; bei einer Hyperebenen-Singularität ist die Multiplizität größer als 1, was auf höhere singuläre Komplexität hinweist. Zur Berechnung werden oft Reduktionen auf Parameterideale oder Filtrationen verwendet, um das Hilbert–Samuel-Polynom zu erhalten.

Fehlanwendung

Hilbert–Samuel-Multiplizität für Ideale anzuwenden, die nicht m-primär sind, oder die Multiplizität als vollständiges Maß des Singularitätstyps zu interpretieren — Multiplizität unterscheidet zwar Schweregrade, bestimmt aber keine feineren Invarianten wie die Milnor-Zahl oder eingebettete Komponenten.

Konsequenz

Die Multiplizität quantifiziert die lokale algebraische Größe: sie tritt in der Schnittpunkttheorie als Schnittzahlen auf, steuert Äquidimensionalitäts- und Äquisingularitätsbedingungen und liefert numerische Kriterien für Regularität (z. B. Multiplizität eins impliziert Regularität im Cohen–Macaulay-Kontext).

Umkehrung

Betrachtet man Längenfolgen für nicht-primäre Filtrationen oder studiert graduierte Hilbert-Multiplizitäten, verlagert sich der Fokus von lokalem m-adischem Wachstum zu graduiertem/globalem Wachstum; die umgekehrte Perspektive hebt andere Invarianten und Normierungs-Konventionen hervor.

Abgrenzung

Definiert für noethersche lokale Ringe in Bezug auf m-primäre Ideale oder geeignete Filtrationen; nicht direkt sinnvoll für beliebige nicht-primäre Ideale oder in Kontexten ohne Begriff von Länge oder endlicher Kolänge.

Semantische Spannung

Spannung zur Hilbert-Polynom-Multiplizität und Schnittmultiplizität, denn ähnliche führende-Koeffizienten-Konstruktionen existieren in graduierter und lokaler Umgebung, unterscheiden sich aber in Normierung und geometrischer Deutung; Multiplizität konkurriert zudem mit anderen Singularitätsmaßen.

Synthese

Die Hilbert–Samuel-Multiplizität ist der normalisierte führende Koeffizient des Polynoms, das das asymptotische Wachstum der Kolängen von Potenzen eines m-primären Ideals regelt; sie wandelt lokales Längenwachstum in eine einzelne Zahl um, die algebraische Größe und Singularitätsstärke misst.