When Is a Graded Free Complex Exact?

David C. Molano, Javier A. Moreno and Carlos E. Valencia ()
Additional contact information
David C. Molano: Departamento de Matemáticas, Centro de Investigación y de Estudios Avanzados del IPN, Apartado Postal 14-740, Ciudad de México 07000, Mexico
Javier A. Moreno: Departamento de Matemáticas, Centro de Investigación y de Estudios Avanzados del IPN, Apartado Postal 14-740, Ciudad de México 07000, Mexico
Carlos E. Valencia: Departamento de Matemáticas, Centro de Investigación y de Estudios Avanzados del IPN, Apartado Postal 14-740, Ciudad de México 07000, Mexico

Mathematics, 2022, vol. 10, issue 18, 1-25

Abstract: Minimal free resolutions of a finitely generated module over a polynomial ring S = k [ x ] , with variables x = { x 1 , … , x n } and a field k have been extensively studied. Almost all the results in the literature about minimal free resolutions give their Betti numbers, that is, the ranks of the free modules in the resolution at each degree. Several techniques have been developed to compute Betti numbers, making this a manageable problem in many cases. However, a description of the differentials in the resolution is rarely given, as this turns out to be a more difficult problem. The main purpose of this article is to give a criterion to check when a graded free complex of an S -module is exact. Unlike previous similar criteria, this one allows us to give a description of the differentials using the combinatorics of the S -module. The criterion is given in terms of the Betti numbers of the resolutions in each degree and the set of columns of the matrix representation of the differentials. In the last section, and with the aim of illustrating how to use the criterion, we apply it to one of the first better-understood cases, the edge ideal of the complete graph. However, this criterion can be used to give an explicit description of the differentials of a resolution of several monomial ideals such as the duplication of an ideal, the edge ideal of a cograph, etc.

Keywords: minimal free resolution; exactness; free complex; grading; edge ideal; complete graph (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2022
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/10/18/3393/pdf (application/pdf)
https://www.mdpi.com/2227-7390/10/18/3393/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:10:y:2022:i:18:p:3393-:d:918529

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().