When do the recession cones of a polyhedral complex form a fan? (Q650116): Difference between revisions

The authors study the problem of when the collection of the recession cones of a polyhedral complex is itself a complex. This question is of interest for the classification of toric schemes over a discrete valuation ring, and also in Tropical Geometry. In the paper under review, an elementary example of a polyhedral complex in \(\mathbb{R}^3\) is shown such that neither its recession complex nor its cone is again a complex. Then, a condition on the support of a polyhedral complex \(\Pi\) which is called ``Minkowski-Weyl'' is given, and it is shown that if the support of \(\Pi\) is a connected polyhedral set and satisfies this condition, then both the recession and the cone of \(\Pi\) are conic polyhedral complexes. If in addition, \(\Pi\) is rational (resp. strongly convex), then both of its recession and cone are rational (respectively fans). As a direct consequence of this result, it is shown that the correspondence \(\Pi\mapsto\chi_{c(\Pi)}\) is a bijection between the set of complete strongly convex rational polyhedral complexes in \(\mathbb{R}^n\) and the set of proper toric schemes of relative dimension \(n\) over the spectrum of the valuation ring of a field with a nontrivial discrete valuation. Some connections with tropical geometry via the Gröbner complex of a variety are also given.