Expansions of monomial ideals and multigraded modules (Q2514538)

Let \(S=K[x_{1},\dots,x_{n}]\), a polynomial ring over a field \(K\) in variables \(x_{1},\dots,x_{n}\). Fix an ordered \(n\)-tuple \((i_{1},\dots,i_{n})\) of positive integers, and consider the polynomial ring \(S^{*}=K[x_{11},\dots,x_{1i_{1}},x_{21},\dots,x_{2i_{2}},\dots,x_{n1},\dots,x_{ni_{n}}]\). Let \(P_{j}=(x_{j1},x_{j2},\dots,x_{ji_{j}})\), the prime ideal in \(S^{*}\), and \(I=(\underline{x}^{\underline{a}_{1}},\dots,\underline{x}^{\underline{a}_{1}})\), a monomial ideal in \(S\) with \(\underline{a_{i}}=(a_{i}(1),\dots,a_{i}(n))\). The expansion of \(I\) with respect to \((i_{1},\dots,i_{n})\) is the monomial ideal \(I^{*}=\sum_{i=1}^{m}P_{1}^{a_{i}(1)}\cdots P_{n}^{a_{i}(n)}\subseteq S^{*}\). The definition of this operator is motivated by constructions in various combinatorial contexts. The authors study the basic properties of this expansion operator and show that this operator commutes with the standard algebraic operations on ideals. In particular, they obtain that \(\text{Ass}(S^{*}/I^{*})=\{P^{*}:P\in\text{Ass}(S/I)\}\) in Proposition 1.2. Furthermore, they show that if \(I\) has linear quotients then \(I^{*}\) has linear quotients in Proposition 1.5. In section 2 and 3, they study the homological properties of \(I^{*}\). The expansion operator can be made an exact functor from the category of finitely generated multigraded \(S\)-modules to the category of finitely generated multigraded \(S^{*}\)-modules. Let \(M\) be a finitely generated multigraded \(S\)-module. Applying this functor to a multigraded free resolution \(\mathbb{F}\) of \(M\), they obtain an acyclic complex \(\mathbb{F}^{*}\) with \(H_{0}(\mathbb{F}^{*})\cong M^{*}\). They construct in Section 3, starting from \(\mathbb{F}^{*}\), a double complex which provides a minimal multigraded free resolution of \(M^{*}\). With this construction, they show that \(M\) and \(M^{*}\) have the same regularity in Theorem 4.2. As a consequence of the Theorem 4.2, \(M\) has a \(d\)-linear free resolution if and only if \(M^{*}\) has a \(d\)-linear resoltuion (Corollary 4.3). They also compute the graded Betti numbers of \(M^{*}\) in terms of multigraded free resolution of \(M\) in Theorem 4.2.