Cellular resolutions from mapping cones.

*(English)*Zbl 1301.05379Summary: One can iteratively obtain a free resolution of any monomial ideal \(I\) by considering the mapping cone of the map of complexes associated to adding one generator at a time. Herzog and Takayama have shown that this procedure yields a minimal resolution if \(I\) has linear quotients, in which case the mapping cone in each step cones a Koszul complex onto the previously constructed resolution. Here we consider cellular realizations of these resolutions. Extending a construction of Mermin we describe a regular CW-complex that supports the resolutions of J. Herzog and Y. Takayama [Homology Homotopy Appl. 4, No. 2(2), 277–294 (2002; Zbl 1028.13008)] in the case that \(I\) has a ‘regular decomposition function’. By varying the choice of chain map we recover other known cellular resolutions, including the ‘box of complexes’ resolutions of A. Corso and U. Nagel [Trans. Am. Math. Soc. 361, No. 3, 1371–1395 (2009; Zbl 1228.05068)], and U. Nagel and V. Reiner [Electron. J. Comb. 16, No. 2, Research Paper R3, 59 p. (2009; Zbl 1186.13022)] and the related ‘homomorphism complex’ resolutions of A. Dochtermann and A. Engström [Math. Z. 270, No. 1–2, 145–163 (2012; Zbl 1246.13015)]. Other choices yield combinatorially distinct complexes with interesting structure, and suggests a notion of a ‘space of cellular resolutions’.

##### MSC:

05E40 | Combinatorial aspects of commutative algebra |

13D02 | Syzygies, resolutions, complexes and commutative rings |

##### References:

[1] | Babson, Eric; Kozlov, Dmitry N., Complexes of graph homomorphisms, Israel J. Math., 152, 1, 285-312, (2006) · Zbl 1205.52009 |

[2] | Batzies, Ekkehard; Welker, Volkmar, Discrete Morse theory for cellular resolutions, J. Reine Angew. Math., 543, 147-168, (2002), MR1887881 (2003b:13017) · Zbl 1055.13012 |

[3] | Bayer, Dave; Sturmfels, Bernd, Cellular resolutions of monomial modules, J. Reine Angew. Math., 502, 123-140, (1998), MR1647559 (99g:13018) · Zbl 0909.13011 |

[4] | Braun, Benjamin; Browder, Jonathan; Klee, Steven, Cellular resolutions of ideals defined by nondegenerate simplicial homomorphisms, Israel J. Math., 1-24, (2012) · Zbl 1406.13012 |

[5] | Corso, Alberto; Nagel, Uwe, Monomial and toric ideals associated to Ferrers graphs, Trans. Amer. Math. Soc., 361, 3, 1371-1395, (2009) · Zbl 1228.05068 |

[6] | Danaraj, Gopal; Klee, Victor, Shellings of spheres and polytopes, (1973), DTIC Document · Zbl 0285.52003 |

[7] | Dochtermann, Anton; Engström, Alexander, Cellular resolutions of cointerval ideals, Math. Z., 270, 1-2, 145-163, (2012) · Zbl 1246.13015 |

[8] | Dochtermann, Anton; Joswig, Michael; Sanyal, Raman, Tropical types and associated cellular resolutions, J. Algebra, 356, 1, 304-324, (2012) · Zbl 1316.14116 |

[9] | Eliahou, Shalom; Kervaire, Michel, Minimal resolutions of some monomial ideals, J. Algebra, 129, 1, 1-25, (1990), MR1037391 (91b:13019) · Zbl 0701.13006 |

[10] | Ene, Viviana; Herzog, Jürgen; Mohammadi, Fatemeh, Monomial ideals and toric rings of hibi type arising from a finite poset, European J. Combin., 32, 3, 404-421, (2011) · Zbl 1262.05154 |

[11] | Ene, Viviana; Olteanu, Anda; Sorrenti, Loredana, Properties of lexsegment ideals, Osaka J. Math., 47, 1, 67-87, (2010) · Zbl 1198.13012 |

[12] | Goodarzi, Afshin, Cellular structure for the herzog-takayama resolution, (2013), preprint available at · Zbl 1311.13014 |

[13] | Herzog, Jürgen; Takayama, Yukihide, Resolutions by mapping cones, Homology, Homotopy Appl., 4, 2, 277-294, (2002) · Zbl 1028.13008 |

[14] | Mermin, Jeffrey, The Eliahou-Kervaire resolution is cellular, J. Commut. Algebra, 2, 1, 55-78, (2010) · Zbl 1237.13028 |

[15] | Mohammadi, Fatemeh; Kiani, Dariush; Moradi, Somayeh, On the Betti numbers of the edge ideals of some hypergraphs, Beitrage Algebra Geom., 51, 2, 467-475, (2010) · Zbl 1245.13016 |

[16] | Nagel, Uwe; Reiner, Victor, Betti numbers of monomial ideals and shifted skew shapes, Electron. J. Combin., 16, 2, 59, (2009) · Zbl 1186.13022 |

[17] | Novik, Isabella; Postnikov, Alexander; Sturmfels, Bernd, Syzygies of oriented matroids, Duke Math. J., 111, 2, 287-317, (2002), MR1882136 (2003b:13023) · Zbl 1022.13002 |

[18] | Sinefakopoulos, Achilleas, On Borel fixed ideals generated in one degree, J. Algebra, 319, 7, 2739-2760, (2008) · Zbl 1153.13012 |

[19] | Taylor, Diana K., Ideals generated by monomials in an R-sequence, (1966), University of Chicago, Department of Mathematics, Ph.D. thesis |

[20] | Velasco, Mauricio, Minimal free resolutions that are not supported by a CW-complex, J. Algebra, 319, 1, 102-114, (2008) · Zbl 1133.13015 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.