Linear syzygies of Stanley-Reisner ideals

From MaRDI portal
Publication:4458823





Let \(I\) be a homogeneous ideal of the polynomial ring \(A=k[X_1,\dots,X_n]\) with coefficients in a field \(k\). Considering the minimal resolution of \(I\) and the differential maps \[ d_i:\bigoplus_mA(-m)^{\beta_{i,m}}\to \bigoplus_mA(-m)^{\beta_{i-1,m}}, \] the linear summand \[ d_i^{\text{linear}}:A(-(i+t(I)))^{\beta_{i,i+t(I)}}\to A(-(i-1+t(I)))^{\beta_{i-1,i-1+t(I)}} \] is called the \(i\)-th piece of the linear strand \(\{d_i^{\text{linear}}\}_{i\geq 0}\) of the resolution, where \(A(-m)\) denotes a free \(A\)-module with basis element in degree \(m\), with the \(m\)'s chosen to make the maps homogeneous. The aim of the paper is to give a description of the maps \(\{d_i^{\text{linear}}\}_{i\geq 0}\) for ideals \(I\) generated by square-free monomials. In this case to \(I\) one can associate a certain simplicial complex \(\Delta\) for which \(I=I_{\Delta}\) is the Stanley-Reisner ideal of \(\Delta\) and \(A/I_{\Delta}\) is the Stanley-Reisner ring, in terms of the homology of the canonical Alexander dual complex \(\Delta^*\). A number of applications of this description are included. For instance: (a) to prove a conjecture of J. Herzog giving lower bounds on the number of \(i\)-syzygies in the linear strand of \(j\)-th syzygy modules, (b) to prove that the maps \(d_i^{\text{linear}}\) can be written using only \(\pm 1\) coefficients if \(\Delta^*\) is a pseudomanifold, (c) to exhibit an example where multigraded maps in the linear strand cannot be written using only \(\pm 1\) coefficients, and (d) to compute the entire resolution explicitly when \(\Delta^*\) is the complex of independent sets of a matroid.











This page was built for publication: Linear syzygies of Stanley-Reisner ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4458823)