Characteristic Independence of Betti Numbers of Monomial Ideals in Five Variables

Abstract

Alesandroni proved that Betti numbers of monomial ideals in at most four variables are independent of the characteristic of the base field, while characteristic-dependent Betti numbers occur in six variables. We prove that the five-variable case is characteristic-independent. More precisely, if $S=k[x_1,\dots ,x_5]$ and $M\subseteq S$ is a monomial ideal, then the multigraded, graded, and total Betti numbers of $S/M$ are independent of $\mathrm{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. The six-variable 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.

16 pages, 1 figure, 2 tables. Revised to match the published version; updated attribution, references, and minor copyediting. Code and data available at https://github.com/voltroom0606/fivevariablebettinumbers

References in corpus (1)

• On the ideal generated by all squarefree monomials of a given degree