Algebra of bounded polynomials on a set Zariski closed at infinity cannot be finitely generated (Q390544)

For a semialgebraic set \(S\subseteq {\mathbb{R}}^n\) the \textit{Zariski closure at infinity of }\(S\) is the smallest Zariski closed \(Z\) such that there is a compact \(K\subseteq {\mathbb{R}}^n\) with \(S\subseteq Z\cup K\). The author gives a new proof that if \(S\subseteq {\mathbb{R}}^n\) is semialgebraic and such that its Zariski closure at infinity is nonempty and a proper subset of \({\mathbb{R}}^n\) then the algebra of polynomials bounded on \(S\) does not have a finite set of generators. This is originally due to \textit{D. Plaumann} and \textit{C. Scheiderer} [Trans. Am. Math. Soc. 364, No. 9, 4663--4682 (2012; Zbl 1279.14072)]. The proof in the paper under review is of a more geometric nature than the original proof and uses, amongst other things, a result of Jelonek's on the set of points at which a polynomial map is not proper.