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
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