Surjectivity of linear operators and semialgebraic global diffeomorphisms

Francisco Braun, Luis Renato Gonçalves Dias, Jean Venato Santos

We prove that a $C^{\infty }$ semialgebraic local diffeomorphism of ${\mathbb{R}}^n$ with non-properness set having codimension greater than or equal to $2$ is a global diffeomorphism…