Cox rings of trinomial hypersurfaces
type: Item
instance of: scholarly article
title: Cox rings of trinomial hypersurfaces
zbMATH Open document ID: 1468.14011
DOI: 10.1134/S0001434621050229
author: O. K. Kruglov
published in: Mathematical Notes
publication date: 2021-07-08T00:00:00Z
review text: An affine \textit{trinomial hypersurface} is an affine variety \(X\subseteq K^n\) given by the zeros of a polynomial of the form \(T_0^{\ell_0}+T_1^{\ell_1}+T_2^{\ell_2}\), where \(K\) is an algebraically closed field of characteristic zero, \(\ell_i=(\ell_{i1},\ldots,\ell_{in_i})\in{\mathbb Z}_{>0}^{n_i}\), \(T_i^{\ell_i}=T_{i1}^{\ell_{i1}}\cdots,T_{in_i}^{\ell_{in_i}}\in K[T_{ij}: 0\leq i\leq 2,\; 1\leq j\leq n_i]\) and \(n=n_0+n_1+n_2\). Trinomial hypersurfaces \(X\subseteq K^n\) have an effective action of an algebraic torus of dimension \(n-2\) given as the stabilizer \(T\) of the vanishing ideal \(I(X)\subseteq K[T_{ij}]\). The class group of a rational trinomial variety has been explicitly described by \textit{M. Wrobel} in [J. Algebra 542, 43--64 (2020; Zbl 1440.13054)]. The focus of the paper under review is the prime spectrum \(\text{Spec}({\mathcal R}(X))\) of the Cox ring \({\mathcal R}(X)\) of a trinomial hypersurface \(X\subseteq K^n\). The main result, Theorem 1, gives necessary and sufficient conditions for the total coordinate space \(\text{Spec}({\mathcal R}(X))\) to be a hypersurface; these conditions are explicitly formulated in terms of the greatest common divisors \(d_i\) of the multidegrees \(\ell_i\) of the monomials \(T_i^{\ell_i}\) of the trinomial hypersurface \(X\). The proof of this result uses a method for explicitly determining the Cox ring of any affine trinomial hypersurface using a polyhedra divisor which describes the torus action of complexity \(1\). This calculation coincides with previous results on Cox rings of non--complete varieties with an effective torus action of complexity \(1\) that have been described by \textit{J. Hausen} and \textit{M. Wrobel} in [Math. Nachr. 290, No. 5--6, 815--826 (2017; Zbl 1371.13002)]. The second main result establish criteria for the total coordinate space \(\text{Spec}({\mathcal R}(X))\) of a trinomial hypersurface to be rational or factorial, again in terms of the greatest common divisors \(d…
Mathematics Subject Classification ID: 14C20
Mathematics Subject Classification ID: 14M25
Mathematics Subject Classification ID: 13F15
Mathematics Subject Classification ID: 14J70
zbMATH DE Number: 7369766
zbMATH Keywords: affine variety
zbMATH Keywords: torus action
zbMATH Keywords: Cox ring
zbMATH Keywords: polyhedral divisor
zbMATH Keywords: rational variety
reviewed by: Felipe Zaldívar
MaRDI profile type: Publication
cites work: On rigidity of factorial trinomial hypersurfaces
cites work: Polynomial curves on trinomial hypersurfaces
cites work: Log terminal singularities, platonic tuples and iteration of Cox rings
cites work: Non-complete rationalT-varieties of complexity one
cites work: On iteration of Cox rings
cites work: Divisor class groups of rational trinomial varieties
cites work: Q4324883
cites work: Cox Rings
cites work: The Cox ring of an algebraic variety with torus action
cites work: Polyhedral divisors and algebraic torus actions
cites work: Multigraded factorial rings and Fano varieties with torus action
cites work: Factorially graded rings of complexity one
cites work: Polyhedral divisors of affine trinomial hypersurfaces
full work available at URL: s0001434621050229
OpenAlex ID: W3180957411
description: scientific article; zbMATH DE number 7369766