Abstract:In a previous work we proved that each $n$-dimensional convex polyhedron ${\mathcal K}subset{\mathbb R}^n$ and its relative interior are regular images of ${\mathbb R}^n$. As the image of a non-constant polynomial map is an unbounded semialgebraic set, it is not possible to substitute regular maps by polynomial maps in the previous statement. In this work we determine constructively all unbounded $n$-dimensional convex polyhedra ${\mathcal K}\subset{\mathbb R}^n$ that are polynomial images of ${\mathbb R}^n$. We also analyze for which of them the interior ${\rm Int}({\mathcal K})$ is a polynomial image of ${\mathbb R}^n$. A discriminating object is the recession cone $\vec{\mathcal C}({\mathcal K})$ of ${\mathcal K}$. Namely, \em ${\mathcal K}$ is a polynomial image of ${\mathbb R}^n$ if and only if $\vec{\mathcal C}({\mathcal K})$ has dimension $n$\em. In addition, \em ${\rm Int}({\mathcal K})$ is a polynomial image of ${\mathbb R}^n$ if and only if $\vec{\mathcal C}({\mathcal K})$ has dimension $n$ and ${\mathcal K}$ has no bounded faces of dimension $n-1$\em. A key result is an improvement of Pecker's elimination of inequalities to represent semialgebraic sets as projections of algebraic sets. Empirical approaches suggest us that there are `few' polynomial maps that have a concrete convex polyhedron as a polynomial image and that there are even fewer for which it is affordable to show that their images actually correspond to our given convex polyhedron. This search of a `needle in the haystack' justifies somehow the technicalities involved in our constructive proofs.

The 10 antipodal pairings of strongly involutive polyhedra

Self-dual Polytope and Self-dual Smooth Wulff Shape

Internal and external duality in abstract polytopes

Hypergraphic polytopes: combinatorial properties and antipode

On involutions in extremal self-dual codes and the dual distance of semi self-dual codes

A topological insight into the polar involution of convex sets

Matching polytopes, Gorensteinness, and the integer decomposition property

Polyhedra in spacetime from null vectors

On equidistant polytopes in the Euclidean space

HV-symmetric polyhedra and bipolarity

Self-dual polyhedral cones and their slack matrices

A dual pair for the group of volume preserving diffeomorphisms

Veronese polytopes: Extending the framework of cyclic polytopes

Discrete Cycloids from Convex Symmetric Polygons

Unbounded convex polyhedra as polynomial images of Euclidean spaces

Higher Secondary Polytopes for Two-Dimensional Zonotopes

Self-similar surfaces: involutions and perfection

Self-dual matroids from canonical curves

Self-dual projective toric varieties and their ideals

A Zoo of Dualities