On the second powers of Stanley-Reisner ideals

  title={On the second powers of Stanley-Reisner ideals},
  author={Giancarlo Rinaldo and Naoki Terai and KEN-ICHI Yoshida},
  journal={arXiv: Commutative Algebra},
In this paper, we study several properties of the second power $I_{\Delta}^2$ of a Stanley-Reisner ideal $I_{\Delta}$ of any dimension. As the main result, we prove that $S/I_{\Delta}$ is Gorenstein whenever $S/I_{\Delta}^2$ is Cohen-Macaulay over any field $K$. Moreover, we give a criterion for the second symbolic power of $I_{\Delta}$ to satisfy $(S_2)$ and to coincide with the ordinary power, respectively. Finally, we provide new examples of Stanley-Reisner ideals whose second powers are… 
Abstract Let R = k[x1,…,xn], where k is a field. The path ideal (of length t ≥ 2) of a directed graph G is the monomial ideal, denoted by It(G), whose generators correspond to the directed paths of
Cohen-Macaulay and (S2) Properties of the Second Power of Squarefree Monomial Ideals
We show that Cohen-Macaulay and (S 2 ) properties are equivalent for the second power of an edge ideal. We give an example of a Gorenstein squarefree monomial ideal I such that S / I 2 satisfies the
Cohen–Macaulayness and Limit Behavior of Depth for Powers of Cover Ideals
Let 𝕂 be a field, and let R = 𝕂[x 1,…, x n ] be the polynomial ring over 𝕂 in n indeterminates x 1,…, x n . Let G be a graph with vertex-set {x 1,…, x n }, and let J be the cover ideal of G in R.
Depth and Regularity of Monomial Ideals via Polarization and Combinatorial Optimization
In this paper, we use polarization to study the behavior of the depth and regularity of a monomial ideal I, locally at a variable xi, when we lower the degree of all the highest powers of the
SURVEY ARTICLE: Simplicial complexes satisfying Serre's condition: A survey with some new results
The problem of finding a characterization of Cohen–Macaulay simplicial complexes has been studied intensively by many authors. There are several attempts at this problem available for some special


Cohen--Macaulaynees for symbolic power ideals of edge ideals
H-vectors of simplicial complexes with Serre's conditions
We study $h$-vectors of simplicial complexes which satisfy Serre's condition ($S_r$). We say that a simplicial complex $\Delta$ satisfies Serre's condition ($S_r$) if $\tilde H_i(\lk_\Delta(F);K)=0$
Cohen-Macaulay rings
In this chapter we introduce the class of Cohen–Macaulay rings and two subclasses, the regular rings and the complete intersections. The definition of Cohen–Macaulay ring is sufficiently general to
0. Introduction. Let R be a local ring, and I an ideal of R. Associated to I are several graded algebras: the symmetric algebra of the module I, Sym(I), the Rees algebra of I, defined to be the
Locally complete intersection Stanley–Reisner ideals
In this paper, we prove that the Stanley--Reisner ideal of any connected simplicial complex of dimension $\ge 2$ that is locally complete intersection is a complete intersection ideal. As an
A note on Gorenstein rings of embedding codimension three
Let A = R / , where R is a regular local ring of arbitrary dimension and is an ideal of R . If A is a Gorenstein ring and if height = 2, it is easily proved that A is a complete intersection, i.e.,