Cellular structure for the Herzog-Takayama resolution (Q2256052): Difference between revisions

The idea of determining free resolutions of monomial ideals in a polynomial ring using labelled chain complexes of topological objects was introduced by \textit{D. Bayer} et al. [Math. Res. Lett. 5, No. 1--2, 31--46 (1998; Zbl 0909.13010)], by considering the labelled chain complex of simplicial complexes. Every monomial ideal admits such a resolution, namely the Taylor resolution, although most of the time it is far from being minimal. Later, \textit{D. Bayer} and \textit{B. Sturmfels} [J. Reine Angew. Math. 502, 123--140 (1998; Zbl 0909.13011)] generalized this method by constructing a regular cell complex (the Hull complex) for any monomial ideal. From its labelled chain complex one gets a resolution of the ideal which in general is much shorter than the Taylor resolution. \textit{E. Batzies} and \textit{V. Welker} [J. Reine Angew. Math. 543, 147--168 (2002; Zbl 1055.13012)] developed an algebraic analogue of Forman's discrete Morse theory to minimize the resolutions. Unfortunately, even if one considers the more general case of CW-complexes, it is not the case that one can describe the minimal free resolution of a monomial ideal using these methods. However, for a monomial ideal with a linear quotient, it was shown by Batzies and Welker that there exists a CW-complex which supports the minimal free resolution of the ideal. The minimal free resolution of a class of ideals with a linear quotient, the so called ideals with a regular linear quotient, was determined by \textit{J. Herzog} and \textit{Y. Takayama} [Homology Homotopy Appl. 4, No. 2(2), 277--294 (2002; Zbl 1028.13008)]. This class contains all matroidal ideals, stable ideals and square-free stable ideals. Novik, Postnikov and Sturmfels [\textit{I. Novik} et al., Duke Math. J. 111, No. 2, 287--317 (2002; Zbl 1022.13002)] have given a polytopal complex that supports the minimal free resolution of matroidal ideals. \textit{J. Mermin} [J. Commut. Algebra 2, No. 1, 55--78 (2010; Zbl 1237.13028)] constructed a regular cell complex that supports the Eliahou-Kervaire resolution for stable ideals. On the other hand, since the square-free part of the Eliahou-Kervaire resolution resolves square-free stable ideals minimally, such a construction for square-free stable ideals exists. So it is natural to ask whether the Herzog-Takayama resolution is cellular or not. In the paper under review, the author gives a positive answer to this question by explicitly constructing a regular cell complex that supports the Herzog-Takayama resolution for ideals with a regular linear quotient.