On the set of points at infinity of a polynomial image of ${\mathbb R}^n$ (1212.1811v3)

Abstract: In this work we prove that the set of points at infinity $S_\infty:={\rm Cl}{{\mathbb R}{\mathbb P}^m}(S)\cap\mathsf{H}\infty$ of a semialgebraic set $S\subset{\mathbb R}^m$ which is the image of a polynomial map $f:{\mathbb R}^n\to{\mathbb R}^m$ is connected. This result is no further true in general if $f$ is a regular map, although it still works for a large family of regular maps that we call quasi-polynomial maps.