Multigraded minimal free resolutions of simplicial subclutters (Q2221814)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Multigraded minimal free resolutions of simplicial subclutters
scientific article

    Statements

    Multigraded minimal free resolutions of simplicial subclutters (English)
    0 references
    0 references
    0 references
    2 February 2021
    0 references
    Let \(K\) be a field, \(S=K[x_1, \ldots, x_n]\). Recall that a \(d\)-uniform clutter \(\mathcal{C}\), which will simply be called a clutter in the sequel, on \([n]=\{1,\ldots, n\}\) means a family of \(d\)-subsets of \([n]\) and each of these \(d\)-subsets is called a circuit of \(\mathcal{C}\). Set \(x_F=\prod_{i\in F} x_i\) for each \(F\subseteq [n]\). Then the associated ideal \(I(\bar{\mathcal{C}})\) of the clutter \(\mathcal{C}\) is the ideal of \(S\) generated by the all \(x_F\) where \(F\) is a \(d\)-subset of \([n]\) and \(F\notin \mathcal{C}\). In this paper, simplicial subclutters of a clutter are defined and the relation between the Betti numbers and some other properties of the associated ideals of a clutter and its simplicial subclutters are stated. More concretely, a \((d-1)\)-subset \(e\) of \([n]\) is called simplicial over \(\mathcal{C}\), if \(N_{\mathcal{C}}[e]\) is a clique in \(\mathcal{C}\), where \(N_{\mathcal{C}}[e]=e\cup\{v\in [n] | e\cup\{v\} \in {\mathcal{C}} \}\) and by a clique in \({\mathcal{C}}\) we mean a subset \(A\) of \([n]\) such that all \(d\)-subsets of \(A\) are in \({\mathcal{C}}\). Now a proper subclutter \({\mathcal{D}}\) of \({\mathcal{C}}\) is called a simplicial subclutter of \({\mathcal{C}}\), when there exist \((d-1)\)-subsets \(e_1,\ldots, e_t\) of \([n]\) and \(A_i\subseteq \{F\in {\mathcal{C}}\setminus A_1 \setminus \cdots \setminus A_{i-1}\big| e_i\subseteq F\}\) for \(i=1, \ldots, t\) such that \(e_i\) is simplicial over \({\mathcal{C}}_i={\mathcal{C}}\setminus A_1\setminus \cdots\setminus A_{i-1}\) and \({\mathcal{D}}={\mathcal{C}}_{t+1}\). The authors show that if \({\mathcal{D}}\) is a simplicial subclutter of \({\mathcal{C}}\), then the graded Betti numbers of the ideals associated to \({\mathcal{C}}\) and \({\mathcal{D}}\) are the same, except for the linear strands. Also they find the difference for the linear strands. Thus in particular, they prove that \(I(\bar{{\mathcal{C}}})\) has a linear resolution if and only if so does \(I(\bar{D})\). They also show that if \(I(\bar{C})\) has linear quotients, then \(I(\bar{D})\) has linear quotients but the converse is not true. Moreover, it is proved that \(I(\bar{{\mathcal{C}}})\) satisfies the subadditivity condition if and only if so does \(I(\bar{D})\). The authors call simplicial subclutters of the complete \(d\)-uniform clutter (the clutter which has all \(d\)-subsets of \([n]\) as circuits), simplicial clutters and show that the Betti sequence of every graded ideal with a linear resolution is the Betti sequence of the ideal associated to a simplicial clutter. Finally, they note that if \({\mathcal{C}}\) has the empty clutter as a simplicial subclutter, then \(I(\bar{C})\) has a linear resolution over every field and prove a result and utilize it to construct examples which show the converse is not true.
    0 references
    graded Betti numbers
    0 references
    linear resolution
    0 references
    chordal clutter
    0 references
    squarefree monomial ideal
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references