Polarized complexity-1 T-varieties (Q654927)

The description of polarized toric varieties in terms of lattice polytopes is well-known. The paper generalizes this description to polarized T-varieties of complexity one, i.e., normal algebraic varieties with an effective complexity one algebraic torus action equipped with a linearized ample line bundle. The authors establish a correspondence between such varieties and so-called divisorial polytopes. A divisorial polytope is defined by a smooth projective curve \(Y\) and a lattice \(M\). It is a concave function with some conditions from a polytope in \(M_{\mathbb Q}\) to the group of \(\mathbb Q\)-divisors on \(Y\). Similarly to the toric case, a divisorial polytope encodes smoothness, degree, and the Hilbert polynomial of the corresponding T-variety. There are other methods to describe polarized T-varieties of complexity one. The method of ``divisorial fans'' is developed by \textit{L. Petersen} and \textit{H. Suess} [Isr. J. Math. 182, 481--504 (2011; Zbl 1213.14084)]. The second method uses polyhedral divisors as defined by \textit{K. Altmann} and \textit{J. Hausen} [Math. Ann. 334, No. 3, 557--607 (2006; Zbl 1193.14060)] and \textit{K. Altmann, J. Hausen} and \textit{H. Suess} [Transform. Groups 13, No.~2, 215--242 (2008 Zbl 1159.14025)]. The authors give interpretations of both methods in terms of divisorial polytopes. They use mixed methods to prove the following two resuts. At first, they describe general T-varieties of complexity one by simplifing combinatorial data of divisorial polytopes to ``marked fansy divisor''. Secondly, this description allows to determine when a projective embedding of a complexity one T-variety is normal. The authors expect that the obtained correspondence between polarized T-varieties of complexity one and divisorial polytopes may be generalized to torus actions of higher complexity.