On the equality of ordinary and symbolic powers of ideals

DOI10.1216/JCA-2012-4-2-281MaRDI QIDQ1941825zbMATH OpenOpenAlexFDO

Authors Aline Hosry, Youngsu Kim, Javid Validashti

Publication date 22 March 2013

Published in Journal of Commutative Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.5833, https://projecteuclid.org/euclid.jca/1343846895

zbMATH Keywords

Gorensteinmonomial curvessymbolic powers

Mathematics Subject Classification ID

Ideals and multiplicative ideal theory in commutative rings (13A15) Commutative Noetherian rings and modules (13E05)

Abstract: We consider the following question concerning the equality of ordinary and symbolic powers of ideals. In a regular local ring, if the ordinary and symbolic powers of a one-dimensional prime ideal are the same up to its height, then are they the same for all powers? We provide supporting evidence of a positive answer for classes of prime ideals defining monomial curves or rings of low multiplicities.

Review text

Let \(R\) be a Noetherian regular local ring of dimension \(d\) and let \(P\) be a prime ideal of height \(d-1\) in \(R\). For all \(n \in \mathbb N\) let \(P^{(n)} = P^nR_P \cap R\) denote the \(n\)-th symbolic power of \(P\). Craig Huneke asked the following question: ``If \(P^n = P^{(n)}\) for all \(n \leq d-1\), then is \(P^n = P^{(n)}\) for all \(n\)?. He gave positive answers in embedding dimension \(d=3\), and embedding dimension \(d= 4\) provided \(R/P\) is Gorenstein. Furthermore, there are supporting examples showing that the Gorenstein property of \(R/P\) may already be forced by the equality \(P^2 = P^{(2)}\). Thus it is natural to ask: ``If \(P^2 = P^{(2)}\), then is \(R/P\) Gorenstein? In this article, the authors study these questions in the case of a monomial curve \(k[[t^{a_1},\ldots,t^{a_d}]]\). They provide validity evidence in some subcases of \(d=4\), and for any embedding dimension \(d\) either assuming that the numerical sequence \(a_1,\ldots,a_n\) contains an arithmetical subsequence of length \(5\), or assuming some upper bounds on the Hilbert-Samuel multiplicity of \(R/P\). Finally, using a deformation argument due to \textit{M. Morales} [J. Algebra 140, No. 1, 12--25 (1991; Zbl 0738.13012)], they extend their results to successive modifications of the originally considered monomial curve.

Recommendations

• Symbolic powers of prime ideals with applications to hypersurface rings
• On ordinary and symbolic powers of prime ideals
• The Gorensteinness of symbolic Rees algebras for space curves
• Prime ideals of height two whose associated graded rings are gorenstein integral domains –an extension of huckaba and huneke's examples–
• Hilbert functions and symbolic powers
• scientific article; zbMATH DE number 4208229
• On the Gorenstein property of Rees algebras
• Uniform bounds on symbolic powers
• Comparison of symbolic and ordinary powers of ideals.
• Hilbert function of powers of ideals of low codimension

Cites work

• Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3
• Asymptotic Stability of Ass(M/I n M)
• Comparing powers and symbolic powers of ideals
• Comparison of symbolic and ordinary powers of ideals.
• Criteria for equality of ordinary and symbolic powers of primes
• Ein Cohen-Macaulay Kriterium mit Anwendungen auf den Konormalenmodul und den Differentialmodul
• Fine behavior of symbolic powers of ideals
• scientific article; zbMATH DE number 3681927 (Why is no real title available?)
• Integral closure of ideals, rings, and modules
• Koszul Homology and the Structure of Low Codimension Cohen-Macaulay Ideals
• Local Rings of High Embedding Dimension
• Multiplicities and Rees valuations
• Noetherian symbolic blow-ups
• Numerical criteria for integral dependence
• On the Cohen-Macaulayness of the conormal module of an ideal
• Powers of Ideals Having Small Analytic Deviation
• Stability of associated primes and equality of ordinary and symbolic powers of ideals
• Symmetric semigroups of integers generated by 4 elements
• The asymptotic nature of the analytic spread
• The primary components of and integral closures of ideals in 3-dimensional regular local rings
• Uniform bounds and symbolic powers on smooth varieties
• Uniform equivalence of symbolic and adic topologies

Cited in

(12)

• Rings in which every 2-absorbing ideal is prime
• Symbolic powers of ideals
• Packing properties of cubic square-free monomial ideals
• On the symbolic powers of binomial edge ideals
• On a class of power ideals
• scientific article; zbMATH DE number 2046158 (Why is no real title available?)
• Complete intersections in certain affine and projective monomial curves
• Symbolic powers of codimension two Cohen-Macaulay ideals
• Powers of Elements and Monomial Ideals^#
• Equality of ordinary and symbolic powers of some classes of monomial ideals
• On the symbolic powers of defining ideals of monomial curves associated to generalized arithmetic sequences
• A note on defining ideals of monomial curves associated to primitive Pythagorean triples

This page was built for publication: On the equality of ordinary and symbolic powers of ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1941825)