arXiv++ Combinatorics

In this paper, we study several properties of the second power $I_Δ^2$ of a Stanley-Reisner ideal $I_Δ$ of any dimension. As the main result, we prove that $S/I_Δ$ is Gorenstein whenever $S/I_Δ^2$ is Cohen-Macaulay over any field $K$. Moreover, we give a criterion for the second symbolic power of $I_Δ$ 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 Cohen-Macaulay.