Dominating real algebraic morphisms (Q6132836)

A nonsingular real algebraic variety \(Y\) is called malleable if there exists a regular map \(s:Y \times \mathbb R^n \to Y\) such that, for every \(y \in Y\), \(s(y,0)=y\) and \(d_0s_y:T_0\mathbb R^n \to T_yY\) is surjective, where \(s_y\) is the morphism defined by \(v \mapsto s(y,v)\). This brief paper proves that every regular map \(f:X \to Y\) between nonsingular real algebraic varieties is homotopic to a surjective regular map \(g: X \to Y\) such that, for each \(y \in Y\), \(d_xg:T_xX \to T_yY\) is surjective at some point \(x \in g^{-1}(y)\) if \(\dim X \geq \dim Y\) and \(Y\) is malleable, compact and connected.