On the containment hierarchy for simplicial ideals (Q494097): Difference between revisions

The present paper is devoted to the study of a special case of star configurations, namely simplices \(\Delta_{n}\) cut out by \(n+1\) coordinate hyperplanes \(H_{0},\ldots,H_{n}\) in the \(n\)-dimensional projective space. A codimension \(c\) face \(F(i_{1},\ldots,i_{c})\) is the intersection \(H_{i_1} \cap \ldots \cap H_{i_c}\) for distinct \(i_{1},\ldots,i_{c} \in \{0,\ldots,n\}\). Let \(I(n,c)\) denote the ideal of the union of all codimension \(c\) faces of \(\Delta_{n}\) which is called simplicial ideal. In this paper, the authors study containment relations of the form \(I^{(m)}(n,c) \subset I^{r}(n,c)\), where \(I^{(m)}(n,c)\) is the \(m\)-th symbolic power of \(I(n,c)\). More precisely, they prove the following result. { Theorem A.} For \(n \geq 1\) and \(c \in \{1,\ldots,n\}\), it holds that \(I^{(m)}(n,c) \subset I^{r}(n,c)\) if and only if \(r \leq \frac{(n+1)k-p}{n-c+2}\), where \(m=kc-p\) and \(0 \leq p<c\). Also they extend the containment problem to inclusion relations between symbolic powers of various simplicial ideals. Their main result in this direction is the following. { Theorem B.} Let \(n\) be a positive integer and let \(c, d \in \{1,\ldots,n\}\). If \(c \leq d\) and \(s \cdot c \leq m \cdot d\) then there is the containment \(I^{(m)}(n,c) \subset I^{(s)}(n,d)\). Finally they study the resurgence \(\rho(I(n,c))\) of \(I(n,c)\), namely \(\rho(I(n,c))=\sup\{\frac{m}{r}: I^{(m)}(n,c) \nsubseteq I^{r}(n,c) \}\). The following theorem is proved. { Theorem C.} For a positive integer \(n\) and \(c \in \{1,\ldots,n\}\) there is \(\rho(I(n,c))=\frac{c(n-c+2)}{n+1}\). Their approach to Theorems A, B and C relies heavily on the fact that the ideals \(I(n,c)\) are generated by square free monomials.