Dominating real algebraic morphisms

From MaRDI portal



Abstract: Let X and Y be nonsingular real algebraic varieties, dimX>dimY-1. Assume that the variety Y is malleable, compact and connected. Our main result implies that each regular map from X to Y is homotopic to a surjective regular map. The class of malleable varieties includes all homogeneous spaces for linear real algebraic groups.


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.











This page was built for publication: Dominating real algebraic morphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6132836)