Cellular structure of the Pommaret-Seiler resolution for quasi-stable ideals

Rodrigo Iglesias,Eduardo Sáenz-de-Cabezón
2024-01-25
Abstract:We prove that the Pommaret-Seiler resolution for quasi-stable ideals is cellular and give a cellular structure for it. This shows that this resolution is a generalization of the well known Eliahou-Kervaire resolution for stable ideals in a deeper sense. We also prove that the Pommaret-Seiler resolution can be reduced to the minimal one via Discrete Morse Theory and provide a constructive algorithm to perform this reduction.
Commutative Algebra,Rings and Algebras
What problem does this paper attempt to address?