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 smallest mono-unstable, homogeneous convex polyhedron has at least 7 vertices

Mono-monostatic polyhedra with uniform point masses have at least 8 vertices

On equilibria of tetrahedra

Pentagonal bipyramids lead to the smallest flexible embedded polyhedron

Are all Weakly Convex and Decomposable Polyhedral Surfaces Infinitesimally Rigid?

Vertices of the monotone path polytopes of hypersimplicies

Pentagon Minimization without Computation

Vertex generated polytopes

On the Length of Monotone Paths in Polyhedra

Polytopes with low excess degree

Unbounded convex polyhedra as polynomial images of Euclidean spaces

A lower bound theorem for $d$-polytopes with $2d+2$ vertices

Unimodular polytopes and a new Heller-type bound on totally unimodular matrices via Seymour's decomposition theorem

The minimum neighborliness of a random polytope

Happy Ending: An Empty Hexagon in Every Set of 30 Points

Vertex-removal stability and the least positive value of harmonic measures

Addendum to Vertex adjacencies in the set covering polyhedron

Upper Bound on the Number of Vertices of Polyhedra with $0,1$-Constraint Matrices

Polygon Vertex Extremality and Decomposition of Polygons

A Stable-Set Bound and Maximal Numbers of Nash Equilibria in Bimatrix Games

Triangulations Admit Dominating Sets of Size $2n/7$