Multi-Rees algebras on principal ideal rings
Babak Jabbar Nezhad

TL;DR
This paper extends the understanding of multi-Rees algebra defining ideals over principal ideal rings, providing explicit saturation formulas and methods for Gr"obner basis computation even when some ideals lack nonzero divisors.
Contribution
It introduces a new explicit saturation formula for the defining ideal of multi-Rees algebras over principal ideal rings, generalizing previous results.
Findings
Derived explicit saturation formulas for multi-Rees algebra ideals
Enabled Gr"obner basis computation via elimination order
Extended results to ideals without nonzero divisors
Abstract
When is a Noetherian ring and we have a family of ideals in which every ideal contains at least one nonzero divisor, then it is already known that the defining ideal of the multi-Rees algebra of these ideals is equal to a saturated ideal. In such a case to get the defining ideal of the multi-Rees algebra we only need to saturate the first syzygies of direct sum of this family of ideals. However, this fact is not true, when at least one of these ideals does not contain any nonzero divisor. In this paper we show that the defining ideal of the multi-Rees algebra of a family of ideals of a polynomial ring over a principal ideal ring, is equal to another kind of saturated ideal, where we saturate more explicit polynomials other than just first syzygies. Please notice that in general some of these ideals may not contain nonzero divisors. Given this explicit formula, we can compute…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsCommutative Algebra and Its Applications · Rings, Modules, and Algebras · Polynomial and algebraic computation
