A numerical invariant e(I,M) defined for an m-primary ideal I in a Noetherian local ring (A,m) and a finitely generated A-module M that measures the leading-term growth of the length of M/I^nM as a polynomial in n for large n; equivalently the normalized leading coefficient of the Hilbert–Samuel polynomial.

Principle

Asymptotic length principle: lengths of quotients by increasing powers of an m-primary ideal eventually agree with a polynomial whose leading coefficient, after normalization by factorials, is the multiplicity; this captures local size and singularity intensity at the closed point.

Demonstration

In a d-dimensional regular local ring, the Hilbert–Samuel multiplicity of the maximal ideal equals 1; for a hypersurface singularity the multiplicity exceeds 1, reflecting higher singular complexity. Computation often uses reductions to parameter ideals or filtrations to obtain the Hilbert–Samuel polynomial.

Misapplication

Using Hilbert–Samuel multiplicity for ideals that are not m-primary or interpreting multiplicity as a complete measure of singularity type — multiplicity distinguishes severity but does not determine more refined invariants like Milnor number or embedded components.

Consequence

Multiplicity quantifies local algebraic size: it appears in intersection theory as intersection numbers, controls equisingularity stratifications, and provides numerical criteria for regularity (e.g., multiplicity one implies regularity in the Cohen–Macaulay context).

Reversal

Considering length sequences for non-primary filtrations or studying graded Hilbert multiplicities shifts the focus from local m-adic growth to graded/global growth; the reversed perspective highlights different invariants and normalization conventions.

Boundary

Defined for Noetherian local rings with respect to m-primary ideals or appropriate filtrations; not directly meaningful for arbitrary non-primary ideals or in contexts lacking a notion of length or finite colength.

Semantic Tension

Tension with Hilbert polynomial multiplicity and intersection multiplicity arises because similar leading-coefficient constructions exist in graded and local settings but differ in normalization and geometric interpretation; multiplicity also competes with other singularity measures.

Synthesis

Hilbert–Samuel multiplicity is the normalized leading coefficient of the polynomial that governs the asymptotic growth of colengths of powers of an m-primary ideal; it converts local length growth into a single number that gauges algebraic size and singularity severity.