Completion of real fans and Zariski-Riemann spaces
type: Item
instance of: scholarly article
title: Completion of real fans and Zariski-Riemann spaces
zbMATH Open document ID: 1108.14039
author: Günter Ewald
author: Masa-Nori Ishida
published in: Tôhoku Mathematical Journal. Second Series
publication date: 2006-12-04T00:00:00Z
full work available at URL: tohokumathjen.html
review text: A well-known theorem due to \textit{M. Nagata} [J. Math. Kyoto Univ. 2, 1--10 (1962; Zbl 0109.39503); ibid. 3, 89--102 (1963; Zbl 0223.14011)] asserts that if \(X\) is any (noetherian) scheme over an algebraically closed field \(k\), then \(X\) can be imbedded as an open subscheme of a complete variety \(\bar{X}\). By a general result of \textit{H. Sumihiro} [J. Math. Kyoto Univ. 14, 1--28 (1974; Zbl 0277.14008)] any toric variety can be equivariantly imbedded as an open subvariety of a complete toric variety. The authors give two different proofs of this result. Let \(N\cong \mathbb Z^r\) be a lattice in \(N_\mathbb R:=N\otimes\mathbb R\). Corresponding to any toric variety \(X\) of dimension \(r\), one has a fan \(\Sigma\) consisting of certain strongly convex rational polyhedral cones in \(N_\mathbb R\). The variety \(X\) is complete if and only if \(\Sigma\) is complete, that is, the support of \(\Sigma \) equals \(N_\mathbb R\). The authors give a purely combinatorial proof that any (finite) real fan, is a subfan of a complete real fan. By a real fan is meant a fan whose elements need not be rational polyhedral cones. The second proof uses the notion of Zariski-Riemann space \(ZR(\Sigma)\) (resp. \(ZR(M)\)) of a fan \(\Sigma\) (resp. the dual lattice \(M:=N^\vee\)). It is shown that the spaces \(ZR(\Sigma)\) and \(ZR(\Sigma)\) are quasi-compact (Theorem 2.5) and that the fan \(\Sigma\) is complete if and only if \(ZR(\Sigma)=ZR(M)\). Starting with a fan \(\Sigma\) which is not complete, and a \(v\in ZR(M)\) which is not in \(ZR(\Sigma)\), it is shown that there exists a fan \(\Sigma_v\) which contains \(\Sigma\) and \(v\in ZR(\Sigma_v)\). Using these results it is shown that \(\Sigma\) can be imbedded in a complete fan \(\bar{\Sigma}\).
reviewed by: Parameswaran Sankaran
Mathematics Subject Classification ID: 14M25
Mathematics Subject Classification ID: 52B20
zbMATH DE Number: 5076981
MaRDI profile type: Publication
OpenAlex ID: W1963863271
cites work: Q5687941
cites work: Rigid geometry, Lefschetz-Verdier trace formula and Deligne's conjecture
cites work: Introduction to Toric Varieties. (AM-131)
cites work: Q4143433
cites work: The infiniteness of the SAGBI bases for certain invariant rings.
cites work: Imbedding of an abstract variety in a complete variety
cites work: A generalization of the imbedding problem of an abstract variety in a complete variety
cites work: Q4039830
cites work: Linear Gale transforms and Gelfand-Kapranov-Zelevinskij decompositions
cites work: Q4861423
cites work: Equivariant completion
cites work: Equivariant completion. II
cites work: Local uniformization on algebraic varieties
cites work: The compactness of the Riemann manifold of an abstract field of algebraic functions
cites work: Q4071851
DOI: 10.2748/TMJ/1156256400
Recommended article: On the Completion of Normal Toric Schemes Over Rank One Valuation Rings
Recommended article: On varieties isomorphic in codimension one to torus embeddings
Recommended article: Q4277786
Recommended article: Toric Varieties and the Diagonal Property
Recommended article: Frobenius splittings of toric varieties
Recommended article: Q4424391
Recommended article: Quotients of toric varieties by actions of subtori
Recommended article: Arithmetic geometry of toric varieties. Metrics, measures and heights
Recommended article: Smooth nonprojective equivariant completions of affine space
Recommended article: The \(K\)-theory of a toric variety
description: scientific article; zbMATH DE number 5076981