arXiv++ Combinatorics

Given a point set $[n]$ and a collection $B$ of $k$-subsets of $[n]$, we create a monomial ideal whose Betti numbers completely determine whether the pair $([n],B)$ is a Steiner system $S(t,k,n)$. In particular, our construction characterizes Steiner triple systems and Steiner quadruple systems solely on the basis of Betti numbers of monomial ideals. Moreover, these monomial ideals allow us to reformulate the renowned prime power conjecture as follows: If a monomial ideal $M$ of $S = K[x_1, \dots, x_{q^2+q+1}]$ generated by squarefree monomials of degree $q+1$ has Betti numbers $\mathrm{b}_s(S/M) = {{q^2+q+1} \choose s} \text{ for all } s=0,\ldots,q$ then $q$ is a prime power.

Alesandroni proved that Betti numbers of monomial ideals in at most four variables are independent of the characteristic of the base field, while Peeva exhibited characteristic-dependent Betti numbers in six variables. We prove that the five-variable case is characteristic-independent. More precisely, if $S=k[x_1,\ldots,x_5]$ and $M\subseteq S$ is a monomial ideal, then the multigraded, graded, and total Betti numbers of $S/M$ are independent of $\operatorname{char}(k)$. The proof reduces arbitrary monomial ideals to squarefree twin ideals and then applies Hochster's formula. The topological input is that simplicial complexes on at most five vertices have torsion-free integral homology. Peeva's example arising from the six-vertex triangulation of $\mathbb{RP}^2$ shows that the bound is sharp. We also record a computation of the graded Betti tables of squarefree monomial ideals in five variables up to relabeling.