Morse resolutions of powers of square-free monomial ideals of projective dimension one (Q2141079): Difference between revisions

Let \(I\) be a square-free monomial ideal of projective dimension \(1\) and \(r\) be a positive integer. The first main result of this paper (Theorem 5.3) identifies a CW complex that supports a free resolution of \(I^r\), whose \(i\)-cells can be described using the Taylor complex of \(I^r\) and a particular homogeneous acyclic matching of a directed graph which can be associated to this complex. The proof uses Theorem 1.3 in [\textit{E. Batzies} and \textit{V. Welker}, J. Reine Angew. Math. 543, 147--168 (2002; Zbl 1055.13012)] and consists entirely in producing the acyclic matching mentioned before. In turn, the construction of this matching relies on an particular order of the minimal monomial generating set of \(I\), connected to the hypothesis that this ideal has projective dimension \(1\). In Theorem 7.2, the authors show that the free resolution of \(I^r\) obtained in Theorem 5.3 is minimal. From this fact they obtain formulas for the projective dimension of \(I^r\) (Corollary 7.3) and for the Castelnuovo--Mumford regularity of \(I^r\) (Corollary 7.6).