On the free resolution induced by a Pommaret basis (Q480668)

Free resolutions are of fundamental importance in commutative algebra and algebraic geometry. The authors combine the theory of Pommaret bases with a recent construction by \textit{E. Sköldberg} [Trans. Am. Math. Soc. 358, No. 1, 115--129 (2006; Zbl 1150.16008)] based on discrete Morse theory to explicit determinate a free resolution for a graded polynomial module with the computation of only one Pommaret basis. They review Pommaret bases and describes the free resolution induced by them, then give a brief survey over algebraic discrete Morse theory and presents Sköldberg's construction of a resolution for modules with initially linear syzygies. The authors combine this construction with the theory of Pommaret bases and show that the two resolutions are isomorphic in Theorem 4.9. They focus on a special case where the differential becomes much simpler and which includes in particular monomial ideals in section 5. They present an implementation within the CoCoALib, and discuss the efficient determination of Betti numbers. Finally they specialise to quasi-stable monomial ideals and show that the Pommaret basis induces an iterated mapping cone resolution.