Periodicity of Betti numbers of monomial curves (Q406349)

Let \(\underline{a}=(a_1,\ldots,a_n),\;a_1<\cdots <a_n\) be a sequence of positive integers and \(C(\underline{a})\) the affine monomial curve in \(\mathbb{A}^n\) parametrised by \(a_i\mapsto \underline{t}^{a_i}\), \(1\leq i\leq n\). Let \(I(\underline{a})\) be the defining ideal of \(C(\underline{a})\) in the polynomial ring \(S=k[x_1,\ldots,x_n]\), where \(k\) is a field, and \(\underline{a}+j=(a_1+j,\ldots,a_n+j)\), for \(j\) a positive integer. Herzog and Srinivasan conjectured that the Betti numbers of the ideal \(I(\underline{a}+j)\) are eventually periodic in \(j\) with the period \(a_n-a_1\). The author proves this conjecture by using the squarefree divisor simplicial complexes.