I am interested in obtaining injectivity of a $C^1$ map from the nonvanishing minors of its Jacobian matrix. Here is a brief history of the topic.
In 1953, Samuelson asked the following:
If the upper left-hand principal minors of the Jacobian matrix of a map $F: \mathbb{R}^n\rightarrow \mathbb{R}^n$ do not vanish, is it true that $F$ must be injective?
In 1965, Gale and Nikaido gave a counterexample in $\mathbb{R}^2$. In their paper the following is proved
Gale-Nikaido theorem: If all the principal minors of the Jacobian matrix of $F: \mathbb{R}^n\rightarrow \mathbb{R}^n$ are positive, then $F$ is injective.
Since then, some effort has been made to weaken the assumption in Gale-Nikaido theorem since the assumption seems to be too restrictive in application. A comprehensive dicussion can be found in T. Parthasarathy, On Global Univalence Theorems, Lecture Notes in Mathematics, Vol. 977, 1983. In the case of polynomial map, this is related to the real version of Jacobian conjecture.
A possible generalization I'm interested in is the following, which seems to be open.
Question: If all the principal minors of the Jacobian matrix of $F: \mathbb{R}^n\rightarrow \mathbb{R}^n$ do not vanish, is $F$ necessarily injective?
In Gale and Nikaido's paper, the case of $\mathbb{R}^2$ was answered in affirmative, the case of $\mathbb{R}^3$ was claimed in affirmative (yet no complete proof seems to be known).
My motivation comes from trying to make a change of variables to globally rectify a curved coordinate system so that Plancherel theorem can be applied. Any information would be appreciated : )
Best Answer
You might be interested by C. Soulé, M.Kaufman, R.Thomas results (search "multistationarity"). This might seem unrelated to your question but it is in fact related.
Briefly, they study various necessary conditions for a differential equation $dx/dt=F(x)$, $x\in\mathbb{R}^n$ to have several non degenerate stationary points $F(x)=0$.
The conditions depend on a signed "interaction graph" $G(x)$ deduced from the signs in the Jacobian matrix of $F$ at $x$.
By taking the contrapositive, applied to $F-c$ or various other simple transform , you obtain sufficient conditions for $F$ to be injective (assuming non-vanishing jacobian determinant).
Hope this helps.