Taylor and Lyubeznik resolutions via Gröbner bases.

Syzygies, resolutions, complexes and commutative rings (13D02) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Abstract: Taylor presented an explicit resolution for arbitrary monomial ideals. Later, Lyubeznik found that already a subcomplex defines a resolution. We show that the Taylor resolution may be obtained by repeated application of the Schreyer Theorem from the theory of Grobner bases, whereas the Lyubeznik resolution is a consequence of Buchberger's chain criterion. Finally, we relate Froberg's contracting homotopy for the Taylor complex to normal forms with respect to our Grobner bases and use it to derive a splitting homotopy that leads to the Lyubeznik complex.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Taylor and Lyubeznik resolutions via Gröbner bases.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1867002)