On iteration of Cox rings (Q1748123)

Let \(X|\mathbb{C}\) be a normal algebraic variety. Assume the divisor class group \(K\) is finitely generated and \(X\) has only constant invertible global regular functions. The \(K\)-graded Cox ring of \(X\) is defined as \[ R_1=\underset{K}{\bigoplus}\Gamma(X, \mathcal{O}(D)). \] If the Cox ring \(R_1\) is a finitely generated \(\mathbb{C}\)-algebra then \(X_1: = \text{Spec}(R_1)\) is the so-called total coordinate space of \(X\). By definition \(X\) admits iteration of Cox rings if there is a chain \[ X_p\to X_{p-1}\to \cdots\to X_2\to X_1 \] dominated by a factorial variety \(X_p\) where in each step, \(X_{i+1}\) is the total coordinate space of \(X_i\) and \(H_i=\text{Spec}\mathbb{C}[K_i]\) the characteristic quasitorus of \(X_i\), having the divisor class group \(K_i\) of \(X_i\) as its character group. \(X\) is called a normal, rational \(\mathbb T\)-variety of complexity one if \(X\) comes with an effective torus action \(\mathbb T\times X\to X\) such that \(\dim(\mathbb T)=\dim(X)-1\). It is proved that for a normal \(\mathbb T\)-variety \(X\) of complexity one with \(\Gamma(X, \mathcal{O})^\mathbb T=\mathbb{C}\) the following statements are equivalent. {\parindent=0.7cm\begin{itemize}\item[(1)] \(X\) admits iteration of Cox rings. \item[(2)] \(X\) is rational with hyperplatonic or factorial Cox rings. \end{itemize}} The case \(\Gamma(X, \mathcal{O})^\mathbb T\neq \mathbb{C}\) is also treated.