Algebraic properties of ideals of poset homomorphisms (Q345156): Difference between revisions

Given two posets \(P\) and \(Q\), let \(S_{P,Q}\) denote the polynomial ring over a field \(\mathbb{K}\) with variables \(x_{p,q}\), where \(p\in P\) and \(q\in Q\). To any order-preserving map \(\phi: P\rightarrow Q\), one associates the monomial \[ u_{\phi} :=\prod_{p\in P}x_{p,\phi(p)}. \] The ideal associated to \(P\) and \(Q\) is the monomial ideal \(L(P,Q)\) in \(S_{P,Q}\) which is generated by all monomials \(u_{\phi}\) corresponding to order-preserving maps \(\phi: P\rightarrow Q\). In the paper under review, the authors study the algebraic invariants of these ideals. In particular, sharp lower and upper bounds for the Castelnuovo-Mumford regularity and the projective dimension are provided. Precise formulas are obtained for a large subclass of these ideals. Moreover, the authors provide complete characterizations for several algebraic properties of \(L(P,Q)\), including being Buchsbaum, Cohen-Macaulay, Gorenstein, Golod, (\(S_r\)) and having a linear resolution.