Taylor and Lyubeznik Resolutions via Grobner Bases

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
14 pages, to appear in Journal of Symbolic Computation

Keywords

Commutative Algebra, Algebraic Geometry, 13P10

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/64810

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0208246
 http://arxiv.org/abs/math/0208246

Collections

arXiv