Powers of \(t\)-spread principal Borel ideals (Q2418206): Difference between revisions

Let \(S=K[x_1, \dots, x_n]\) be a polynomial ring in \(n\) variables over a field \(K\). Given a non-negative integer \(t\), a monomial \(x_{i_1} x_{i_2}\cdots x_{i_d}\) of \(S\) with \(i_1 \leq i_2 \leq \dots \leq i_d\) is called \textit{\(t\)-spread} if \(i_j - i_{j-1}\geq t\) for \(2 \leq j \leq d\). A monomial ideal \(I\) of \(S\) with a minimal system of monomial generators \(G(I)\) is said to be \textit{ \(t\)-spread strongly stable} if for every \(u \in G(I)\), every \(x_j\) dividing \(u\), and every \(i < j\) such that \(x_i(u/x_j)\) is \(t\)-spread, it holds that \(x_i(u/x_j) \in I\). Finally, \(I\) is a \textit{\(t\)-spread principal Borel ideal} if there exists a monomial \(u \in G(I)\) such that \(I\) is the smallest \(t\)-spread strongly stable ideal that contains \(u\). We assume that \(t \geq 1\), so that every \(t\)-spread monomial is squarefree. In this paper, by studying the Alexander dual of the simplicial complex associated with \(I\), it is proved that every \(t\)-spread principal Borel ideal \(I\) is sequentially Cohen-Macaulay. Moreover, it is shown that the Rees algebra of \(I\) is Koszul (indeed it has a quadratic Gröbner basis) and it is a normal Cohen-Macaulay domain. In particular, it follows that the analytic spread of \(I\) is \(n\) and \(I\) satisfies the strong persistence property. Finally, the limit of depth\((S/I^k)\), when \(k \rightarrow \infty\), is studied.