Multiplicity theory

In abstract algebra, multiplicity theory concerns the multiplicity of a module M at an ideal I (often a maximal ideal)

$\mathbf {e} _{I}(M)$.

The notion of the multiplicity of a module is a generalization of the degree of a projective variety. By Serre's intersection formula, it is linked to an intersection multiplicity in the intersection theory.

The main focus of the theory is to detect and measure a singular point of an algebraic variety (cf. resolution of singularities). Because of this aspect, valuation theory, Rees algebras and integral closure are intimately connected to multiplicity theory.

Multiplicity of a module

Let R be a positively graded ring such that R is generated as an R₀-algebra and R₀ is Artinian. Note that R has finite Krull dimension d. Let M be a finitely generated R-module and F_M(t) its Hilbert–Poincaré series. Since F_M(t) is a rational function, it can be written as

$F(t)=\sum _{1}^{d}{a_{d-i} \over (1-t)^{d}}+r(t).$

where r(t) is a polynomial. Note that $a_{d-i}$ are the coefficients of the Hilbert polynomial of M expanded in binomial coefficients. We let

$\mathbf {e} (M)=a_{0}$.

It is, by definition, the multiplicity of M. It is additive on exact sequences since Hilbert–Poincaré series are additive.

The following theorem, due to Christer Lech, gives a priori bounds for multiplicity.

Lech — Suppose R is local with maximal ideal ${\mathfrak {m}}$. If an I is ${\mathfrak {m}}$-primary ideal, then

$e(I)\leq d!\operatorname {deg} (R)\lambda (R/{\overline {I}}).$

See also

• Dimension theory (algebra)
• j-multiplicity
• Hilbert–Samuel multiplicity
• Hilbert–Kunz function