Abstract
Let k be a field and \(R=k[x_1,\ldots ,x_n]/I=S/I\) a graded ring. Then R has a t-linear resolution if I is generated by homogeneous elements of degree t, and all higher syzygies are linear. Thus, R has a t-linear resolution if \(\mathrm{Tor}^S_{i,j}(S/I,k)=0\) if \(j\ne i+t-1\). For a graph G on \(\{1,\ldots ,n\}\), the edge algebra is \(k[x_1,\ldots ,x_n]/I\), where I is generated by those \(x_ix_j\) for which \(\{ i,j\}\) is an edge in G. We want to determine the Betti numbers of edge rings with 2-linear resolution. But we want to do that by looking at the edge ring as a Stanley–Reisner ring. For a simplicial complex \(\Delta \) on \([\mathbf{n}]=\{1,\ldots ,n\}\) and a field k, the Stanley–Reisner ring \(k[\Delta ]\) is \(k[x_1,\ldots ,x_n]/I\), where I is generated by the squarefree monomials \(x_{i_1}\ldots x_{i_k}\) for which \(\{ i_1,\ldots ,i_k\}\) does not belong to \(\Delta \). Which Stanley–Reisner rings that are edge rings with 2-linear resolution are known. Their associated complexes has had different names in the literature. We call them fat forests here. We determine the Betti numbers of many fat forests and compare our result with what is known. We also consider Betti numbers of Alexander duals of fat forests.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Background
The simplicial complexes we will consider have had different names. They are called generalized forests [12], quasiforests [23], or fat forests [2]. We will call them fat forests. They are recursively defined as follows. A d-simplex \(F_1\) of dimension \(\ge 0\) (i.e. with \(d+1\) vertices) is a fat forest. If \(F_i\), \(i=1,\ldots ,k\), are simplices and \(G_{k-1}=F_1\cup \cdots \cup F_{k-1}\) is a fat forest, then \(G_{k-1}\cup F_k\) is a fat forest if \(H=G_{k-1}\cap F_k\) is a simplex, \(\dim H\ge -1\). (If \(\dim H=-1\), then \(G_{k-1}\) and \(F_k\) are disjoint.)A fat forest a called a fat tree if it is connected, so if \(\dim G_{k-1}\cap F_k\ge 0\) for all k, but here it is not necessary to treat fat trees separately.
Let G be a graph on \([\mathbf{n}]\) and let \(S=k[x_1,\ldots ,x_n]\), where k is a field. The edge ring of G is S/I,where I is generated by all \(x_ix_j\) for which \(\{ i,j\}\) is an edge of G. Let \(G^c\) be the complement graph to G, i.e. the graph on \([\mathbf{n}]\) with edges \(\{ k,l\}\) for which \(\{ k,l\}\) is not an edge of G. It is shown in [12] that the edge ring of G has a 2-linear resolution, meaning \(\mathrm{Tor}^S_{i,j}(S/I,k)=0\) if \(j\ne i+1\), if and only if the complementary graph \(G^c\) (having those edges which are not edges in G) is chordal. A graph is chordal if every k-cycle, \(k\ge 4\), has a chord. This theorem has been reproved in different ways in [10, 11, 13, 21].
An edge ring \(k[x_1,\ldots ,x_n]/I\) can also be seen as a Stanley–Reisner ring \(k[\Delta ]\). Then I is generated by those squarefree monomials that do not belong to a simplicial complex \(\Delta \). The 1-skeleton of a simplicial complex \(\Delta \) consists of all faces of \(\Delta \) that have dimension \(\le 1\). Dirac has shown in [8, Theorem 1 and 2], that a graph G is chordal if and only if it is the 1-skeleton of a fat forest. There is an algebraic proof of Dirac’s theorems in [15]. Dirac’s theorem gives easily, see [12], that the Stanley–Reisner ring \(k[\Delta ]\) has a 2-linear resolution if and only if \(\Delta \) is a fat forest.
Edge rings of Ferrer’s graphs have 2-linear resolution. Their resolution has been determined in [6]. Other classes of monomial rings with 2-linear resolution are treated in, for example, [1, 7, 16, 17]. Finally minimal resolution of all edge rings with 2-linear resolution was determined in [5]. This gives a (rather complicated) way to determine the Betti numbers. In this note we will show that if one is only interested in the Betti numbers of edge rings with 2-linear resolution, there is in many cases a very easy way to determine them using the description of the rings as Stanley–Reisner rings. Monomial rings with 2-linear resolution are also treated in, for example, [14, 18, 22].
2 Hilbert series and Betti numbers of fat forests
If S/I has a 2-linear resolution it looks like this:
where \(S[-i]\) means that we have shifted degrees of S i steps. Using that the alternating sum of the k-dimensions in each degree is 0, we get that the Hilbert series of \(k[\Delta ]\) with 2-linear resolution equals\(\frac{1-\beta _{1,2}t^2+\beta _{2,3}t^3-\cdots (-1)^{p}\beta _{p,p+1}t^{p+1}}{(1-t)^n}\), where \(\beta _{i,j}\) are the graded Betti numbers \(\dim _k\mathrm{Tor}^S_{i,j}(k[\Delta ],k)\), and n is the number of vertices in \(\Delta \). We are primarily interested in the Betti numbers \(\beta _{i,j}=\dim _k\mathrm{Tor}^S_{i,j}(S/I,k)\) of Stanley–Reisner rings of fat trees, but the Hilbert series contains the same information as the set of Betti numbers.
Example
Let \(\Delta \) be the simplicial complex with facets (maximal faces) \(\{1,2\}\), \(\{2,3,4\}\), and \(\{5\}\). This is a fat forest which can be built in the following way. Start with the simplex \(\{2,3,4\}\) which has Hilbert series \(\frac{1}{(1-t)^3}\). Then adjoin \(\{1,2\}\) in \(\{2\}\). We add the Hilbert series \(\frac{1}{(1-t)^2}\) for the face \(\{1,2\}\) and subtract \(\frac{1}{1-t}\) for the face \(\{2\}\) which has been counted twice. Finally adjoin \(\{5\}\) in \(\emptyset \), that is, we add \(\frac{1}{1-t}\) and subtract 1. Thus, the Hilbert series of \(\Delta \) is \(\frac{1}{(1-t)^3}+\frac{1}{(1-t)^2}-\frac{1}{1-t} +\frac{1}{1-t}-1=\frac{1-6t^2+9t^3-5t^4+t^5}{(1-t)^5}\), and the Betti numbers of \(k[\Delta ]\) are \(b_{1,2}=6,b_{2,3}=9,b_{3,4}=5\), and \(b_{4,5}=1\). This ring can also be seen as the edge ring of a graph with edges {1,3}, {1,4}, {1,5}, {2,5}, {3,5}, and {4,5}.
Theorem 1
Let \(F=F_1\cup \cdots \cup F_k\) be a fat tree with \(F_i\) a simplex of dimension \(d_i\) and \((F_1\cup \cdots \cup F_{j-1})\cap F_j\) a simplex of dimension \(r_j\). Then the Hilbert series of k[F] is \(\sum _{i=1}^k\frac{1}{(1-t)^{d_i+1}}-\sum _{i=2}^{k}\frac{1}{(1-t)^{r_i+1}}\). The projective dimension is \(\sum _{i=1}^kd_i-\sum _{i=2}^kr_i+1-\min \{ r_i\}-2\). The depth of k[F] is \(\min \{ r_i\}+2\), and F is CM (Cohen–Macaulay) if and only if there is a d such that \(d_i=d\) for all i and \(r_i=d-1\) for all i.
Proof
The definition of fat forests directly gives the Hilbert series. The number of vertices of F is \(\sum _{i=1}^k(d_i+1)-\sum _{i=2}^k(r_i+1)= \sum _{i=1}^kd_i-\sum _{i=2}^kr_i+1=n\), so the degree of the numerator p(t) of the Hilbert series \(\frac{p(t)}{(1-t)^n}\) of k[F] is \(n-\min \{ r_i\}-1\) so the projective dimension is \(n-\min \{ r_i\}-2\), and the depth of k[F] is \(\min \{ r_i\}+2\) by the Auslander–Buchsbaum formula. We have \(\dim k[F]=1+\max \{ d_i\}\), depth \(k[F]=\min \{ r_i\}+2\), and \(d_i>r_i\) for all i. The only possibility for \(\dim k[F]=\mathrm{depth}\, k[F]\) is that there is a d such that \(d_i=r_i+1=d\) for all i.
Remark
The characterization of CM fat trees is not new. With another (more complicated) proof it is found in [12].
In the remaining part of this section, we give some examples of results we can achieve.
Jacques has determined the Betti numbers of the complete bipartite graph \(K_{m,n}\), [17]. The result is that the only nonzero Betti numbers are \(\beta _{i,i+1}(K_{m,n})= \sum _{\mathop {j+l=i+1}\limits _{j,l\ge 1}} {m\atopwithdelims ()j}{n\atopwithdelims ()l}\). We give an alternative proof.
Theorem 2
The edge ring of \(K_{m,n}\) has a 2-linear resolution and \(\beta _{i,i+1}(K_{m,n})= {m+n\atopwithdelims ()i+1}-{m\atopwithdelims ()i+1}-{n\atopwithdelims ()i+1}\).
Proof
The edge ring of \(K_{m,n}\) is the Stanley–Reisner ring of \(K_m\sqcup K_n\), the disjoint union of two complete graphs, so the resolution is 2-linear. The Hilbert series is \(\frac{1}{(1-t)^m}+\frac{1}{(1-t)^n}-1=\frac{(1-t)^n+(1-t)^m-(1-t)^{m+n}}{(1-t)^{m+n}}\). Thus, \(\beta _{i,i+1}={n+m\atopwithdelims ()i+1}-{n\atopwithdelims ()i+1}-{m\atopwithdelims ()i+1}\).
Corollary 1
\(\sum _{\mathop {j+l=i+1}\limits _{j,l\ge 1}}{m\atopwithdelims ()j}{n\atopwithdelims ()l}={n+m\atopwithdelims ()i+1}-{n\atopwithdelims ()i+1}-{m\atopwithdelims ()i+1}\).
Also the complete multipartite graph \(K_{n_1,\ldots ,n_s}\) with parts of size \(n_1,\ldots ,n_s\) is treated in [17]. The result there is
With our method we get
Theorem 3
\(\beta _{i,i+1}(K_{n_1,\ldots ,n_s})=\sum _{i=1}^s{N-n_i\atopwithdelims ()i+1}-{N\atopwithdelims ()i+1}\), where \(N=\sum _{i=1}^sn_i.\)
Proof
The edge ring of \(K_{n_1,\ldots ,n_s}\) is the Stanley–Reisner ring of the disjoint union of \(K_{n_1},\ldots ,K_{n_s}\) with Hilbert series \(\sum _{i=1}^s\frac{1}{(1-t)^{n_i}}-(s-1)= \frac{\sum _{i=1}^s(1-t)^{N-n_i}-(s-1)(1-t)^N}{(1-t)^N}\). The result follows as before.
Corollary 2
In [1], squarefree lexsegments ideal with q-linear resolution are studied. They show that ideals generated by initial segment of squarefree monomials in degree q in lexicographic order have q-linear resolution. For \(q=2\), this means that ideals L(a, b) generated by all squarefree monomials of degree 2 that are larger than or equal to \(x_ax_b\) for some (a, b) have 2-linear resolution.
Theorem 4
The Betti numbers of \(k[x_1,\ldots ,x_n]/L(a,b)\), \(a\le b\), are \(\beta _{i,i+1}=a{b\atopwithdelims ()i+1}-a{b-1\atopwithdelims ()i+1}-{a\atopwithdelims ()i+1}\), \(1\le i\le b-1\).
Proof
L(a, b) is the Stanley–Reisner ideal of a simplicial complex with maximal faces \(\{1\},\{2\},\ldots ,\{ a\},\{ a+1,a+2,\ldots ,b\}\). Thus, the Hilbert series is \(\frac{a}{(1-t)}+\frac{1}{(1-t)^{b-a}}-a=\frac{a(1-t)^{b-1}+(1-t)^a-a(1-t)^b}{(1-t)^b}\).
Corollary 3
\(a{b\atopwithdelims ()i+1}-a{b-1\atopwithdelims ()i+1}-{a\atopwithdelims ()i+1}=\sum _{k=0}^{a-1}(k+1){k\atopwithdelims ()i-1}+a\sum _{k=a}^{b-2}{k\atopwithdelims ()i-1}\).
Proof
In [1], it is shown that \(\beta _{i,i+1}=\sum _{x_ix_j\ge x^ax^b}{j-2\atopwithdelims ()i-1}\), \(i\le j\).
Also final squarefree segment define ideals with linear resolution. For \(d=2\), this means that ideals \(F(a,b)=(\{ x_ix_j;x_ix_j\le x_ax_b\})\) have 2-linear resolution.
Theorem 5
The Hilbert series of \(k[x_1,\ldots ,x_n]/F(a,b)\), \(a<b\), is
where \(N={n-a-1\atopwithdelims ()2}+n-b+1\).
Proof
F(a, b) is the Stanley–Reisner ideal of a simplicial complex with maximal faces \(\{1,2,\ldots ,a-1,i\}\), \(b\le i\le n\), and \(\{1,2,\ldots ,a,j\}\), \(a+1\le j\le b-1\).
Now we treat some examples of Ferrer’s ideals. A Ferrer’s ideals can be indexed by a tableau \((\lambda _1,\lambda _2\ldots ,\lambda _m)\), \(\lambda _1\ge \lambda _2\cdots \ge \lambda _m\ge 1\). Here
We start with an example from [6], namely \(k[x_1,\ldots ,x_5,y_1,\ldots ,y_6]/I_{(6,4,4,2,1)}\). The fat tree with Stanley–Reisner ideal \(I_{(6,4,4,2,1)}\) can be constructed like this. (We denote the simplex on \(a_1,\dots ,a_k\) by \([a_1,\ldots ,a_k]\).)
Start with \([y_1,\ldots ,y_6]\) and attach \([x_5,y_2,y_3,y_4,y_5,y_6]\) in \([y_2,y_3,y_4,y_5,y_6]\). Then attach \([x_4,x_5,y_3,y_4,y_5,y_6]\) in \([x_5,y_3,y_4,y_5,y_6]\). Then attach \([x_2,x_3,x_4,x_5,y_5,y_6]\) in \([x_4,x_5,y_5,y_6]\). Finally attach \([x_1,x_2,x_3,x_4,x_5]\) in \([x_2,x_3,x_4,x_5]\).
The Hilbert series of \(k[x_1,\ldots ,x_5,y_1,\ldots ,y_6]/I_{(6,4,4,2,1)}\) is
Thus,
The formula in [6] gives
Denote a sequence \(a,a,\ldots ,a\) of length b with \(a^b\). A Ferrer’s graph with tableau \(\mu _1^{l_1},\ldots ,\mu _k^{l_k}\) corresponds to a simplicial complex with maximal faces \([x_{L-l_k-\cdots -l_i+1},\ldots ,x_L,y_{\mu _i+1},\ldots ,y_{\mu _1}]\), where \(L=\sum _{i=1}^kl_i\), for \(i=0,\ldots ,k\). One could generalize the method above to any tableau, but the result becomes a bit complicated, so we refrain from doing so. Instead we give some concrete examples and compare the formulas for the Betti numbers.
First consider \(I_{m^n}\) which is the edge ring of the complete bipartite graph \(K_{m,n}\). Here we have yet another expression from [6], \(\beta _{i,i+1}=\sum _{j=n}^{n+m-1}{j\atopwithdelims ()i}-{m\atopwithdelims ()i+1}\). Thus, we get
Corollary 4
\({n+m\atopwithdelims ()i+1}-{n\atopwithdelims ()i+1}-{m\atopwithdelims ()i+1}=\sum _{j=n}^{n+m-1}{j\atopwithdelims ()i}-{m\atopwithdelims ()i+1}\).
Now consider
The fat tree with this Stanley–Reisner ideal has a maximal face \([y_1,\ldots ,y_n]\). Then another maximal face \([x_2,\ldots ,x_m,y_2,\ldots ,y_n]\) is attached in \([y_2,\ldots ,y_n]\). Finally the maximal face \([x_1,\ldots ,x_m]\) is attached in \([x_2,\ldots ,x_m]\).
Theorem 6
The Hilbert series of \(k[x_1,\ldots ,x_m,y_1,\ldots ,y_n]/I_{n,1^{m-1}}\) is
so the Betti numbers are
Corollary 5
Proof
The right-hand side is the formula for \(\beta _i\) from [6]. We can do the same in higher dimension. Consider the ideal
In this case, the complex has four maximal faces,
The three last are attached in \([x_2,\ldots ,x_m]\), \([y_2,\ldots ,y_n]\), \([z_2,\ldots ,z_o]\), respectively. Then \(k[x_1,\ldots ,x_m,y_1,\ldots ,y_n,z_1\ldots ,z_o]/I(m,n,o)\) has a 2-linear resolution. The Hilbert series of \(k[x_1,\ldots ,x_m,y_1,\ldots ,y_n,z_1\ldots ,z_o]/I(m,n,o)\) is
so the Betti numbers are
Example
Consider the Ferrer’s ideal with tableau \(n,n-1,n-2,\ldots ,1\). Using the formula in [6] the Betti numbers are \(n{n\atopwithdelims ()i}-{n\atopwithdelims ()i+1}\). The fat tree giving this ideal is constructed like this. Start with \([y_1,\ldots ,y_n]\) and attach \([x_n,y_2,\ldots ,y_n]\) in \([y_2,\ldots ,y_n]\). Then attach \([x_{n-1},x_n,y_3,\ldots ,y_n]\) in \([x_n,y_3,\ldots ,y_n]\). Continue like this until: Attach \([x_2,\ldots ,x_n,y_n]\) in \([x_3,\ldots ,x_n,y_n]\), and finally attach \([x_1,\ldots ,x_n]\) in \([x_2,\ldots ,x_n]\). The Hilbert series is \(\frac{n+1}{(1-t)^n}-\frac{n}{(1-t)^{n-1}}\), so the Betti numbers are \(\beta _{i,i+1}=n{n+1\atopwithdelims ()i+1}-(n+1){n\atopwithdelims ()i+1}\) and we get
\(n{n+1\atopwithdelims ()i+1}-(n+1){n\atopwithdelims ()i+1}={n\atopwithdelims ()i}+\sum _{j=2}^m{j\atopwithdelims ()i}-{n\atopwithdelims ()i+1}\).
3 Uniform fat forests
We will now concentrate on “uniform" fat forests. If \(F=F_1\cup \cdots \cup F_k\), where \(F_i\) is a d-simplex for \(i=1,\ldots ,k\) and \((F_1\cup \cdots \cup F_{i-1})\cap F_i\) is an r-simplex for \(i=2,\ldots ,k\), we call F a (d, r)-forest.
Corollary 6
The Hilbert series of a (d, r)-forest \(\Delta \) with k facets is \(\frac{k}{(1-t)^{d+1}}-\frac{k-1}{(1-t)^{r+1}}\). The depth of \(k[\Delta ]\) is \(r+2\), so \(k[\Delta ]\) is CM if and only if \(r=d-1\). We have that the Betti numbers \(b_i(k[\Delta ])=b_{i,i+1}(k[\Delta ])=|k{(k-1)(d-r)\atopwithdelims ()i+1}-(k-1){k(d-r)\atopwithdelims ()i+1}|\).
For a simplicial complex \(\Delta \) on \([\mathbf{n}]\), the Alexander dual \(\Delta ^\vee \) is defined as \(\{ F;F^c\notin \Delta \}\), where \(F^c=[\mathbf{n}]\setminus F\). Alexander duals are well described in [3, 4, 9, 19]. We will now determine the Betti numbers of the Alexander dual to fat forests.
Theorem 7
Let \(\Delta \) be a (d, r)-forest with k facets. The nonzero Betti numbers of \(k[\Delta ^\vee ]\) are \(b_0=b_{0,0}=1\), \(b_1=b_{1,(k-1)(d-r)}=k\) and \(b_2=b_{2,k(d-r)}=k-1\). All \(k[\Delta ^\vee ]\) are CM, and \(k[\Delta ^\vee ]\) has a linear resolution if and only if \(\Delta \) is a \((d,d-1)\)-forest.
Proof
We have that \(\prod _{j=1}^mx_{i_j}\) is a minimal generator of I, where \(k[\Delta ^\vee ]=k[x_1,\ldots ,x_n]/I\), if and only if \([\mathbf{n}]\setminus \{ i_1,\ldots ,i_m\}\) is a facet in \(\Delta \). Thus, \(\Delta ^\vee \) has k minimal generators of degree \(k(d-r)+r+1-(d+1)=(k-1)(d-r)\), so \(b_1(k[\Delta ^\vee ])=b_{1,(k-1)(d-r)}(k[\Delta ^\vee ])=k\). The regularity of \(k[\Delta ]\) equals the projective dimension of \(k[\Delta ^\vee ]\) and vice versa, [19, 20]. The projective dimension of \(k[\Delta ]\) is \(k(d-r)-1\) and \(b_{k(d-r)-1,k(d-r)}=k-1\). This is an extremal Betti number for \(k[\Delta ]\). (We have that \(b_{k,l}(R)\) is an extremal Betti number for R if \(b_{i,j}(R)=0\) for \(\{(i,j);i\ge k,j\ge l\}\setminus \{(k,l)\}\).) Then \(b_{2,k(d-r)-1}(\Delta ^\vee )=k-1\) is an extremal Betti number, see [3]. Since \(\sum _{i=0}^2(-1)^ib_i=0\) we have \(b_2=k-1\), so \(b_{2,j}=0\) if \(j\ne k(d-r)-1\). We have that \(k[\Delta ^\vee ]\) has a linear resolution if and only if \(k[\Delta ]\) is CM, [9].
References
Aramova, A., Herzog, J., Hibi, T.: Squarefree lexsegment ideals. Math. Z. 228, 353–378 (1998)
Autry, J., Graves, P., Loucks, J., O’Neill, C., Ponomarenko, V., Yih, S.: Squarefree divisor complexes of certain numerical semigroup elements. arXiv:1804.06632v1
Bayer, D., Charalambous, H., Popescu, S.: Extremal Betti numbers and applications to monomial ideals. J. Algebra 221, 497–512 (1999)
Bruns, W., Herzog, J.: Cohen–Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, pp. xii+403. Cambridge University Press, Cambridge (1993)
Chen, R.: Minimal free resolutions of linear edge ideals. J. Algebra 324(12), 3591–3613 (2010)
Corso, A., Nagel, U.: Monomial and toric ideals associated to Ferrers graphs. Trans. Amer. Math. Soc. 361(3), 1371–1395 (2009)
Corso, A., Nagel, U.: Specializations of Ferrers ideals. J. Algebraic Combin. 28(3), 425–437 (2008)
Dirac, G.A.: On rigid circuit graphs. Abh. Math. Sem. Univ. Hamburg 38, 71–76 (1961)
Eagon, J.A., Reiner, V.: Resolutions of Stanley–Reisner rings and Alexander duality. J. Pure Appl. Algebra 130(3), 265–275 (1998)
Eisenbud, D., Green, M., Hulek, K., Popescu, S.: Restricting linear syzygies: algebra and geometry. Compos. Math. 141(6), 1460–1478 (2005)
Engström, A., Stamps, M.T.: Betti diagrams from graphs. Algebra Number Theory 7(7), 1725–1742 (2013)
Fröberg, R.: On Stanley-Reisner rings, Topics in algebra, part 2 (Warsaw, 1988). Banach Center Publ. 26, 57–70 (1990)
Herzog, J., Hibi, T.: Monomial Ideals, Graduate Texts in Mathematics, 260. Springer, London (2011)
Herzog, J., Hibi, T., Zheng, X.: Monomial ideals whose powers have a linear resolution. Math. Scand. 95(1), 23–32 (2004)
Herzog, J., Hibi, T., Zheng, X.: Dirac’s theorem on chordal graphs and Alexander duality. European J. Combin. 25(7), 949–960 (2004)
Horwitz, N.: Linear resolutions of quadratic monomial ideals. J. Algebra 318(2), 981–1001 (2007)
Jacques, S.: Betti numbers of graph ideals. arXiv:0410107v1 (2004)
Nguyen, H., Vu, T.: Linearity defect of edge ideals and Fröberg’s theorem. J. Algebraic Combin. 44(1), 165–199 (2016)
Terai, N.: Generalization of Eagon–Reiner theorem and \(h\)-vectors of graded rings. Preprint
Terai, N.: Alexander duality theorem and Stanley–Reisner rings. Free resolutions of coordinate rings of projective varieties and related topics (1998). Sūrikaisekikenkyūsho Kōkyūroku No. 1078, pp. 174–184 (1999)
Van Tuyl, A.: A beginner’s guide to edge and cover ideals. Monomial ideals, computations and applications, pp. 63–94, Lecture Notes in Math., 2083. Springer, Heidelberg (2013)
Woodroofe, R.: Chordal and sequentially Cohen–Macaulay clutters. Electron. J. Combin. 18(1), Paper 208 (2011)
Zheng, X.: Resolutions of facet ideals. Comm. Algebra 32(6), 2301–2324 (2004)
Acknowledgements
No datasets were generated or analysed during the current study.
Funding
Open access funding provided by Stockholm University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Fröberg, R. Betti numbers of fat forests and their Alexander dual. J Algebr Comb 56, 1023–1030 (2022). https://doi.org/10.1007/s10801-022-01143-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-022-01143-0