Extensions of toric varieties

From MaRDI portal



Abstract: In this paper, we introduce the notion of "extension" of a toric variety and study its fundamental properties. This gives rise to infinitely many toric varieties with a special property, such as being set theoretic complete intersection or arithmetically Cohen-Macaulay (Gorenstein) and having a Cohen-Macaulay tangent cone or a local ring with non-decreasing Hilbert function, from just one single example with the same property, verifying Rossi's conjecture for larger classes and extending some results appeared in literature.


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.





Describes a project that uses

Uses Software






This page was built for publication: Extensions of toric varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q540091)