On the symbolic powers of defining ideals of monomial curves associated to generalized arithmetic sequences
type: Item
instance of: scholarly article
title: On the symbolic powers of defining ideals of monomial curves associated to generalized arithmetic sequences
DOI: 10.1080/00927872.2024.2337278
author: Do Van Kien
published in: Communications in Algebra
publication date: 2024-08-29T00:00:00Z
review text: Let \(R=k[t^a, t^{sa+d}, t^{sa+2d}, \ldots, t^{sa+nd}]\), where \(k\) is a field and \(a,s,n,d\) are positive integers with \(n \geq 2\) and \(\operatorname{gcd}(a,d)=1\). Let \(P\) be the defining ideal of \(R\), that is, the kernel of the \(k\)-algebra homomorphism \(k[x_0, x_1, \ldots, x_n]\to R\) that maps \(x_0\) to \(t^a\) and \(x_i\) to \(t^{sa+id}\) for \(2 \leq i \leq n\). In this context, the paper studies the question of when the \(i\)-th symbolic power \(P^{(i)}\) coincides with the power \(P^i\). The following are established:\N\N\begin{itemize}\N\item[1.] If \(n=2\) and \(a\) is even, then \(P^{(i)}=P^i\) for every \(i>0\).\N\item[2.] If \(n=2\) and \(a\) is odd, then \(P^{(i)}\neq P^i\) for every \(i>0\).\N\item[3.] If \(n=3\) and \(a \equiv 2\) (mod 3), then \(P^{(2)}= P^2\) and \(P^{(3)}\neq P^3\).\N\item[4.] If \(n=3\) and \(a \not\equiv 2\) (mod 3), then \(P^{(2)}\neq P^2\).\N\item[5.] If \(n \geq 4\), then \(P^{(2)}\neq P^2\).\N\end{itemize}\N\NUnder the additional assumption \(\operatorname{char} k =0\), the author also considers the noetherian property of the symbolic Rees algebra \(\mathcal{R}_s(P)=\oplus_{i \geq 0} P^{(i)}\). It is noted that \(\mathcal{R}_s(P)\) is noetherian in the following cases: (1) \(n=2\); (2) \(a=n+1\); and (3) \(n=3\) and \(a=5\).
reviewed by: Catalin Ciuperca
Mathematics Subject Classification ID: 13H10
Mathematics Subject Classification ID: 13A02
Mathematics Subject Classification ID: 13A15
zbMATH DE Number: 7903250
MaRDI profile type: Publication
cites work: Comparing powers and symbolic powers of ideals
cites work: Q4274969
cites work: Q5187381
cites work: Symbolic algebras of monomial primes.
cites work: Uniform bounds and symbolic powers on smooth varieties
cites work: A note on Symmetric Semigroups and almost arithmetic sequences
cites work: Primary decomposition of powers of the prime ideal of a numerical semigroup ring
cites work: The Cohen-Macaulay symbolic Rees algebras for curve singularities
cites work: Minimal graded free resolutions for monomial curves defined by arithmetic sequences
cites work: Generators and relations of abelian semigroups and semigroup rings
cites work: Ein Cohen-Macaulay Kriterium mit Anwendungen auf den Konormalenmodul und den Differentialmodul
cites work: Criteria for equality of ordinary and symbolic powers of primes
cites work: Comparison of symbolic and ordinary powers of ideals.
cites work: On the equality of ordinary and symbolic powers of ideals
cites work: The primary components of and integral closures of ideals in 3-dimensional regular local rings
cites work: Numerical Semigroup Rings of Maximal Embedding Dimension with Determinantal Defining Ideals
cites work: Certain monomial curves are set-theoretic complete intersections
cites work: On a problem of Zariski
cites work: Q3801684
description: scientific article; zbMATH DE number 7903250