No label defined (Q4937902)

Let \(\Delta\) be a simplicial complex on the vertex set \(V=\{x_1,x_2,\dots,x_v\}\), \(A=k[x_1,\dots,x_v]\) be the polynomial algebra, \(I_\Delta\) the ideal of \(A\) generated by square-free monomials \(x_{i_1}x_{i_2} \dots x_{i_r}\) with \(\{x_{i_1}, x_{i_2}, \dots,x_{i_r}\}\notin\Delta\) and \(k [\Delta]= A/I_\Delta\) the Stanley-Reisner ring of \(\Delta\) over \(k\), \[ 0 \to\bigoplus_{j\in\mathbb{Z}} A(-j)@>\beta_{h_{ij}}>>\cdots \to\bigoplus_{j \in\mathbb{Z}} A (-j)@>\beta_{1j}>> A\to k[\Delta]\to 0 \] a minimal free resolution of \(k [\Delta]\) over \(A\), with \(A(-j)_n=A_{-j+n}\), and \(\beta_i=\sum_i\beta_{ij}\). It is clear that \(\beta_1\) does not depend on the field \(k\). In this paper the authors prove that \(\beta_2\) does not depend on \(k\) (Bruns-Herzog theorem) and that \(\beta_3\) and \(\beta_4\) do not depend on \(k\) when the ideal \(I_\Delta\) is generated by monomials of degree two. They also show that all the Betti numbers are independent of the base field \(k\) when the geometric realization \(|\Delta|\) of \(\Delta\) is the \(n\)-sphere \(S^n\) or the \(n\)-ball \(B^n\), \(n\leq 3\).