Asymptotic growth of powers of ideals (Q2382932): Difference between revisions

Let \(A\) be a locally analytically unramified noetherian ring. Let \( I\) be a nonnilpotent ideal of \(A\) with \(\bigcap I^{n}=0\) and \(\underline{J} =J_{1},...,J_{k}\) be ideals of \(A\) so that each \(J_{i}\subseteq \sqrt{I}\). Let \(C=C(J_{1},...,J_{k}\);\(I)\subseteq \mathbb{R}^{k+1}\) be the cone generated by \(\{(m_{1},\ldots ,m_{k,}n)\in \mathbb{N}^{k+1}| J_{1}^{m_{1}} \cdots J_{k}^{m_{k}}\subseteq I^{n}\}\) and let \(v_{I}(\underline{J} ,m_{1},\ldots ,m_{k})\) be the largest nonnegative integer \(n\) such that \( J_{1}^{m_{1}},...,J_{k}^{m_{k}}\subseteq I^{n}\). It is shown that the topological closure of \(C\) is a rational polyhedral cone and a condition is given for \(lim_{m_{1},\ldots ,m_{k}\rightarrow \infty }\frac{v_{I}( \underline{J},m_{1},\ldots ,m_{k})}{a_{1}m_{1}+\cdots +a_{k}m_{k}}\) to exist and if it exists the limit is shown to be \(1\). This generalizes work of Samuel, Nagata, and Rees. Several interesting examples are given.