Betti numbers of mixed product ideals (Q999096)

The author computes the Betti numbers of the resolution of a special class of square-free monomial ideals, the ideals of mixed products. Moreover when these ideals are Cohen-Macaulay the author calculates their type. Let \(S = K[x_1,x_2, \dots , x_n, y_1,y_2, \dots ,y_m]\) be a polynomial ring over a field \(K\). The ideal of mixed products are the ideals \[ I_qJ_r+I_sJ_t, \quad q,r,s,t \in \mathbb N, \quad q+r=s+t, \] where \(I_{\ell}\) (respectively \(J_p\)) is the ideal of \(S\) generated by all the square-free monomials of degree \(\ell\) (respectively \(p\)) in the variables \(x_1,x_2,\dots ,x_n\) (respectively \(y_1,y_2,\dots ,y_m\)). The main result of the paper under review shows for a special class of square-free monomial ideals of \(S\) the following assertions hold: (1) Let \(I_qJ_r \subset S\) with \(1 \leq q \leq n\), \(1 \leq r \leq m\). Then for \(i \geq 0\), we have \[ \beta_i(I_qJ_r) = \sum_{j+k=i} \binom{n}{q+j}\binom{m}{r+k}\binom{q+j-1}{j}\binom{r+k-1}{k}. \] (2) Let \(I_qJ_r + I_sJ_t \subset S\) with \(0 \leq q < s \leq n\), \(1 \leq t < r \leq m\). Then \[ \beta_i(I_qJ_r + I_sJ_t) = \beta_i(I_qJ_r) + \beta_i(I_sJ_t) + \beta_i(I_sJ_r), \qquad i \geq 1. \] As a conclusion, the following assertions hold: (3) Let \(S/I_qJ_r\) be a Cohen-Macaulay algebra then \[ \text{r}(S/I_qJ_r) = 1 \] with \(q=n\), \(r=m\). (4) Let \(S/(I_qJ_r + I_s)\) be a Cohen-Macaulay algebra then \[ \text{r}(S/(I_qJ_r + I_s)) = \binom{n-1}{n-q} + \binom{n-1}{n-q-1} \] with \(s=q+1\), \(r=m\). (5) Let \(S/(I_qJ_r + I_sJ_t)\) be a Cohen-Macaulay algebra then \[ \text{r}(S/(I_qJ_r + I_sJ_t)) = m+n-1 \] with \(q=n-1\), \(r=m\), \(s=n\), \(t=m-1\).