A numerical invariant (often Hilbert–Samuel multiplicity) that measures the leading coefficient of a Hilbert polynomial or the asymptotic growth rate of lengths of M/I^nM for an m-primary ideal I in a local ring; it quantifies local algebraic concentration or singularity order.

Principle

Compute the Hilbert–Samuel function n ↦ length(M/I^nM) for large n; the polynomial's leading term, normalized by factorial of the dimension, yields the multiplicity. Multiplicity detects how ‘thick’ a scheme or module is at a point.

Demonstration

In a regular local ring the multiplicity of the maximal ideal is 1. For a plane curve singularity given by y^2 - x^3, the local ring has multiplicity 2 (the lowest degree of terms), whereas a node and cusp may have different multiplicities reflecting their singularity order.

Misapplication

Confusing Hilbert–Samuel multiplicity with the algebraic multiplicity of a root of a polynomial or with intersection multiplicity without checking hypotheses (e.g., primary versus embedded components) leads to misuse.

Consequence

Multiplicity governs equisingularity questions, controls leading asymptotics of length and degree counts, and features in criteria for regularity and Cohen–Macaulayness: multiplicity 1 often signals regularity.

Reversal

Viewed oppositely, minimal multiplicity conditions (e.g., multiplicity equal to embedding dimension minus dimension +1) characterize special classes of singularities rather than general concentration measures.

Boundary

Defined when Hilbert (or Hilbert–Samuel) polynomials exist: typically for finitely generated modules over Noetherian local rings with I-primary ideals. It is not a naive count of roots and depends on choices like module and ideal.

Semantic Tension

Multiplicity competes conceptually with intersection multiplicities, algebraic root multiplicities, and length; each counts a form of redundancy but under different finiteness and geometric hypotheses.

Synthesis

Multiplicity is the leading asymptotic coefficient capturing how lengths or degrees grow near a point; as a refined numeric invariant it diagnoses singularity severity and interacts with dimension and regularity properties.