English

Rees' theorem for filtrations, multiplicity function and reduction criteria

Commutative Algebra 2021-05-11 v7

Abstract

Let JIJ\subset I be ideals in a formally equidimensional local ring with λ(I/J)<.\lambda(I/J)<\infty. Rees proved that for all n0n\gg0, λ(In/Jn)\lambda(I^n/J^n) is a polynomial P(I/J)(X)P(I/J)(X) in nn of degree at most dim RR and JJ is a reduction of II if and only if deg P(I/J)(X)P(I/J)(X)\leq dim R1.R-1. We extend this result for all Noetherian filtrations of ideals in a formally equidimensional local ring and for (not necessarily Noetherian) filtrations of ideals in analytically irreducible rings. We provide certain classes of ideals such that deg P(I/J)P(I/J) achieves its maximal degree. On the other hand, for ideals JIJ\subset I in a formally equidimensional local ring, we consider the multiplicity function e(In/Jn)e(I^n/J^n) which is a polynomial in nn for all large n.n. We explicitly determine the deg e(In/Jn)e(I^n/J^n) in some special cases. For an ideal JJ of analytic deviation one, we give characterization of reductions in terms of deg e(In/Jn)e(I^n/J^n) under some additional conditions.

Keywords

Cite

@article{arxiv.1704.07643,
  title  = {Rees' theorem for filtrations, multiplicity function and reduction criteria},
  author = {Parangama Sarkar},
  journal= {arXiv preprint arXiv:1704.07643},
  year   = {2021}
}

Comments

Minor correction in the statement of Proposition 2.4

R2 v1 2026-06-22T19:27:06.462Z