Nagata's compactification theorem for normal toric varieties over a valuation ring of rank one (Q1990488): Difference between revisions

Let \(K\) be a rank one valued field \(K\) with valuation ring \(K^{\circ}\) and \({\mathbb T}\) a split torus over \(K^{\circ}\). A toric \({\mathbb T}\)-variety \(X\) over \(K^{\circ}\) is a flat integral separated scheme of finite type over \(K^{\circ}\) such that its generic fiber \(X_K\) contains the torus \(T={\mathbb T}_K\) as an open dense subset and the multiplication of \(T\) extends to an action of \({\mathbb T}\) on \(X\) over \(K^{\circ}\). Toric schemes over arbitrary rank one valuation rings were introduced in [\textit{W. Gubler}, Contemp. Math. 589, 125--189 (2013; Zbl 1318.14061)] as generalizations of the toric schemes over discrete valuation rings studied by D. Mumford in Chapter IV Section 9 in [\textit{G. Kempf} et al., Toroidal embeddings. I. Berlin-Heidelberg-New York: Springer-Verlag (1973; Zbl 0271.14017)]. Furthermore, in [\textit{W. Gubler} and \textit{A. Soto}, Doc. Math. 20, 171--198 (2015; Zbl 1349.14161)] the authors classify normal toric varieties over a valuation ring of rank one in terms of certain admissible fans in \({\mathbb R}^n\times{\mathbb R}_+\) generalizing the classification of normal toric varieties over fields. The main theorem of the paper under review is that for every normal \({\mathbb T}\)-toric variety \(X\) over a valuation ring \(K^{\circ}\) of rank one there exists a \({\mathbb T}\)-equivariant open immersion \(X\hookrightarrow \overline{X}\) into a proper \({\mathbb T}\)-toric variety \(\overline{X}\) over \(K^{\circ}\). This theorem generalizes a theorem by \textit{H. Sumihiro} [J. Math. Kyoto Univ. 15, No. 3, 573--605 (1975; Zbl 0331.14008)] for toric varieties over a field. The proof of the main theorems proceeds by considering an open affine covering of the normal \({\mathbb T}\)-toric variety \(X\) and then constructs a compatible collection \({\mathbb T}\)-invariant locally ringed spaces which then are glued together into a \({\mathbb T}\)-invariant Zariski-Riemann locally ringed space, a compactification \(X_{\text{cpt}}\) of \(X\). The last step shows that there exists a \({\mathbb T}\)-toric variety \(\overline{X}\) over \(K^{\circ}\) and an open \({\mathbb T}\)-equivariant immersion \(X\hookrightarrow \overline{X}\) such that the Zariski-Riemann space associated to it is isomorphic to the compactification \(X_{\text{cpt}}\).