On the second powers of Stanley-Reisner ideals

@article{Rinaldo2011OnTS,
  title={On the second powers of Stanley-Reisner ideals},
  author={Giancarlo Rinaldo and Naoki Terai and KEN-ICHI Yoshida},
  journal={arXiv: Commutative Algebra},
  year={2011}
}
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… 
View PDF on arXiv
20 Citations
Highly Influential Citations
1
Background Citations
6
Methods Citations
1
Results Citations
1

20 Citations

Citation Type

Citation Type

Cohen-Macaulayness of large powers of Stanley-Reisner ideals
Combinatorial characterizations of the Cohen-Macaulayness of the second power of edge ideals
On the Cohen-Macaulayness of the conormal module of an ideal
GORENSTEIN AND Sr PATH IDEALS OF CYCLES
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…
Saturation and associated primes of powers of edge ideals
Licci squarefree monomial ideals generated in degree two or with deviation two
...
...

References

SHOWING 1-10 OF 31 REFERENCES
Cohen-Macaulayness of large powers of Stanley-Reisner ideals
Cohen--Macaulaynees for symbolic power ideals of edge ideals
Cohen-Macaulayness of monomial ideals and symbolic powers of Stanley-Reisner 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$…
Equality of ordinary and symbolic powers of Stanley–Reisner ideals
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…
LINKAGE AND THE KOSZUL HOMOLOGY OF IDEALS
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…
Cohen-Macaulayness of powers of two-dimensional squarefree monomial ideals
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.,…
...
...