Extensions of toric varieties (Q540091)

This paper is concerned with extensions of toric varieties. Let \(K\) be an algebraically closed field of any characteristic, and let \(S\) be a subsemigroup of \(\mathbb{N}^d\) generated by \({\mathbf m}_1,\ldots,{\mathbf m}_n\). Denote by \(S_{l,{\mathbf m}}\) the affine semigroup generated by \(l{\mathbf m}_1,\ldots,l{\mathbf m}_n\) and \({\mathbf m} \in \mathbb{N}^d\), where \(l\) is a positive integer. The affine toric variety \(V_{S_{l,{\mathbf m}}} \subset \mathbb{A}^{n+1}\) is an extension of \(V_{S} \subset \mathbb{A}^{n}\), if \({\mathbf m} \in S\), and \(l\) is a positive integer relatively prime to a component of \({\mathbf m}\). A projective variety \(\overline{E} \subset \mathbb{P}^{n+1}\) is an extension of another one \(\overline{X} \subset \mathbb{P}^{n}\) if its affine part \(E\) is an extension of the affine part \(X\) of \(\overline{X}\). The author proves that affine extensions can be obtained by gluing semigroups, and therefore their minimal generating sets can be obtained by adding a binomial. In the projective case a similar result holds under a mild condition. Starting with a set-theoretic complete intersection, arithmetically Cohen-Macaulay or Gorenstein toric variety, he obtains infinitely many toric varieties having the same property. It was conjectured by M. E. Rossi that the Hilbert function of any Gorenstein local ring is non-decreasing. The author shows that if a toric variety has a Cohen-Macaulay tangent cone or at least its local ring has a non-decreasing Hilbert function, then its nice extensions share these properties, supporting Rossi's conjecture for higher dimensional Gorenstein local rings.