Quantitative properties of the non-properness set of a polynomial map (Q1649368)

An affine variety \(X\) over an algebraically closed field \(\mathbb{K}\) is \( \mathbb{K}\)-\textit{uniruled in degree} \(d\) if for every \(x\in X\) there exists a polynomially parametric curve \(l_{x}\subset X\) of degree at most \(d\) passing through \(x.\) The first result is that if \(X\) is an \(\mathbb{C}\) -uniruled in degree \(d_{1}\) and \(f:X\rightarrow \mathbb{C}^{m}\) is a generically finite polynomial map of degree \(d_{2}\) then the set \( S_{f}\subset \mathbb{C}^{m}\), over which \(f\) is not proper, is \(\mathbb{C}\) -uniruled in degree \(d_{1}d_{2}.\) The second result is the carrying the above theorem to the real case (\(\mathbb{K=R}\)). The third result is a real version of the Białynicki-Birula theorem: Let \(G\) be a real, non-trivial, connected, unipotent group which acts effectively and polynomially on a connected smooth algebraic variety \(X\subset \mathbb{C}^{m}.\) Then the set \( \text{Fix}(G)\) of fixed points has no isolated points.