This nice paper introduces some interesting multiplicity functions for pairs of ideals with an aim toward giving a numerical criterion on whether an ideal properly contained in another is a reduction of the larger ideal. It is well known for \(\mathfrak{m}\)-primary ideals \(J \subseteq I\), \(e(I)=e(J)\) if and only if \(J\) is a reduction of \(J\). However, in the non \(\mathfrak{m}\)-primary setting, the Hilbert Samuel multiplicity is not defined. For ideals \(J \subseteq I\) in a formally equidimensional ring satisfying the property that the length of the quotient \(I/J\) is finite a result of \textit{D. Rees} [J. Lond. Math. Soc., II. Ser. 32, 404--410 (1985; Zbl 0599.13002)] showed \(J\) is a reduction of \(I\) if and only if the degree of the polynomial function given by the length of the quotients \(I^n/J^n\) for \(n\) large is at most dim \(R-1\). More recently, \textit{J. Herzog} et al. [Math. Proc. Camb. Philos. Soc. 145, No. 3, 623--642 (2008; Zbl 1157.13013)] showed that \(e(I^n/J^n)\) is also a polynomial function. Expanding on the two mentioned results, the author shows that over a local Noetherian ring if \(J \subseteq I\) is a reduction then the degree of \(e(I^n/J^n)\) for \(n\) large is at most dim \(R -\)dim \(R/\sqrt{(J^n:I^n)}-1\). He also shows in the same setting that if \(J \subseteq I\) is not a reduction then the degree of \(e(I^n/J^n)\) for \(n\) large is precisely dim \(R -\)dim \(R/\sqrt{(J^n:I^n)}\). The author also proves the multiplicity of the quotient of \(\overline{I^n}/\overline{J^n}\) is a polynomial function of degree at most dim \(R -\)dim \(R/\sqrt{(\overline{J^n}:\overline{I^n})}\) for all large \(n\) and if \(J\) is not a reduction of \(I\) then the degree of this polynomial is precisely equal to this upper bound. He also considers functions defined by \(e(I^n/J^mI^{n-m})\) when \(I=J+xR\) and obtains some similar results to the above; however, this setting proves much more difficult.
- Asymptotic multiplicities
- Asymptotic growth of saturated powers and epsilon multiplicity
- The growth of iterates of multivariate generating functions
- scientific article; zbMATH DE number 3937820
- Growth of norm of the multiplicity maps
- scientific article; zbMATH DE number 4163013
- scientific article; zbMATH DE number 4168785
- Polynomial growth and asymptotic dimension
- The asymptotic expansion of certain multi-dimensional generalized functions
- A multiplicator problem and characteristics of growth of entire functions
- Multiplicities of ideals in Noetherian rings
- On the growth of multi-recurrences
- Different approaches of coefficient ideals
- Rees' theorem for filtrations, multiplicity function and reduction criteria
- Amao's Theorem and Reduction Criteria
- Growth Estimates in Positive Characteristic via Collisions
- Asymptotic multiplicities
- A generalization of coefficient ideals
- MULTIPLICITY AND ŁOJASIEWICZ EXPONENT OF GENERIC LINEAR SECTIONS OF MONOMIAL IDEALS
- Degrees of multiplicity functions for equimultiple ideals
- Finitely generated saturated multi-Rees algebras
- Asymptotic Samuel function of hyperplane sections and multiplicity
This page was built for publication: Asymptotic growth of multiplicity functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q479301)
