Monomial resolutions supported by simplicial trees (Q471977)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Monomial resolutions supported by simplicial trees
scientific article

    Statements

    Monomial resolutions supported by simplicial trees (English)
    0 references
    0 references
    18 November 2014
    0 references
    Let \(I\) be a monomial ideal in a polynomial ring \(S\) over a field \(k\), which is minimally generated by monomials \(m_1,\ldots,m_t\) and \(\Delta\) be a simplicial complex on \(t\) vertices such that each vertex of \(\Delta\) is labeled with one of the generators \(m_1,\ldots,m_t\) and each face is labeled with the least common multiple of the labels of its vertices. In [\textit{D. Bayer} et al., Math. Res. Lett. 5, No. 1--2, 31--46 (1998; Zbl 0909.13010)] it was proved that the chain complex of \(\Delta\) is a free resolution of \(S/I\) if and only if the induced subcomplex \(\Delta_m\) is empty or acyclic for every monomial \(m\in S\) and it is a minimal free resolution if and only if \(m_A\neq m_{A'}\) for every proper subface \(A'\) of a face \(A\). In the paper under review this criterion had been translated for the class of simplicial trees and it was shown that for a simplicial tree \(\Delta\) the chain complex \(C(\Delta;S)\) is a free resolution of \(S/I\) if and only if the induced subcomplex \(\Delta_m\) is connected for every monomial \(m\). Then using the fact that simplicial trees are acyclic, it was shown that every simplicial tree is the Scarf complex of a monomial ideal \(I\) and supports a minimal resolution of \(I\). Also for an eligible simplicial complex \(\Delta\), a Scarf ideal of \(\Delta\) had been constructed with smaller monomial generators compared to the Scarf ideal given in [\textit{I. Peeva} and \textit{M. Velasco}, Trans. Am. Math. Soc. 363, No. 4, 2029--2046 (2011; Zbl 1221.13024)] and for a monomial ideal \(I\) in-between these two Scarf ideals, it was shown that the Scarf complex of \(I\) contains \(\Delta\) as a subcomplex.
    0 references
    0 references
    monomial resolution
    0 references
    scarf complex
    0 references
    simplicial tree
    0 references
    0 references