Licci level Stanley-Reisner ideals with height three (Q6171844): Difference between revisions

Let \(k\) be a field containing \(\mathbb{Q},\ S=k[x_1,\ldots,x_n]\) the polynomial ring in \(n\) variables over \(k\) and \(R:=S_{(x_1,\ldots,x_n)}.\) The main rersult is: if \(I\subseteq S\) is a level\(^*\) square-free monomial ideal of height \(3\) and dim\((S/I)\leq 4,\) then \(I\) is licci if and only if the twisted conormal module of \(I\) is Cohen-Macaulay. The proof is a computer-aided one, via the classification of level\(^*\) square-free monomial ideals of height \(3\) and dim\((S/I)\leq 4.\)