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

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the free resolution induced by a Pommaret basis
scientific article

    Statements

    On the free resolution induced by a Pommaret basis (English)
    0 references
    0 references
    0 references
    0 references
    9 December 2014
    0 references
    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.
    0 references
    0 references
    free resolutions
    0 references
    syzygies
    0 references
    Betti numbers
    0 references
    Pommaret bases
    0 references
    algebraic discrete Morse theory
    0 references
    mapping cones
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers