Rigid monomial ideals (Q2453701): Difference between revisions

Let \(I\) be a monomial ideal of the polynomial ring \(S=\mathbb{K}[x_1,\dots,x_n]\) and assume that \(G(I)\) is the set of minimal monomial generators of \(I\). The lcm lattice of \(I\), denoted by \(L_I\), is the set of all least common multiples of subsets of \(G(I)\), ordered by divisibility. The monomial ideal \(I\) is called rigid if its \(\mathbb{Z}^n\)-graded Betti numbers satisfy the following two properties: {\parindent=6mm \begin{itemize}\item[(i)] \(\beta_{i, \mathbf{b}}(S/I)\) is either \(1\) or \(0\) for all \(i\) and all \(\mathbf{b}\in \mathbb{Z}^n\). \item[(ii)] If \(\beta_{i, \mathbf{b}}(S/I)= 1\) and \(\beta_{i, \mathbf{b'}}(S/I)= 1\), then \(\mathbf{x^b}\) and \(\mathbf{x^{b'}}\) are incomparable in \(L_I\). \end{itemize}} In the paper under review, as the first main result, it is shown that the minimal free resolution of \(S/I\) has a unique \(\mathbb{Z}^n\)-graded basis if and only if \(I\) is a rigid monomial ideal. A monomial ideal \(I\) is said to be concentrated if it has the property that for every \(\mathbf{x^a}\) such that \(\beta_{j, \mathbf{a}}(S/I) = 0\) for all \(j\) then \(\mathbf{x^a}\nless \mathbf{x^b}\in L_I\) for any \(\mathbf{x^b}\in L_I\) which has \(\beta_{i, \mathbf{b}}(S/I)\neq 0\) for some \(i\). A monomial ideal \(I\) is lattice-linear if \(\mathbb{Z}^n\)-graded bases \(B_k\) of the free modules \(F_k\) appearing in the minimal resolution of \(S/I\) can be fixed for all \(k\) so that for any \(i\geq 1\) and any \(b\in B_i\) the differential \[ d_i(b)=\sum_{b' \in B_{i_1}}m_{b, b'}.b' \] has the property that if the coefficient \(m_{b, b'}\neq 0\) then \(\mathbf{x^{b'}}\) is covered by \(\mathbf{x^b}\) in the lcm-lattice \(L_I\). The second main result of this paper indicates that if a rigid monomial ideal is concentrated, then it is lattice-linear. Let \(\mathcal{L}(n)\) be the set of all finite atomic lattices with \(n\) ordered atoms. Phan defined a partial order on \(\mathcal{L}(n)\) as \(P\geq Q\) if there exists a join preserving map \(f : P \rightarrow Q\) which is a bijection on atoms. It is well-known that every finite atomic lattice is the lcm-lattice of some monomial ideal. Thus, \(\mathcal{L}(n)\) can be thought of as the lattice of all monomial ideals with \(n\) ordered generators up to equivalence of lcm-lattices. For every vector \(\beta=(\beta_0, \beta_1, \ldots, \beta_t)\) of nonnegative integers, let \(\mathcal{L}(n)_{\beta}\) be the subposet of \(\mathcal{L}(n)\) which consists of all finite atomic lattices having the total Betti numbers \(\beta\). Assume that \(P,Q\in\mathcal{L}(n)_{\beta}\) for some \(\beta\) such that \(P < Q\). The authors prove that if \(P\) is rigid then \(Q\) is rigid. This allows the minimal resolution of any rigid ideal contained in \(\mathcal{L}(n)_{\beta}\) to be constructed by relabeling the resolution of a rigid monomial ideal whose resolution has been constructed by other methods.