2005/09/02 by Terence Gaffney, Gaffney, Terence
Computer Science · Mathematics · #13H15 #14B05 #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Commutative Algebra (math.AC) #Commutative Algebra and Its Applications #FOS: Mathematics #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.math/0509045
openalex publication_date 2005/09/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This paper applies the multiplicity polar theorem to the study of hypersurfaces with non-isolated singularities. The multiplicity polar theorem controls the multiplicity of a pair of modules in a family by relating the multiplicity at the special fiber to the multiplicity of the pair at the general fiber. It is as important to the study of multiplicities of modules as the basic theorem in ideal theory which relates the multiplicity of an ideal to the local degree of the map formed from the generators of a minimal reduction. In fact, as a corollary of the theorem, we show here that for M a submodule of finite length of a free module F over the local ring of an equidimensional complex analytic germ, that the number of points at which a generic perturbation of a minimal reduction of M is not equal to F, is the multiplicity of M. In this paper we apply this result to the study of stratification conditions on families of hypersurfaces, obtaining the first set of invariants giving necessary and sufficient conditions for the Af condition for hypersurfaces with non-isolated singularities.