arXiv++ Combinatorics

Characterizing when the symbolic and ordinary powers of an ideal coincide is a central problem in commutative algebra, and ideals satisfying this property are called Simis ideals. In this article, we investigate the Simis property of monomial ideals by studying the recent conjecture of Mendez, Pinto, and Villarreal on monomial ideals with minimal irreducible decomposition. Let $I$ be a monomial ideal, and let $\mathcal{F}(I)$ denote the collection of supports of the minimal generators of $I$. Assuming that $\mathcal{F}(I)=\mathcal{F}(\sqrt{I})$, we prove that if $I$ admits more than one minimal generator with a fixed support, then it is not Simis. Using this reduction, we establish the Mendez-Pinto-Villarreal conjecture for two broad classes of monomial ideals, namely support-$3$ monomial ideals and monomial ideals whose associated simplicial complexes are simplicial forests. Finally, we study the Cohen-Macaulay property of monomial ideals whose associated simplicial complexes are grafted and satisfy $\mathcal{F}(I)=\mathcal{F}(\sqrt{I})$.

A monomial ideal $I\subseteq \mathbb{K}[x_1,\ldots , x_n]$ is called a Simis ideal if $I^{(s)}=I^s$ for all $s\geq 1$, where $I^{(s)}$ denotes the $s$-th symbolic power of $I$. Let $I$ be a support-2 monomial ideal such that its irreducible primary decomposition is minimal. We prove that $I$ is a Simis ideal if and only if $\sqrt{I}$ is Simis and $I$ has standard linear weights. This result thereby proves a recent conjecture for the class of support-2 monomial ideals proposed by Mendez, Pinto, and Villarreal. Furthermore, we give a complete characterization of the Cohen-Macaulay property for support-2 monomial ideals whose radical is the edge ideal of a whiskered graph. Finally, we classify when these ideals are Simis in degree 2.