Free resolutions for multigraded modules: A generalization of Taylor's construction (Q1428329)

Throughout \(\Bbbk\) is a field, and \(Q=\Bbbk[x_1,\dots,x_n]\) is the polynomial ring in \(n\) variables over \(\Bbbk\). Let \(\alpha=(a_1,\dots,a_n)\) be an element of \(\mathbb{N}^n\). The support of \(\alpha\) is the set supp\((\alpha)=\{i\mid a_i\neq 0\}\). Write \(x^{\alpha}\) for the monomial \(x_1^{a_1}\dots x_n^{a_n}\) and set the degree of \(x^{\alpha}\) to be \(| x^{\alpha}| =\alpha\). Thus \(Q\) becomes an \(\mathbb{N}^n\)-graded (or multigraded) algebra. Let \(E\) and \(G\) be finite free multigraded \(Q\)-modules of ranks \(e\) and \(g\) respectively, and let \(\phi:E\to G\) be a multigraded morphism. Also, fix homogeneous bases \(\epsilon_1,\dots,\varepsilon_e\) of \(E\) and \(\gamma_1,\dots,\gamma_g\) of \(G\), and let \(\Phi=(f_{ij})\) be the matrix of \(\phi\) in these bases. Each entry \(f_{ij}\) of \(\Phi\) is of the form \(f_{ij}=c_{ij}x^{\alpha_{ij}}\) where \(c_{ij}\in \Bbbk\). If \(C=(c_{ij})\), then \(\text{rank}(C)=\text{ rank}(\Phi)=\text{ rank}(\phi)\). A multigraded morphism \(\phi\) of rank \(r\) is said to be of ``uniform rank'' if all \(g\times r\) submatrices of its coefficient matrix \(C\) have rank equal to \(r\). The authors introduce the following notion: A multigraded map \(\phi:E\to G\) is called ``generic'' if for every \(1\leq i<j\leq e\) the support of \(| \varepsilon_i| -| \varepsilon_j| \) contains the supports of \(| \varepsilon_i| \) and \(| \varepsilon_j| \), and \(\phi\) is of uniform rank. The authors also define the ``Scarf complex'' of a multigraded map \(\phi\). This is a complex of multigraded free modules that is contained in the Taylor complex of \(\phi\). In particular, it is contained in the minimal resolution of \(\text{Coker}(\phi)\) when \(\phi\) is minimal and of uniform rank. The authors translate to this setting several notions and constructions that appear originally in the context of monomial ideals. Using a modification of the Buchsbaum-Rim complex, they construct a canonical complex \(T_{\bullet}(\phi)\) of finite free \(\mathbb{N}^n\)-graded \(Q\)-modules that generalizes Taylor's resolution. It provides a free resolution for \(\text{Coker}(\phi)\) when \(\phi\) satisfies certain rank criteria. The main result of the paper shows that the Scarf complex of \(\phi\) is a minimal free resolution of \(\text{Coker}(\phi)\) when \(\phi\) is minimal and generic. Also, the authors introduce the LCM-lattice for \(\phi\) and establish the significance of the LCM-lattice in determining the minimal resolution of \(\text{Coker}(\phi)\).