Generalized Buchsbaum-Rim Multiplicities and a Theorem of Rees (Q4418331)

If \((X, x)\) is a germ of complex analytic space, \(A=F{\mathcal O}_{X,x}\) and \(M\) is a submodule of \(A^p\), such that the length of \((A^p/M)\) is finite, then there is a notion of multiplicity \(e(M)\) of the submodule \(M\). This concept has important applications in equisingularity theory. For instance, it allows us to give numerical criteria to control different equisingularity conditions (e.g, conditions \(A_f\), \(W_f\), \(W\)) when dealing with a family of isolated singularities which are complete intersections. To extend the theory to more general singularities one needs some analog of the multiplicity, but dropping the finite co-length condition. The present paper presents such an extension. Indeed, in case \(X\) is equidimensional (of dimension \(d\)) and generally reduced, given an \(A\)-module \(M\) (the stalk of a coherent subsheaf (still denoted by \(M\) of \({\mathcal O}_{X^p}\))), the author constructs a filtration \[ M\subset H_d(M)\subset\cdots\subset H_0(M)\subset{\mathcal O}_{X^p}= F \] by coherent \({\mathcal O}_X\)-modules, and introduces numbers \(e_n(M, x)\), \(0\leq n\leq n\). The sheaves \(H_n(X)\) are integrally closed, \(H_d(M)\) is the integral closure of \(M\), and the number \(e_n(M, x)\) is defined as intersection multiplicitiy of suitable restrictions of \(H_n(X)\) and \(M\), in the sense of \textit{S. Kleiman} and \textit{A. Thorup} [J. Algebra 167, No. 1, 168--231 (1994; Zbl 0815.13012)]. If the lengthh of \(F/M\) is finite, then \(e_d(M, x)\) is the usual multiplicity of \(M\). Then the author proves a generalization of the celebrated theorem of Rees: If \(M\subset N\subset F\) are \({\mathcal O}_X\)-modules (where \((X, x)\) and the notation are as above), and \(e_n(M, x)= e_n(N, x)\) for \(n= 0,\dots,d\), then both \(M\) and \(N\) have the same integral closure. Some applications of this result to equisingularity theory are given, e.g., in the hypersurface case, a criterion for a hyperplane through \(x\) to be a limit of tangent hyperplanes and a one for Whitney equisingularity for the family of sections of \(X\) by linear subspaces of dimension \(k\). The author says that in another paper the present results will be applied to a generalization of the principle of specialization of the integral closure.